Skip to content
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

Jump to bottom

Rvdevelop #6

Open
wants to merge 43 commits into
base: develop
Choose a base branch
from
Open

Rvdevelop #6

wants to merge 43 commits into from

Conversation

F-WRunTime
Copy link
Member

No description provided.

F-WRunTime and others added 30 commits July 5, 2024 15:17
@F-WRunTime @lucasmt
Committing KaaS Compute Setup for RV Testing / Development
c8b4b4d
@F-WRunTime @lucasmt
Test using variables to get org name / repo name
c2db612
@F-WRunTime @lucasmt
Merge conflict resolution
bb73582
@lucasmt
Revert changes to lido-ci.yml for merge into parent repo
ef5a282
@F-WRunTime @lucasmt
Committing KaaS Compute Setup for RV Testing / Development
740b5c5
@F-WRunTime @lucasmt
Test using variables to get org name / repo name
3e2804d
@F-WRunTime @lucasmt
Merge conflict resolution
979bd73
@F-WRunTime @lucasmt
Adding workflow_dispatch event triggers
bef8491
@lucasmt
Add StETH token model
49c836f
@lucasmt
Add new version of Escrow model using rebasable StETH token
29d4c76
@lucasmt
Rename original Escrow model to EscrowNonRebasable.sol
dd713cf
@lucasmt
Make the Escrow version using StETH the default Escrow contract in th…
e145cbc 
…e model
@lucasmt
Adapt VetoSignalling tests to StETH
ee7d042
@lucasmt
Split off test set-up and helper functions into separate base contract
51c4470
@lucasmt
Reduce SMT timeout in run-kontrol.sh script
ac347ff
@lucasmt
Add test to run-kontrol.sh script
b074a16
@lucasmt
Update versions.json to the latest kontrol version
1cc7737
@lucasmt
Adjust StETH model to be closer to original StETH contract
4eff4c7
@PetarMax @lucasmt
renaming contracts for easier use with Kontrol
748790e
@PetarMax @lucasmt
additional lemma for cleaning up specification of getRageQuitSupport
19fb17a
@PetarMax @lucasmt
assumptions
e26f832
@lucasmt
Refactor DualGovernanceSetUp into 3 contracts for more fine-grained f…
5f84969 
…unctionality reuse.

* KontrolTest has basic helper functions, such as _establish and _storeUInt256, etc.
* StorageSetup has the ...StorageSetup functions, refactored to receive the relevant contracts as parameters.
* DualGovernanceSetUp has the storage variables for tests of the DualGovernance contract and the setUp function initializing them.
@lucasmt
Make Escrow storage setup compatible with the new storage layout of t…
a8b7377 
…he model
@lucasmt
Fix assumptions on StETHModel to avoid division by 0 problem
f26be16
@lucasmt
Rename variable in comment of DualGovernanceSetUp
ac4dde4
@lucasmt
Add --verbose and --max-frontier-parallel options to run-kontrol.sh s…
538c657 
…cript
@PetarMax @lucasmt
further limiting branching
28ee0ed
@PetarMax @lucasmt
additional constraints to minimise calls to calculateDynamicTimelock
7ab371f
@PetarMax @lucasmt
merge
5e3c1e8
@lucasmt
Update unlock function in EscrowModel to unlock all of the user's shares
a825995
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@F-WRunTime @lucasmt @PetarMax @qian-hu