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 | Fix issue with part of PI being 1'bx |
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 |
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 | Handle COs driven by 1'bx |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | Do not call "setundef -zero" in abc9 |
commit | commitdiff | tree |
2019-06-20 |
Eddie Hung | write_xaiger to skip POs driven by 1'bx |
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/master' into xc7mux |
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-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 |
Eddie Hung | Merge branch 'xaig' into xc7mux |
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 | Remove iterator based Module::remove as per @cliffordwolf |
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Remove unncessary header |
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xaig |
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into xc7mux |
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Fix copy-pasta issue |
commit | commitdiff | tree |
2019-06-18 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | &scorr before &sweep, remove &retime as recommended |
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Copy not move parameters/attributes |
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Fix leak removing cells during ABC integration; also... |
commit | commitdiff | tree |
2019-06-17 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Try -W 300 |
commit | commitdiff | tree |
2019-06-16 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
commit | commitdiff | tree |
2019-06-16 |
Eddie Hung | Cleanup |
commit | commitdiff | tree |
2019-06-15 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Revert "Cleanup/optimise toposort in write_xaiger" |
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Merge remote-tracking branch 'origin/xaig' into xc7mux |
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 | Update CHANGELOG |
commit | commitdiff | tree |
2019-06-14 |
Eddie Hung | Revert "Remove wide mux inference" |
commit | commitdiff | tree |
next |