Commit Graph

530 Commits (20cf61d2e580083bf1cb151dea05479560cb7152)
 

Author SHA1 Message Date
Will Song 05e444753f test the testing of contracts, true properties should not fail, false properties should fail, and true and false properties should also fail 6 years ago
ggrieco-tob f192d777e7 improved shriking toward zero when integers are negative 6 years ago
Will Song cfd2135d08 add a tasty-hunit test, this should be runnable with `stack test` 6 years ago
ggrieco-tob b0284e7acc removed useless coverage folder 6 years ago
ggrieco-tob c92d3644a7 added a few contracts and reorganized examples 6 years ago
ggrieco-tob 45996ad325 added check to detect when no tests are detect 6 years ago
JP Smith a2449b8b34 docstrings 4 days 6 years ago
JP Smith 468def9b81 rewrite echidna to work better 6 years ago
Evan Sultanik d93c226b2a Adds a missing system dependency for libsecp256k1 (#144) (#154) 6 years ago
JP Smith d183c3a483
Merge pull request #150 from asymmetric/patch-3 6 years ago
JP Smith bbca07f212
Merge pull request #148 from asymmetric/patch-1 6 years ago
JP Smith e35477f828
Merge pull request #127 from trailofbits/dev-dockerignore-stack-work 6 years ago
JP Smith b42ccb838c
Merge pull request #140 from akhavr/master 6 years ago
JP Smith df0fe1a42c
Merge pull request #151 from trailofbits/dev-fix-build(1)-final(1)-really-final 6 years ago
JP Smith 25dedbf8de fix readline on macos, drop mention of compiler version since we're only supporting one 6 years ago
JP Smith d892b27fc3 cache libsecp256k1 6 years ago
JP Smith c92d9ffbc8 remove old ugly hacks (replaced with new, slightly prettier ones) and update README 6 years ago
JP Smith 84a5ffef7c build with no warnings 6 years ago
JP Smith 24b96c7046 I don't know how linking works 6 years ago
JP Smith 7d8c8e64a4 please build 6 years ago
JP Smith c4eaf4935f include diagnostic tool 6 years ago
JP Smith a44bb6b4e7 off to a strong start 6 years ago
JP Smith 3f7308c7d6 fix build 4: return of the son of fix build 6 years ago
Lorenzo fca2210d4e
Docker: run bash in container 6 years ago
Lorenzo 4f1fd60533
Docker: Use ubuntu:bionic 6 years ago
akhavr 7aafa87136
Update README for docker dummies 6 years ago
JP Smith 558dc71b1f
Merge pull request #137 from trailofbits/dev-concise-readme 6 years ago
JP Smith 94eef95901
Update README.md 6 years ago
Dan Guido 961849c005
Update README.md 6 years ago
Dan Guido 7b505a69d7
Update README.md 6 years ago
Dan Guido 6bc11be963
Update README.md 6 years ago
Dan Guido fd27ba0824
Update README.md 6 years ago
Dan Guido 1ba9d06d25
Update README.md 6 years ago
Dan Guido 5a574f7b34
improvements for readability 6 years ago
JP Smith 966101637f more readme 6 years ago
JP Smith 54a51ff402 simplify README 6 years ago
JP Smith 0470370710
Merge pull request #130 from dbogs425/master 6 years ago
Daniel Bolognino 62b991348d
Update Main.hs 6 years ago
ggrieco-tob f96ca7214c
Fix a potential bug in the docker building 6 years ago
JP Smith 81db2196ea
Merge pull request #125 from trailofbits/fix-travis 6 years ago
JP Smith 29af9a0a24
Drop OS X GHC install 6 years ago
ggrieco-tob 441188ad9c
Update .travis.yml 6 years ago
ggrieco-tob 7ea7b31823
Fix 6 years ago
ggrieco-tob 1f65f998e3
Disabled use of PPA 6 years ago
ggrieco-tob 215dd211fd
Force stdout flush to fix #120 6 years ago
JP Smith e2e97c943a
Merge pull request #119 from trailofbits/dev-keep-results 6 years ago
JP Smith cc830c73bc
Merge pull request #118 from trailofbits/dev-fix-contractname 6 years ago
JP Smith 2e4eea94c2 keep results after tx revert 6 years ago
JP Smith 873b4917f9 remove need for redundant filename specification 6 years ago
JP Smith f783c0b441
Merge pull request #117 from trailofbits/dev-export-constructor 6 years ago