2019-08-07 |
Clifford Wolf | Merge pull request #1213 from YosysHQ/eddie/wreduce_add
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Merge pull request #1240 from ucb-bar/firrtl-properties...
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Merge pull request #1249 from mmicko/anlogic_fix
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Merge pull request #1252 from YosysHQ/clifford/fix1231
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Merge pull request #1253 from YosysHQ/clifford/check
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Merge pull request #1257 from YosysHQ/clifford/cellcosts
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Tweak default gate costs, cleanup "stat -tech cmos" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-06 |
Clifford Wolf | Redesign of cell cost API Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-06 |
Clifford Wolf | Be less aggressive with running design->check() Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-06 |
Clifford Wolf | Fix handling of functions/tasks without top-level begin... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-06 |
Clifford Wolf | Merge pull request #1251 from YosysHQ/clifford/nmux
|
commit | commitdiff | tree |
2019-08-06 |
Clifford Wolf | Add $_NMUX_, add "abc -g cmos", add proper cmos cell... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-02 |
Clifford Wolf | Merge pull request #1238 from mmicko/vsbuild_fix
|
commit | commitdiff | tree |
2019-08-02 |
Clifford Wolf | Merge pull request #1239 from mmicko/mingw_fix
|
commit | commitdiff | tree |
2019-08-01 |
Clifford Wolf | Update JSON front-end to process new attr/param encoding Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-01 |
Clifford Wolf | Implement improved JSON attr/param encoding Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-31 |
Clifford Wolf | Merge pull request #1233 from YosysHQ/clifford/defer
|
commit | commitdiff | tree |
2019-07-29 |
Clifford Wolf | Update README to use "read" instead of "read_verilog" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-29 |
Clifford Wolf | Call "read_verilog" with -defer from "read" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-25 |
Clifford Wolf | Merge branch 'ZirconiumX-synth_intel_m9k'
|
commit | commitdiff | tree |
2019-07-25 |
Clifford Wolf | Merge pull request #1218 from ZirconiumX/synth_intel_iopads
|
commit | commitdiff | tree |
2019-07-25 |
Clifford Wolf | Merge pull request #1219 from jakobwenzel/objIterator
|
commit | commitdiff | tree |
2019-07-20 |
Clifford Wolf | Add "stat -tech cmos" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-18 |
Clifford Wolf | Merge pull request #1184 from whitequark/synth-better...
|
commit | commitdiff | tree |
2019-07-18 |
Clifford Wolf | Merge pull request #1203 from whitequark/write_verilog...
|
commit | commitdiff | tree |
2019-07-17 |
Clifford Wolf | Remove old $pmux_safe code from write_verilog Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-16 |
Clifford Wolf | Merge pull request #1200 from mmicko/fix_typo_liberty_cc
|
commit | commitdiff | tree |
2019-07-16 |
Clifford Wolf | Merge pull request #1199 from mmicko/extract_fa_fix
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Merge pull request #1189 from YosysHQ/eddie/fix1151
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Merge pull request #1190 from YosysHQ/eddie/fix_1099
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Merge pull request #1191 from whitequark/opt_lut-log_debug
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Merge pull request #1195 from Roman-Parise/master
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Merge pull request #1197 from nakengelhardt/handle...
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Redesign log_id_cache so that it doesn't keep IdString... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-15 |
Clifford Wolf | Add log_checkpoint function and use it in opt_muxtree Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-12 |
Clifford Wolf | Merge pull request #1183 from whitequark/ice40-always...
|
commit | commitdiff | tree |
2019-07-11 |
Clifford Wolf | Merge pull request #1172 from whitequark/write_verilog...
|
commit | commitdiff | tree |
2019-07-11 |
Clifford Wolf | Merge pull request #1179 from whitequark/attrmap-proc
|
commit | commitdiff | tree |
2019-07-10 |
Clifford Wolf | Merge pull request #1177 from YosysHQ/clifford/async
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1174 from YosysHQ/eddie/fix1173
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1175 from whitequark/write_verilog...
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Fix tests/various/async FFL test Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Improve tests/various/async, disable failing ffl test Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Add tests/various/async.{sh,v} Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Improve tests/various/run-test.sh Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Add tests/simple_abc9/.gitignore Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1168 from whitequark/bugpoint-processes
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1169 from whitequark/more-proc...
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1163 from whitequark/more-case...
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1162 from whitequark/rtlil-case...
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1167 from YosysHQ/eddie/xc7srl_cleanup
|
commit | commitdiff | tree |
2019-07-05 |
Clifford Wolf | Merge pull request #1159 from btut/fix/1090_segfault_cell_an...
|
commit | commitdiff | tree |
2019-07-03 |
Clifford Wolf | Merge pull request #1147 from YosysHQ/clifford/fix1144
|
commit | commitdiff | tree |
2019-07-03 |
Clifford Wolf | Fix tests/various/specify.v Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-03 |
Clifford Wolf | Some cleanups in "ignore specify parser" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-03 |
Clifford Wolf | Merge pull request #1154 from whitequark/manual-sync...
|
commit | commitdiff | tree |
2019-07-02 |
Clifford Wolf | Fix read_verilog assert/assume/etc on default case... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-28 |
Clifford Wolf | Merge pull request #1146 from gsomlo/gls-test-abc-ext
|
commit | commitdiff | tree |
2019-06-28 |
Clifford Wolf | Improve specify dummy parser, fixes #1144 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-28 |
Clifford Wolf | Merge pull request #1046 from bogdanvuk/master
|
commit | commitdiff | tree |
2019-06-27 |
Clifford Wolf | Add "pmux2shiftx -norange", fixes #1135 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-27 |
Clifford Wolf | Fix handling of partial covers in muxcover, fixes ... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Merge pull request #1137 from mmicko/cell_sim_fix
|
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Improve opt_clean handling of unused public wires Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Improve BTOR2 handling of undriven wires Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Fix segfault on failed VERILOG_FRONTEND::const2ast... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Do not clean up buffer cells with "keep" attribute... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-26 |
Clifford Wolf | Escape scope names starting with dollar sign in smtio.py Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-25 |
Clifford Wolf | Merge pull request #1130 from YosysHQ/eddie/fix710
|
commit | commitdiff | tree |
2019-06-25 |
Clifford Wolf | Merge pull request #1075 from YosysHQ/eddie/muxpack
|
commit | commitdiff | tree |
2019-06-24 |
Clifford Wolf | Merge pull request #1124 from mmicko/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... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
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 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Merge pull request #1121 from YosysHQ/ecp5-ccu2c-inv
|
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" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Improvements in muxcover
|
commit | commitdiff | tree |
2019-06-21 |
Clifford Wolf | Add support for partial matches to muxcover, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Fix typo, fixes #1095 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Improve shregmap help message, fixes #1113 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Update some .gitignore files Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Refactor "opt_rmdff -sat" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Merge branch 'master' of https://github.com/bogdanvuk...
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Fix typo Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
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 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-20 |
Clifford Wolf | Merge branch 'unpacked_arrays' of https://github.com...
|
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 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Merge pull request #1105 from YosysHQ/clifford/fixlogicinit
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Make tests/aiger less chatty Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Add defvalue test, minor autotest fixes for .sv files Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Use input default values in hierarchy pass Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Add defaultvalue attribute Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Fix handling of "logic" variables with initial value Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-06-19 |
Clifford Wolf | Merge pull request #1100 from bwidawsk/home
|
commit | commitdiff | tree |
next |