ethereum/act issues and pull requests

#187 - Create funding.json

Pull Request - State: closed - Opened by zoep 27 days ago

#186 - Pass fresh address counter to `makeVM`

Pull Request - State: open - Opened by zoep 29 days ago

#185 - Bump nixpkgs

Pull Request - State: open - Opened by zoep about 1 month ago

#184 - Multiple contracts, with a contract that is not created

Issue - State: open - Opened by jaa2 about 2 months ago - 1 comment

#182 - Add constant assertions to SMT encoding of postconditions

Pull Request - State: closed - Opened by zoep 7 months ago

#181 - Failure to build Act executable

Issue - State: open - Opened by zoep 8 months ago - 1 comment

#180 - Important fixes in hevm equivalence

Pull Request - State: closed - Opened by zoep 8 months ago

#179 - Fix in makefile

Pull Request - State: closed - Opened by zoep 8 months ago

#178 - Proper threading of the Act state and some cleanup

Pull Request - State: closed - Opened by zoep 10 months ago

#177 - Remove redundant parameter

Pull Request - State: closed - Opened by zoep 10 months ago

#176 - Unexpcted type checking error

Issue - State: closed - Opened by d-xo 10 months ago - 1 comment
Labels: bug

#175 - HEVM: support boolean storage variables in equivalence checking

Pull Request - State: open - Opened by d-xo 10 months ago - 1 comment

#174 - readme: update intro

Pull Request - State: closed - Opened by d-xo 10 months ago

#173 - Decompilation

Pull Request - State: closed - Opened by d-xo 10 months ago - 3 comments

#172 - Reorganise Directories and Module Structure

Pull Request - State: closed - Opened by d-xo 11 months ago - 1 comment

#171 - Unify the approach of integer bounds assertions

Issue - State: open - Opened by zoep 11 months ago

#170 - Act cleanup

Pull Request - State: closed - Opened by zoep 11 months ago

#169 - JSON nits for `Exp`

Pull Request - State: closed - Opened by zoep 11 months ago

#168 - Fixes in JSON printer for Exp

Pull Request - State: closed - Opened by zoep 11 months ago - 1 comment

#167 - Support for multiple contracts in equivalence check

Pull Request - State: closed - Opened by zoep 11 months ago

#166 - Automatically generate getter specs

Issue - State: open - Opened by zoep 11 months ago
Labels: enhancement

#165 - Type error fixes from most recent version of hevm

Pull Request - State: closed - Opened by zoep 11 months ago

#164 - Nits in the JSON printer

Pull Request - State: closed - Opened by zoep 12 months ago

#163 - hie.yaml small rename

Pull Request - State: closed - Opened by DennisDv24 12 months ago - 1 comment

#162 - Constructor calls in HEVM equivalence

Pull Request - State: closed - Opened by zoep 12 months ago - 1 comment

#161 - fix: crash on SPDX license identifiers

Pull Request - State: closed - Opened by DennisDv24 12 months ago - 3 comments

#160 - Port to symbolic addresses

Pull Request - State: closed - Opened by zoep about 1 year ago

#159 - HEVM: start from concrete store for constructors

Pull Request - State: closed - Opened by zoep about 1 year ago

#158 - ActBook: Hevm section seems outdated

Issue - State: open - Opened by mir-ikbch about 1 year ago - 2 comments

#157 - Consistency checks for case analysis

Pull Request - State: closed - Opened by zoep about 1 year ago

#156 - Constructor equivalence

Pull Request - State: closed - Opened by zoep about 1 year ago

#155 - HEVM equivalence CLI option + tests

Pull Request - State: closed - Opened by zoep about 1 year ago

#154 - ABI exhaustiveness check

Pull Request - State: closed - Opened by zoep about 1 year ago

#152 - Equivalence with HEVM

Pull Request - State: closed - Opened by zoep over 1 year ago

#151 - doc: add latex support

Pull Request - State: closed - Opened by d-xo over 1 year ago

#150 - TimeAgnostic to exposed modules

Pull Request - State: closed - Opened by andrevidela over 1 year ago

