TheDude
/
echidna
mirror of https://github.com/crytic/echidna
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
493 Commits
42 Branches
34 Tags
9.1 MiB
Tag: Branch: Tree: f1cdc28568
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'f1cdc28568'
${ noResults }
Commit Graph

493 Commits (f1cdc285688acb436e01b7f62570e2693dcf6759)
 

Author SHA1 Message Date
JP Smith f1cdc28568 define cpp standard
5 years ago
JP Smith 2429040c2e try some submodule thing
5 years ago
JP Smith 6a9a43c8ce try using build dir
5 years ago
ggrieco-tob 2dca75ef04 fix
5 years ago
ggrieco-tob b3a830b5de fix
5 years ago
ggrieco-tob a088f835b0 fix
5 years ago
ggrieco-tob 9d4be8afc1 fix
5 years ago
ggrieco-tob e102f02722 Merge branch 'dev-hevm-0.30' of ssh://github.com/crytic/echidna into dev-hevm-0.30
5 years ago
ggrieco-tob c7eed2a3a4 fix
5 years ago
Gustavo Grieco 326563574c
Update stack.yaml
5 years ago
ggrieco-tob cc1e5d18be disabled procps in libff
5 years ago
ggrieco-tob 47ea2b6ce1 disabled procps in libff
5 years ago
ggrieco-tob 746175187f disabled procps in libff
5 years ago
ggrieco-tob 926228de59 added libff installation
5 years ago
ggrieco-tob 987653e410 upgraded to hevm-0.30
5 years ago
Gustavo Grieco efebff5059
Return failure in the command line if *any* property fails (#228)
6 years ago
Gustavo Grieco 3d095989fa
Enable the use of statically-linked binaries (#222)
6 years ago
Gustavo Grieco 266645d8d7
Removed files/options that are not used or obsolete (#223)
6 years ago
JP Smith c20ee00507
Merge pull request #217 from crytic/dev-memory-reset-refix
6 years ago
ggrieco-tob 460743aa08 redone PR
6 years ago
JP Smith 928383d5f6
Merge pull request #212 from crytic/dev-query-fix
6 years ago
Gustavo Grieco 6924f94528
Merge branch 'master' into dev-query-fix
6 years ago
ggrieco-tob c5950ebe5a fix [skip ci]
6 years ago
Alex Groce 859dbd4add
Merge pull request #213 from crytic/off_by_one_constants_mining
6 years ago
agroce 010955502d no need for this, using coverage/test.yaml
6 years ago
agroce d8cd93518b single.sol needs more time to find with nearby mining
6 years ago
agroce 501c90bb73 go back to just -/+1 mining, restore single.sol test
6 years ago
ggrieco-tob 7a67f1bb38 restored examples/solidity/basic/findValues.yaml (it was necessary)
6 years ago
ggrieco-tob 430fe391fb fixed tests
6 years ago
agroce 21c0ee999f try with yaml forcing more tests
6 years ago
agroce aceb5cbe1f add explicit return false
6 years ago
ggrieco-tob eba22528bf fixes
6 years ago
agroce c576a83d71 remove memory reset test, add tests for this PR
6 years ago
agroce 9f172ed7fb change prop name
6 years ago
agroce ef470915df new tests
6 years ago
agroce d86d7e135c use fromList for cleaner code
6 years ago
agroce 0b005241bb undo gustavo's memory fix
6 years ago
agroce 088ef35bf0 remove spurious space
6 years ago
agroce 44c12c5b20 simpler range
6 years ago
JP Smith c4e731356d
Merge pull request #211 from crytic/fix-memory-reset
6 years ago
agroce a68fdf985c empty push
6 years ago
agroce a8d7e1d06e Merge branch 'fix-memory-reset' into off_by_one_constants_mining
6 years ago
agroce 6d9705c0cf slightly nicer looking code, no repeat of type constraint)
6 years ago
agroce fb5951be10 Extract nearby constants, generate small integer values (from Gustavo)
6 years ago
ggrieco-tob a7d912301a addresses can hold and receive ether
6 years ago
ggrieco-tob 8a1242b9d3 added missing test file
6 years ago
ggrieco-tob 90b512fa72 added missing memory reset
6 years ago
JP Smith de0454560e
Merge pull request #181 from crytic/wip-dict-api-stable
6 years ago
JP Smith b9f7619f9d
Merge pull request #196 from crytic/dev-hevm-0.24
6 years ago
JP Smith 7741bc32c2
Merge pull request #197 from crytic/increase_default_seqlen
6 years ago