aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/mutate.cc
Commit message (Expand)AuthorAgeFilesLines
* use the new isPublic() in a few placesN. Engelhardt2020-09-141-3/+3
* Use C++11 final/override keywords.whitequark2020-06-181-2/+2
* kernel: use more ID::*Eddie Hung2020-04-021-3/+3
* Added missing argument checking to "mutate" commandClifford Wolf2019-04-041-0/+32
* Add "mutate -none -mode", "mutate -mode none"Clifford Wolf2019-03-231-1/+30
* Add "mutate -s <filename>"Clifford Wolf2019-03-231-2/+24
* Improve mix of src/wire/wirebit coverage in "mutate -list"Clifford Wolf2019-03-161-29/+84
* Improvements in "mutate" list-reduce algorithmClifford Wolf2019-03-151-13/+36
* Add "mutate -cfg", improve pick_cover behaviorClifford Wolf2019-03-141-46/+101
* Add a strictly coverage-driven mutation selection strategyClifford Wolf2019-03-141-1/+70
* Improve "mutate" wire coverage metricClifford Wolf2019-03-141-1/+16
* Add more mutation types, improve mutation src coverClifford Wolf2019-03-141-92/+268
* Add "mutate" command DB reduce functionalityClifford Wolf2019-03-141-12/+181
* Add "mutate -mode inv", various other mutate improvementsClifford Wolf2019-03-141-99/+213
* Add basic "mutate -list N" frameworkClifford Wolf2019-03-141-0/+229