2020-01-16 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw |
2020-01-16 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-15 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw |
2020-01-15 |
Eddie Hung | write_xaiger: skip abc9_flop only if abc_box_seq present |
blob | commitdiff | raw | diff to current |
2020-01-15 |
Eddie Hung | abc9_ops: cope with (* abc9_flop *) in place of (*... |
blob | commitdiff | raw | diff to current |
2020-01-15 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-15 |
Eddie Hung | write_xaiger: do not export flop inputs as POs |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | abc9_ops: generate flop box ids, add abc9_required... |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | abc9_ops: -reintegrate to not trim box padding anymore |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | write_xaiger: skip if no arrival times |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | abc9_ops/write_xaiger: update doc |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | abc9_ops: -prep_holes -> -prep_xaiger, move padding... |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Miodrag Milanović | Merge pull request #1623 from YosysHQ/mmicko/edif_attr |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | write_xaiger: fix case of PI and CI and (* keep *) |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | abc9: break SCC by setting (* keep *) on output wires |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | abc9: respect (* keep *) on cells |
blob | commitdiff | raw | diff to current |
2020-01-14 |
Eddie Hung | write_xaiger: add support and test for (* keep *) on... |
blob | commitdiff | raw | diff to current |
2020-01-13 |
Eddie Hung | write_xaiger: cache arrival times |
blob | commitdiff | raw | diff to current |
2020-01-13 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-13 |
Eddie Hung | Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpad |
blob | commitdiff | raw | diff to current |
2020-01-12 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-12 |
Eddie Hung | cleanup |
blob | commitdiff | raw | diff to current |
2020-01-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-12 |
Eddie Hung | write_xaiger: create holes_sigmap before modifications |
blob | commitdiff | raw | diff to current |
2020-01-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-11 |
Eddie Hung | Merge pull request #1625 from YosysHQ/eddie/abc9_mfs |
blob | commitdiff | raw | diff to current |
2020-01-11 |
Eddie Hung | write_xaiger: sort holes by offset as well as port_id |
blob | commitdiff | raw | diff to current |
2020-01-11 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-11 |
Eddie Hung | log_debug() for abc9_{arrival,required} times |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Eddie Hung | write_xaiger: cleanup |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Eddie Hung | write_xaiger: cope with abc9_arrival as string of ints |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-09 |
Eddie Hung | write_xaiger: cleanup holes generation |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Eddie Hung | write_xaiger: holes PIs only if whitebox |
blob | commitdiff | raw | diff to current |
2020-01-08 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-07 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-07 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-07 |
Eddie Hung | Merge branch 'master' into eddie/abc9_refactor |
blob | commitdiff | raw | diff to current |
2020-01-07 |
Eddie Hung | Merge branch 'master' of github.com:YosysHQ/yosys |
blob | commitdiff | raw | diff to current |
2020-01-07 |
Eddie Hung | Merge pull request #1181 from YosysHQ/xaig_dff |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Stray log_module |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig_dff' into... |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Revert "write_xaiger to pad, not abc9_ops -prep_holes" |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig_dff' into... |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | write_xaiger: make more robust, update doc |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/abc9_refacto... |
blob | commitdiff | raw | diff to current |
2020-01-06 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2020-01-05 |
Eddie Hung | write_xaiger to pad, not abc9_ops -prep_holes |
blob | commitdiff | raw | diff to current |
2020-01-04 |
Eddie Hung | Fix when -dff not given |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | Call -prep_holes before aigmap; fix topo ordering |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | WIP |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | Preserve topo ordering from -prep_holes to write_xaiger |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | WIP |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | WIP |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | Restore write_xaiger's holes_mode since port_id order... |
blob | commitdiff | raw | diff to current |
2020-01-03 |
N. Engelhardt | Merge branch 'master' of https://github.com/YosysHQ... |
blob | commitdiff | raw | diff to current |
2020-01-03 |
Eddie Hung | Cleanup |
blob | commitdiff | raw | diff to current |
2020-01-02 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig_dff' into... |
blob | commitdiff | raw | diff to current |
2020-01-02 |
Eddie Hung | write_xaiger: get rid of external_bits dict |
blob | commitdiff | raw | diff to current |
2020-01-02 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2020-01-02 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2020-01-02 |
Eddie Hung | abc9 -keepff -> -dff; refactor dff operations |
blob | commitdiff | raw | diff to current |
2020-01-01 |
Eddie Hung | Get rid of (* abc9_keep *) in write_xaiger too |
blob | commitdiff | raw | diff to current |
2020-01-01 |
Eddie Hung | attributes.count() -> get_bool_attribute() |
blob | commitdiff | raw | diff to current |
2020-01-01 |
Eddie Hung | parse_xaiger to not take box_lookup |
blob | commitdiff | raw | diff to current |
2020-01-01 |
Eddie Hung | Do not re-order carry chain ports, just precompute... |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | write_xaiger: be more precise with ff_bits, remove... |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Retry getting rid of write_xaiger's holes_mode |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Revert "Get rid of holes_mode" |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig_dff' into... |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Get rid of holes_mode |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig_dff' into... |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Move Pass::call() out of abc9_ops into abc9 |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Cleanup |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Rid unnecessary if |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Get rid of holes_mode |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Add abc9_ops -prep_holes |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig_dff' into... |
blob | commitdiff | raw | diff to current |
2019-12-31 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Eddie Hung | write_xaiger to use scratchpad for stats; cleanup abc9 |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Eddie Hung | Remove unused |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Eddie Hung | Call "proc" if processes inside whiteboxes |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Eddie Hung | Add "synth_xilinx -dff" option, cleanup abc9 |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Miodrag Milanović | Merge pull request #1589 from YosysHQ/iopad_default |
blob | commitdiff | raw | diff to current |
2019-12-30 |
Eddie Hung | Merge pull request #1599 from YosysHQ/eddie/retry_1588 |
blob | commitdiff | raw | diff to current |
2019-12-28 |
Miodrag Milanovic | Merge remote-tracking branch 'origin/master' into iopad... |
blob | commitdiff | raw | diff to current |
2019-12-28 |
Eddie Hung | write_xaiger: inherit port ordering from original module |
blob | commitdiff | raw | diff to current |
2019-12-28 |
Eddie Hung | Revert "Merge pull request #1598 from YosysHQ/revert... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Eddie Hung | Merge branch 'master' of github.com:YosysHQ/yosys |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Eddie Hung | write_xaiger: simplify c{i,o}_bits |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Eddie Hung | write_xaiger: simplify c{i,o}_bits |
blob | commitdiff | raw | diff to current |
next |