| 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-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 | 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 |
| 2019-06-19 |
Clifford Wolf | Merge pull request #1104 from whitequark/case-semantics
|
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...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-08 |
Clifford Wolf | Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Merge pull request #1077 from YosysHQ/clifford/pr983
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Rename implicit_ports.sv test to implicit_ports.v
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Fixes and cleanups in AST_TECALL handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Merge branch 'pr_elab_sys_tasks' of https://github...
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Merge branch 'tux3-implicit_named_connection'
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Merge pull request #1076 from thasti/centos7-build-fix
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Cleanup tux3-implicit_named_connection
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-07 |
Clifford Wolf | Merge branch 'implicit_named_connection' of https:...
|
commit | commitdiff | tree |
| 2019-06-06 |
Clifford Wolf | Merge pull request #1060 from antmicro/parsing_attr_on_port_conn
|
commit | commitdiff | tree |
| 2019-06-06 |
Clifford Wolf | Merge pull request #1071 from YosysHQ/eddie/fix_1070
|
commit | commitdiff | tree |
| 2019-06-06 |
Clifford Wolf | Merge pull request #1072 from YosysHQ/eddie/fix_1069
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Merge pull request #1066 from YosysHQ/clifford/fix1056
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Major rewrite of wire selection in setundef -init
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Indent fix
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Merge pull request #999 from jakobwenzel/setundefInitFix
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Fix typo in fmcombine log message, fixes #1063
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Suppress driver-driver conflict warning for unknown...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-05 |
Clifford Wolf | Remove yosys_banner() from python wrapper init, fixes...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-06-04 |
Clifford Wolf | Merge pull request #1062 from tux3/patch-1
|
commit | commitdiff | tree |
| 2019-06-02 |
Clifford Wolf | Only support Symbiotic EDA flavored Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-31 |
Clifford Wolf | Fix "tee" handling of log_streams
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-30 |
Clifford Wolf | Enable Verific flag veri_elaborate_top_level_modules_having_...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-30 |
Clifford Wolf | Merge pull request #1057 from mmicko/fix_478
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Merge pull request #1049 from YosysHQ/clifford/fix1047
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Merge pull request #1050 from YosysHQ/clifford/wandwor
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Do not use shiftmul peepopt pattern when mul result...
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Merge pull request #1048 from mmicko/fix_enable_pyosys
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Refactor hierarchy wand/wor handling
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Add actual wandwor test that is part of "make test"
Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Merge branch 'wandwor' of https://github.com/thasti...
|
commit | commitdiff | tree |
| 2019-05-28 |
Clifford Wolf | Merge pull request #1045 from mmicko/afl-gcc-target
|
commit | commitdiff | tree |
| 2019-05-27 |
Clifford Wolf | Merge pull request #1044 from mmicko/invalid_width_range
|
commit | commitdiff | tree |
| 2019-05-27 |
Clifford Wolf | Merge pull request #1043 from mmicko/unsized_constant
|
commit | commitdiff | tree |
| 2019-05-27 |
Clifford Wolf | Merge pull request #1026 from YosysHQ/clifford/fix1023
|
commit | commitdiff | tree |
| 2019-05-27 |
Clifford Wolf | Merge pull request #1030 from Kmanfi/makefile_osx
|
commit | commitdiff | tree |
| 2019-05-26 |
Clifford Wolf | Merge pull request #1035 from YosysHQ/eddie/opt_rmdff
|
commit | commitdiff | tree |
| 2019-05-26 |
Clifford Wolf | Merge pull request #1042 from mmicko/git_ignore_python
|
commit | commitdiff | tree |
| next |
projects / yosys.git / search