git.libre-soc.org Git - yosys.git/search

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
2019-05-07	Clifford Wolf	Add "synth_xilinx -arch" Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-07	Clifford Wolf	More opt_clean cleanups Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge pull request #946 from YosysHQ/clifford/specify	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge pull request #975 from YosysHQ/clifford/fix968	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge pull request #871 from YosysHQ/verific_import	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Add tests/various/chparam.sh Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys into...	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Fix the other bison warning in ilang_parser.y Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Bugfix in peepopt_shiftmul.pmg Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge pull request #992 from bwidawsk/bison-fix	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge pull request #989 from YosysHQ/dave/abc_name_improve	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Fix bug in "expose -input" Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Cleanups in opt_clean Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Improve tests/various/specify.ys Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Add "real" keyword to ilang format Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-06	Clifford Wolf	Merge branch 'master' of github.com:YosysHQ/yosys into...	commit \| commitdiff \| tree
2019-05-04	Clifford Wolf	Merge pull request #988 from YosysHQ/clifford/fix987	commit \| commitdiff \| tree
2019-05-04	Clifford Wolf	Improve opt_clean handling of unused wires Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
next

RSS Atom