|
|
07ac1030e7
|
chmod -x certora/scripts/**/*.sh
|
2022-11-03 12:07:39 +01:00 |
|
|
|
a73d7ab57b
|
get rid of certora/helpers
|
2022-10-05 15:30:03 +02:00 |
|
|
|
89962af163
|
Fix ERC20Wrapper.spec
|
2022-10-05 15:23:26 +02:00 |
|
|
|
c7a544d568
|
move passing scripts out of noCI
|
2022-09-29 18:40:14 +02:00 |
|
|
|
634c37becf
|
enable ci test for some (passing) rules
|
2022-09-28 23:49:03 +02:00 |
|
|
|
d986bbc8e0
|
filter noCI on script listing
|
2022-09-28 11:02:50 +02:00 |
|
|
|
fed8d5c856
|
refactor & improve ERC20 specs
|
2022-09-28 10:55:39 +02:00 |
|
|
|
597202d904
|
finish ERC20 base specs + move all other specs to noCI for the time being
|
2022-09-27 23:36:58 +02:00 |
|
|
|
8f6a03204e
|
Start working on ERC20 specs
|
2022-09-27 21:42:18 +02:00 |
|
|
|
d916e2edf4
|
further script cleanup
|
2022-09-23 12:47:45 +02:00 |
|
|
|
3075181276
|
use bash
|
2022-09-23 11:54:11 +02:00 |
|
|
|
8b1042371a
|
remove some scripts from CI run
|
2022-09-23 11:43:33 +02:00 |
|
|
|
38d21cab86
|
update scripts
|
2022-09-22 18:56:59 +02:00 |
|
|
|
bfbf4d8398
|
clean applyHarness
|
2022-09-22 10:47:06 +02:00 |
|
|
|
49333bcc24
|
clean applyHarness
|
2022-09-22 10:44:48 +02:00 |
|
|
|
3252e54f2b
|
use solc without version & remove send_only
|
2022-09-21 17:41:13 +02:00 |
|
|
|
cc7837fb46
|
cleanup scripts/*.sh
|
2022-09-21 17:30:34 +02:00 |
|
|
|
9dd0eb5e5c
|
better wildcard
|
2022-09-21 17:21:26 +02:00 |
|
|
|
9ce8455ae0
|
run certora scripts
|
2022-09-21 17:12:20 +02:00 |
|
|
|
dfa0505c40
|
fix formal verification workflow
|
2022-09-21 09:18:00 +02:00 |
|
|
|
e7f770591b
|
update harness and matrix
|
2022-09-20 20:12:05 +02:00 |
|
|
|
b9c7899e6c
|
no debug
|
2022-09-20 16:50:37 +02:00 |
|
|
|
0f20d57771
|
touch to force make
|
2022-09-20 16:46:24 +02:00 |
|
|
|
797ef26bb6
|
refactor
|
2022-09-20 16:42:18 +02:00 |
|
|
|
9aa745e4fe
|
try using python 3.8
|
2022-09-20 16:40:45 +02:00 |
|
|
|
d7c3cc758b
|
try using python 3.10
|
2022-09-20 16:39:12 +02:00 |
|
|
|
3c0d926908
|
--debug
|
2022-09-20 16:28:09 +02:00 |
|
|
|
28367f8989
|
fix action
|
2022-09-20 16:23:25 +02:00 |
|
|
|
61817e055f
|
enable formal verification by matrix
|
2022-09-20 16:18:56 +02:00 |
|
|
|
94f9f7ac58
|
test matrix
|
2022-09-20 16:15:33 +02:00 |
|
|
|
b2ec06aaf2
|
test matrix
|
2022-09-20 16:11:32 +02:00 |
|
|
|
0fa6aad5e5
|
Update certora harness
|
2022-09-20 15:12:26 +02:00 |
|
|
|
0c2453ba17
|
Automatically generate test matrix
|
2022-09-09 22:54:56 +02:00 |
|
|
|
0d1e919742
|
run check on the formal-verification branch
|
2022-09-09 15:47:00 +02:00 |
|
|
|
75ce9ef8e9
|
name
|
2022-09-09 13:52:59 +02:00 |
|
|
|
56c355ea8b
|
fix
|
2022-09-09 13:47:16 +02:00 |
|
|
|
e9f53ebc02
|
run prettier --write
|
2022-09-09 13:33:55 +02:00 |
|
|
|
3aa0a015d1
|
workflow trigger
|
2022-09-09 13:28:49 +02:00 |
|
|
|
d98d9c03f3
|
Merge remote-tracking branch 'Certora/master' into formal-verification
|
2022-09-09 13:19:12 +02:00 |
|
|
|
6a8d977d22
|
Skip changelog check if label is present (#3687)
|
2022-09-07 20:13:18 +00:00 |
|
|
|
3c552e6e03
|
Fix relevant warnings (#3685)
|
2022-09-07 15:56:18 -03:00 |
|
|
|
5d31ad0eb9
|
Fix: typo & grammar (#3684)
|
2022-09-07 20:45:09 +02:00 |
|
|
|
80ae402387
|
Add fuzz tests for Math.sqrt & Math.logX using Foundry (#3676)
Co-authored-by: Hadrien Croubois <hadrien.croubois@gmail.com>
Co-authored-by: Francisco Giordano <frangio.1@gmail.com>
|
2022-09-07 14:25:29 -03:00 |
|
|
|
c1d6e39aab
|
Add log2, log10 and log256 functions (#3670)
|
2022-09-07 08:29:48 +00:00 |
|
|
|
d857ab5702
|
Fix EnumerableMap and EnumerableSet generation
|
2022-09-06 23:12:22 +02:00 |
|
|
|
42fe56031f
|
Fix EnumerableMap and EnumerableSet warning format
|
2022-09-06 15:41:47 -03:00 |
|
|
|
171fa40bc8
|
ERC721 extension for efficient batch minting (#3311)
Co-authored-by: Francisco <frangio.1@gmail.com>
|
2022-09-05 23:09:30 +02:00 |
|
|
|
005a35b02a
|
Optimize Math.max and SignedMath.max (#3679)
Co-authored-by: Daniel Liu <liudaniel@qq.com>
|
2022-09-05 11:37:43 -03:00 |
|
|
|
84fafa7832
|
Fix typos (#3677)
|
2022-09-05 09:34:42 +02:00 |
|
|
|
e09ccd1449
|
Optimize votes lookups for recent checkpoints (#3673)
|
2022-09-04 22:48:26 +02:00 |
|
