Skip to content

Pull requests: ethereum/act

New pull request New
Clear current search query, filters, and sorts
2 Open 117 Closed
2 Open 117 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Correction in 'make clean' in Rocq tests
#196 by lefterislazar was merged Jul 8, 2025 Loading…
1
Hevm ERC20
#195 by lefterislazar was merged Jul 8, 2025 Loading…
4
improve the readme for new users.
#191 by anjapetkovic was merged Jun 23, 2025 Loading…
7
Implement Solidity's memory layout
#190 by zoep was merged Apr 3, 2025 Loading…
1
Address casting
#188 by zoep was merged Feb 5, 2025 Loading…
Create funding.json
#187 by zoep was merged Aug 26, 2024 Loading…
Pass fresh address counter to makeVM
#186 by zoep was merged Oct 27, 2024 Loading…
3
Bump nixpkgs
#185 by zoep was merged Oct 23, 2024 Loading…
Add constant assertions to SMT encoding of postconditions
#182 by zoep was merged Mar 29, 2024 Loading…
Important fixes in hevm equivalence
#180 by zoep was merged Apr 2, 2024 Loading…
Fix in makefile
#179 by zoep was closed Sep 17, 2024 Loading…
Proper threading of the Act state and some cleanup
#178 by zoep was merged Dec 11, 2023 Loading…
1
Remove redundant parameter
#177 by zoep was merged Nov 23, 2023 Loading…
HEVM: support boolean storage variables in equivalence checking
#175 by d-xo was closed Apr 3, 2025 • Draft
1
readme: update intro
#174 by d-xo was merged Nov 14, 2023 Loading…
1
Decompilation
#173 by d-xo was merged Aug 13, 2024 Loading…
16
Reorganise Directories and Module Structure
#172 by d-xo was merged Nov 13, 2023 Loading…
1
Act cleanup
#170 by zoep was merged Nov 8, 2023 Loading…
1
JSON nits for Exp
#169 by zoep was merged Oct 27, 2023 Loading…
1
Fixes in JSON printer for Exp
#168 by zoep was closed Oct 26, 2023 Loading…
1
Support for multiple contracts in equivalence check
#167 by zoep was merged Nov 22, 2023 Loading…
11
Type error fixes from most recent version of hevm
#165 by zoep was merged Oct 24, 2023 Loading…
Nits in the JSON printer
#164 by zoep was merged Oct 12, 2023 Loading…
3
hie.yaml small rename
#163 by DennisDv24 was merged Oct 1, 2023 Loading…
1
Constructor calls in HEVM equivalence
#162 by zoep was closed Oct 25, 2023 • Draft
6
ProTip! What’s not been updated in a month: updated:<2025-06-12.