 Hadrien Croubois
|
7512b8e171
missing diff
|
пре 2 година |
|
Hadrien Croubois
|
dd6a9ee240
fix attempt
|
пре 2 година |
|
Hadrien Croubois
|
74f613f5cc
fix specs
|
пре 2 година |
|
Hadrien Croubois
|
d0b259546f
fix options
|
пре 2 година |
|
Hadrien Croubois
|
82bbdb2c64
codespell
|
пре 2 година |
|
Hadrien Croubois
|
89ceb34f0d
don't run GovernorFunctions in CI
|
пре 2 година |
|
Hadrien Croubois
|
96553597fa
disable GovernorFunctions
|
пре 2 година |
|
Hadrien Croubois
|
dfafd79692
uo
|
пре 2 година |
|
Hadrien Croubois
|
50a13d52b9
uo
|
пре 2 година |
|
Hadrien Croubois
|
4ea73a8c05
add PreventLateQuorum specs
|
пре 2 година |
|
Hadrien Croubois
|
0874adbd1f
spacing
|
пре 2 година |
|
Hadrien Croubois
|
198c4b7728
update
|
пре 2 година |
|
Hadrien Croubois
|
0d4df8972e
add filter to improve prover perf
|
пре 2 година |
|
Hadrien Croubois
|
d7884251aa
update
|
пре 2 година |
|
Hadrien Croubois
|
d2b5d154d6
Merge remote-tracking branch 'upstream/master' into fv/Governor
|
пре 2 година |
|
Hadrien Croubois
|
397f4cdfe2
filter functions that should revert
|
пре 2 година |
|
Hadrien Croubois
|
75ef7b8b27
Add FV specs for TimelockController (#4098)
|
пре 2 година |
|
Hadrien Croubois
|
728e2c8899
fix
|
пре 2 година |
|
Hadrien Croubois
|
e1120b9137
try optimise GovernorStates
|
пре 2 година |
|
Hadrien Croubois
|
704e265c41
fix governor changes spec
|
пре 2 година |
|
Hadrien Croubois
|
e35daecf95
Merge branch 'master' into fv/Governor
|
пре 2 година |
 renovate[bot]
|
ea2d5ad2e7
Update lockfile (#4080)
|
пре 2 година |
 Francisco Giordano
|
e69248e551
Limit concurrency of formal-verification runs
|
пре 2 година |
|
renovate[bot]
|
e739144cb0
Update dependency certora-cli to v3.6.4 (#4110)
|
пре 2 година |
|
Hadrien Croubois
|
b320e1ec4c
lint
|
пре 2 година |
|
Hadrien Croubois
|
c33e7bd340
update governor specs
|
пре 2 година |
|
Francisco
|
6794c9460b
Run formal verification when label is added (#4112)
|
пре 2 година |
|
Hadrien Croubois
|
4b11b4d3a6
codespell
|
пре 2 година |
|
Hadrien Croubois
|
f71bc6899f
clean
|
пре 2 година |
|
Hadrien Croubois
|
318cfd501b
update
|
пре 2 година |