31 Commits (ad79b3aa0e889ff1714a303f262f9e417d9deccd)

Author	SHA1	Message	Date
Artur Cygan	0b4e1e7124	Move all nix stuff to flake, use nix-bundle-exe for macOS release (#851) ... * Move all nix stuff to flake, use nix-bundle-exe for macOS release * Fix linux build	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
Artur Cygan	7e64a58287	Remove unused dependencies (#827)	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
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	43591b1eb1	Echidna 2.0.2 (#776) ... * initial commit for 2.0.2 * updated changelog	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	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
Artur Cygan	253e159b6e	Native M1 development support and releases with Nix (#700)	3 years ago
Sam Uwe Alws	e2d6c81818	Instructions for profiling; improve default.nix (#704)	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
Artur Cygan	4aeffd4baa	Update hevm to 0.46.0 (#660)	3 years ago
Gustavo Grieco	89d9439bbd	Echidna 1.7.1 (#663)	4 years ago
Artur Cygan	4ee60b1de1	macOS binary was replaced in binaries.soliditylang.org (#629) ... See more: https://github.com/ethereum/solc-bin/pull/76	4 years ago
Artur Cygan	e03c02cf8f	Bump default.nix to 1.7.0 (#623)	4 years ago
Artur Cygan	264a8a09e8	Nix workflow (#612)	4 years ago
Artur Cygan	182b15a114	Pin nixpkgs and remove slither workaround (#608) ... * Remove nix slither workaround * Pin nixpkgs	4 years ago
Artur Cygan	d26f0a07c5	Update nix to run test suite without any additional setup (#604)	4 years ago
Artur Cygan	f35b468b35	Update nix build for 1.6.1 (#603)	4 years ago
Artur Cygan	bc64718eaa	Fix and simplify Nix build (#581) ... * Fix and simplify Nix build * libff workaround no longer needed, fixed in nixpkgs	4 years ago
Artur Cygan	268b751ffe	Simplify code without semantic changes (#448)	5 years ago
Artur Cygan	14125aa9e6	Update Nix to the latest version	5 years ago
Artur Cygan	1017dd9c25	Reduce nix closure size	5 years ago
Artur Cygan	0eba3ecdd3	Run hpack when entering nix-shell	5 years ago
Artur Cygan	84c8320a3e	Fix linux build	5 years ago
Artur Cygan	b6ee966367	Build and develop with nix	5 years ago