1028 Commits (dev-unrevert-exploration)

 

All Branches   

Search

Author	SHA1	Message	Date
ggrieco-tob	9ddfba5fa6	fixes	3 years ago
ggrieco-tob	06eab3fdce	Allow echidna to continue executing even after a revert	3 years ago
ggrieco-tob	81cc68412a	refined coverage to show when the transaction ended	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
Dayitva Goel	b13fde77ae	fix typo in README.md (#702)	3 years ago
Gustavo Grieco	f7481241b9	Echidna 1.7.3 (#699)	3 years ago
Artur Cygan	2894ba2c74	Skip .json directories on cleanup (#697)	3 years ago
Artur Cygan	6d461a77a8	Clean up previous json files in crytic-export dir (#696) ... * Clean up previous json files in crytic-export dir * Check if crytic-export exists prior to cleaning	3 years ago
Artur Cygan	d1ae6bac6c	Fix incorrect function filtering when using assertion mode (#695)	3 years ago
Gustavo Grieco	8e010faac8	Improved handling of negative constants (#683)	3 years ago
Samuel Moelius	ed064f14c7	GitHub action (#687) ... * Draft GitHub action * Update action.yml * Allow solc version selection * Updation action.yml	3 years ago
Artur Cygan	b425931b9f	Update hevm to 0.48.0 (#691)	3 years ago
Artur Cygan	16834a15e5	Remove nix workaround for slither (#680) ... * Remove nix workaround for slither * Use hevm from nixpkgs	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
Gustavo Grieco	30e9e5e055	Echidna 1.7.2 (#677) ... * Update package.yaml * Update CHANGELOG.md * Update default.nix	3 years ago
Gustavo Grieco	5aaf4a9076	Update README.md	3 years ago
Artur Cygan	4aeffd4baa	Update hevm to 0.46.0 (#660)	3 years ago
Gustavo Grieco	f4b78a2898	Support for loading multiple files with compiled contracts from hardhat/brownie (#659)	3 years ago
Gustavo Grieco	f8b4bdccbc	Update Integration.hs (#667)	4 years ago
Gustavo Grieco	ba77ea6623	Update README.md (#670)	4 years ago
Gustavo Grieco	b11be00956	Update README.md (#666)	4 years ago
Artur Cygan	0a604ff565	Fix check-asserts and multi-abi cli switches (#665)	4 years ago
Artur Cygan	cf40c27770	Additional CLI options (#664)	4 years ago
Gustavo Grieco	89d9439bbd	Echidna 1.7.1 (#663)	4 years ago
Gustavo Grieco	8668dc4022	Reworked mutators and tests to be more efficient (#628)	4 years ago
Gustavo Grieco	556aa86627	Document limitations and known issues (#655) ... * Document limitations and known issues * Update README.md * Update README.md * Update README.md	4 years ago
Gustavo Grieco	e531f05514	Automatically initialize addresses when used (#657) ... * automatically initialize addresses when used * added some tests * added some tests * fix some minor issues Co-authored-by: Will Song <will.song@trailofbits.com>	4 years ago
Gustavo Grieco	ca02d7b8b3	Added the number of frames as coverage information to record (#624) ... * Added the number of frames as coverage information to record * fix * fixes * rename NumberFrames	4 years ago
Gustavo Grieco	185ee196f4	Fix num range updated (#650) ... * fix numerical range of (u)int after mutation * fix * Clean up fixAbiUInt and fixAbiInt Co-authored-by: Artur Cygan <arczicygan@gmail.com>	4 years ago