1053 Commits (aedd24b3712c11bfb464e18b429f3ab954cbaf96)

 

All Branches   

Search

Author	SHA1	Message	Date
Artur Cygan	aedd24b371	Wrap long tx and event lines in UI (#832)	2 years ago
Gustavo Grieco	84d8953402	Avoiding failing when parsing solc versions (#835) ... * avoiding failing when parsing solc versions * make sure coverage filenames have the same prefix	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	528c9683f2	Update CHANGELOG.md	2 years ago
Emilio López	1dc209b6a3	Clean up Docker containers (#706) ... * Dockerfile: make image slimmer, based on distroless * GitHub Actions: configure docker buildx * GitHub Actions: move to ghcr.io * Move dockerfile, add solc-install wrapper * Add solc-select to python environment * Disable wheel caching * Add debian-based image * Build and tag both debian and distroless images * Reorganize tags, use build and push action * Add NVM variant * Indicate Dockerfile path correctly * Unify Debian variants * Switch to Docker metadata action * Improve Docker section on README * Enable caching of layers * Update action versions * Move back to Ubuntu To keep the same distro we were using previously * Disable building distroless * Publish the images under the previous names * Fix naming and publishing * Use ubuntu focal Try fixing missing __xmknod symbol with ubuntu jammy * Make apt-get installs non-interactive * Remove 'ubuntu' ghcr image name * Add setuptools, distutils and pip Otherwise the final environment is slightly broken if someone tries to install extra packages * Add UTF-8 locale Echidna prints emojis and will throw an error if the locale is not set correctly. * README: fix some markdownlint warnings * README: adjust Docker documentation	2 years ago
Gustavo Grieco	aab102b34f	Linked issue #798 in the limitation section	2 years ago
Gustavo Grieco	d70f0f8a9a	Updated changelog in preparation of 2.0.3 release	2 years ago
Gustavo Grieco	34b6df9260	avoid resetting accounts if there is a deployed contract (#795)	2 years ago
Emilio López	f43efe09bd	scripts: checkout libff v0.2.1 directly on first clone (#771)	2 years ago
Gustavo Grieco	972086593b	Correctly decode non-utf8 strings from slither printer (#799) ... * correctly decode non-utf8 strings from slither printer * add tests	2 years ago
Gustavo Grieco	1296aa67fe	Fix generation and mutation of extreme signed integers (#791) ... * fix generation and mutation of extremete signed integers * add tests	2 years ago
Emilio López	e12ddb9a2e	Update echidna-action to v2 (#794)	2 years ago
Artur Cygan	25f2a74b77	Add nix flake (#806) ... * Add nix flake * Add aarch64 to flake * Add cachix to flake	2 years ago
Emilio López	2f31867f2e	nix: Bump slither-analyzer and crytic-compile dependencies (#790) ... * nix: Bump slither-analyzer and crytic-compile dependencies hevm is currently marked broken, so only reference the dependencies from the newer snapshot. * nix: re-enable tests	2 years ago
Gustavo Grieco	75162dc9cf	Remove fallback from signature map when it is not defined (#772) ... * remove fallback from signature map when it is not defined * hlint fixes * count corpus test fix * disable nix tests * fixed default values and reenable nix * disable nix tests (again) * disable nix tests (again) * Update nix.yml * Update nix.yml	2 years ago
Gustavo Grieco	43591b1eb1	Echidna 2.0.2 (#776) ... * initial commit for 2.0.2 * updated changelog	2 years ago
Gustavo Grieco	64c9a8910c	improve shrinking of dynamic arrays (#775)	2 years ago
Hamed Mohammadi	6b7df6edf1	Update .gitattributes (#773)	2 years ago
Gustavo Grieco	59c85d45f3	Support for deployment of certain contracts in specific addresses (#758) ... * initial support for deployment of certain contracts in specific addresses * fix * hlint fixes * allow to deploy specific bytecode instead of contracts * fix * use b16 decoding for bytecodes * fix * fix * added two tests to cover this new feature	2 years ago
snd	ed7aad3f95	Error on solc versions before 0.4.25 (#675) ... * Echidna.Solidity: add minSupportedSolcVersion * Echidna.Solidity: add OutdatedSolcVersion to SolException * Echidna.Processor: parse solc versions from slither echidna printer * throw on outdated solc version * Echidna.Processor: remove unused import * Echidna.Processor: ensure backwards compatibility by ignoring missing solc_version in slither echidna printer * Echidna.Processor: fix hlint warning * Update Solidity.hs	2 years ago
Gustavo Grieco	a335d241ac	handle multiple hevm queries in a single transaction (#760)	2 years ago
Gustavo Grieco	7686e85c67	added explicit static flag and removed pthread from ghc options (#768)	2 years ago
Böhm L	79af6a63e6	Update not working publication link (#756)	3 years ago
Nikos Baxevanis	99c7487a83	Update README.md (#761)	3 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
Gustavo Grieco	83a3189b0a	Removed some stateful corpus mutations when echidna runs in stateless mode (#747)	3 years ago
Gustavo Grieco	94163c3eb0	Check for zero tests when using dapptest mode (#745) ... * Check for zero tests when using dapptest mode * improved check * improved check	3 years ago
Gustavo Grieco	93ba16442a	Expanded and improved command-line help (#741) ... * Expanded and improved command-line help * added missing file * fixed tests	3 years ago
Emilio López	1f703409c4	stack: fix version number, libBF pin (#743)	3 years ago
Gustavo Grieco	426ed97b7b	Update default.yaml (#742)	3 years ago
Gustavo Grieco	680bcb41a2	Dapp mode fuzzing support (#733) ... * preliminary code for foundry fuzz test support * added call to setUp * added some tests, that needed to be fixed * added missing file, fixed tests and some optimization * fix solc version * fix * show an error if setUp reverts * fix hlint issues * fixed and reorganized tests * renamed test mode	3 years ago
Gustavo Grieco	a90c2c3028	Generate more values closer to the maximum (#736) ... * Generate more values closer to the maximum * added test and some fixes * fixes * fix	3 years ago
Emilio López	f76a7f4a20	Fix TERMINFO path for Nix release builds (#731) ... ncurses in Nix is built with a TERMINFO path that references `/nix`. This causes the binaries fail when ran on non-nix systems, unless TERMINFO=/usr/share/terminfo is exported. This patches the binaries to use a more sensible default TERMINFO path.	3 years ago
Gustavo Grieco	a729ef94b5	Mitigate large memory consumption when replaying corpus (#725)	3 years ago
Gustavo Grieco	e52802c6e3	fix --shrink-limit to change shrink limit instead of test limit (#728)	3 years ago
Gustavo Grieco	e3c25b6b13	fix test (#726)	3 years ago
ggrieco-tob	0e3c05d56d	corretly show lines with multiple types of coverage	3 years ago
Emilio López	65ecb1cb76	Update nixpkgs for Echidna 2.0 (#717) ... * Bump echidna version to 2.0.0 * Upgrade hevm to 0.49 * Fix bundling by using matching nixpkgs * Re-enable nix build on CI	3 years ago
Emilio López	b3071adb4d	Fix references to old test location (#718)	3 years ago
Gustavo Grieco	31034fbf8d	Echidna 2.0 (#716)	3 years ago
Artur Cygan	253e159b6e	Native M1 development support and releases with Nix (#700)	3 years ago
Dan Guido	f1b0a8f42d	Update README.md (#712)	3 years ago
Sam Uwe Alws	aa99405d58	Memoize getBytecodeMetadata; fix State memory leak (#707)	3 years ago
Sam Uwe Alws	e2d6c81818	Instructions for profiling; improve default.nix (#704)	3 years ago
Nat Chin	58b4c933f1	Added link to Liquity Dev repository (#711)	3 years ago
Gustavo Grieco	e9bba78133	Replaced dead link in the README	3 years ago
Emilio López	8180d332c0	Move echidna action to crytic/echidna-action (#701) ... This removes the action from the echidna repository. The action will now live on its own repository, where it can be versioned and published independently. Additionally, this updates the workflow to refer to the action on its new location, as well as adds a few lines to the README pointing to the new action location.	3 years ago
Emilio López	ff36688977	GH Actions: Bump cachix/install-nix-action to v16 (#703)	3 years ago
Evan Sultanik	f0f20de47e	MacOS Compatibility (#688) ... * Use homebrew to set the OpenSSL prefix * Use `uname` to set $HOST_OS if it is not set in the environment * Do not re-clone the libff repo if it already exists * Adds additional environment variables to appease OpenSSL/CMake	3 years ago