| Commit message (Collapse) | Author | Age | Files | Lines | ||
|---|---|---|---|---|---|---|
| ... | ||||||
| * | 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 | 2 | -0/+230 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add $dffsr support to async2sync | Clifford Wolf | 2019-03-09 | 1 | -2/+51 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Improvements in "supercover" pass | Clifford Wolf | 2019-02-27 | 1 | -2/+18 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "supercover" skeleton | Clifford Wolf | 2019-02-27 | 2 | -0/+77 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Fixed minor typo in "sim" help message | acw1251 | 2018-09-12 | 1 | -1/+1 | |
| | | ||||||
| * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 9 | -18/+18 | |
| | | | | | | | | | | o Not all derived methods were marked 'override', but it is a great feature of C++11 that we should make use of. o While at it: touched header files got a -*- c++ -*- for emacs to provide support for that language. o use YS_OVERRIDE for all override keywords (though we should probably use the plain keyword going forward now that C++11 is established) | |||||
| * | Add async2sync pass | Clifford Wolf | 2018-07-19 | 2 | -0/+148 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Removed $timescale from "sat" command VCD writer | Clifford Wolf | 2018-03-29 | 1 | -1/+0 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add "expose -input" | Clifford Wolf | 2018-03-12 | 1 | -8/+43 | |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | |||||
| * | Add $dlatchsr support to clk2fflogic | Clifford Wolf | 2018-02-26 | 1 | -4/+25 | |
| | | ||||||
| * | Fix a bug in clk2fflogic memory handling | Clifford Wolf | 2017-12-14 | 1 | -1/+1 | |
| | | ||||||
| * | Add clk2fflogic memory support | Clifford Wolf | 2017-12-14 | 1 | -1/+77 | |
| | | ||||||
| * | Check for memories in clk2fflogic | Clifford Wolf | 2017-12-13 | 1 | -0/+5 | |
| | | ||||||
| * | Rename "singleton" pass to "uniquify" | Clifford Wolf | 2017-08-20 | 1 | -1/+1 | |
| | | ||||||
| * | Add "sim -zinit -rstlen" | Clifford Wolf | 2017-08-18 | 1 | -1/+53 | |
| | | ||||||
| * | Add "sim" support for memories | Clifford Wolf | 2017-08-18 | 1 | -2/+136 | |
| | | ||||||
| * | Add support for assert/assume/cover to "sim" command | Clifford Wolf | 2017-08-18 | 1 | -4/+47 | |
| | | ||||||
| * | Add writeback mode to "sim" command | Clifford Wolf | 2017-08-17 | 1 | -0/+44 | |
| | | ||||||
| * | Improve "sim" command | Clifford Wolf | 2017-08-17 | 1 | -54/+272 | |
| | | ||||||
| * | Add "sim" command skeleton | Clifford Wolf | 2017-08-16 | 2 | -0/+372 | |
| | | ||||||
| * | Add "setundef -anyseq" | Clifford Wolf | 2017-05-28 | 1 | -1/+2 | |
| | | ||||||
| * | Bugfix in "miter -assert" handling of assumptions | Clifford Wolf | 2016-10-17 | 1 | -2/+2 | |
| | | ||||||
| * | Added clk2fflogic support for $dffsr and $dlatch | Clifford Wolf | 2016-10-17 | 1 | -1/+57 | |
| | | ||||||
| * | Improvements and bugfixes in clk2fflogic | Clifford Wolf | 2016-10-16 | 1 | -13/+21 | |
| | | ||||||
| * | Some minor build fixes for Visual C | Clifford Wolf | 2016-10-14 | 1 | -2/+11 | |
| | | ||||||
| * | Added clk2fflogic | Clifford Wolf | 2016-10-14 | 2 | -0/+154 | |
| | | ||||||
| * | Added $ff and $_FF_ cell types | Clifford Wolf | 2016-10-12 | 1 | -7/+31 | |
| | | ||||||
| * | Improvements in assertpmux | Clifford Wolf | 2016-09-07 | 1 | -21/+158 | |
| | | ||||||
| * | Added assertpmux | Clifford Wolf | 2016-09-07 | 2 | -0/+104 | |
| | | ||||||
| * | Run log_flush() before solving in sat command | Clifford Wolf | 2016-09-06 | 1 | -0/+3 | |
| | | ||||||
| * | Moved SatHelper::setup_init() code to SatHelper::setup() | Clifford Wolf | 2016-07-24 | 1 | -97/+92 | |
| | | ||||||
| * | Added $initstate support to "sat" command | Clifford Wolf | 2016-07-23 | 1 | -13/+12 | |
| | | ||||||
| * | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 5 | -6/+6 | |
| | | ||||||
| * | Improved formatting of "sat" output tables | Clifford Wolf | 2016-04-05 | 1 | -5/+5 | |
| | | ||||||
| * | Renamed opt_const to opt_expr | Clifford Wolf | 2016-03-31 | 1 | -4/+4 | |
| | | ||||||
| * | Import more std:: stuff into Yosys namespace | Clifford Wolf | 2015-10-25 | 3 | -8/+8 | |
| | | ||||||
| * | renamed SigSpec::to_single_sigbit() to SigSpec::as_bit(), added is_bit() | Clifford Wolf | 2015-10-24 | 1 | -10/+10 | |
| | | ||||||
| * | Added sat -show-regs, -show-public, -show-all | Clifford Wolf | 2015-08-18 | 1 | -0/+39 | |
| | | ||||||
| * | Re-created command-reference-manual.tex, copied some doc fixes to online help | Clifford Wolf | 2015-08-14 | 1 | -1/+1 | |
| | | ||||||
| * | Spell check (by Larry Doolittle) | Clifford Wolf | 2015-08-14 | 5 | -12/+12 | |
| | | ||||||
| * | Added "miter -assert" | Clifford Wolf | 2015-07-25 | 1 | -1/+93 | |
| | | ||||||
| * | Fixed trailing whitespaces | Clifford Wolf | 2015-07-02 | 5 | -16/+16 | |
| | | ||||||
| * | Added logic-loop error handling to freduce | Clifford Wolf | 2015-06-30 | 1 | -0/+11 | |
| | | ||||||
 |
index : iCE40/yosys | |
| clone of https://github.com/YosysHQ/yosys |
| aboutsummaryrefslogtreecommitdiffstats |