Bump nixpkgs #6
Draft
Bump nixpkgs #6
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Hoping this works a bit better on Windows
Re-enable dapp tests on Windows
Fixing docs, adding symbolic execution tutorial
using -Wunused-packages to eliminate unused deps
Sometimes Foundry's CI can fail and e.g. not upload the releases. Pin the version instead so we're not subject to those sorts of issues.
Co-authored-by: Mate Soos @ Ethereum Foundation <99662964+msooseth@users.noreply.github.com>
ci: windows: pin Foundry version
SymExec: symbolic abi encoding for tuples (+ fuzzing)
…lification Tiny simplification of constFoldProp
Rename method to better reflect its functionality and add tests
Debug flag should dump internal expressions
Add tests for detecting unsatisfiability
Co-authored-by: Martin Blicha <martin.blicha@gmail.com>
Co-authored-by: Martin Blicha <martin.blicha@gmail.com>
Co-authored-by: Martin Blicha <martin.blicha@gmail.com>
Co-authored-by: Martin Blicha <martin.blicha@gmail.com>
Co-authored-by: Martin Blicha <martin.blicha@gmail.com>
The idea is to always normalize Prop equalities such that concrete values appear on the left-hand-side. This follows the example of the helper functions for expressions, that also immediately simplify if they get concrete arguments, and normalize arguments for commutative operations.
…arounds Adding limitations and workaround page to documentation
…nstructor Use simplifying constructor for PEq
More simplifications for SMod, Mod, Div and SDiv
After some discussion, it turns out it is preferable to keep simplification code in the simplification functions and do not simplify equalities directly at construction point. However, we would still like to normalize equalities, so that constants are at LHS. Therefore we update the simplification rules, which were previously written to expect constant on RHS.
…tion Do not simplify equality immediately on construction
Print OpCode on partial exec failure
Sorry, I messed up the partial warning PR, this is a fix for that
pkgsStatic seems to use GHC 9.4: NixOS/nixpkgs#317175 (comment)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Description
Checklist