issues
search
a16z
/
halmos
A symbolic testing tool for EVM smart contracts
GNU Affero General Public License v3.0
802
stars
65
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
use overflow predicates for arithmetic overflow conditions
#335
daejunpark
opened
2 months ago
0
fix: simplify symbol parsing
#334
karmacoma-eth
closed
2 months ago
3
handle solidity files with no contracts
#333
karmacoma-eth
closed
2 months ago
0
Update packages/solvers/README.md
#332
karmacoma-eth
closed
2 months ago
0
chore: only warn about KeyError "ast"/"metadata" if debugging
#331
karmacoma-eth
closed
2 months ago
4
fix workflows
#330
karmacoma-eth
closed
2 months ago
1
fix bad abi encoding in createBytes4
#329
karmacoma-eth
closed
2 months ago
0
feat: functional implementation of EXTCODEHASH and EXTCODECOPY
#328
karmacoma-eth
closed
2 months ago
1
Halmos thinks all paths will revert even though I can hardcode a counter example, due to loops
#327
GalloDaSballo
opened
2 months ago
0
Weird issue testing Huff ERC20
#326
eugenioclrc
closed
2 months ago
2
[Feature/#270] Support vm.getBlockNumber cheatcode
#325
pillip
closed
2 months ago
2
extcodehash behave as a symbolic value
#324
drgorillamd
opened
2 months ago
2
feat: support for forge-std assert cheatcodes
#323
daejunpark
closed
2 months ago
1
perf: early exit for fail()
#322
daejunpark
closed
2 months ago
0
Unsupported cheatcode error
#321
nican0r
closed
2 months ago
2
ci: pin yices2=2.6.4
#320
daejunpark
closed
3 months ago
0
perf: prune infeasible paths early
#319
daejunpark
closed
3 months ago
0
chore: update evm version to cancun
#318
daejunpark
closed
3 months ago
0
chore: improve debugging output
#317
daejunpark
closed
3 months ago
0
perf: minor optimizations
#316
daejunpark
closed
3 months ago
1
ci: add snekmate to external test suites
#315
daejunpark
closed
3 months ago
0
cli: deprecated --solver-parallel
#314
daejunpark
closed
3 months ago
0
refactor: common prefix for uninterpreted function names
#313
daejunpark
closed
3 months ago
0
ci: add workflow dispatch inputs + fix test-external outdated image
#312
daejunpark
closed
3 months ago
0
feat: cache unsat queries using unsat core
#311
daejunpark
closed
3 months ago
1
refactor: data structure of path conditions
#310
daejunpark
closed
3 months ago
0
[Feature/#244] Parse symbols from build to print readable traces
#309
pillip
closed
2 months ago
1
add intermediary halmos-builder image and dockerize more workflows
#308
karmacoma-eth
closed
2 months ago
1
run workflow using `solvers` as a base image
#307
karmacoma-eth
closed
3 months ago
3
feat: Support assert cheatcodes for forge-std 1.8.0
#306
EmperorOrokuSaki
closed
2 months ago
1
Stateful testing: use state summaries
#305
karmacoma-eth
opened
3 months ago
0
Quick benchmark for pysmt
#304
karmacoma-eth
opened
3 months ago
1
Incremental verification
#303
karmacoma-eth
opened
3 months ago
0
feat: solvers package
#302
karmacoma-eth
closed
3 months ago
1
feat: add halmos docker package
#301
EmperorOrokuSaki
closed
3 months ago
1
🔨 Add Missing Error Code in `parse_build_out` Warning
#300
pcaversaccio
closed
4 months ago
0
example halmos.toml
#299
karmacoma-eth
closed
4 months ago
0
toml config, take 2
#298
karmacoma-eth
closed
4 months ago
2
use configargparse to process halmos.toml
#297
karmacoma-eth
closed
4 months ago
7
[Feature/#125] Enhance configuration management by using toml configuration file
#296
pillip
closed
4 months ago
1
feat: use docker image to load solvers and setup the testing environment
#295
EmperorOrokuSaki
closed
4 months ago
1
Support properties of the form `must always emit an event when storage is updated `
#294
karmacoma-eth
opened
4 months ago
3
Optimize execution loop
#293
karmacoma-eth
closed
4 months ago
1
perf: improve branching solving
#292
daejunpark
closed
3 months ago
1
Add ERC-1155 token receiver hooks as defaults in unknown call resolution
#291
pcaversaccio
closed
4 months ago
0
Add `cancun` support
#290
pcaversaccio
opened
4 months ago
4
fix: use --ast to enable foundry build cache
#289
daejunpark
closed
4 months ago
0
feat: chunk based memory model
#288
karmacoma-eth
closed
4 months ago
0
FAQ section
#287
PatrickAlphaC
opened
4 months ago
0
fix: concrete exitcode for precompile
#286
daejunpark
closed
4 months ago
0
Previous
Next