| Commit message (Expand) | Author | Age | Files | Lines |
|---|
| * | xaiger: do not derive cells | Eddie Hung | 2020-05-24 | 1 | -7/+1 |
| * | cxxrtl: get rid of -O5 aka `opt_clean -purge` optimization level. | whitequark | 2020-05-22 | 1 | -8/+2 |
| * | Merge pull request #2054 from boqwxp/fix-smtbmc | N. Engelhardt | 2020-05-20 | 1 | -3/+3 |
| |\ |
|
| | * | smtbmc: Fix typo in error message. | Alberto Gonzalez | 2020-05-19 | 1 | -1/+1 |
| | * | smtbmc: Fix return status handling. | Alberto Gonzalez | 2020-05-14 | 1 | -2/+2 |
| * | | abc9: use (* abc9_keep *) instead of (* abc9_scc *); apply to $_DFF_?_ | Eddie Hung | 2020-05-14 | 1 | -5/+5 |
| * | | abc9_ops/xaiger: further reducing Module::derive() calls by ... | Eddie Hung | 2020-05-14 | 1 | -40/+32 |
| * | | Cleanup; reduce Module::derive() calls | Eddie Hung | 2020-05-14 | 1 | -18/+20 |
| * | | xaiger: no longer use nonstandard even/odd to designate +ve/-ve polarity | Eddie Hung | 2020-05-14 | 1 | -16/+5 |
| * | | abc9: not enough to techmap_fail on (* init=1 *), hide them using $__ | Eddie Hung | 2020-05-14 | 1 | -0/+1 |
| * | | Revert "Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check" | Eddie Hung | 2020-05-14 | 1 | -4/+0 |
| * | | xaiger: always sort input/output bits by port id | Eddie Hung | 2020-05-14 | 1 | -12/+10 |
| * | | abc9: generate $abc9_holes design instead of <name>$holes | Eddie Hung | 2020-05-14 | 1 | -3/+9 |
| * | | aiger/xaiger: use odd for negedge clk, even for posedge | Eddie Hung | 2020-05-14 | 1 | -6/+10 |
| * | | xaiger: update help text | Eddie Hung | 2020-05-14 | 1 | -4/+4 |
| * | | xaiger: do not treat (* init=1'bx *) as 1'b0 | Eddie Hung | 2020-05-14 | 1 | -1/+1 |
| * | | xaiger: when -dff use (* init *) for initial state | Eddie Hung | 2020-05-14 | 1 | -3/+15 |
| * | | abc9_ops: add 'dff' label for auto handling of (* abc9_flop *) boxes | Eddie Hung | 2020-05-14 | 1 | -8/+2 |
| * | | xaiger: output $_DFF_[NP]_ with mergeability if -dff option | Eddie Hung | 2020-05-14 | 1 | -42/+44 |
| |/ |
|
| * | Reorder cases to avoid fall-through warning | Xiretza | 2020-05-07 | 1 | -3/+3 |
| * | Add YS_FALLTHROUGH macro to mark case fall-through | Xiretza | 2020-05-07 | 2 | -2/+8 |
| * | aiger: fixes for ports that have start_offset != 0 | Eddie Hung | 2020-05-02 | 2 | -9/+8 |
| * | cxxrtl: Round up constant width | David Shah | 2020-04-25 | 1 | -1/+1 |
| * | cxxrtl: use `cxxrtl_` prefix rather than `cxxrtl.` | whitequark | 2020-04-24 | 1 | -45/+45 |
| * | cxxrtl: improve printing of narrow memories. | whitequark | 2020-04-24 | 1 | -3/+4 |
| * | cxxrtl: fix handling of parametric modules with large parameters. | whitequark | 2020-04-24 | 1 | -1/+1 |
| * | cxxrtl: keep the memory write queue sorted on insertion. | Asu | 2020-04-22 | 1 | -3/+5 |
| * | Merge pull request #1979 from whitequark/cxxrtl-go-faster | Claire Wolf | 2020-04-22 | 2 | -184/+396 |
| |\ |
|
| | * | cxxrtl: run edge detectors only once in eval(). | whitequark | 2020-04-22 | 1 | -6/+22 |
| | * | cxxrtl: add an unsupported knob for manipulating clock trees. | whitequark | 2020-04-22 | 1 | -0/+18 |
| | * | cxxrtl: use log_id() where appropriate. NFC. | whitequark | 2020-04-21 | 1 | -4/+4 |
| | * | cxxrtl: add (*cxxrtl.{comb,sync}*) annotations on black box outputs. | whitequark | 2020-04-21 | 1 | -65/+186 |
| | * | cxxrtl: s/sync_{wire,type}/edge_{wire,type}/. NFC. | whitequark | 2020-04-21 | 1 | -23/+23 |
| | * | cxxrtl: use one delta cycle for immediately converging netlists. | whitequark | 2020-04-21 | 2 | -11/+21 |
| | * | cxxrtl: add -O6, a shortcut for running `proc; flatten`. | whitequark | 2020-04-21 | 1 | -4/+14 |
| | * | cxxrtl: unbuffer module input wires. | whitequark | 2020-04-21 | 1 | -31/+61 |
| | * | cxxrtl: simplify generated edge detection logic. | whitequark | 2020-04-21 | 1 | -56/+29 |
| | * | cxxrtl: localize wires with multiple comb drivers, too. | whitequark | 2020-04-21 | 1 | -32/+31 |
| | * | cxxrtl: detect buffered comb wires, not just feedback wires. | whitequark | 2020-04-21 | 1 | -5/+40 |
| * | | write_json: dump default parameter values | Marcelina Kościelnicka | 2020-04-21 | 1 | -0/+10 |
| * | | ilang, ast: Store parameter order and default value information. | Marcelina Kościelnicka | 2020-04-21 | 1 | -2/+10 |
| * | | Merge pull request #1971 from YosysHQ/claire/edifkeep | Claire Wolf | 2020-04-21 | 1 | -14/+108 |
| |\ \
| |/
|/| |
|
| | * | Improve net priorities in EDIF back-end | Claire Wolf | 2020-04-21 | 1 | -0/+64 |
| | * | Ignore conflicting keep attributes, unless asked not to. Fixes #1733 | Claire Wolf | 2020-04-20 | 1 | -14/+44 |
| * | | Merge pull request #1961 from whitequark/paramod-original-name | whitequark | 2020-04-21 | 1 | -11/+2 |
| |\ \
| |/
|/| |
|
| | * | ast, rpc: record original name of $paramod\* as \hdlname attribute. | whitequark | 2020-04-18 | 1 | -11/+2 |
| * | | cxxrtl: provide attributes to black box factories, too. | whitequark | 2020-04-19 | 2 | -49/+57 |
| * | | cxxrtl: add templated black box support. | whitequark | 2020-04-18 | 1 | -16/+193 |
| * | | cxxrtl: make eval() and commit() inline in blackboxes. | whitequark | 2020-04-18 | 1 | -82/+103 |
| * | | cxxrtl: add simple black box support. | whitequark | 2020-04-18 | 2 | -70/+311 |
