echidna

Commit Graph

Author	SHA1	Message	Date
Artur Cygan	92f30c66a7	Update hevm to 0.53.0 (#1189 )	8 months ago
Artur Cygan	4ccee4b00b	Echidna 2.2.2 (#1169 )	9 months ago
Gustavo Grieco	988bda7c70	Deliver status information using server-sent events (#1131 ) * POC of delivering status information using server-sent events * deliver only events instead of status lines * Stream JSON events * Hide event server behind config --------- Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>	10 months ago
Artur Cygan	f6e8fbb016	Use trace printing from hevm (#1157 )	10 months 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
Artur Cygan	21e6e5282a	Echidna 2.2.1 (#1099 )	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
Artur Cygan	b57c840db5	Echidna 2.2.0 (#1052 )	1 year ago
Artur Cygan	fd7018d0a1	Enable all cores (-N) for echidna executable (#1033 )	2 years ago
Artur Cygan	2f067ecd8c	hevm 0.50.5 (#1023 )	2 years ago
Artur Cygan	63c445e608	Project-wide cleanup (#1021 )	2 years ago
Artur Cygan	1db3236cd0	Code cleanup (#1020 )	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
Gustavo Grieco	1a32fde37a	Echidna 2.1.1 (#1011 ) * Update package.yaml * Update CHANGELOG.md * Update CHANGELOG.md	2 years ago
Artur Cygan	b683d5c9df	Force corpus evaluation (#1002 ) * Force corpus evaluation * Explanatory comment	2 years ago
Artur Cygan	b9db53c739	Echidna 2.1.0 (#972 )	2 years ago
Emilio López	2b91d6e2c0	Build static Linux binaries with musl (#962 ) * Build static Linux binaries with musl Statically building glibc can be problematic, e.g. it requires the same (dynamic) glibc version in the system you're running the binary: function hsnet_getaddrinfo: warning: Using 'getaddrinfo' in statically linked applications requires at runtime the shared libraries from the glibc version used for linking This changes the build workflow to build the Linux binaries on a musl environment. * Add container used for static builds * Adjust package guards to match after merge * ci: Fix defaults duplication after merge * ci: disable haskell setup when using a container * ci: bump GHC to 9.2.7 * ci: Add README documenting container * ci: unify cache artifacts	2 years ago
Artur Cygan	63e8a14751	Get sources from Etherscan for fetched contracts Basic logging for Etherscan fetches Fix fetch cache populated from constructor Persist and load fetch cache Save fetch cache per block Code cleanup Fetch contract name from Etherscan	2 years ago
Emilio López	c4cf16ce6d	Enable static build for Windows tests	2 years ago
Artur Cygan	8d4bbf939f	Fix linking for executables when using cabal (#949 )	2 years ago
Emilio López	043f8e8e55	Fix emoji output	2 years ago
Emilio López	0963a2d0b9	Enable static build on Windows	2 years ago
Emilio López	56250ae8a8	Try dynamic build	2 years ago
Emilio López	78ee8d2865	Link against GMP on Windows ghc-9.2.5.exe: \| D:\a\_temp\msys64\home\runneradmin\.local\lib\libsecp256k1.a: unknown symbol `__imp___gmpn_gcdext' ghc-9.2.5.exe: \| C:\sr\snapshots\0f12f00e\lib\x86_64-windows-ghc-9.2.5\hevm-0.50.2-8r7d7yHNo9G4MeqIafLjGL\HShevm-0.50.2-8r7d7yHNo9G4MeqIafLjGL.o: unknown symbol `secp256k1_context_create' ghc-9.2.5.exe: Could not load Object Code C:\sr\snapshots\0f12f00e\lib\x86_64-windows-ghc-9.2.5\hevm-0.50.2-8r7d7yHNo9G4MeqIafLjGL\HShevm-0.50.2-8r7d7yHNo9G4MeqIafLjGL.o.	2 years ago
Emilio López	e8764a2927	Disable UI on Windows	2 years ago
Artur Cygan	bc1fab0193	Change executable name from echidna-test to echidna (#826 ) * Change executable name from echidna-test to echidna * Fix release script * Update .github * Don't error on non-portable path on osx * Update docker/Dockerfile Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com> --------- Co-authored-by: Emilio López <2642849+elopez@users.noreply.github.com>	2 years ago
Artur Cygan	dceee29809	Code cleanup (#906 ) * Code cleanup * Fix hlint * Fix name shadowing * Remove redundant import * Remove redundant MonadIO and liftIO * Fix --sender switch * Fix warning * Fix path for saving cov reports	2 years ago
Artur Cygan	ba8950229f	Disable static linking by default (#908 )	2 years ago
Gustavo Grieco	83c41d655e	Echidna 2.0.5 (#911 ) * Update CHANGELOG.md * Update package.yaml	2 years ago
Emilio López	428483c506	Use `bit` instead of power of two (2 ^ i) (#900 ) * Use `bit` instead of power of two (2 ^ i) We are computing powers of two, so using `bit` performs better. * Consider case with i=256 2^256 is not representable in a Word256.	2 years ago
Artur Cygan	8dc4d40d03	Refactor and simplify code to not use Data.Has (#903 ) * Refactor and simplify code to not use Data.Has * Move fromEVM to Echidna.Types	2 years ago
Artur Cygan	2a4d3c67c0	Update hevm to 0.50.1 (#884 ) * Update hevm to 0.50.1 * Fix hlint * Fix warnings * Fix warnings in tests * Optimize genDelay and genValue * Document dictValues	2 years ago
Artur Cygan	d07997b0b9	Remove redundant dependencies (#856 ) * Remove redundant dependencies * Add back time	2 years ago
Gustavo Grieco	8a57ac438c	Echidna 2.0.4 (#855 ) * Update CHANGELOG.md * increase version number	2 years ago
Artur Cygan	64ee6b39d9	word8 package is no longer needed (#854 )	2 years ago
Artur Cygan	7e64a58287	Remove unused dependencies (#827 )	2 years ago
Artur Cygan	ce643852d4	Cleanup imports and extensions (#828 ) * Cleanup imports and extensions * Update hlint action * Fix hlint suggestions	2 years ago
Artur Cygan	aedd24b371	Wrap long tx and event lines in UI (#832 )	2 years ago
Gustavo Grieco	6504a4b339	Colored html output based on @samalws code (#816 ) * added colored html output based on @samalws code * hlint fix * Exclude non-runtime lines from coverage display * Use a lighter grey as background * make sure coverage filenames have the same prefix Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com>	2 years ago
ggrieco-tob	f370281e10	Echidna 2.0.3	2 years ago
Gustavo Grieco	43591b1eb1	Echidna 2.0.2 (#776 ) * initial commit for 2.0.2 * updated changelog	2 years ago
Gustavo Grieco	7686e85c67	added explicit static flag and removed pthread from ghc options (#768 )	2 years ago
Gustavo Grieco	a31a9c2705	Echidna 2.0.1 (#744 ) * Update CHANGELOG.md * prepare for 2.0.1 * Update default.nix * updated changelog * updated changelog	3 years ago
Emilio López	1f703409c4	stack: fix version number, libBF pin (#743 )	3 years ago
Gustavo Grieco	31034fbf8d	Echidna 2.0 (#716 )	3 years ago
Gustavo Grieco	f7481241b9	Echidna 1.7.3 (#699 )	3 years ago
Gustavo Grieco	30e9e5e055	Echidna 1.7.2 (#677 ) * Update package.yaml * Update CHANGELOG.md * Update default.nix	3 years ago
Gustavo Grieco	89d9439bbd	Echidna 1.7.1 (#663 )	4 years ago
Gustavo Grieco	34cf64d19a	Echidna 1.7.0 (#621 )	4 years ago
Gustavo Grieco	4a02bfbb8d	Coverage filenames now will include the current time to avoid overwritting (#620 ) * Coverage filenames now will include the current time to avoid overwritting * Update README.md	4 years ago

1 2 3

119 Commits (8339bada4fea55d1e0e813485d9f9ef13e8925af)