2019-02-26 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
commit | commitdiff | tree |
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 |
Larry Doolittle | techlibs/greenpak4/cells_map.v: Harmonize whitespace... |
commit | commitdiff | tree |
2019-02-26 |
Larry Doolittle | Clean up some whitepsace outliers |
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-24 |
Clifford Wolf | Minor changes ontop of 71bcc4c: Remove hierarchy warnin... |
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Merge pull request #812 from ucb-bar/arrayhierarchyfixes |
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Cleanups in ARST handling in wreduce |
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Merge pull request #824 from litghost/fix_reduce_on_ff |
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Fix handling of defparam for when default_nettype is... |
commit | commitdiff | tree |
2019-02-24 |
Clifford Wolf | Check if Verific was built with DB_PRESERVE_INITIAL_VALUE |
commit | commitdiff | tree |
2019-02-23 |
Jim Lawson | Address requested changes - don't require non-$ name. |
commit | commitdiff | tree |
2019-02-22 |
Keith Rothman | Fix WREDUCE on FF not fixing ARST_VALUE parameter. |
commit | commitdiff | tree |
2019-02-22 |
Clifford Wolf | Merge pull request #819 from YosysHQ/clifford/optd |
commit | commitdiff | tree |
2019-02-22 |
Clifford Wolf | Merge pull request #820 from YosysHQ/clifford/fix810 |
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-22 |
Clifford Wolf | Merge pull request #740 from daveshah1/improve_dress |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix Travis |
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 |
Clifford Wolf | Fixes related to handling of autowires and upto-ranges... |
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 handling of expression width in $past, fixes #810 |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Fix segfault in printing of some internal error messages |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Rename "yosys -U" to "yosys -P" to avoid confusion... |
commit | commitdiff | tree |
2019-02-21 |
Clifford Wolf | Rename "yosys -D" to "yosys -U", add "yosys -D" with... |
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 |
Jim Lawson | Fix normal (non-array) hierarchy -auto-top. |
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 |
next |