aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
| * | | | | | | | | Re-enable dist RAM boxes for ECP5Eddie Hung2019-06-241-1/+1
| * | | | | | | | | Revert "Re-enable dist RAM boxes for ECP5"Eddie Hung2019-06-241-1/+1
| * | | | | | | | | Do not use log_id as it strips \\, also fix scc for |wire| > 1Eddie Hung2019-06-241-13/+30
| * | | | | | | | | Re-enable dist RAM boxes for ECP5Eddie Hung2019-06-241-1/+1
| * | | | | | | | | Add Xilinx dist RAM as comb boxesEddie Hung2019-06-242-0/+16
| * | | | | | | | | Fix abc9's scc breaker, also break on abc_scc_break attrEddie Hung2019-06-241-9/+31
| * | | | | | | | | Add tests/various/abc9.{v,ys} with SCC testEddie Hung2019-06-242-0/+19
| * | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-242-0/+16
| |\ \ \ \ \ \ \ \ \
| * | | | | | | | | | Add comments to ecp5 boxEddie Hung2019-06-221-0/+6
| * | | | | | | | | | Add comment to xc7 boxEddie Hung2019-06-221-0/+3
| * | | | | | | | | | Fix and cleanup ice40 boxes for carry in/outEddie Hung2019-06-224-313/+25
| * | | | | | | | | | Carry in/out box ordering now move to end, not swap with endEddie Hung2019-06-222-38/+46
| * | | | | | | | | | Remove DFF and RAMD box info for nowEddie Hung2019-06-212-36/+0
| * | | | | | | | | | Merge branch 'master' into xaigEddie Hung2019-06-211-1/+3
| |\ \ \ \ \ \ \ \ \ \
| * \ \ \ \ \ \ \ \ \ \ Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-2115-59/+446
| |\ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | Fix CHANGELOGEddie Hung2019-06-211-1/+3
| * | | | | | | | | | | | Reduce log_debug spam in parse_xaiger()Eddie Hung2019-06-211-16/+19
| * | | | | | | | | | | | Do not rename non LUT cells in abc9Eddie Hung2019-06-211-11/+16
| * | | | | | | | | | | | Replace assert with error messageEddie Hung2019-06-211-1/+2
| * | | | | | | | | | | | Add log_push()/log_pop() inside write_xaigerEddie Hung2019-06-211-0/+4
| * | | | | | | | | | | | One more workaround for gcc-4.8Eddie Hung2019-06-211-3/+4
| * | | | | | | | | | | | Workaround issues exposed by gcc-4.8Eddie Hung2019-06-211-0/+7
| * | | | | | | | | | | | No point logging constant bitEddie Hung2019-06-211-1/+1
| * | | | | | | | | | | | Move commentEddie Hung2019-06-211-2/+3
| * | | | | | | | | | | | Fix spacingEddie Hung2019-06-201-1/+1
| * | | | | | | | | | | | Revert MakefileEddie Hung2019-06-201-2/+2
| * | | | | | | | | | | | Refactor bit2aig for less lookupsEddie Hung2019-06-201-24/+27
| * | | | | | | | | | | | Fix gcc invalidation behaviour for write_aigerEddie Hung2019-06-201-1/+2
| * | | | | | | | | | | | Fix gcc error, due to dict invalidation during recursionEddie Hung2019-06-202-4/+5
| * | | | | | | | | | | | Fix gcc warning of potentially uninitialisedEddie Hung2019-06-201-2/+2
| * | | | | | | | | | | | write_xaiger to flatten 1'bx/1'bz to 1'b0 againEddie Hung2019-06-201-2/+4
| * | | | | | | | | | | | Fix simple_abc9/generate test with 1'bx at MSBEddie Hung2019-06-201-1/+1
| * | | | | | | | | | | | Fix different abc9 testEddie Hung2019-06-201-2/+3
| * | | | | | | | | | | | Fix broken abc9.v test due to inout being 1'bxEddie Hung2019-06-202-5/+21
| * | | | | | | | | | | | Run simple_abc9 testsEddie Hung2019-06-201-0/+1
| * | | | | | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-2031-50/+250
| |\ \ \ \ \ \ \ \ \ \ \ \
| * | | | | | | | | | | | | Fix issue with part of PI being 1'bxEddie Hung2019-06-202-4/+11
| * | | | | | | | | | | | | Call opt_expr -mux_undef to get rid of 1'bx in muxes prior to abcEddie Hung2019-06-201-0/+1
| * | | | | | | | | | | | | Handle COs driven by 1'bxEddie Hung2019-06-201-3/+9
| * | | | | | | | | | | | | Do not call "setundef -zero" in abc9Eddie Hung2019-06-201-5/+2
| * | | | | | | | | | | | | write_xaiger to skip POs driven by 1'bxEddie Hung2019-06-201-3/+7
| * | | | | | | | | | | | | Really permute Xilinx LUT mappings as default LUT6.I5:A6Eddie Hung2019-06-181-16/+16
| * | | | | | | | | | | | | Revert "Fix (do not) permute LUT inputs, but permute mux selects"Eddie Hung2019-06-181-33/+31
| * | | | | | | | | | | | | Clean upEddie Hung2019-06-181-6/+4
| * | | | | | | | | | | | | Fix (do not) permute LUT inputs, but permute mux selectsEddie Hung2019-06-181-31/+33
| * | | | | | | | | | | | | Fix copy-pasta issueEddie Hung2019-06-171-9/+8
| * | | | | | | | | | | | | Permute INIT for +/xilinx/lut_map.vEddie Hung2019-06-171-32/+58
| * | | | | | | | | | | | | Simplify commentEddie Hung2019-06-171-1/+1
| * | | | | | | | | | | | | Update LUT7/8 delays to take account for [ABC]OUTMUX delayEddie Hung2019-06-171-5/+5
| * | | | | | | | | | | | | &scorr before &sweep, remove &retime as recommendedEddie Hung2019-06-171-1/+1