23 Commits (558dc71b1f1804100c5e819e6446f7558bfc3fce)

Author	SHA1	Message	Date
ggrieco-tob	5535773f5c	Removed threaded flag	6 years ago
Ben Perez	f7506e905c	Fixed redundant import, added bang patterns to Coverage, added compiler flags -O2 and -threaded	6 years ago
Ben Perez	a4ecf49abf	Factored out coverage from exec	6 years ago
Ben Perez	ecf94a075e	stop orphan instance warning	6 years ago
Ben Perez	a98601bcbe	update package.yaml	6 years ago
JP Smith	2447cf6853	wrote gas usage tester	6 years ago
JP Smith	ef73405578	start adding perprop executable	6 years ago
ggrieco-tob	015437b7b5	Improved and standardized properties (#68)	6 years ago
Ben Perez	c74bae0175	Basic config file functionality	7 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
Ben Perez	5c1983c8ab	Fixed performance issues with coverage	7 years ago
ggrieco-tob	f46968eafa	added new example to discover a revert	7 years ago
JP Smith	88e8b40288	reduce API surface area	7 years ago
phoebe jenkins	0f26d68159	Add state machine integration with hedgehog	7 years ago
JP Smith	05dc555160	started on custom UI	7 years ago
JP Smith	415cc0ebc8	magic oneline tool	7 years ago
JP Smith	f351052ced	separate example	7 years ago
JP Smith	14c6c3e29a	new solidity code + hlint clean	7 years ago
JP Smith	e59dec0c85	write README	7 years ago
JP Smith	47a932fbf0	begin library refactor	7 years ago