74 Commits (dev-unrevert-exploration)

Author	SHA1	Message	Date
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
Emilio López	41c45af0da	Run echidna tests in parallel (#571) ... * semver integration for improve testing with different solc versions * fixes * more fixes * GitHub Actions: macOS releases: Drop extra libgmp renaming * GitHub Actions: drop workaround for actions/virtual-environments#1811 This has been fixed upstream by GitHub. * GitHub Actions: upgrade cache and setup-python actions to v2 * GitHub Actions: prettify Linux artifact Currently the tar.gz file has several folders inside from where the binary used to be in the runner, clean those up using -C. * Make tests static This helps in the case of CI, and allows to run the tests on a separate container without having to set up any library or Haskell dependencies. * GitHub Actions: implement parallel testing This allows for parallel execution of the echidna tests, which helps improve testing speed, especially once newer solc versions are included in the pipeline. * GitHub Actions: install the exact solc needed instead of all versions * GitHub Actions: re-enable MacOS CI Co-authored-by: ggrieco-tob <gustavo.grieco@trailofbits.com> Co-authored-by: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com>	4 years ago
Gustavo Grieco	c8d2966cc9	Echidna 1.6.1 release (#600) ... * Update CHANGELOG.md * Update package.yaml * Update CHANGELOG.md * Update CHANGELOG.md	4 years ago
Gustavo Grieco	717e2280b7	Semver integration for improve testing with different solc versions (#594) ... * semver integration for improve testing with different solc versions * fixes * more fixes * fix	4 years ago
Will Song	050e47df41	release v1.6.0 (#561)	4 years ago
Gustavo Grieco	7c8420ac02	Improvements in the detection of failed tests (#515) ... * first version * missing file * fixed bug, but tests are broken * fixed tests * hlint fixes * fixes * several fixes * fixes * fixes	4 years ago
Gustavo Grieco	16ba989566	Use Slither for constant extraction (#451) ... * first version of the use of slither for constant extraction * fixed some tests * fix missing test * fix warning * fixes * fix + test * fixes * fix * slither is now mandatory * fix	4 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	9149d95dda	fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata (#510) ... * fix issue where libraries would get loaded at extreme timestamps and block numbers, also switch to the new hevm stripBytecodeMetadata * no longer doing cbor parsing * added test Co-authored-by: ggrieco-tob <gustavo.grieco@trailofbits.com>	4 years ago
Will Song	e0047842e0	update for 1.5.1 (#470)	4 years ago
Will Song	6654f087d6	try removing all non-essential constraints in package.yaml (#466)	4 years ago
Gustavo Grieco	86b2b574fd	Use of external programs to obtain information to use during the campaign (#396)	5 years ago
Will Song	c3b94decc4	1.5.0.0 -> 1.5.0 (#431)	5 years ago
Gustavo Grieco	abf5b4cf4b	Echidna 1.5.0.0	5 years ago
Gustavo Grieco	1456b8caf3	Improved array generation using generic mutations (#357)	5 years ago
Will Song	3a93b2cf9b	update hevm to 0.37, echidna 1.4.0.1 (#381)	5 years ago
Gustavo Grieco	e5a58b75c0	Updates for 1.4.0.0 (#377)	5 years ago
Will Song	d467d9e115	update some fields	5 years ago
Will Song	6c0ad80eb1	bump version	5 years ago
Will Song	69c8fc5028	add stripBytecodeMetadata	5 years ago
Will Song	78fd57c9fb	split no longer used	5 years ago
Will Song	ba75af8f54	Update changelog for release (#331)	5 years ago
JP Smith	3331442965	remove unnecessary encoding tests	5 years ago
JP Smith	83d88d1f9a	update hevm, remove abiv2	5 years ago
Artur Cygan	7033065b1e	Add --version to CLI	5 years ago
Will Song	66f425e909	hedgehog	5 years ago
Will Song	aefcd6a2a8	codeclimate	5 years ago
Will Song	ae43204b0b	include a property test for ABIv2 encode/decode	5 years ago
Will Song	fe0708b326	get this shit to compile with placeholder functions	5 years ago
Will Song	413f97266b	test (does not work !!)	5 years ago
Gustavo Grieco	633155c86e	Support for truffle/embark using crytic-compile (#204)	5 years ago
JP Smith	b556993655	add constant scraping for return vals	5 years ago
Will Song	daa04ae30b	Seeds of life 2 (#254)	5 years ago
JP Smith	9191187f39	initial stable release (#237)	5 years ago
JP Smith	863d1eed7e	gold didn't help	5 years ago
JP Smith	4043c80a8d	try using gnu gold	5 years ago
JP Smith	3c6bcd18b2	you only yolo once	5 years ago
Gustavo Grieco	3d095989fa	Enable the use of statically-linked binaries (#222) ... * enabled static binary * added conditional build of static flags	6 years ago
JP Smith	eae847485f	check that we're in a terminal before drawing dashboard	6 years ago
Gustavo Grieco	13983c6fec	Update package.yaml	6 years ago
Gustavo Grieco	6b161cb6f1	Update package.yaml	6 years ago
Will Song	efe04cad6b	s/stack-test/echidna-testsuite/	6 years ago
Will Song	cfd2135d08	add a tasty-hunit test, this should be runnable with `stack test`	6 years ago
JP Smith	468def9b81	rewrite echidna to work better	6 years ago