issues
search
Certora
/
gambit
Using mutations to improve specs and test suites
MIT License
165
stars
8
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Upgrade github actions
#44
ozcodes
closed
2 months ago
0
bug fix
#43
chandrakananandi
closed
5 months ago
0
always strip / from lhs of a remapping
#42
chandrakananandi
closed
6 months ago
0
CERT-5925 support for evm-version
#41
chandrakananandi
closed
6 months ago
0
ICST2024 results
#40
Sta1400
closed
7 months ago
2
Move println statement out of lib.rs
#39
samparsky
closed
9 months ago
1
Forse
#38
bpavo
opened
10 months ago
0
renamed all conf files to gconf CERT-4617
#37
urikirsh
closed
10 months ago
1
Foundry x Gambit Compatibility
#36
samparsky
opened
10 months ago
0
fix bug in allow paths
#35
chandrakananandi
closed
11 months ago
0
CERT-3805 | Add support for ubuntu 20
#34
ozcodes
closed
1 year ago
2
Fix readme
#33
BenTheKush
closed
10 months ago
0
fix openzeppelin typo
#32
teryanarmen
closed
1 year ago
0
Add mutation configuration to `gambit_out` to allow for reproducibility
#31
BenTheKush
opened
1 year ago
0
Ben/use solang parser parse tree
#30
BenTheKush
opened
1 year ago
2
Request: Provide platform dependent binaries as well for macOS
#29
sambacha
opened
1 year ago
0
CERT-2843 | Don't upload master build
#28
ozcodes
closed
1 year ago
1
fix bug with delete expression
#27
stp59
closed
1 year ago
0
switch to snake case following new certoraRun convention
#26
stp59
closed
1 year ago
3
Update README.md
#24
yuradmt
closed
1 year ago
1
Improve --outdir argument behavior
#23
Sta1400
opened
1 year ago
1
Ben/fix cli mutations argument
#22
BenTheKush
closed
1 year ago
0
Issue with swap-arguments-function mutation in Gambit tool: Limited to functions with 2 arguments
#21
Sta1400
opened
1 year ago
2
Issue with require-statement mutation in Gambit tool: Expression replacement not implemented
#20
Sta1400
closed
1 year ago
2
Issue with function-call mutation in Gambit tool: Require statement treated as a function
#19
Sta1400
opened
1 year ago
1
Request for addition of mutation for relational operators in Gambit tool
#18
Sta1400
opened
1 year ago
2
Issue with Gambit tool when generating maximum number of mutants
#17
Sta1400
closed
1 year ago
3
Vyper Compatibility
#16
ControlCplusControlV
closed
1 year ago
2
Ben/filter
#15
BenTheKush
closed
1 year ago
0
Mutator Refactor
#14
BenTheKush
closed
1 year ago
0
Cnandi/path fix
#13
stp59
closed
1 year ago
0
CERT-1067 Build macos binary
#12
ozcodes
closed
1 year ago
4
Add the sanity checks to the CI
#11
chandrakananandi
closed
1 year ago
0
CERT-1067 Upload gambit binary to releases with CI
#10
ozcodes
closed
1 year ago
0
Samwise/qol update
#9
stp59
closed
1 year ago
0
Generate a report that summarizes gambit's result
#8
chandrakananandi
closed
1 year ago
1
Typo in Read me
#7
vcanumalla
closed
1 year ago
0
Fix typo
#5
bkushigian
closed
1 year ago
0
Create a log file of all generated mutants along with meta data
#4
bkushigian
closed
1 year ago
1
A more "best effort" invocation of solc
#3
chandrakananandi
closed
1 year ago
1
Samwise/benchmark dump
#2
stp59
closed
1 year ago
0
Samwise/delegatecall mutation
#1
stp59
closed
1 year ago
0