| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | opt_merge: Add `-keepdc` option required for formal verification | Jannis Harder | 2022-04-01 | 1 | -2/+20 |
| | | | | | | | | | The `-keepdc` option prevents merging flipflops with dont-care bits in their initial value, as, in general, this is not a valid transform for formal verification. The keepdc option of `opt` is passed along to `opt_merge` now. | ||||
| * | opt_merge: Remove and reinsert init when connecting nets. | Marcelina Kościelnicka | 2021-08-22 | 1 | -3/+4 |
| | | | | | | | | | Mutating the SigMap by adding a new connection will throw off FfInitVals index. Work around this by removing the relevant init values from index whenever we connect nets, then re-add the new init value. Should fix #2920. | ||||
| * | opt_merge: Use FfInitVals. | Marcelina Kościelnicka | 2021-08-08 | 1 | -27/+8 |
| | | | | | Partial #2920 fix. | ||||
| * | Fixing old e-mail addresses and deadnames | Claire Xenia Wolf | 2021-06-08 | 1 | -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; | ||||
| * | opt_merge: Dedup one more use of FF cell type list. | Marcelina Kościelnicka | 2020-07-15 | 1 | -3/+1 |
| | | |||||
| * | opt_merge: use the master FF type list | Marcelina Kościelnicka | 2020-06-30 | 1 | -3/+1 |
| | | |||||
| * | Use C++11 final/override keywords. | whitequark | 2020-06-18 | 1 | -2/+2 |
| | | |||||
| * | [NFCI] Deduplicate builtin FF cell types list | Marcelina Kościelnicka | 2020-04-09 | 1 | -3/+1 |
| | | | | | | | | | | A few passes included the same list of FF cell types. Make it a global const instead. The zinit pass also seems to include a list like that, but given that it seems to be completely broken at the time (see #1568 discussion), I'm going to pretend I didn't see that. | ||||
| * | kernel: big fat patch to use more ID::*, otherwise ID(*) | Eddie Hung | 2020-04-02 | 1 | -13/+13 |
| | | |||||
| * | opt_merge: unordered_map -> dict as per @cliffordwolf review | Eddie Hung | 2020-03-16 | 1 | -1/+1 |
| | | |||||
| * | opt_merge: speedup | Eddie Hung | 2020-03-16 | 1 | -132/+102 |
| | | |||||
| * | Add $_FF_ and $_SR* courtesy of @mwkmwkmwk | Eddie Hung | 2019-12-20 | 1 | -4/+6 |
| | | |||||
| * | More stringent check for flop cells | Eddie Hung | 2019-12-20 | 1 | -2/+4 |
| | | |||||
| * | opt_merge to discard \init of '$' cells with 'Q' port when merging | Eddie Hung | 2019-12-13 | 1 | -0/+11 |
| | | |||||
| * | Use more ID::{A,B,Y,blackbox,whitebox} | Eddie Hung | 2019-08-15 | 1 | -24/+24 |
| | | |||||
| * | Use ID() macro in all of passes/opt/ | Clifford Wolf | 2019-08-11 | 1 | -51/+51 |
| | | | | | | | | | | | This was obtained by running the following SED command in passes/opt/ and then using "meld foo.cc foo.cc.orig" to manually fix all resulting compiler errors. sed -i.orig -r 's/"\\\\([a-zA-Z0-9_]+)"/ID(\1)/g; s/"(\$[a-zA-Z0-9_]+)"/ID(\1)/g;' *.cc Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | substr() -> compare() | Eddie Hung | 2019-08-07 | 1 | -1/+1 |
| | | |||||
| * | Make liberal use of IdString.in() | Eddie Hung | 2019-08-06 | 1 | -4/+4 |
| | | |||||
| * | Add log_debug() framework | Clifford Wolf | 2019-04-22 | 1 | -3/+5 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Consistent use of 'override' for virtual methods in derived classes. | Henner Zeller | 2018-07-20 | 1 | -2/+2 |
| | | | | | | | | | | 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 $allconst and $allseq cell types | Clifford Wolf | 2018-02-23 | 1 | -0/+2 |
| | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at> | ||||
| * | Excluded $_TBUF_ from opt_merge pass | Salvador E. Tropea | 2017-07-03 | 1 | -0/+1 |
| | | |||||
| * | Add $tribuf to opt_merge blacklist | Clifford Wolf | 2017-06-30 | 1 | -0/+1 |
| | | |||||
| * | Disable opt_merge for $anyseq and $anyconst | Clifford Wolf | 2017-02-28 | 1 | -0/+3 |
| | | |||||
| * | Fix handling of init attributes with strange width | Clifford Wolf | 2017-02-09 | 1 | -2/+6 |
| | | |||||
| * | Added "yosys -D" feature | Clifford Wolf | 2016-04-21 | 1 | -1/+1 |
| | | |||||
| * | Improved opt_merge support for $pmux cells | Clifford Wolf | 2016-03-31 | 1 | -4/+46 |
| | | |||||
| * | Typo fixes in opt_expr and opt_merge | Clifford Wolf | 2016-03-31 | 1 | -1/+1 |
| | | |||||
| * | Renamed opt_share to opt_merge | Clifford Wolf | 2016-03-31 | 1 | -0/+341 |
 |
index : iCE40/yosys | |
| [no description] |
| aboutsummaryrefslogtreecommitdiffstats |