Emilio López
b86c6e2dde
ci: go back to upstream haskell-actions/setup
...
M1 support has been merged upstream.
11 months ago
Emilio López
3f28d762b4
Merge remote-tracking branch 'origin/master' into m1-builds-github
1 year ago
Emilio López
96c2f48e6e
ci: container-linux-static: add missing stack config
...
This was not committed with #1096 by mistake.
1 year ago
E. Rivas
f52b35af4e
Fix new hlint issues after update (hlint-3.6.1) ( #1132 )
...
* refactor: nits to make hlint-3.6.1 happy
* refactor: remove redundant import
1 year ago
Emilio López
0ee721f051
Patch haskell setup action for M1 support
1 year ago
Emilio López
430d49bf7a
ci: use nicer artifact names
...
Now that we have both Intel and ARM builds, we need to be able to
tell them apart.
1 year ago
Emilio López
96a429e7dc
ci: enable M1 runners for CI job
1 year ago
Artur Cygan
e03efba8d2
Update to GHC 9.4 ( #1096 )
...
* Update to GHC 9.4
* ci: Update to GHC 9.4
* ci: fix GHC 9.4 support on Windows
GHC 9.4 has changed toolchains to Clang, which causes issues when building
with our current setup. We perform the following changes to support
GHC 9.4 and later:
* Use MSYS2 CLANG64 MSYS. See https://gitlab.haskell.org/ghc/ghc/-/issues/22561
* Use MSYS2 minimal $PATH. There's many things in the default GitHub
environment that cause conflicts. To achieve this, we have to also
manually re-add the Stack, Cabal and GHC paths.
* Bump the Stack resolver. GHC 9.4.7 has some compilation fixes that
are good to have around.
* Replace the GHC linker with our MSYS2 linker. The GHC linker is old
(~LLVM 14?) and does not fully understand the static libraries
produced by the newer Clang 17 in MSYS2.
* Refactor the way we invoke Stack and take advantage of the Stack
config to indicate extra library and include paths.
* Drop the 'strip' workaround for the test suite, as it is not needed
any longer.
* Fix the linking of the standard C++ library. GHC 9.4 introduces a
nice way to do it in a platform-independent way, but unfortunately
it does not work properly in Nix and it attempts to link clang++
instead of libc++.so, so we have to use some trickery.
addDLL: stdc++ or dependencies not loaded. (Win32 error 126)
See also:
* https://gitlab.haskell.org/ghc/ghc/-/issues/22738
* https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.4?version_id=b60e52482a666d25638d59cd7e86851ddf971dc1#link-against-system-cxx-std-lib-instead-of-stdc
* hevm: pin to newer version supporting GHC 9.4
* ci: linux: update to GHC 9.4.7
* ci: do not cache Stack config
---------
Co-authored-by: Emilio López <emilio.lopez@trailofbits.com>
1 year ago
dependabot[bot]
c42eff0750
Bump docker/login-action from 2 to 3 ( #1122 )
...
Bumps [docker/login-action](https://github.com/docker/login-action ) from 2 to 3.
- [Release notes](https://github.com/docker/login-action/releases )
- [Commits](https://github.com/docker/login-action/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: docker/login-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
dependabot[bot]
068fa9dc13
Bump docker/metadata-action from 4 to 5 ( #1121 )
...
Bumps [docker/metadata-action](https://github.com/docker/metadata-action ) from 4 to 5.
- [Release notes](https://github.com/docker/metadata-action/releases )
- [Upgrade guide](https://github.com/docker/metadata-action/blob/master/UPGRADE.md )
- [Commits](https://github.com/docker/metadata-action/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: docker/metadata-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
dependabot[bot]
561edc0c72
Bump docker/build-push-action from 4 to 5 ( #1120 )
...
Bumps [docker/build-push-action](https://github.com/docker/build-push-action ) from 4 to 5.
- [Release notes](https://github.com/docker/build-push-action/releases )
- [Commits](https://github.com/docker/build-push-action/compare/v4...v5 )
---
updated-dependencies:
- dependency-name: docker/build-push-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
dependabot[bot]
83475edf7f
Bump docker/setup-buildx-action from 2 to 3 ( #1119 )
...
Bumps [docker/setup-buildx-action](https://github.com/docker/setup-buildx-action ) from 2 to 3.
- [Release notes](https://github.com/docker/setup-buildx-action/releases )
- [Commits](https://github.com/docker/setup-buildx-action/compare/v2...v3 )
---
updated-dependencies:
- dependency-name: docker/setup-buildx-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
Emilio López
33f7b46d58
Revert "docker: temporarily pin crytic-compile @ 53167f3f3d63 ( #912 )" ( #1115 )
...
This reverts commit 563886df8b
.
The mentioned changes are now in a crytic-compile release.
Closes #1114
1 year ago
Ardis Lu
31c187b835
Fix broken link ( #1113 )
1 year ago
dependabot[bot]
f8ccfaa57d
Bump cachix/install-nix-action from 22 to 23 ( #1112 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 22 to 23.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v22...v23 )
---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
dependabot[bot]
058b517894
Bump actions/checkout from 3 to 4 ( #1111 )
...
Bumps [actions/checkout](https://github.com/actions/checkout ) from 3 to 4.
- [Release notes](https://github.com/actions/checkout/releases )
- [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md )
- [Commits](https://github.com/actions/checkout/compare/v3...v4 )
---
updated-dependencies:
- dependency-name: actions/checkout
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
Gustavo Grieco
9ea8a2c865
re-enable using slither for vyper files ( #1108 )
1 year ago
Artur Cygan
21e6e5282a
Echidna 2.2.1 ( #1099 )
1 year ago
Artur Cygan
7be4072d77
Bring back loading multiple combined JSON files ( #1098 )
1 year ago
Artur Cygan
f4dfed28e1
Update hevm to 0.51.3 ( #1090 )
1 year ago
Emilio López
2711374501
echidna: enable compact-unwind on macOS ( #1084 )
...
* hevm: enable compact-unwind on macOS
Refer to https://gitlab.haskell.org/ghc/ghc/-/issues/11829
* Add test for precompile unwinding
* Revert hevm pin from "hevm: enable compact-unwind on macOS"
This partially reverts commit 37270701a7
.
hevm will be upgraded separately.
1 year ago
Gustavo Grieco
8ce9b49b7c
Correct collection of coverage when there is a delegatecall ( #1083 )
1 year ago
James Olds
dcc2387a7f
update link to empirehacking slack ( #1089 )
1 year ago
dependabot[bot]
d0292959ab
Bump cachix/install-nix-action from 21 to 22 ( #1080 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 21 to 22.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v21...v22 )
---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
Artur Cygan
a7d9290295
Show event sequence on new lines ( #1079 )
1 year ago
Artur Cygan
e9860f3f42
Improve "No tests found in ABI" error message ( #1077 )
1 year ago
Artur Cygan
d022554e65
Convert MonadState VM to explicit arguments ( #1074 )
1 year ago
Artur Cygan
916d2fca0c
Refactor (VM, WorkerState) to WorkerState ( #1070 )
1 year ago
Gustavo Grieco
b43ecf7fcd
Add events into JSON output ( #1069 )
1 year ago
dependabot[bot]
70a1c6ce75
Bump cachix/install-nix-action from 20 to 21 ( #1062 )
...
Bumps [cachix/install-nix-action](https://github.com/cachix/install-nix-action ) from 20 to 21.
- [Release notes](https://github.com/cachix/install-nix-action/releases )
- [Commits](https://github.com/cachix/install-nix-action/compare/v20...v21 )
---
updated-dependencies:
- dependency-name: cachix/install-nix-action
dependency-type: direct:production
update-type: version-update:semver-major
...
Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
1 year ago
Artur Cygan
b57c840db5
Echidna 2.2.0 ( #1052 )
1 year ago
Artur Cygan
40f1c08ae5
Fix revert display on coverage reports ( #1051 )
1 year ago
Artur Cygan
87449e9896
Multicore ( #963 )
...
* Multicore
* Try different approach for stopping workers
* Fix windows warning
* Cleanup
* Distribute corpus replay across workers
* Change jobs to workers in config and CLI
* Fix corpus chunking
* Use better chunksOf
* Fix JSON output
* Fix rebasing mistake
* Fix workers not stopping while fetching RPC
* Fix optimization tests shrinking
* Dont set Solved for optimization tests
2 years ago
Artur Cygan
134a4f2a5c
Fix pc out-of-bounds coverage access ( #1041 )
2 years ago
Gustavo Grieco
185432ff7c
Restore showing the optimized value in format output ( #1040 )
2 years ago
Artur Cygan
84a8d51503
Fix replayCorpus function ( #1035 )
2 years ago
Artur Cygan
b02213bb0e
UI: move test count to header ( #1034 )
2 years ago
Artur Cygan
fd7018d0a1
Enable all cores (-N) for echidna executable ( #1033 )
2 years ago
Artur Cygan
2c0258ab84
UI improvements ( #1032 )
...
* UI cleanup
* Disable unused imports warning for Echidna.UI
2 years ago
Artur Cygan
2f067ecd8c
hevm 0.50.5 ( #1023 )
2 years ago
Artur Cygan
f7112fcc6a
Fix right side of UI stats ( #1031 )
2 years ago
Artur Cygan
e9bcf50cda
Add support for lcov, as well as an option in config for choosing coverage formats ( #1029 )
...
Co-authored-by: Sam Alws <sam.alws@trailofbits.com>
2 years ago
Artur Cygan
bdbf2bba04
Mutable coverage ( #1003 )
2 years ago
Artur Cygan
0ce9588ec0
Decouple corpus replay from callseq ( #1026 )
2 years ago
Gustavo Grieco
558baef3f5
Experimental power number generator for uints ( #892 )
...
* added experimental power number generator for uints
* fix
* fix
* fix
* use the power generator number half of time we need a large number
* Tweaked probabilities for uint generation
2 years ago
Artur Cygan
618228c93b
Bump dependencies ( #1022 )
...
* Bump dependencies
* Use hevm from nixpkgs
2 years ago
Artur Cygan
63c445e608
Project-wide cleanup ( #1021 )
2 years ago
Artur Cygan
1db3236cd0
Code cleanup ( #1020 )
2 years ago
Artur Cygan
cee5b86222
Readme - update nix instructions, small fixes ( #1019 )
2 years ago
Artur Cygan
2fea6ba8af
RPC improvements (chain id, config options) ( #1017 )
...
* RPC improvements (chain id, config options)
* Fetch external contract sources for Ethereum Mainnet only
2 years ago