#149 - Depend on latest hevm

Pull Request - State: closed - Opened by d-xo over 1 year ago

#148 - Fix bug related to missing constraints from case conditions.

Pull Request - State: closed - Opened by zoep over 1 year ago

#147 - Nonoverlapping cases

Pull Request - State: closed - Opened by zoep over 1 year ago - 1 comment

#146 - Multiple contracts for Coq backend

Pull Request - State: closed - Opened by zoep over 1 year ago

#145 - Remove pass/fail modes from constructors and behaviours

Pull Request - State: closed - Opened by zoep over 1 year ago

#144 - Cycle detection in constructor call graphs

Pull Request - State: closed - Opened by zoep over 1 year ago

#143 - Change AST structure of Act specs

Pull Request - State: closed - Opened by zoep over 1 year ago

#142 - Update cachix version

Pull Request - State: closed - Opened by zoep over 1 year ago

#141 - Support for multiple contracts

Pull Request - State: closed - Opened by zoep over 1 year ago - 1 comment

#140 - No filtering out variables from environment

Pull Request - State: closed - Opened by zoep over 1 year ago - 1 comment

#139 - New `checkExpr` for Act

Pull Request - State: closed - Opened by zoep over 1 year ago

#138 - Structured Interface Definitions In JSON Output

Issue - State: open - Opened by d-xo almost 2 years ago

#137 - Solver timeout when attempting to prove mint(Pass)

Issue - State: open - Opened by koolexcrypto almost 2 years ago - 4 comments

#136 - act hevm fails to prove Pass claim when Payable keyword is missing

Issue - State: closed - Opened by koolexcrypto almost 2 years ago - 3 comments

#135 - Environment variable support for Coq

Pull Request - State: closed - Opened by zoep about 2 years ago

#134 - Support building outside of nix

Issue - State: open - Opened by d-xo over 2 years ago

#133 - init act book

Pull Request - State: closed - Opened by d-xo over 2 years ago - 2 comments

#132 - Checking for multiple interfaces

Pull Request - State: closed - Opened by msooseth over 2 years ago - 2 comments

#131 - This checks whether we have two behaviours with the same name

Pull Request - State: closed - Opened by msooseth over 2 years ago - 3 comments

#130 - Typechecker: bad error message when referencing an undeclared storage var

Issue - State: closed - Opened by d-xo over 2 years ago - 1 comment
Labels: bug, good first issue

#129 - Typechecker: two behaviours with the same name should be rejected

Issue - State: closed - Opened by d-xo over 2 years ago - 1 comment
Labels: bug, good first issue

#128 - Syntax: change rewrite arrow to `<-`

Issue - State: open - Opened by d-xo over 2 years ago
Labels: enhancement, good first issue

#127 - Add source file positions to typed expressions

Pull Request - State: closed - Opened by kjekac almost 3 years ago

#126 - Improved error handling

Pull Request - State: closed - Opened by kjekac almost 3 years ago - 2 comments

#125 - cff backend

Issue - State: open - Opened by d-xo about 3 years ago

#124 - Add summary to HEVM output

Pull Request - State: closed - Opened by kjekac about 3 years ago

#123 - Fix display of invariant predicates

Pull Request - State: closed - Opened by d-xo about 3 years ago

#122 - bump dapptools

Pull Request - State: closed - Opened by d-xo about 3 years ago

#121 - Move `Time t` from `TEntry` to `TStorageItem`

Issue - State: open - Opened by kjekac about 3 years ago
Labels: minor

#120 - Choose one style of accessing records

Issue - State: open - Opened by kjekac about 3 years ago
Labels: minor

#119 - main: seperate top level cli functions to allow easy repl driven workflows

Pull Request - State: closed - Opened by d-xo about 3 years ago

#118 - hevm: handle contracts with boolean mappings

Issue - State: open - Opened by d-xo about 3 years ago - 1 comment
Labels: bug

#117 - hevm: unexpected counterexample

Issue - State: closed - Opened by d-xo about 3 years ago - 2 comments
Labels: bug

#116 - nix: bump nixpkgs & hevm

