aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/mutate.cc
Commit message (Collapse)AuthorAgeFilesLines
* Fixing old e-mail addresses and deadnamesClaire Xenia Wolf2021-06-081-1/+1
| | | | | | | | s/((Claire|Xen|Xenia|Clifford)\s+)+(Wolf|Xen)\s+<(claire|clifford)@(symbioticeda.com|clifford.at|yosyshq.com)>/Claire Xenia Wolf <claire@yosyshq.com>/gi; s/((Nina|Nak|N\.)\s+)+Engelhardt\s+<nak@(symbioticeda.com|yosyshq.com)>/N. Engelhardt <nak@yosyshq.com>/gi; s/((David)\s+)+Shah\s+<(dave|david)@(symbioticeda.com|yosyshq.com|ds0.me)>/David Shah <dave@ds0.me>/gi; s/((Miodrag)\s+)+Milanovic\s+<(miodrag|micko)@(symbioticeda.com|yosyshq.com)>/Miodrag Milanovic <micko@yosyshq.com>/gi; s,https?://www.clifford.at/yosys/,http://yosyshq.net/yosys/,g;
* 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
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "mutate -none -mode", "mutate -mode none"Clifford Wolf2019-03-231-1/+30
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "mutate -s <filename>"Clifford Wolf2019-03-231-2/+24
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve mix of src/wire/wirebit coverage in "mutate -list"Clifford Wolf2019-03-161-29/+84
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improvements in "mutate" list-reduce algorithmClifford Wolf2019-03-151-13/+36
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "mutate -cfg", improve pick_cover behaviorClifford Wolf2019-03-141-46/+101
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add a strictly coverage-driven mutation selection strategyClifford Wolf2019-03-141-1/+70
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Improve "mutate" wire coverage metricClifford Wolf2019-03-141-1/+16
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add more mutation types, improve mutation src coverClifford Wolf2019-03-141-92/+268
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "mutate" command DB reduce functionalityClifford Wolf2019-03-141-12/+181
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add "mutate -mode inv", various other mutate improvementsClifford Wolf2019-03-141-99/+213
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Add basic "mutate -list N" frameworkClifford Wolf2019-03-141-0/+229
Signed-off-by: Clifford Wolf <clifford@clifford.at>