Remove orphan DRep votes
Home /
IntersectMBO /
formal-ledger-specifications
Oct 15, 2-3 PM (4)
Oct 15, 3-4 PM (9)
Oct 15, 4-5 PM (0)
Oct 15, 5-6 PM (5)
Oct 15, 6-7 PM (2)
Oct 15, 7-8 PM (0)
Oct 15, 8-9 PM (0)
Oct 15, 9-10 PM (0)
Oct 15, 10-11 PM (0)
Oct 15, 11-12 AM (0)
Oct 16, 12-1 AM (0)
Oct 16, 1-2 AM (1)
Oct 16, 2-3 AM (0)
Oct 16, 3-4 AM (0)
Oct 16, 4-5 AM (0)
Oct 16, 5-6 AM (0)
Oct 16, 6-7 AM (0)
Oct 16, 7-8 AM (0)
Oct 16, 8-9 AM (0)
Oct 16, 9-10 AM (0)
Oct 16, 10-11 AM (0)
Oct 16, 11-12 PM (0)
Oct 16, 12-1 PM (0)
Oct 16, 1-2 PM (0)
Oct 16, 2-3 PM (0)
Oct 16, 3-4 PM (0)
Oct 16, 4-5 PM (0)
Oct 16, 5-6 PM (0)
Oct 16, 6-7 PM (1)
Oct 16, 7-8 PM (2)
Oct 16, 8-9 PM (0)
Oct 16, 9-10 PM (0)
Oct 16, 10-11 PM (0)
Oct 16, 11-12 AM (0)
Oct 17, 12-1 AM (0)
Oct 17, 1-2 AM (0)
Oct 17, 2-3 AM (0)
Oct 17, 3-4 AM (0)
Oct 17, 4-5 AM (0)
Oct 17, 5-6 AM (0)
Oct 17, 6-7 AM (0)
Oct 17, 7-8 AM (0)
Oct 17, 8-9 AM (0)
Oct 17, 9-10 AM (0)
Oct 17, 10-11 AM (0)
Oct 17, 11-12 PM (0)
Oct 17, 12-1 PM (0)
Oct 17, 1-2 PM (0)
Oct 17, 2-3 PM (0)
Oct 17, 3-4 PM (0)
Oct 17, 4-5 PM (0)
Oct 17, 5-6 PM (0)
Oct 17, 6-7 PM (0)
Oct 17, 7-8 PM (0)
Oct 17, 8-9 PM (0)
Oct 17, 9-10 PM (0)
Oct 17, 10-11 PM (0)
Oct 17, 11-12 AM (0)
Oct 18, 12-1 AM (0)
Oct 18, 1-2 AM (3)
Oct 18, 2-3 AM (0)
Oct 18, 3-4 AM (2)
Oct 18, 4-5 AM (0)
Oct 18, 5-6 AM (0)
Oct 18, 6-7 AM (0)
Oct 18, 7-8 AM (0)
Oct 18, 8-9 AM (0)
Oct 18, 9-10 AM (0)
Oct 18, 10-11 AM (0)
Oct 18, 11-12 PM (0)
Oct 18, 12-1 PM (0)
Oct 18, 1-2 PM (0)
Oct 18, 2-3 PM (0)
Oct 18, 3-4 PM (0)
Oct 18, 4-5 PM (0)
Oct 18, 5-6 PM (0)
Oct 18, 6-7 PM (0)
Oct 18, 7-8 PM (0)
Oct 18, 8-9 PM (0)
Oct 18, 9-10 PM (0)
Oct 18, 10-11 PM (0)
Oct 18, 11-12 AM (0)
Oct 19, 12-1 AM (2)
Oct 19, 1-2 AM (0)
Oct 19, 2-3 AM (2)
Oct 19, 3-4 AM (0)
Oct 19, 4-5 AM (0)
Oct 19, 5-6 AM (0)
Oct 19, 6-7 AM (0)
Oct 19, 7-8 AM (0)
Oct 19, 8-9 AM (0)
Oct 19, 9-10 AM (0)
Oct 19, 10-11 AM (0)
Oct 19, 11-12 PM (0)
Oct 19, 12-1 PM (0)
Oct 19, 1-2 PM (0)
Oct 19, 2-3 PM (0)
Oct 19, 3-4 PM (0)
Oct 19, 4-5 PM (0)
Oct 19, 5-6 PM (0)
Oct 19, 6-7 PM (0)
Oct 19, 7-8 PM (0)
Oct 19, 8-9 PM (0)
Oct 19, 9-10 PM (0)
Oct 19, 10-11 PM (0)
Oct 19, 11-12 AM (0)
Oct 20, 12-1 AM (0)
Oct 20, 1-2 AM (0)
Oct 20, 2-3 AM (0)
Oct 20, 3-4 AM (0)
Oct 20, 4-5 AM (0)
Oct 20, 5-6 AM (0)
Oct 20, 6-7 AM (0)
Oct 20, 7-8 AM (0)
Oct 20, 8-9 AM (0)
Oct 20, 9-10 AM (0)
Oct 20, 10-11 AM (0)
Oct 20, 11-12 PM (0)
Oct 20, 12-1 PM (0)
Oct 20, 1-2 PM (0)
Oct 20, 2-3 PM (0)
Oct 20, 3-4 PM (0)
Oct 20, 4-5 PM (0)
Oct 20, 5-6 PM (0)
Oct 20, 6-7 PM (0)
Oct 20, 7-8 PM (0)
Oct 20, 8-9 PM (0)
Oct 20, 9-10 PM (0)
Oct 20, 10-11 PM (0)
Oct 20, 11-12 AM (0)
Oct 21, 12-1 AM (0)
Oct 21, 1-2 AM (0)
Oct 21, 2-3 AM (0)
Oct 21, 3-4 AM (0)
Oct 21, 4-5 AM (0)
Oct 21, 5-6 AM (0)
Oct 21, 6-7 AM (0)
Oct 21, 7-8 AM (0)
Oct 21, 8-9 AM (0)
Oct 21, 9-10 AM (0)
Oct 21, 10-11 AM (0)
Oct 21, 11-12 PM (0)
Oct 21, 12-1 PM (0)
Oct 21, 1-2 PM (0)
Oct 21, 2-3 PM (1)
Oct 21, 3-4 PM (0)
Oct 21, 4-5 PM (0)
Oct 21, 5-6 PM (0)
Oct 21, 6-7 PM (0)
Oct 21, 7-8 PM (0)
Oct 21, 8-9 PM (0)
Oct 21, 9-10 PM (0)
Oct 21, 10-11 PM (0)
Oct 21, 11-12 AM (0)
Oct 22, 12-1 AM (0)
Oct 22, 1-2 AM (0)
Oct 22, 2-3 AM (0)
Oct 22, 3-4 AM (0)
Oct 22, 4-5 AM (0)
Oct 22, 5-6 AM (0)
Oct 22, 6-7 AM (2)
Oct 22, 7-8 AM (0)
Oct 22, 8-9 AM (0)
Oct 22, 9-10 AM (0)
Oct 22, 10-11 AM (0)
Oct 22, 11-12 PM (0)
Oct 22, 12-1 PM (0)
Oct 22, 1-2 PM (1)
Oct 22, 2-3 PM (0)
33 commits this week
Oct 15, 2024
-
Oct 22, 2024
![github-actions[bot]](https://avatars.githubusercontent.com/in/15368?v=4&s=80)
Generate code for 16f80de3bfd0235b034e8dbd979a5c60886b1f65
first pass at checking delegatees are registered in DELEG-delegate
Generate code for e1b3d00c3bde621dc99698fb0f6209b1fab8bc6e
Generate code for 40a3f861c84a09b02169fb0e655e7af90d3fe023
Update SPO vote calculation conformance
Stop passing in `CertState` to `RatifyEnv`
Update SPO vote calculation conformance
Generate code for 3d18945275efe29f77f72f30f52c2d565579b77a
change SPO votes calculation to agree with Haskell implementation
Generate code for GH-547
Merge branch 'master' into 578-change-to-spo-vote-counting
Cannot register and deregister same stake credential (#547)
* Cannot register and deregister same stake credential
This addresses issue #512
* second attempt: make updateCertDeposits a parital function
* Separate precondition for updateCertDeposits instead of making it partial (#587)
* fixed proof of gmsc
* major revision of some proofs and new proofs/removal of assumptions
* reverting changes to vector formatting
* Move dereg checks from CERT rules to UTXOS
Note: this also changes the check for `deregdrep c d` to
(DRepDeposit c , d) ∈ deps
from
(CredentialDeposit c , d) ∈ deps
* add missing functionality
* fix pdf
+ show `ValidCertDeposits` type declaration but hide definition
+ hide `ValidCertDeposits?` decision procedure
+ add explanation of `ValidCertDeposits` to prose
* address change requests from most recent PR review
---------
Co-authored-by: Ulf Norell <[email protected]>
Generate code for 564db8d41470d66fdcbedfa8f77f009b3f386f2e
fix SPO vote count function
Merge branch 'master' into 578-change-to-spo-vote-counting
fix pdf
+ show `ValidCertDeposits` type declaration but hide definition + hide `ValidCertDeposits?` decision procedure + add explanation of `ValidCertDeposits` to prose
Generate code for 7b154815c4c639376d570742a5eb2225b0eadf68
add missing functionality
Merge branch 'master' into 512-cannot-register-and-deregister-stake-credential
Updated for 155d8808fec4bc0d5fd17562fe32f9b7f46c970a
Merge branch 'master' into 538-prevent-policy-from-being-supplied-with-the-wrong-actions
Generate code for GH-550
Prevent policy from being supplied with wrong actions (#550)
* Prevent policy from being supplied with wrong actions This closes issue #538. * add matching change to Conway/Conformance
Updated for eb90fef02c7fac63b8ba44ea272d8cfb0246a8bb