Skip to content

Ensure dreps exist prior to delegation #4652

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 16 commits into from
Oct 8, 2024
Merged

Ensure dreps exist prior to delegation #4652

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
bc5f8d8
Add delegations field to the DRep state
lehins Sep 28, 2024
eb4a25c
Change state for `DELEG` rule to `CertState` from `DState`
lehins Sep 28, 2024
b29751e
Add a new `DelegateeDRepNotRegisteredDELEG` predicate failure
lehins Sep 27, 2024
720f745
Optimize DRep unregistration for case when validation is turned off
lehins Sep 27, 2024
e788510
Prepare CertState to be amendable by delegation logic
lehins Sep 28, 2024
d62e55f
Change state for `GOVCERT` rule to `CertState` from `VState`
lehins Sep 28, 2024
b0e6fe8
Implement cleanup of delegations upon DRep unregistration
lehins Sep 28, 2024
f8ebfa8
Fix couple of tests
lehins Sep 28, 2024
d0f128d
Various non-semantic cleanup
lehins Oct 2, 2024
e36341c
Rename `DelegateeNotRegisteredDELEG` to `DelegateeStakePoolNotRegiste…
lehins Sep 29, 2024
b121543
Implement CertState update with DRep delegations for the intra-era ha…
lehins Oct 3, 2024
4cabe77
Avoid expensive call to `elem` in conformance
lehins Oct 3, 2024
ab542ac
Disable CERTS minitrace conformance tests
lehins Oct 4, 2024
8426fb5
Generate delegs that exist in UMap for dstateSpec
Lucsanszky Oct 5, 2024
5b7714c
Fix `txCertKey` to check for delegatee key as well
Lucsanszky Oct 7, 2024
1c97496
TEMP - Stop generating `UnRegDRep` GovCert cases
Lucsanszky Oct 8, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
TEMP - Stop generating UnRegDRep GovCert cases 
This commit can be reverted once the spec is up-to-date with:
#4598
  • Loading branch information
@Lucsanszky
Lucsanszky committed Oct 8, 2024
commit 1c97496d4fbef3da9b0e92ad8b810104088d4549
7 changes: 4 additions & 3 deletions libs/cardano-ledger-test/src/Test/Cardano/Ledger/Constrained/Conway/GovCert.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -67,9 +67,10 @@ govCertSpec ConwayGovCertEnv {..} certState =
]
)
-- ConwayUnRegDRep
( branchW 3 $ \ [var|credUnreg|] [var|coinUnreg|] ->
assert $ elem_ (pair_ credUnreg coinUnreg) (lit (Map.toList deposits))
)
-- ( branchW 3 $ \ [var|credUnreg|] [var|coinUnreg|] ->
-- assert $ elem_ (pair_ credUnreg coinUnreg) (lit (Map.toList deposits))
-- )
(branchW 3 $ \_credUnreg _coinUnreg -> False)
-- ConwayUpdateDRep
( branchW 1 $ \ [var|keyupdate|] _ ->
member_ keyupdate reps
Expand Down