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-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 | 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 | 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-20 |
Clifford Wolf | Fix typo, fixes #1095 |
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Improve shregmap help message, fixes #1113 |
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Update some .gitignore files |
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Fix typo |
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Merge branch 'towoe-unpacked_arrays' |
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Add proper test for SV-style arrays |
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Merge branch 'unpacked_arrays' of https://github.com... |
commit | commitdiff | tree |
2019-06-19 |
Eddie Hung | Merge pull request #1111 from acw1251/help_summary_fixes |
commit | commitdiff | tree |
2019-06-19 |
acw1251 | Fixed small typo in ice40_unlut help summary |
commit | commitdiff | tree |
2019-06-19 |
acw1251 | Fixed the help summary line for a few commands |
commit | commitdiff | tree |
2019-06-19 |
Eddie Hung | Fix bug in #1078, add entry to CHANGELOG |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Merge pull request #1109 from YosysHQ/clifford/fix1106 |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Add "read_verilog -pwires" feature, closes #1106 |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Merge pull request #1105 from YosysHQ/clifford/fixlogicinit |
commit | commitdiff | tree |
2019-06-19 |
Tobias Wölfel | Unpacked array declaration using size |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Make tests/aiger less chatty |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Add defvalue test, minor autotest fixes for .sv files |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Use input default values in hierarchy pass |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Add defaultvalue attribute |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Fix handling of "logic" variables with initial value |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Merge pull request #1100 from bwidawsk/home |
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Merge pull request #1104 from whitequark/case-semantics |
commit | commitdiff | tree |
2019-06-19 |
whitequark | Explain exact semantics of switch and case rules in... |
commit | commitdiff | tree |
2019-06-19 |
whitequark | In RTLIL::Module::check(), check process invariants. |
commit | commitdiff | tree |
2019-06-18 |
Ben Widawsky | Support filename rewrite in backends |
commit | commitdiff | tree |
2019-06-18 |
Ben Widawsky | Support ~ for home directory |
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 |
Clifford Wolf | Merge pull request #1086 from udif/pr_elab_sys_tasks2 |
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 |
Clifford Wolf | Add timescale and generated-by header to yosys-smtbmc... |
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 | Merge pull request #1097 from YosysHQ/dave/xaig_ecp5 |
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 |
David Shah | ecp5: Add abc9 option |
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 |
next |