Commit Graph

1354 Commits (master)
 

Author SHA1 Message Date
ggrieco-tob 74deb2a6f0 added install-sol.sh script 6 years ago
Gustavo Grieco 443f6fab4f
Update .travis.yml 6 years ago
Gustavo Grieco 1aa540f5d4
Update .travis.yml 6 years ago
Gustavo Grieco 13983c6fec
Update package.yaml 6 years ago
Gustavo Grieco 329c62e12f
Update .travis.yml 6 years ago
Gustavo Grieco 55ee1ee011
Update .travis.yml 6 years ago
Gustavo Grieco 6823db1e55
Update .travis.yml 6 years ago
Gustavo Grieco 6b161cb6f1
Update package.yaml 6 years ago
Gustavo Grieco 89f4deccfa
Update .travis.yml 6 years ago
Gustavo Grieco 5a15c8455b
Update .travis.yml 6 years ago
Gustavo Grieco f0866a7b26
Force installation of libsecp256k1 6 years ago
Will Song 49907a56e2 whoops i forgot to add Spec.hs 6 years ago
Will Song 813bc56be5 cli.sol is flags.sol 6 years ago
Will Song f000cd2c51 move the quieting flag to `SolConf` 6 years ago
Will Song 6af8a10053 add a test for a contract consisting of only an always true property 6 years ago
Will Song 8b7ff25f83 add a flag to shut up so that tests look nice 6 years ago
Will Song b3dc51b1ee add new test (currently failing) and introduce some new functions to make things a bit easier 6 years ago
Will Song 6716557061 even more cleanup 6 years ago
Will Song e067860f8c remove warnings and rewrite assertions to look slightly cleaner 6 years ago
Will Song efe04cad6b s/stack-test/echidna-testsuite/ 6 years ago
Will Song 0f32ae1f6d whitespace matters 6 years ago
Will Song 5d932504cb add test for optimal solution finding 6 years ago
Will Song a2fde209ff update tests for refactor 6 years ago
Will Song 743a5f30cb Merge remote-tracking branch 'origin/dev-2-chidna-2-furious' into tasty-testing 6 years ago
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