1058 Commits (c4eaa887af12454960facea51d06e23fb5001810)

 

All Branches   

Search

Author	SHA1	Message	Date
Ben Perez	2c81725098	Merge pull request #34 from trailofbits/dev-coverage-performance ... Fixed performance issues with coverage	7 years ago
Ben Perez	b1a01514ce	Removed echidna.cabal, minor stylistic fixes in Main.hs and Exec.hs	7 years ago
JP Smith	81594cda4d	fix bizarre changeNumber problems	7 years ago
Ben Perez	5c1983c8ab	Fixed performance issues with coverage	7 years ago
JP Smith	f241bb327b	only use one set of list conversion functions	7 years ago
JP Smith	115a3b2100	better call sequence mutation	7 years ago
JP Smith	476e5a3dc4	wrap up mutation stuff	7 years ago
JP Smith	d601e29182	add mutation functionality to ABI.hs	7 years ago
JP Smith	585b077c80	fix alignment so build works	7 years ago
JP Smith	187eb24ba6	minor style updates	7 years ago
JP Smith	22160f9d54	begin adding multicontract support	7 years ago
ggrieco-tob	3d1f82d986	Improved integer generators	7 years ago
ggrieco-tob	75afb17b53	Merge pull request #29 from trailofbits/dev-fix-openfile-code ... Fix for #10	7 years ago
ggrieco-tob	bba378efa3	fixed code quality comments	7 years ago
ggrieco-tob	825d604ddf	added checkFilePath	7 years ago
JP Smith	8adbcac131	Merge pull request #28 from Arvanaghi/patch-1 ... brew install stack -> brew install haskell-stack	7 years ago
Brandon Arvanaghi	70ca0719df	brew install stack -> brew install haskell-stack	7 years ago
JP Smith	83b8fd5e8f	Merge pull request #25 from pirapira/reverse ... Do not reverse the call sequence	7 years ago
JP Smith	d6b0cc013d	reduce size of travis matrix	7 years ago
JP Smith	f36dd9da71	Merge pull request #24 from snd/snd-issue-23 ... resolve #23 (test specific contract)	7 years ago
Yoichi Hirai	fa3d846fc1	Do not reverse the call sequence ... In the demo movie I noticed that the call sequence is shown in reverse. If you first call set0() to set flag0 false, there is nothing set1() can change after that.	7 years ago
Maximilian Krüger	37c9290718	change abstraction boundaries for selectContract, readContracts, readContract	7 years ago
Maximilian Krüger	c8f74a5c7e	replace fmap by <$>	7 years ago
Maximilian Krüger	de32411039	update readme example to changes for #23	7 years ago
Maximilian Krüger	04366bb917	resolve #23	7 years ago
JP Smith	161258465a	Merge pull request #13 from snd/snd-improve-osx-install ... update readline osx specific install instructions	7 years ago
JP Smith	afb8aa965f	Merge pull request #11 from trailofbits/dev-reset-stack ... Added a stack reset to cleanUp to avoid overflow and fix #7	7 years ago
JP Smith	607e3387ba	switch to AGPL	7 years ago
JP Smith	195fafef24	Merge pull request #6 from trailofbits/doc-improved-README ... Improved README with example	7 years ago
Lee Azzarello	540749b342	Add Dockerfile	7 years ago
Dan Guido	0debf87edd	Update README.md	7 years ago
Maximilian Krüger	dab1f22c0c	README.md: update osx readline install instructions ... resolves #12	7 years ago
ggrieco-tob	7d8ddfc116	added a stack reset to cleanUp to avoid overflow	7 years ago
JP Smith	159b595172	migrate travis	7 years ago
JP Smith	297a806293	add logo	7 years ago
JP Smith	84540d5a25	bump property test limit way up	7 years ago
JP Smith	d6099439b7	clarify installation and add readline hack	7 years ago
JP Smith	464c9e4ebb	add raise function to exercise	7 years ago
JP Smith	7829729eb7	add exercise	7 years ago
JP Smith	7b13a68af9	travis attribution	7 years ago
ggrieco-tob	86ed0e255e	Simplified example	7 years ago
ggrieco-tob	736e48653b	Merge branch 'master' into doc-improved-README	7 years ago
JP Smith	88e9a2e963	Merge pull request #4 from trailofbits/dev-revert-example ... Added new example to discover a revert in a contract	7 years ago
ggrieco-tob	f058fc6635	Update README.md	7 years ago
ggrieco-tob	b8d8edb326	moved checkRTest to the revert example code	7 years ago
ggrieco-tob	584b1f4693	removed explicit cleanUp use	7 years ago
ggrieco-tob	768d00e113	removed Echidna.Internal.Runner	7 years ago
ggrieco-tob	e37b15c050	Merge branch 'master' into dev-revert-example	7 years ago
ggrieco-tob	eb29574ef2	moved cleanUp inside execCall	7 years ago
ggrieco-tob	1cd88de56c	alignment	7 years ago