2019-04-10 |
Eddie Hung | Merge branch 'xaig' into xc7mux |
tree | commitdiff |
2019-04-10 |
Eddie Hung | parse_aiger() to rename all $lut cells after "clean" |
tree | commitdiff |
2019-04-08 |
Eddie Hung | Fix spacing |
tree | commitdiff |
2019-04-08 |
Eddie Hung | Merge branch 'master' into xaig |
tree | commitdiff |
2019-04-01 |
Jim Lawson | Merge remote-tracking branch 'upstream/master' |
tree | commitdiff |
2019-03-28 |
Benedikt Tutzer | Merge remote-tracking branch 'origin/master' into featu... |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7srl |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Merge pull request #808 from eddiehung/read_aiger |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into read_aiger |
tree | commitdiff |
2019-03-19 |
Eddie Hung | Add author name |
tree | commitdiff |
2019-02-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-02-26 |
Eddie Hung | parse_xaiger() to really pass single and multi-bit... |
tree | commitdiff |
2019-02-26 |
Eddie Hung | parse_xaiger() to cope with multi bit inouts |
tree | commitdiff |
2019-02-26 |
Eddie Hung | parse_xaiger() to untransform $inout.out output ports |
tree | commitdiff |
2019-02-25 |
Eddie Hung | read_aiger to accept empty string for clk_name, passabl... |
tree | commitdiff |
2019-02-22 |
Eddie Hung | read_aiger to work with symbol table |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Add attribution |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' of https://github.com/eddiehu... |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
tree | commitdiff |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github... |
tree | commitdiff |
2019-02-21 |
Eddie Hung | read_aiger to not do -purge for clean |
tree | commitdiff |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and} |
tree | commitdiff |
2019-02-21 |
Eddie Hung | read_aiger to also rename 0 index lut when wideports |
tree | commitdiff |
2019-02-20 |
Eddie Hung | read_aiger: new naming fixes |
tree | commitdiff |
2019-02-20 |
Eddie Hung | read_aiger to name wires with internal name, less likel... |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Same for ascii AIGERs too |
tree | commitdiff |
2019-02-19 |
Eddie Hung | read_aiger to cope with non-unique POs |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Merge branch 'master' into read_aiger |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Merge branch 'master' into read_aiger |
tree | commitdiff |
2019-02-19 |
Eddie Hung | read_aiger to create sane $lut names, and rename when... |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Add comment |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Get rid of boost dep, fix the FIXMEs for Win32? |
tree | commitdiff |
2019-02-19 |
Eddie Hung | Fix for using POSIX basename |
tree | commitdiff |
2019-02-18 |
Eddie Hung | Missing OSX headers? |
tree | commitdiff |
2019-02-18 |
Eddie Hung | Merge branch 'dff_init' into read_aiger |
tree | commitdiff |
2019-02-17 |
Eddie Hung | read_aiger to ignore line after ands for ascii, not... |
tree | commitdiff |
2019-02-17 |
Eddie Hung | Merge branch 'dff_init' into read_aiger |
tree | commitdiff |
2019-02-17 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into read_aiger |
tree | commitdiff |
2019-02-17 |
Eddie Hung | In read_xaiger, do not construct ConstEval for every LUT |
tree | commitdiff |
2019-02-17 |
Eddie Hung | read_aiger to ignore output = input of same wire; also... |
tree | commitdiff |
2019-02-16 |
Eddie Hung | read_aiger to disable log_debug |
tree | commitdiff |
2019-02-16 |
Eddie Hung | read_xaiger() to use f.read() not readsome() |
tree | commitdiff |
2019-02-16 |
Eddie Hung | read_aiger() to cope with constant outputs, mixed widep... |
tree | commitdiff |
2019-02-15 |
Eddie Hung | read_aiger with more asserts, and call clean |
tree | commitdiff |
2019-02-14 |
Eddie Hung | Leave FIXME for clean |
tree | commitdiff |
2019-02-14 |
Eddie Hung | Use module->addLut() |
tree | commitdiff |
2019-02-14 |
Eddie Hung | Use ConstEval to compute LUT masks |
tree | commitdiff |
2019-02-13 |
Eddie Hung | Merge remote-tracking branch 'origin/read_aiger' into... |
tree | commitdiff |
2019-02-13 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into xaig |
tree | commitdiff |
2019-02-12 |
Eddie Hung | Add support for read_aiger -wideports |
tree | commitdiff |
2019-02-12 |
Eddie Hung | Add support for read_aiger -map |
tree | commitdiff |
2019-02-12 |
Eddie Hung | Parse 'm' in xaiger |
tree | commitdiff |
2019-02-12 |
Eddie Hung | Merge branch 'read_aiger' of github.com:eddiehung/yosys... |
tree | commitdiff |
2019-02-12 |
Eddie Hung | Use module->add{Not,And}Gate() functions |
tree | commitdiff |
2019-02-11 |
Eddie Hung | Add read_xaiger |
tree | commitdiff |
2019-02-11 |
Eddie Hung | Do not break for constraints |
tree | commitdiff |
2019-02-11 |
Eddie Hung | No increment line_count for binary ANDs |
tree | commitdiff |
2019-02-11 |
Eddie Hung | Do not ignore newline after AND in binary AIG |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Merge remote-tracking branch 'origin/dff_init' into... |
tree | commitdiff |
2019-02-08 |
Eddie Hung | addDff -> addDffGate as per @daveshah1 |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Fix tabulation |
tree | commitdiff |
2019-02-08 |
Eddie Hung | -module_name arg to go before -clk_name |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Allow module name to be determined by argument too |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Refactor into AigerReader class |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Parse binary AIG files |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Refactor to parse_aiger_header() |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Add comment |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Handle reset logic in latches |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Change literal vars from int to unsigned |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Create clk outside of latch loop |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Handle latch symbols too |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Remove return after log_error |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Add support for symbol tables |
tree | commitdiff |
2019-02-08 |
Eddie Hung | Stub for binary AIGER |
tree | commitdiff |
2019-02-06 |
Eddie Hung | Refactor |
tree | commitdiff |
2019-02-06 |
Eddie Hung | Merge branch 'dff_init' of https://github.com/eddiehung... |
tree | commitdiff |
2019-02-06 |
Eddie Hung | WIP |
tree | commitdiff |
|