ethereum/act issues and pull requests

#85 - SMT: Destringify Mapping Keys

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

#84 - Constructor bounds

Pull Request - State: closed - Opened by d-xo almost 4 years ago - 6 comments

#83 - Lex: allow negative integer literals

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#82 - Type: fail if storage reads are undeclared

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#81 - Ambiguous parse for read only storage blocks

Issue - State: closed - Opened by d-xo almost 4 years ago - 1 comment
Labels: bug

#80 - Remove qed emoji

Pull Request - State: closed - Opened by leonardoalt almost 4 years ago

#79 - detect duplicate state definitions, better parsing errors

Pull Request - State: closed - Opened by MrChico almost 4 years ago - 4 comments

#78 - Lack of blanks makes source look confusing

Issue - State: open - Opened by leonardoalt almost 4 years ago
Labels: enhancement

#77 - Internal error when assining `_` to variable

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 1 comment

#76 - Invariants ignored by `prove`

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 2 comments
Labels: bug

#75 - Error in `prove` when assigning a state variable to another

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 1 comment
Labels: bug

#74 - Internal error when type checking Real -> Int assignment

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 1 comment

#73 - Internal error while parsing invalid code

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 3 comments
Labels: bug

#72 - SMT backend indirect constructor assignment

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 6 comments
Labels: bug

#71 - State var can be used to initialize itself

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 2 comments
Labels: bug

#70 - Multiple state vars with the same name are accepted

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 2 comments
Labels: bug

#69 - Add new tests

Pull Request - State: closed - Opened by leonardoalt almost 4 years ago

#68 - Add positions to (almost) all type error messages

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#67 - SMT backend multi transaction counterexample

Issue - State: open - Opened by leonardoalt almost 4 years ago - 1 comment
Labels: enhancement

#66 - SMT backend env vars type constraints

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 1 comment
Labels: bug

#65 - Error message about type mismatch

Issue - State: closed - Opened by leonardoalt almost 4 years ago - 1 comment
Labels: bug

#64 - Further Refine AST

Issue - State: open - Opened by d-xo almost 4 years ago - 5 comments
Labels: enhancement

#63 - Pretty Print Counterexamples

Issue - State: closed - Opened by d-xo almost 4 years ago - 6 comments
Labels: enhancement

#62 - Seperate SMT Analysis Stages

Issue - State: closed - Opened by d-xo almost 4 years ago - 1 comment
Labels: enhancement

#61 - Negative Integer Literals

Issue - State: closed - Opened by d-xo almost 4 years ago
Labels: bug

#60 - Polymorphic Equality

Issue - State: closed - Opened by d-xo almost 4 years ago
Labels: bug

#59 - Unclear semantics for environment variables in the invariant block

Issue - State: open - Opened by d-xo almost 4 years ago - 20 comments
Labels: enhancement

#58 - SMT: Fix encoding for mappings

Issue - State: closed - Opened by d-xo almost 4 years ago
Labels: bug

#57 - act syntax description

Pull Request - State: closed - Opened by MrChico almost 4 years ago

#56 - Denote constructors with `definition` keyword and distinguish them in the AST

Pull Request - State: closed - Opened by MrChico almost 4 years ago - 3 comments

#55 - Wrong treatment of `iff` conditions

Issue - State: closed - Opened by MrChico almost 4 years ago - 5 comments

#54 - Main: pretty print expression in invariant output

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#53 - Integers & Bitvectors in Act and bytecode verifying backends

Issue - State: open - Opened by MrChico almost 4 years ago
Labels: enhancement

#52 - Restructure tests dir a bit

Pull Request - State: closed - Opened by leonardoalt almost 4 years ago - 3 comments

#51 - Frontend fuzzing

Pull Request - State: closed - Opened by d-xo almost 4 years ago - 6 comments

#50 - Hevmbackend

Pull Request - State: closed - Opened by MrChico almost 4 years ago - 1 comment

#49 - Smt docs

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

#48 - Fix ethEnv in SMT backend

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#47 - Parserev

Pull Request - State: closed - Opened by MrChico almost 4 years ago - 7 comments

#46 - Prove: support ite

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#45 - Lex: enforce british spelling of behaviour

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

#44 - coq backend

