2019-06-22 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Fix CHANGELOG |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Reduce log_debug spam in parse_xaiger() |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Do not rename non LUT cells in abc9 |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Replace assert with error message |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add log_push()/log_pop() inside write_xaiger |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add log_push()/log_pop() inside write_xaiger |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge pull request #1108 from YosysHQ/clifford/fix1091 |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Constrain wreduce only if wide mux |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Simplify and comment out mux_map.v |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | synth_xilinx to now wreduce except $mux, remove extra... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | mux_map to no longer copy last value into 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing again, A_forward -> A_backward |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Restore wreduce to synth_xilinx, after muxcover |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert B_SIGNED optimisation, since only works for... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | synth_xilinx to use _ABC macro, and perform muxpack... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add $__XILINX_MUXF78 to preserve entire box |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Do not rename non LUT cells in abc9 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Replace assert with error message |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/muxpack... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix alignment |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge branch 'xc7mux' into xc7mux_wip |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | One more workaround for gcc-4.8 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | One more workaround for gcc-4.8 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Workaround issues exposed by gcc-4.8 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | No point logging constant bit |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Move comment |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert "autotest.sh to cat *.err on error" |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert "Cat more stuff" |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Workaround issues exposed by gcc-4.8 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert "Stab in the dark with aig_map from dict ->... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Cat more stuff |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | No point logging constant bit |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Move comment |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Stab in the dark with aig_map from dict -> std::map |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add FIXME about need for -mux4 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Since muxcover uses MUX4s, blast them back to gates... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Expand synth -coarse without wreduce, move muxcover |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge remote-tracking branch 'origin/clifford/fix1091... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | autotest.sh to cat *.err on error |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1123 from mmicko/fix_typo |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Replace "muxcover -freedecode" with "muxcover -dmux... |
commit | commitdiff | tree |
2019-06-21 |
Miodrag Milanovic | Fix typo |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge pull request #1085 from YosysHQ/eddie/shregmap_im... |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1122 from YosysHQ/clifford/jsonports |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Added JSON upto and offset |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv |
commit | commitdiff | tree |
2019-06-21 |
David Shah | ecp5: Improve mapping of $alu when BI is used |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1117 from bwidawsk/more-home |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1119 from YosysHQ/eddie/fix1118 |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1116 from YosysHQ/eddie/fix1115 |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Add "muxcover -freedecode" |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert Makefile |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Revert Makefile |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Refactor bit2aig for less lookups |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc invalidation behaviour for write_aiger |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc error, due to dict invalidation during recursion |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc warning of potentially uninitialised |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Refactor bit2aig for less lookups |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc invalidation behaviour for write_aiger |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc invalidation behaviour for write_aiger |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc error, due to dict invalidation during recursion |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix gcc warning of potentially uninitialised |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Improvements in muxcover |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Missing a `clean` and `opt_expr -mux_bool` in test |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add test |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Add support for partial matches to muxcover, fixes... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | write_xaiger to flatten 1'bx/1'bz to 1'b0 again |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix simple_abc9/generate test with 1'bx at MSB |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix different abc9 test |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix broken abc9.v test due to inout being 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Run simple_abc9 tests |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | write_xaiger to flatten 1'bx/1'bz to 1'b0 again |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix simple_abc9/generate test with 1'bx at MSB |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix different abc9 test |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix broken abc9.v test due to inout being 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Run simple_abc9 tests |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix issue with part of PI being 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Call opt_expr -mux_undef to get rid of 1'bx in muxes... |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Handle COs driven by 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Do not call "setundef -zero" in abc9 |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | write_xaiger to skip POs driven by 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix issue with part of PI being 1'bx |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Actually, there might not be any harm in updating sigmap... |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add comment as per @cliffordwolf |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Call opt_expr -mux_undef to get rid of 1'bx in muxes... |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | mux_map to drop sign bit, and eliminate 'bx-es |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/fix1115... |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Merge remote-tracking branch 'origin/eddie/fix1118... |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add test |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Make genvar a signed type |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add CHANGELOG entry |
commit | commitdiff | tree |
next |