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