issues
search
eth-sc-comp
/
benchmarks
Symbolic Execution Benchmarks for Ethereum Smart Contracts
18
stars
3
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Upgrade forge, and add --ast to `forge build`
#35
msooseth
closed
2 months ago
1
update halmos CLI flags
#34
karmacoma-eth
closed
2 months ago
0
bump halmos to latest main
#33
d-xo
closed
2 months ago
0
Halmos fails to build after `nix flake update`
#32
geo2a
closed
2 months ago
5
New benchmarks, `--dumpsmt` option, K-framework integration
#31
msooseth
closed
8 months ago
1
Adding options to help generate better graphs
#30
msooseth
closed
9 months ago
0
Fixing small typo
#29
msooseth
closed
8 months ago
0
Fixing a minor warning
#28
msooseth
closed
8 months ago
0
Adding --dumpsmt option to dump all SMT queries
#27
msooseth
closed
8 months ago
0
Fixes some test case checks for Halmos and HEVM
#26
msooseth
closed
10 months ago
0
Updating halmos and HEVM to latest `main`
#25
msooseth
closed
10 months ago
0
nix: rm unused flake inputs
#24
d-xo
closed
10 months ago
0
Only build once & allow YUL pipeline & output option
#23
msooseth
closed
1 year ago
0
Further improvements
#22
msooseth
closed
1 year ago
0
Fixing graphs
#21
msooseth
closed
1 year ago
0
Adding manybranch test by karmacoma
#20
msooseth
closed
1 year ago
3
Function singnatures, cleanup of benchmarks, renaming of clashing test names, test patterns, more complete DB
#19
msooseth
closed
1 year ago
0
Tool selection allowed from command line
#18
msooseth
closed
1 year ago
0
Move to `doalarm`, fix graph location, remove crytic, move to newer hamos
#17
msooseth
closed
1 year ago
1
Latest tools
#16
d-xo
closed
1 year ago
1
Add unsafe/ds-test/SacredGeometry.sol
#15
karmacoma-eth
closed
1 year ago
0
flake: auto configure k-framework binary cache
#14
d-xo
closed
1 year ago
0
Test suite types
#13
ehildenb
opened
1 year ago
2
Support Cold/Hot Runs, Offline Only Mode and Environment repeatability
#12
sambacha
opened
1 year ago
2
Adding boxgraphs, fixing Halmos, fixing README, adding checks
#11
msooseth
closed
1 year ago
1
Add boxcharts + add some checks + README update
#10
msooseth
closed
1 year ago
0
Adding benchmarks, improving bench.py, creating graphs
#9
msooseth
closed
1 year ago
0
Add expected result to output
#8
d-xo
closed
1 year ago
0
Add global timeout
#7
d-xo
closed
1 year ago
0
Increase Granularity of Allowed Return Status
#6
d-xo
closed
1 year ago
0
update readme
#5
d-xo
closed
1 year ago
0
Add benchmarking harness and script to execute hevm
#4
d-xo
closed
1 year ago
0
Nixification
#3
d-xo
closed
1 year ago
0
Standard for compiling/running benchmarks
#2
leonardoalt
closed
8 months ago
1
Initial KEVM installation and testing script
#1
ehildenb
closed
2 years ago
0