| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Added missing argument checking to "mutate" command | Clifford Wolf | 2019-04-04 | 1 | -0/+32 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate -none -mode", "mutate -mode none" | Clifford Wolf | 2019-03-23 | 1 | -1/+30 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate -s <filename>" | Clifford Wolf | 2019-03-23 | 1 | -2/+24 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Improve mix of src/wire/wirebit coverage in "mutate -list" | Clifford Wolf | 2019-03-16 | 1 | -29/+84 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Improvements in "mutate" list-reduce algorithm | Clifford Wolf | 2019-03-15 | 1 | -13/+36 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate -cfg", improve pick_cover behavior | Clifford Wolf | 2019-03-14 | 1 | -46/+101 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add a strictly coverage-driven mutation selection strategy | Clifford Wolf | 2019-03-14 | 1 | -1/+70 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Improve "mutate" wire coverage metric | Clifford Wolf | 2019-03-14 | 1 | -1/+16 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add more mutation types, improve mutation src cover | Clifford Wolf | 2019-03-14 | 1 | -92/+268 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate" command DB reduce functionality | Clifford Wolf | 2019-03-14 | 1 | -12/+181 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add "mutate -mode inv", various other mutate improvements | Clifford Wolf | 2019-03-14 | 1 | -99/+213 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Add basic "mutate -list N" framework | Clifford Wolf | 2019-03-14 | 1 | -0/+229 |
| Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |