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

2020-05-14	Claire Wolf	Add support for non-power-of-two mem chunks in verific... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-08	Claire Wolf	Fix clang compiler warning Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Fix the other "opt_expr -fine" bug introduced in 213a89558 Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Fix the other "opt_expr -fine" bug introduced in 213a89558 Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Add plusargs for output files in test_autotb output Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Bugfix in partsel.v signed indices test cases Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Fix handling of signed indices in bit slices Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Add tests based on the test case from #1990 Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Add AST_SELFSZ and improve handling of bit slices Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-02	Claire Wolf	Add "nowrshmsk" attribute, fix shift-and-mask bit slice... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-01	Claire Wolf	Fix "opt_expr -fine" bug introduced in 213a89558 Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-22	Claire Wolf	Clear current_scope when done with RTLIL generation... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-21	Claire Wolf	Add '=' selection pattern prefix for non-blackbox only... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-21	Claire Wolf	Improve net priorities in EDIF back-end Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-20	Claire Wolf	Ignore conflicting keep attributes, unless asked not... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-18	Claire Wolf	Extend support for format strings in Verilog front-end Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-16	Claire Wolf	Make mask-and-shift the default for bitselwrite Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-16	Claire Wolf	Add LookaheadRewriter for proper bitselwrite support Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-15	Claire Wolf	Improved rewrite code for writing to bit slice (disabled... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-14	Claire Wolf	Fix 5bba9c3, closes #1876 Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Bump YOSYS_VER Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Improve ezsat onehot encoding scheme Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Using LFSR counter for ezSAT::manyhot() Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-24	Claire Wolf	Revert part of 0fda8308 from #1746 that broke other... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-17	Claire Wolf	Add N:* to select language, fix some old code Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-16	Claire Wolf	Update Copyright Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-14	Claire Wolf	Improve write_btor symbol handling Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-13	Claire Wolf	Add info-file and cover features to write_btor Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-08	Claire Wolf	Fix partsel expr bit width handling and add test case Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-03-03	Claire Wolf	Fix bison warning for "pure-parser" option Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-01-30	Claire Wolf	Add Verific support for OPER_REDUCE_NAND Signed-off-by: Claire Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2020-01-29	Claire Wolf	Merge branch 'vector_fix' of https://github.com/Kmanfi...	commit \| commitdiff \| tree
2020-01-29	Claire Wolf	Preserve wires with keep attribute in EDIF back-end Signed-off-by: Claire Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2020-01-28	Claire Wolf	Improve logging use of experimental features Signed-off-by: Claire Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2020-01-27	Claire Wolf	Add log_experimental() and experimental() API and ... Signed-off-by: Claire Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2020-01-27	Claire Wolf	Improve yosys-smtbmc "solver not found" handling Signed-off-by: Claire Wolf <clifford@clifford.at>	commit \| commitdiff \| tree

RSS Atom