Pull Request - State: closed - Opened by d-xo about 3 years ago - 1 comment

#115 - represent bytes32 as an int internally

Pull Request - State: closed - Opened by d-xo about 3 years ago

#114 - `pre`/`post`

Pull Request - State: closed - Opened by kjekac over 3 years ago - 3 comments

#113 - Hevmbump

Pull Request - State: closed - Opened by MrChico over 3 years ago - 1 comment

#112 - Rounding Error Analysis

Issue - State: open - Opened by d-xo over 3 years ago - 1 comment
Labels: enhancement

#111 - SMT: Detect Collisions in Mapping Assignments

Issue - State: open - Opened by d-xo over 3 years ago
Labels: enhancement

#110 - SMT: Case Consistency Checks

Issue - State: closed - Opened by d-xo over 3 years ago - 3 comments
Labels: enhancement

#109 - SMT: Arithmetic bounds checking

Issue - State: open - Opened by d-xo over 3 years ago
Labels: enhancement

#108 - Unify Error Handling

Issue - State: open - Opened by d-xo over 3 years ago
Labels: enhancement

#107 - SMT: Model Extraction & Pretty Counterexamples

Pull Request - State: closed - Opened by d-xo over 3 years ago - 2 comments

#106 - Simplify exponentiation in SMT backend

Pull Request - State: closed - Opened by kjekac over 3 years ago - 2 comments

#105 - Prevent storage read in `creates` block

Pull Request - State: closed - Opened by kjekac over 3 years ago - 1 comment

#104 - SMT: storage references refer to the prestate

Pull Request - State: closed - Opened by d-xo over 3 years ago - 2 comments

#103 - Change external storage syntax

Pull Request - State: closed - Opened by kjekac over 3 years ago

#102 - tests: fix syntax error in hevm test

Pull Request - State: closed - Opened by d-xo over 3 years ago

#101 - Recursion schemes

Pull Request - State: closed - Opened by kjekac over 3 years ago - 6 comments

#100 - Use `[a]` instead of `Maybe [a]`

Pull Request - State: closed - Opened by kjekac over 3 years ago - 1 comment

#99 - SMT: further simplify exponentiation expressions

Issue - State: closed - Opened by d-xo over 3 years ago
Labels: enhancement

#98 - Type errors for undeclared storage references

Issue - State: closed - Opened by d-xo over 3 years ago - 1 comment
Labels: bug

#97 - Position information for backend errors

Issue - State: open - Opened by d-xo over 3 years ago - 9 comments
Labels: enhancement

#96 - Type: rm implicit invariant hack...

Pull Request - State: closed - Opened by d-xo over 3 years ago

#95 - Introduce & enforce pre / post operators

Issue - State: closed - Opened by d-xo over 3 years ago - 27 comments
Labels: enhancement

#94 - Typechecker: Issue type errors for invalid constructor preconditions

Issue - State: open - Opened by d-xo over 3 years ago
Labels: bug

#93 - Remove SBV from the SMT backend

Pull Request - State: closed - Opened by d-xo over 3 years ago - 4 comments

#92 - Decide on Semantics for Variable References in the Ensures Block

Issue - State: closed - Opened by d-xo over 3 years ago - 9 comments
Labels: enhancement

#91 - SMT: Remove Local Prestate for Constructor Queries

Issue - State: closed - Opened by d-xo over 3 years ago - 5 comments
Labels: bug

#90 - Enfore build cleanliness

Pull Request - State: closed - Opened by d-xo over 3 years ago - 2 comments

#89 - Refactor: Enrich Invariants

Pull Request - State: closed - Opened by d-xo over 3 years ago

#88 - SMT: Move invariant enrichment to Enrich.hs

Issue - State: closed - Opened by d-xo over 3 years ago
Labels: enhancement

#87 - Test: Negative QuickCheck Tests

Issue - State: open - Opened by d-xo over 3 years ago
Labels: tests

#86 - Test: JSON Roundtrip

Issue - State: open - Opened by d-xo over 3 years ago
Labels: tests

GitHub / ethereum/act issues and pull requests