echidna

Commit Graph

Author	SHA1	Message	Date
Artur Cygan	d03c34afc3	Bump nixpkgs and cleanup cc hack	1 month ago
Emilio López	7fc18798a0	Upgrade `hevm` to upstream `main` Commit c779777d18c8ff60867f009d434b44ce08188e01	1 month ago
Emilio López	28adea9141	Upgrade `hevm` to `echidna-patches-20240826`	2 months ago
Emilio López	182580e645	Upgrade build to GHC 9.6 (#1245 ) * Upgrade hevm to latest `echidna-patches` commit * Upgrade build to GHC 9.6 * Refactor terminal and signal support in preparation for Windows UI * Enable UI on all platforms * Use pkgsStatic for Linux pkgsMusl fails to build for some reason. * Remove conditional UI compilation All platforms now support the Echidna UI * Enable UI on ConHost as well See the introduction on https://hackage.haskell.org/package/ansi-terminal-1.1.1/docs/System-Console-ANSI.html * Enable `eager-blackholing` Observed a ~2% speedup on longer runs when compiling both hevm and echidna with this flag. Besides, the Haskell documentation encourages enabling it for parallel code: https://downloads.haskell.org/~ghc/9.6.5/docs/users_guide/using-concurrent.html#compile-time-options-for-smp-parallelism * Resolve hlint warnings * Update Linux Stack CI to 9.6 * Fix compilation failure after merge * Upgrade hevm to `echidna-patches-20240725` * Fix lint warnings, unused imports * flake: align nixpkgs with hevm * flake: fix libiconv for x86_64 darwin > app/utf8-troubleshoot/cbits/locale.c:10:10: error: > fatal error: 'libcharset.h' file not found > \| > 10 \| #include <libcharset.h> > \| ^ > #include <libcharset.h> > ^~~~~~~~~~~~~~ Also link iconv dynamically on Darwin as well	3 months ago
Gustavo Grieco	08041e4b6e	Initial support for tstore/tload (#1286 ) * switch to tstore branch on hevm fork. all we should need now is a call to clearTStorages * call clearTStorages after each transaction * test case * bump hevm * bump hevm again --------- Co-authored-by: Sam Alws <sam.alws@trailofbits.com>	4 months ago
Emilio López	1babeca6ee	Upgrade hevm to latest `echidna-patches` commit (#1243 )	6 months ago
samalws-tob	5d55003b73	Add symbolic execution (#1216 ) * Add symbolic execution Co-authored-by: Ben Siraphob <bensiraphob@gmail.com> Co-authored-by: Sam Alws <sam.alws@trailofbits.com> * Add support for concolic execution --------- Co-authored-by: Artur Cygan <artur.cygan@trailofbits.com> Co-authored-by: Ben Siraphob <bensiraphob@gmail.com>	6 months ago
Artur Cygan	92f30c66a7	Update hevm to 0.53.0 (#1189 )	8 months ago
Artur Cygan	f6e8fbb016	Use trace printing from hevm (#1157 )	10 months ago
Artur Cygan	ce70a8e958	hevm: update to 0.52.0	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	f4dfed28e1	Update hevm to 0.51.3 (#1090 )	1 year ago
Artur Cygan	2f067ecd8c	hevm 0.50.5 (#1023 )	2 years ago
Artur Cygan	618228c93b	Bump dependencies (#1022 ) * Bump dependencies * Use hevm from nixpkgs	2 years ago
Artur Cygan	93ee9db6e5	hevm 0.50.4 (#986 ) * hevm 0.50.4 * Bump stack and flake.lock	2 years ago
Emilio López	c29bb61418	Update hevm reference to upstream The Windows changes have been merged upstream now.	2 years ago
Emilio López	7a2ea7777a	Update hevm	2 years ago
Emilio López	56250ae8a8	Try dynamic build	2 years ago
Emilio López	e8764a2927	Disable UI on Windows	2 years ago
Artur Cygan	640cc5bb30	Update hevm to 0.50.3 (#942 ) * Update hevm to 0.50.3 * Fix stack * Cosmetic fixes * Warnings	2 years ago
Gustavo Grieco	0ac89ae5a7	experimental prank support (#897 )	2 years ago
Artur Cygan	6f7b19c4f5	Update to hevm with regressions fixed (#894 ) * Update to hevm with regressions fixed * Bump to the released hevm 0.50.2	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	b70141510b	Update to GHC 9.0.2 (#846 ) * Update nixpkgs and stack to GHC 9.0.2 * Fix macos release script	2 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
Artur Cygan	b425931b9f	Update hevm to 0.48.0 (#691 )	3 years ago
Artur Cygan	25dfdad93d	Fix source printing and update hevm to 0.47.0 (#678 ) * Fix source printing and update hevm to 0.47.0 * Handle VMFailure FFI * Fix seed reproducibility test * Cosmetic fixes	3 years ago
Artur Cygan	4aeffd4baa	Update hevm to 0.46.0 (#660 )	3 years ago
Will Song	a4a7af92c4	hevm 0.42 (#511 ) * hevm-0.41.x * Buffer.hs * fix some non-exhaustive patterns * actually implement viewBuffer lol * disable gas price usage until hevm fixes its issue * upgrade to hevm-0.42 and fix tests * fixed test + default value * fixed test + default value * upgrade to sbv 8.8 Co-authored-by: ggrieco-tob <gustavo.grieco@trailofbits.com>	4 years ago
Will Song	3a93b2cf9b	update hevm to 0.37, echidna 1.4.0.1 (#381 )	5 years ago
JP Smith	83d88d1f9a	update hevm, remove abiv2	5 years ago
JP Smith	406559b8f2	code cleanup	5 years ago
Gustavo Grieco	326563574c	Update stack.yaml	5 years ago
ggrieco-tob	987653e410	upgraded to hevm-0.30	5 years ago
ggrieco-tob	c88af30593	upgrade to hevm 0.24	6 years ago
JP Smith	468def9b81	rewrite echidna to work better	6 years ago
JP Smith	3f7308c7d6	fix build 4: return of the son of fix build	6 years ago
ggrieco-tob	993ce991de	Upgrade to hedgehog 0.6 (#50 )	7 years ago
Connor Christie	581f78d6e4	Use fmap and clarify readme	7 years ago
Connor Christie	7e66ca2109	Add ability to specify solc compiler options	7 years ago
JP Smith	14c6c3e29a	new solidity code + hlint clean	7 years ago
JP Smith	47a932fbf0	begin library refactor	7 years ago

43 Commits (b54afcda5f4fbd449e34eea889e119383fd031fa)