2019-02-26 |
Eddie Hung | Uncomment out more tests |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | abc9 -- multiple connections for inouts |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | write_xaiger to behave for undriven/unused inouts |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | parse_xaiger() to really pass single and multi-bit... |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | Add IdString::ends_with() |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | Enable two inout tests |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | parse_xaiger() to cope with multi bit inouts |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | abc9 cleanup |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | parse_xaiger() to untransform $inout.out output ports |
commit | commitdiff | tree |
2019-02-26 |
Eddie Hung | write_xaiger duplicate inout port into out port with... |
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | read_aiger to accept empty string for clk_name, passabl... |
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | abc9 not to clean after aigmap |
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | Cleanup abc9 code |
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | Add broken testcases |
commit | commitdiff | tree |
2019-02-25 |
Eddie Hung | abc9 to call "clean" once at the end of all abc9_module... |
commit | commitdiff | tree |
2019-02-22 |
Eddie Hung | abc9 to use AIGER symbol table, as opposed to map file |
commit | commitdiff | tree |
2019-02-22 |
Eddie Hung | write_xaiger to write __dummy_o__ for -symbols too |
commit | commitdiff | tree |
2019-02-22 |
Eddie Hung | read_aiger to work with symbol table |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "abc9 to write_xaiger -symbols, not -map" |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Remove irrelevant citations |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Add attribution |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to not select anything extra, and pop selection... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to write_xaiger -symbols, not -map |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' of https://github.com/eddiehu... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'read_aiger' into xaig |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to use &mfs |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "tests/simple to also do LUT synth" |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | tests/simple to also do LUT synth |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Working simple_abc9 tests |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to only disconnect output ports of AND and NOT... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | write_xaiger to use original bit for co, not sigmap... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Add abc9.v testcase to simple_abc9 |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Hotfix for 4c82ddf |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #822 from litghost/expand_setundef |
commit | commitdiff | tree |
2019-02-21 |
Keith Rothman | Add -params mode to force undef parameters in selected... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #818 from YosysHQ/clifford/dffsrfix |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #786 from YosysHQ/pmgen |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix typo in passes/pmgen/README.md |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Merge pull request #821 from eddiehung/dff_init |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge branch 'clifford/dffsrfix' of https://github... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Revert "Add -B option to autotest.sh to append to backe... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix opt_rmdff handling of $_DFFSR_???_ and $_DLATCHSR_... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Bugfix in ice40_dsp |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | ABC -> ABC9 |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | abc9 to disconnect mapped_mods POs correctly, and do... |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | read_aiger to not do -purge for clean |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Merge pull request #817 from eddiehung/dff_init |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | lut/not/and suffix to be ${lut,not,and} |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | simple_abc9 tests to now preserve memories |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | read_aiger to also rename 0 index lut when wideports |
commit | commitdiff | tree |
2019-02-21 |
Eddie Hung | Remove swap file |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Remove simple_defparam tests |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | write_aiger: fix CI/CO and symbols |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Move tests/techmap/abc9 to simple_abc9 |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | Add tests/simple_abc9 |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to cope with multiple modules |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to use & syntax for -fast, and name fixes |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | read_aiger: new naming fixes |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | read_aiger to name wires with internal name, less likel... |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | write_xaiger to not write latches, CO/PO fixes |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | synth to take -abc9 argument |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Add ice40 test_dsp_map test case generator |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Add "synth_ice40 -dsp" |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Add FF support to wreduce |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Improve iCE40 SB_MAC16 model |
commit | commitdiff | tree |
2019-02-20 |
Clifford Wolf | Detect and reject cases that do not map well to iCE40... |
commit | commitdiff | tree |
2019-02-20 |
Eddie Hung | abc9 to cope with indexed wires when creating $lut... |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add aiger tests to make tests |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add a quick abc9 test |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Same for ascii AIGERs too |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | read_aiger to cope with non-unique POs |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge branch 'master' into xaig |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge branch 'master' into read_aiger |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge branch 'master' into read_aiger |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Merge pull request #805 from eddiehung/dff_init |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | abc9 to replace $_NOT_ with $lut |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | read_aiger to create sane $lut names, and rename when... |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Add comment |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Get rid of boost dep, fix the FIXMEs for Win32? |
commit | commitdiff | tree |
2019-02-19 |
Eddie Hung | Fix for using POSIX basename |
commit | commitdiff | tree |
2019-02-19 |
Clifford Wolf | Add first draft of functional SB_MAC16 model |
commit | commitdiff | tree |
2019-02-18 |
Eddie Hung | Missing OSX headers? |
commit | commitdiff | tree |
2019-02-18 |
Eddie Hung | Revert "Missing headers for Xcode?" |
commit | commitdiff | tree |
2019-02-18 |
Eddie Hung | Merge branch 'dff_init' into read_aiger |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Instead of INIT param on cells, use initial statement... |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Revert "Add INIT parameter to all ff/latch cells" |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | read_aiger to ignore line after ands for ascii, not... |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | One more merge conflict |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Merge branch 'dff_init' into read_aiger |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into dff_init |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Merge https://github.com/YosysHQ/yosys into read_aiger |
commit | commitdiff | tree |
2019-02-17 |
Clifford Wolf | Add actual DSP inference to ice40_dsp pass |
commit | commitdiff | tree |
2019-02-17 |
Clifford Wolf | Merge branch 'master' of github.com:YosysHQ/yosys into... |
commit | commitdiff | tree |
2019-02-17 |
Clifford Wolf | Merge pull request #811 from ucb-bar/firrtlfixes |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Get rid of debugging stuff in abc9 |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | In read_xaiger, do not construct ConstEval for every LUT |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | Cleanup |
commit | commitdiff | tree |
2019-02-17 |
Eddie Hung | read_aiger to ignore output = input of same wire; also... |
commit | commitdiff | tree |
next |