2019-06-21 |
Eddie Hung | Cope with $reduce_or common in case
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add more tests
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix testcase
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix spacing
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add doc
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Add more muxpack tests, with overlapping entries
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Fix up ExclusiveDatabase with @cliffordwolf's help
|
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge branch 'master' into eddie/muxpack
|
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 | Fix gcc invalidation behaviour for write_aiger
|
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 | 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 | 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 | 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 |
2019-06-20 |
Eddie Hung | Extend sign extension tests
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Maintain "is_unsized" state of constants
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Revert "Fix sign extension when sign is 1'bx"
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Remove leftover comment
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Add test
|
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Fix sign extension when sign is 1'bx
|
commit | commitdiff | tree |
2019-06-19 |
Eddie Hung | Fix bug in #1078, add entry to CHANGELOG
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie...
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Really permute Xilinx LUT mappings as default LUT6...
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Revert "Fix (do not) permute LUT inputs, but permute...
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Clean up
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Fix (do not) permute LUT inputs, but permute mux selects
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Fix copy-pasta issue
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Permute INIT for +/xilinx/lut_map.v
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Simplify comment
|
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Update LUT7/8 delays to take account for [ABC]OUTMUX...
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | &scorr before &sweep, remove &retime as recommended
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Copy not move parameters/attributes
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Fix leak removing cells during ABC integration; also...
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Try -W 300
|
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Re-enable &dc2
|
commit | commitdiff | tree |
2019-06-16 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-15 |
Eddie Hung | Fix upper XC7 LUT[78] delays to use I[01] -> O delay...
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Leave breadcrumb behind
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove redundant condition
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Revert "Cleanup/optimise toposort in write_xaiger"
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Update comment
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Check that whiteboxes are synthesisable
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Get rid of compiler warnings
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | As per @daveshah1 remove async DFF timing from xilinx
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cover __APPLE__ too for little to big endian
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Update abc9 -D doc
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Enable "abc9 -D <num>" for timing-driven synthesis
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Further cleanup based on @daveshah1
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Resolve comments from @daveshah1
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Add XC7_WIRE_DELAY macro to synth_xilinx.cc
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Update delays based on SymbiFlow/prjxray-db
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Rename +/xilinx/abc.{box,lut} -> abc_xc7.{box,lut}
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Comment out dist RAM boxing on ECP5 for now
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove WIP ABC9 flop support
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Make doc consistent
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Merge branch 'xaig' of github.com:YosysHQ/yosys into...
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Cleanup/optimise toposort in write_xaiger
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Remove extra semicolon
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Add TODO to parse_xaiger
|
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Optimise some more
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Move ConstEvalAig to aigerparse.cc
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Fix name clash
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | More slimming
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Add ConstEvalAig specialised for AIGs
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Update CHANGELOG with "synth -abc9"
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | Fix LP SB_LUT4 timing
|
commit | commitdiff | tree |
2019-06-13 |
Eddie Hung | More accurate CHANGELOG
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Update CHANGELOG
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Rip out all non FPGA stuff from abc9
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Fix spelling
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "For 'stat' do not count modules with abc_box_id"
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Revert "Merge remote-tracking branch 'origin/eddie...
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Move neg-pol to pos-pol mapping from ff_map to cells_map.v
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Be more precise when connecting during ABC9 re-integration
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Remove unnecessary undriven_bits.insert
|
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Remove hacky wideports_split from abc9
|
commit | commitdiff | tree |
next |