|
|
b52832ca7f
|
Cleaned harness + callPropose
|
2021-11-10 15:26:29 +02:00 |
|
|
|
52924aaec0
|
Changed deltaWeight type from uint to uin256
|
2021-11-10 15:07:34 +02:00 |
|
|
|
96df9799c3
|
specificSpecForSumRule
|
2021-11-09 15:10:07 +02:00 |
|
|
|
07d637980c
|
FirstWizardHarness
|
2021-11-09 11:18:23 +02:00 |
|
|
|
c819e0b063
|
added ghost and counter implementation for castWithReason and castBySig
|
2021-11-08 17:57:53 +02:00 |
|
|
|
751277a1ab
|
MoreRulesToTheGodOfRules
|
2021-11-08 17:18:36 +02:00 |
|
|
|
ad7993d7d5
|
idea for sum of votes
|
2021-11-08 15:57:53 +02:00 |
|
|
|
f08ee568b9
|
checkingInvariantsWithoutGhosts
|
2021-11-04 17:54:26 +02:00 |
|
|
|
69f87ad916
|
slight script changes and ghost fix
|
2021-11-04 11:27:44 +02:00 |
|
|
|
a710435535
|
multiple inheritance is tricky x2
|
2021-11-03 17:24:35 +02:00 |
|
|
|
72d4e9c29c
|
multiple inheritance is tricky
|
2021-11-03 17:09:27 +02:00 |
|
|
|
cac49bfc2e
|
sanity rule preparations
|
2021-11-03 17:05:06 +02:00 |
|
|
|
22030f2fd3
|
rule drafts
|
2021-10-07 11:58:47 +03:00 |
|
|
|
2c08f85744
|
start work on governor
|
2021-09-26 00:21:08 +03:00 |
|
