2019-08-26 |
Clifford Wolf | Yosys 0.9 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-08-22 |
Clifford Wolf | Bump year in copyright notice Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
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 #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 #1159 from btut/fix/1090_segfault_cell_an...
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1147 from YosysHQ/clifford/fix1144
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1154 from whitequark/manual-sync...
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Fix read_verilog assert/assume/etc on default case... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-07-09 |
Clifford Wolf | Merge pull request #1146 from gsomlo/gls-test-abc-ext
|
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 | 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 |
2019-05-25 |
Clifford Wolf | Merge pull request #1041 from YosysHQ/clifford/fix1040
|
commit | commitdiff | tree |
2019-05-25 |
Clifford Wolf | Fix handling of offset and upto module ports in write_blif... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-24 |
Clifford Wolf | Add proper error message for btor recursion_guard Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-23 |
Clifford Wolf | Merge pull request #1031 from mdaiter/optimizeLookupTableBtor
|
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Keep zero-width wires in opt_clean if and only if they... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Fix handling of warning and error messages within log_make_d... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Merge pull request #1019 from YosysHQ/clifford/fix1016
|
commit | commitdiff | tree |
2019-05-22 |
Clifford Wolf | Merge pull request #1021 from ucb-bar/fixfirrtl_shr,neg
|
commit | commitdiff | tree |
2019-05-20 |
Clifford Wolf | Add "wreduce -keepdc", fixes #1016 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-18 |
Clifford Wolf | Merge pull request #1017 from Kmanfi/bigger_verilog_files
|
commit | commitdiff | tree |
next |