1028 Commits (dev-unrevert-exploration)

 

All Branches   

Search

Author	SHA1	Message	Date
Will Song	bc25142d55	refactor CampaignConf and Campaign (#384)	5 years ago
erivas	53cd315eba	liftSH hack to solve memory issue (#423)	5 years ago
Gustavo Grieco	864bb993c8	Fixed array memory leak (#422)	5 years ago
erivas	1f30a1ea0d	Benchmark mode runs a number of callseqs, reflected in the UI (#420)	5 years ago
Artur Cygan	eef37e0b39	Typo fix	5 years ago
Artur Cygan	3fbe6d1c45	Update README with Nix stuff	5 years ago
Artur Cygan	0eba3ecdd3	Run hpack when entering nix-shell	5 years ago
Artur Cygan	c99e0f3564	Merge pull request #409 from erivas/master ... Basic benchmark mode	5 years ago
erivas	7b5a9b60ca	Merge branch 'master' into master	5 years ago
Artur Cygan	313a4f8b31	JSON Output (#405)	5 years ago
E. Rivas	11e2589cc8	Removed extra line	5 years ago
E. Rivas	d0284400b1	Removed silly shadowing in lib/Echidna/Campaign.hs by inlining	5 years ago
E. Rivas	9146a992fc	tests + rule benchmarkMode makes tests = []	5 years ago
Emilio López	a658891785	GitHub Actions: Mac OS support and improvements (#414)	5 years ago
Gustavo Grieco	d4fbc1c96b	Fixed coverage counting when a contract is deployed multiple times (#410)	5 years ago
Artur Cygan	84c8320a3e	Fix linux build	5 years ago
Artur Cygan	b6ee966367	Build and develop with nix	5 years ago
E. Rivas	21b98de1be	Format in lib/Echidna/Config.hs	5 years ago
E. Rivas	93d64ff6ab	Missing benchmarkMode in default.yaml	5 years ago
E. Rivas	3a3b3b3691	Basic benchmark mode	5 years ago
Gustavo Grieco	bd5befd817	Compress and upload artifact (#402)	5 years ago
Will Song	19e99c0b6c	fix git in the container and run some cleans (#406)	5 years ago
Gustavo Grieco	861de78cbb	Corrected corpus prioritization usage and added comments (#403)	5 years ago
Gustavo Grieco	ee3b501ce6	Use safe mutation parameters to favor purely random generation (#393)	5 years ago
Gustavo Grieco	a368be2b14	Update README.md (#404)	5 years ago
Gustavo Grieco	28134a1af4	Update Dockerfile (#400)	5 years ago
Gustavo Grieco	6df117fabd	Add pip3 into the docker file (#399)	5 years ago
Will Song	bb9604a5d8	HOST_OS (#398)	5 years ago
Will Song	74aec258f3	try docker action (#388)	5 years ago
Gustavo Grieco	ee11293a07	Enable addresses shrinking (#385)	5 years ago
Will Song	a6e99d183e	fix dockerfile maybe (#394)	5 years ago
Gustavo Grieco	dc01758b2b	Corpus mutation hotfix (#395)	5 years ago
Gustavo Grieco	32db8d0e4f	Prioritization to mutate each list of transactions from the corpus (#376)	5 years ago
Gustavo Grieco	1456b8caf3	Improved array generation using generic mutations (#357)	5 years ago
Gustavo Grieco	9db3c342ab	Multiple coverage tracking according to the result of a transaction (#369)	5 years ago
Gustavo Grieco	1c1f7f97f5	Avoid duplicated hlint action in a PR (#391)	5 years ago
Gustavo Grieco	9322857c3f	Replace TravisCI by Github actions (#390)	5 years ago
Gustavo Grieco	63c2cd9d08	Allow to control corpus mutation constants using a configuration file	5 years ago
Gustavo Grieco	dfa7fe2036	Show address in hex using "0x" (#386)	5 years ago
Gustavo Grieco	ea7bb7c178	Added a script to release signed binaries and removed old script (#379)	5 years ago
Will Song	3a93b2cf9b	update hevm to 0.37, echidna 1.4.0.1 (#381)	5 years ago
Gustavo Grieco	e38a467081	Small refactor for generalized shrinking (#374)	5 years ago
Gustavo Grieco	cb22af4edf	Added new research tests and reorganized examples folder (#378)	5 years ago
Gustavo Grieco	e5a58b75c0	Updates for 1.4.0.0 (#377)	5 years ago
Chris Maree	8940832a43	Update README.md (#375)	5 years ago
Gustavo Grieco	343d51093f	Filtering the functions to be called (#356)	5 years ago
Gustavo Grieco	71adeb926c	Basic mutations based on collected corpus (#370)	5 years ago
Gustavo Grieco	2fbd8a29a0	Small coverage refactoring (#367)	5 years ago
Gustavo Grieco	0bae37d496	Support to collect, save and load a corpus of transactions in JSON (#353) ... save, collect, and load JSON corpus	5 years ago
Will Song	f6dd7a6bbc	hlint workflow (#366)	5 years ago