8000 Commits · iris-jsx/halmos · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jun 25, 2024

Commits on Jun 24, 2024

Commits on Jun 23, 2024

refactor: data structure of path conditions (#310)
daejunpark
authored

Commits on Jun 7, 2024

run workflow using `solvers` as a base image (#307)
0xkarmacoma
authored

Commits on Jun 6, 2024

Commits on Jun 3, 2024

example halmos.toml (#299)

0xkarmacoma
and
daejunpark
authored

Commits on Jun 1, 2024

🔨 Add Missing Error Code in `parse_build_out` Warning (#300)

pcaversaccio
and
0xkarmacoma
authored

Commits on May 31, 2024

Commits on May 21, 2024

Commits on May 14, 2024

8000 fix: use --ast to enable foundry build cache (#289)
daejunpark
authored

Commits on May 13, 2024

fix: concrete exitcode for precompile (#286)
daejunpark
authored

Commits on Apr 17, 2024

unpin z3 version
0xkarmacoma
committed

Commits on Apr 11, 2024

feat: --solver-command lets user replace z3 invocations
0xkarmacoma
committed

Commits on Mar 29, 2024

docs: update README.md (#268)
daejunpark
authored

Commits on Mar 27, 2024

fix: vm.etch(addr, "") used to raise an exception (#264)
0xkarmacoma
authored

Commits on Mar 26, 2024

0