2020-01-13 |
Eddie Hung | write_xaiger: cache arrival times |
blob | commitdiff | raw |
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 | 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-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/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 |
David Shah | Merge pull request #1598 from YosysHQ/revert-1588-eddie... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
David Shah | Revert "write_xaiger: only instantiate each whitebox... |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Eddie Hung | Really fix it! |
blob | commitdiff | raw | diff to current |
2019-12-27 |
Eddie Hung | write_xaiger: fix arrival times for non boxes |
blob | commitdiff | raw | diff to current |
2019-12-23 |
Eddie Hung | write_xaiger to opt instead of just clean whiteboxes |
blob | commitdiff | raw | diff to current |
2019-12-20 |
Eddie Hung | Merge pull request #1588 from YosysHQ/eddie/xaiger_cleanup |
blob | commitdiff | raw | diff to current |
2019-12-20 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2019-12-20 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2019-12-20 |
Eddie Hung | write_xaiger: only instantiate each whitebox cell type... |
blob | commitdiff | raw | diff to current |
2019-12-20 |
Eddie Hung | Merge pull request #1587 from YosysHQ/revert-1558-eddie... |
blob | commitdiff | raw | diff to current |
2019-12-20 |
Eddie Hung | Revert "Optimise write_xaiger" |
blob | commitdiff | raw | diff to current |
2019-12-19 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2019-12-19 |
Eddie Hung | Merge pull request #1581 from YosysHQ/clifford/fix1565 |
blob | commitdiff | raw | diff to current |
2019-12-19 |
Eddie Hung | Merge pull request #1558 from YosysHQ/eddie/xaiger_cleanup |
blob | commitdiff | raw | diff to current |
2019-12-17 |
Eddie Hung | Cleanup xaiger, remove unnecessary complexity with... |
blob | commitdiff | raw | diff to current |
2019-12-17 |
Eddie Hung | Do not sigmap |
blob | commitdiff | raw | diff to current |
2019-12-17 |
Eddie Hung | Revert "Use sigmap signal" |
blob | commitdiff | raw | diff to current |
2019-12-17 |
Eddie Hung | Use sigmap signal |
blob | commitdiff | raw | diff to current |
2019-12-16 |
Eddie Hung | Skip $inout transformation if not a PI |
blob | commitdiff | raw | diff to current |
2019-12-16 |
Eddie Hung | Revert "write_xaiger: use sigmap bits more consistently" |
blob | commitdiff | raw | diff to current |
2019-12-16 |
Eddie Hung | write_xaiger: use sigmap bits more consistently |
blob | commitdiff | raw | diff to current |
2019-12-16 |
Eddie Hung | Merge pull request #1577 from gromero/for-yosys |
blob | commitdiff | raw | diff to current |
2019-12-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2019-12-12 |
Diego H | Merge https://github.com/YosysHQ/yosys into bram_xilinx |
blob | commitdiff | raw | diff to current |
2019-12-07 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig_dff |
blob | commitdiff | raw | diff to current |
2019-12-07 |
Eddie Hung | Stray newline |
blob | commitdiff | raw | diff to current |
2019-12-07 |
Eddie Hung | write_xaiger to inst each cell type once, do not call... |
blob | commitdiff | raw | diff to current |
2019-12-07 |
Eddie Hung | Fix writing non-whole modules, including inouts and... |
blob | commitdiff | raw | diff to current |
2019-12-06 |
Eddie Hung | write_xaiger to support part-selected modules again |
blob | commitdiff | raw | diff to current |
next |