2019-06-27 |
Eddie Hung | Remove redundant check (done further down) |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | Restore sigmap wrapper |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | Add more tests |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | muxcover to be undef-sensitive when computing decoders |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | Revert "Rework muxcover decoder gen if more significant... |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | Let's not go crazy: use nonzero costs |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | Rework muxcover decoder gen if more significant muxes... |
commit | commitdiff | tree |
2019-06-26 |
Eddie Hung | Add tests |
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Merge pull request #1137 from mmicko/cell_sim_fix |
commit | commitdiff | tree |
2019-06-26 |
Miodrag Milanovic | Simulation model verilog fix |
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Improve opt_clean handling of unused public wires |
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Improve BTOR2 handling of undriven wires |
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Fix segfault on failed VERILOG_FRONTEND::const2ast... |
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Do not clean up buffer cells with "keep" attribute... |
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Escape scope names starting with dollar sign in smtio.py |
commit | commitdiff | tree |
2019-06-26 |
whitequark | Add more ECP5 Diamond flip-flops. |
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Add testcase from #335, fixed by #1130 |
commit | commitdiff | tree |
2019-06-25 |
Clifford Wolf | Merge pull request #1130 from YosysHQ/eddie/fix710 |
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Fix spacing |
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Move only one consumer check outside of while loop |
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Merge pull request #1129 from YosysHQ/eddie/ram32x1d |
commit | commitdiff | tree |
2019-06-25 |
Clifford Wolf | Merge pull request #1075 from YosysHQ/eddie/muxpack |
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Walk through as many muxes as exist for rd_en |
commit | commitdiff | tree |
2019-06-25 |
Eddie Hung | Add test |
commit | commitdiff | tree |
2019-06-24 |
Eddie Hung | Add RAM32X1D support |
commit | commitdiff | tree |
2019-06-24 |
Clifford Wolf | Merge pull request #1124 from mmicko/json_ports |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge remote-tracking branch 'origin/master' into eddie... |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Add 'muxcover -dmux=<cost>' and '-nopartial' to CHANGELOG |
commit | commitdiff | tree |
2019-06-22 |
Eddie Hung | Merge pull request #1108 from YosysHQ/clifford/fix1091 |
commit | commitdiff | tree |
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 |
Miodrag Milanovic | Fix json formatting |
commit | commitdiff | tree |
2019-06-21 |
Miodrag Milanovic | Add upto and offset to JSON ports |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1123 from mmicko/fix_typo |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Replace "muxcover -freedecode" with "muxcover -dmux... |
commit | commitdiff | tree |
2019-06-21 |
Miodrag Milanovic | Fix typo |
commit | commitdiff | tree |
2019-06-21 |
Eddie Hung | Merge pull request #1085 from YosysHQ/eddie/shregmap_im... |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1122 from YosysHQ/clifford/jsonports |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Added JSON upto and offset |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv |
commit | commitdiff | tree |
2019-06-21 |
David Shah | ecp5: Improve mapping of $alu when BI is used |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1117 from bwidawsk/more-home |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1119 from YosysHQ/eddie/fix1118 |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1116 from YosysHQ/eddie/fix1115 |
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Add "muxcover -freedecode" |
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 | 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 |
Ben Widawsky | Add a few more filename rewrites |
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 |
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 | Merge remote-tracking branch 'origin/master' into eddie... |
commit | commitdiff | tree |
2019-06-18 |
Clifford Wolf | Merge pull request #1086 from udif/pr_elab_sys_tasks2 |
commit | commitdiff | tree |
2019-06-16 |
Clifford Wolf | Add timescale and generated-by header to yosys-smtbmc... |
commit | commitdiff | tree |
2019-06-13 |
Serge Bazanski | Merge pull request #829 from abdelrahmanhosny/master |
commit | commitdiff | tree |
2019-06-12 |
Eddie Hung | Add shregmap -tech xilinx test |
commit | commitdiff | tree |
2019-06-11 |
Eddie Hung | Revert "Try way that doesn't involve creating a new... |
commit | commitdiff | tree |
next |