Pull Request - State: closed - Opened by endorphin almost 4 years ago - 7 comments

#43 - Bound eth env

Pull Request - State: closed - Opened by d-xo almost 4 years ago

#42 - Fail specs should not contain stateUpdates

Issue - State: closed - Opened by d-xo almost 4 years ago
Labels: bug

#41 - Provefixes

Pull Request - State: closed - Opened by MrChico almost 4 years ago

#40 - Add some more invariants tests

Pull Request - State: closed - Opened by leonardoalt almost 4 years ago - 1 comment

#39 - Constant invariants

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

#38 - Incorrect AST output for `token` specs

Issue - State: closed - Opened by d-xo about 4 years ago - 1 comment
Labels: bug

#37 - Smt invariants

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

#36 - Fixed point types

Issue - State: open - Opened by d-xo about 4 years ago
Labels: enhancement

#35 - RFC: rounding errors

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

#34 - Housekeeping

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

#33 - Simplifycases

Pull Request - State: closed - Opened by MrChico about 4 years ago

#32 - Constructors

Pull Request - State: closed - Opened by d-xo about 4 years ago - 13 comments

#31 - Support hls

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

#30 - Fix parse tests

Pull Request - State: closed - Opened by MrChico about 4 years ago

#29 - Document the language

Issue - State: open - Opened by leonardoalt about 4 years ago - 1 comment
Labels: documentation

#28 - [Act 0.1] Grammar

Issue - State: closed - Opened by leonardoalt about 4 years ago - 1 comment

#27 - Rearrange examples that fit into 0.1

Issue - State: open - Opened by leonardoalt about 4 years ago
Labels: documentation

#26 - Define Language Scope for 0.1

Issue - State: closed - Opened by leonardoalt about 4 years ago - 2 comments
Labels: documentation

#25 - Rework nix infra

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

#24 - hevm build errors in nix-shell

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

#23 - parser rework

Pull Request - State: closed - Opened by endorphin over 4 years ago - 1 comment

#22 - fix dapptools rev

Pull Request - State: closed - Opened by endorphin over 4 years ago

#21 - nix fails to fetch dapptools

Issue - State: closed - Opened by endorphin over 4 years ago

#20 - Add binary search example

Pull Request - State: closed - Opened by leonardoalt over 4 years ago - 4 comments

#19 - Kbackend

Pull Request - State: closed - Opened by MrChico over 4 years ago

#18 - Specifying behaviour with calls to unknown code

Issue - State: open - Opened by MrChico over 4 years ago - 2 comments
Labels: enhancement

#17 - Happy + Lex for parsing

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

#16 - Improve README

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

#15 - Basic typechecking, Intermediate representation output

Pull Request - State: closed - Opened by MrChico over 4 years ago

#14 - SMT checks of spec validity

Issue - State: closed - Opened by MrChico over 4 years ago - 8 comments
Labels: enhancement

#13 - Nonlinearexample

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

#12 - Basic outline

Pull Request - State: closed - Opened by MrChico over 4 years ago

#11 - Syntax updates

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

#10 - Fix invariant ensures

Pull Request - State: closed - Opened by leonardoalt over 4 years ago

#8 - Add Solidity standard-json to Act skeleton translator

Pull Request - State: closed - Opened by leonardoalt almost 5 years ago

#7 - Elementary syntactic structure

Pull Request - State: closed - Opened by MrChico almost 5 years ago - 4 comments

#6 - Container abstractions: arrays, mappings, ....

Issue - State: open - Opened by MrChico almost 5 years ago
Labels: enhancement

#5 - If vs Case: globalizing pre- & postconditions

Issue - State: closed - Opened by MrChico almost 5 years ago - 2 comments

#4 - Contract invariant example

Pull Request - State: closed - Opened by leonardoalt almost 5 years ago - 3 comments

#3 - Unrolling loops with helper functions

Issue - State: open - Opened by MrChico almost 5 years ago - 13 comments
Labels: enhancement

#2 - Loop invariants

Issue - State: open - Opened by leonardoalt almost 5 years ago - 1 comment
Labels: enhancement

#1 - Basic features

Issue - State: closed - Opened by leonardoalt about 5 years ago - 9 comments

GitHub / ethereum/act issues and pull requests