2019-04-12 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
blob | commitdiff | raw |
2019-04-08 |
Eddie Hung | More space fixing |
blob | commitdiff | raw |
2019-04-08 |
Eddie Hung | Merge branch 'master' into xaig |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Eddie Hung | abc9 -- multiple connections for inouts |
blob | commitdiff | raw | diff to current |
2019-02-26 |
Eddie Hung | abc9 cleanup |
blob | commitdiff | raw | diff to current |
2019-02-25 |
Eddie Hung | read_aiger to accept empty string for clk_name, passabl... |
blob | commitdiff | raw | diff to current |
2019-02-25 |
Eddie Hung | abc9 not to clean after aigmap |
blob | commitdiff | raw | diff to current |
2019-02-25 |
Eddie Hung | abc9 to call "clean" once at the end of all abc9_module... |
blob | commitdiff | raw | diff to current |
2019-02-22 |
Eddie Hung | abc9 to use AIGER symbol table, as opposed to map file |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Revert "abc9 to write_xaiger -symbols, not -map" |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Remove irrelevant citations |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Add attribution |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | abc9 to not select anything extra, and pop selection... |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | abc9 to write_xaiger -symbols, not -map |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | abc9 to use &mfs |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | abc9 to only disconnect output ports of AND and NOT... |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github... |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | ABC -> ABC9 |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | abc9 to disconnect mapped_mods POs correctly, and do... |
blob | commitdiff | raw | diff to current |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and} |
blob | commitdiff | raw | diff to current |
2019-02-20 |
Eddie Hung | abc9 to cope with multiple modules |
blob | commitdiff | raw | diff to current |
2019-02-20 |
Eddie Hung | abc9 to use & syntax for -fast, and name fixes |
blob | commitdiff | raw | diff to current |
2019-02-20 |
Eddie Hung | abc9 to cope with indexed wires when creating $lut... |
blob | commitdiff | raw | diff to current |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig |
blob | commitdiff | raw | diff to current |
2019-02-19 |
Eddie Hung | abc9 to replace $_NOT_ with $lut |
blob | commitdiff | raw | diff to current |
2019-02-17 |
Eddie Hung | Get rid of debugging stuff in abc9 |
blob | commitdiff | raw | diff to current |
2019-02-17 |
Eddie Hung | abc9 to write_aiger with -O option, and ignore dummy... |
blob | commitdiff | raw | diff to current |
2019-02-16 |
Eddie Hung | abc9 to handle comb loops, cope with constant outputs... |
blob | commitdiff | raw | diff to current |
2019-02-16 |
Eddie Hung | abc9 to cope with non-wideports, count cells properly |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Eddie Hung | Move lookup inside if |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Eddie Hung | Refactor |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Eddie Hung | Cope with width != 1 when re-mapping cells |
blob | commitdiff | raw | diff to current |
2019-02-15 |
Eddie Hung | abc9 to stitch results with CI/CO properly |
blob | commitdiff | raw | diff to current |
2019-02-14 |
Eddie Hung | Fix stitching |
blob | commitdiff | raw | diff to current |
2019-02-13 |
Eddie Hung | Merge remote-tracking branch 'origin/read_aiger' into... |
blob | commitdiff | raw | diff to current |
2019-02-13 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into xaig |
blob | commitdiff | raw | diff to current |
2019-02-13 |
Eddie Hung | Rip out some more stuff |
blob | commitdiff | raw | diff to current |
2019-02-13 |
Eddie Hung | Rip out unused functions in abc9 |
blob | commitdiff | raw | diff to current |
2019-02-12 |
Eddie Hung | WIP for ABC with aiger |
blob | commitdiff | raw | diff to current |
2019-02-08 |
Eddie Hung | Compile abc9 |
blob | commitdiff | raw | diff to current |
2019-02-08 |
Eddie Hung | Copy abc.cc to abc9.cc |
blob | commitdiff | raw | diff to current |
|