TheDude
/
echidna
mirror of https://github.com/crytic/echidna
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
1354 Commits
42 Branches
34 Tags
9.1 MiB
Tag: Branch: Tree: master
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'master'
${ noResults }
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