aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
...
| * | | | | | | | Merge remote-tracking branch 'origin/master' into xaigEddie Hung2019-06-2513-14/+1029
| |\ \ \ \ \ \ \ \
| * | | | | | | | | nullptr checkEddie Hung2019-06-251-0/+1
| | | | | | | | | |
| * | | | | | | | | Use LUT delays for dist RAM delaysEddie Hung2019-06-241-4/+4
| | | | | | | | | |
| * | | | | | | | | Fix for abc_scc_break is busEddie Hung2019-06-241-21/+23
| | | | | | | | | |
| * | | | | | | | | More meaningful error messageEddie Hung2019-06-241-0/+2
| | | | | | | | | |
| * | | | | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit ca0225fcfaa8c9c68647034351a1569464959edf.
| * | | | | | | | | 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This reverts commit da3d2eedd2b6391621e81b3eaaa28a571e058f9d.
| * | | | | | | | | | | | | Clean upEddie Hung2019-06-181-6/+4
| | | | | | | | | | | | | |
| * | | | | | | | | | | | | Fix (do not) permute LUT inputs, but permute mux selectsEddie Hung2019-06-181-31/+33
| | | | | | | | | | | | | |