31 Commits (dev-all-events)

Author	SHA1	Message	Date
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