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

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	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
2019-05-04	Clifford Wolf	Add support for SVA "final" keyword Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-04	Clifford Wolf	Improve write_verilog specify support Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-04	Clifford Wolf	Update README Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-04	Clifford Wolf	Add approximate support for SV "var" keyword, fixes... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Add "hierarchy -chparam" support for non-verific top... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Merge pull request #969 from YosysHQ/clifford/pmgenstuff	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Merge pull request #984 from YosysHQ/eddie/fix_982	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Merge pull request #976 from YosysHQ/clifford/fix974	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Merge pull request #985 from YosysHQ/clifford/fix981	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Fix typo in tests/svinterfaces/runone.sh Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Merge pull request #979 from jakobwenzel/svinterfacesTestcase	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Improve opt_expr and opt_clean handling of (partially... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Further improve unused-detection for opt_clean driver... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Improve unused-detection for opt_clean driver-driver... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Update pmgen documentation Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-03	Clifford Wolf	Fix typo Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-02	Clifford Wolf	Merge pull request #963 from YosysHQ/eddie/synth_xilinx_fine	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Merge branch 'clifford/fix883'	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Add missing enable_undef to "sat -tempinduct-def",... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Merge pull request #977 from ucb-bar/fixfirrtlmem	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Fix floating point exception in qwp, fixes #923 Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Add splitcmplxassign test case and silence splitcmplxassign... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Fix width detection of memory access with bit slice... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Add additional test cases for for-loops Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Silently resolve completely unused cell-vs-const driver... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-05-01	Clifford Wolf	Re-enable "final loop assignment" feature Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Fix segfault in wreduce Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Disabled "final loop assignment" feature Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Merge pull request #972 from YosysHQ/clifford/fix968	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Merge pull request #966 from YosysHQ/clifford/fix956	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Merge pull request #962 from YosysHQ/eddie/refactor_synth_xilinx	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Merge branch 'master' into eddie/refactor_synth_xilinx	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Merge pull request #973 from christian-krieg/feature...	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Include filename in "Executing Verilog-2005 frontend... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Fix performance bug in RTLIL::SigSpec::operator==(... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Add final loop variable assignment when unrolling for... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Add handling of init attributes in "opt_expr -undriven" Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Add peepopt_muldiv, fixes #930 Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	pmgen progress Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Run "peepopt" in generic "synth" pass and "synth_ice40" Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Some pmgen reorg, rename peepopt.pmg to peepopt_shiftmul.pmg Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-30	Clifford Wolf	Progress in shiftmul peepopt pattern Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-29	Clifford Wolf	Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef	commit \| commitdiff \| tree
2019-04-29	Clifford Wolf	Merge pull request #967 from olegendo/depfile_esc_spaces	commit \| commitdiff \| tree
2019-04-29	Clifford Wolf	Add "peepopt" skeleton Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-29	Clifford Wolf	Add pmgen support for multiple patterns in one matcher Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-29	Clifford Wolf	Support multiple pmg files (right now just concatenated... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-29	Clifford Wolf	Drive dangling wires with init attr with their init...	commit \| commitdiff \| tree
2019-04-23	Clifford Wolf	Add specify support to README Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-23	Clifford Wolf	Improve $specrule interface Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-23	Clifford Wolf	Improve $specrule interface Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-23	Clifford Wolf	Add $specrule cells for $setup/$hold/$skew specify... Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2019-04-23	Clifford Wolf	Preserve $specify[23] cells Signed-off-by: Clifford Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
next

RSS Atom