2019-08-15 |
Clifford Wolf | Merge branch 'master' into clifford/fix1255
|
commit | commitdiff | tree |
2019-08-15 |
Clifford Wolf | Merge pull request #1275 from YosysHQ/clifford/ids
|
commit | commitdiff | tree |
2019-08-15 |
Clifford Wolf | Merge branch 'master' into clifford/ids
|
commit | commitdiff | tree |
2019-08-15 |
Clifford Wolf | Merge pull request #1295 from YosysHQ/eddie/fix_travis
|
commit | commitdiff | tree |
2019-08-13 |
Clifford Wolf | Fix various NDEBUG compiler warnings, closes #1255 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-11 |
Clifford Wolf | Add YOSYS_NO_IDS_REFCNT configuration macro Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-11 |
Clifford Wolf | Use ID() in kernel/*, add simple ID:: hack (to be improved... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-11 |
Clifford Wolf | More improvements and cleanups in IdString subsystem Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-11 |
Clifford Wolf | Use ID() macro in all of passes/opt/ Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-11 |
Clifford Wolf | Improve API of ID() macro Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1258 from YosysHQ/eddie/cleanup
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1261 from YosysHQ/clifford/verific_init
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1263 from ucb-bar/firrtl_err_on_unsuppor...
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1270 from YosysHQ/eddie/alu_lcu_doc
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1272 from mmicko/travis_fix
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1274 from YosysHQ/eddie/fix_1271
|
commit | commitdiff | tree |
2019-08-10 |
Clifford Wolf | Merge pull request #1276 from YosysHQ/clifford/fix1273
|
commit | commitdiff | tree |
2019-08-09 |
Clifford Wolf | Disable NMUX, AOI3, OAI3, AOI4, OAI4 in ABC default... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-07 |
Clifford Wolf | Automatically prune init attributes in verific front... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
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 |
next |