index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
passes
/
sat
/
mutate.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
use the new isPublic() in a few places
N. Engelhardt
2020-09-14
1
-3
/
+3
*
Use C++11 final/override keywords.
whitequark
2020-06-18
1
-2
/
+2
*
kernel: use more ID::*
Eddie Hung
2020-04-02
1
-3
/
+3
*
Added missing argument checking to "mutate" command
Clifford Wolf
2019-04-04
1
-0
/
+32
*
Add "mutate -none -mode", "mutate -mode none"
Clifford Wolf
2019-03-23
1
-1
/
+30
*
Add "mutate -s <filename>"
Clifford Wolf
2019-03-23
1
-2
/
+24
*
Improve mix of src/wire/wirebit coverage in "mutate -list"
Clifford Wolf
2019-03-16
1
-29
/
+84
*
Improvements in "mutate" list-reduce algorithm
Clifford Wolf
2019-03-15
1
-13
/
+36
*
Add "mutate -cfg", improve pick_cover behavior
Clifford Wolf
2019-03-14
1
-46
/
+101
*
Add a strictly coverage-driven mutation selection strategy
Clifford Wolf
2019-03-14
1
-1
/
+70
*
Improve "mutate" wire coverage metric
Clifford Wolf
2019-03-14
1
-1
/
+16
*
Add more mutation types, improve mutation src cover
Clifford Wolf
2019-03-14
1
-92
/
+268
*
Add "mutate" command DB reduce functionality
Clifford Wolf
2019-03-14
1
-12
/
+181
*
Add "mutate -mode inv", various other mutate improvements
Clifford Wolf
2019-03-14
1
-99
/
+213
*
Add basic "mutate -list N" framework
Clifford Wolf
2019-03-14
1
-0
/
+229