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 |
2019-05-16 |
Clifford Wolf | Merge pull request #1013 from antmicro/parameter_attributes
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1012 from YosysHQ/clifford/sigspecrw
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Improvements in opt_clean Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Add rewrite_sigspecs2, Improve remove() wires Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Do not leak file descriptors in cover.cc Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1011 from hzeller/fix-constructing...
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1010 from hzeller/yacc-self-contained
|
commit | commitdiff | tree |
2019-05-15 |
Clifford Wolf | Merge pull request #1008 from thasti/fix_libyosys_build
|
commit | commitdiff | tree |
2019-05-12 |
Clifford Wolf | Merge pull request #1004 from YosysHQ/clifford/fix1002
|
commit | commitdiff | tree |
2019-05-12 |
Clifford Wolf | Fix handling of glob_abort_cnt in opt_muxtree, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-11 |
Clifford Wolf | Merge pull request #1003 from makaimann/zinit-all
|
commit | commitdiff | tree |
2019-05-11 |
Clifford Wolf | Add "fmcombine -initeq -anyeq" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-11 |
Clifford Wolf | Add "stat -tech xilinx" Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-09 |
Clifford Wolf | Merge pull request #1000 from bwidawsk/synth-format
|
commit | commitdiff | tree |
2019-05-09 |
Clifford Wolf | Add $stop to documentation Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-08 |
Clifford Wolf | Remove added newline (by re-running minisat 00_UPDATE.sh) Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-08 |
Clifford Wolf | Merge pull request #991 from kristofferkoch/gcc9-warnings
|
commit | commitdiff | tree |
2019-05-08 |
Clifford Wolf | Merge pull request #998 from mdaiter/get_bool_attribute_opts
|
commit | commitdiff | tree |
2019-05-07 |
Clifford Wolf | Add test case from #997 Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-07 |
Clifford Wolf | Fix handling of partial init attributes in write_verilog... Signed-off-by: Clifford Wolf <clifford@clifford.at>
|
commit | commitdiff | tree |
2019-05-07 |
Clifford Wolf | Merge pull request #996 from mdaiter/ceil_log2_opts
|
commit | commitdiff | tree |
next |