Autor | SHA1 Nachricht | Datum |
---|---|---|
|
b27cd83eba Remove `hardhat-foundry` and check harnesses compilation in CI (#4832) | vor 1 Jahr |
|
36bf1e46fa Migrate FV specs to CVL2 (#4527) | vor 2 Jahren |
|
00cbf5a236 Update pragma to 0.8.20 (#4489) | vor 2 Jahren |
|
7bb5592ad5 Bump minimum pragma version to `0.8.19` (#4288) | vor 2 Jahren |
|
0a2a33be30 Add formal verification specs for EnumerableSet & EnumerableMap (#4167) | vor 2 Jahren |