Thanks to visit codestin.com
Credit goes to github.com

Commits

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

feat: chunk based memory model (#288)

0xkarmacoma
and
daejunpark
authored
Add ERC-1155 token receiver hooks as defaults in unknown call resolution (#291)
pcaversaccio
authored

Commits on May 14, 2024

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

Commits on Mar 20, 2024

Commits on Mar 1, 2024

Add --build-info to forge build command (#255)
0xkarmacoma
authored

Commits on Feb 7, 2024

Commits on Jan 10, 2024

fix: use consistent hex prefix handling (#246)
0xkarmacoma
authored

Commits on Dec 23, 2023

Commits on Dec 22, 2023

fix: byte check + console.log (#239)
0xkarmacoma
authored

Commits on Dec 21, 2023