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

2020-08-18	Claire Wolf	Merge branch 'zachjs-const-func-block-var'	commit \| commitdiff \| tree
2020-08-18	Claire Wolf	Merge branch 'const-func-block-var' of https://github... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-31	Claire Wolf	Bump YOSYS_VER Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-20	Claire Wolf	Only allow "sat" and "unsat" smt solver responses in... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-15	Claire Wolf	Treat all bison warnings as errors in verilog front-end Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-15	Claire Wolf	Use %precedence in verilog_parser.y Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-15	Claire Wolf	Fix bison warnings for missing %empty Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-15	Claire Wolf	Run bison with -Wall for verilog front-end Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-07-10	Claire Wolf	Add AST_EDGE support to AstNode::detect_latch(), fixes... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-06-09	Claire Wolf	Fix tests/opt/opt_rmdff Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-06-09	Claire Wolf	Drive-by modernization in sat.cc Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-06-09	Claire Wolf	Do not optimize away FFs in "prep" and Verific fron-end Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-06-04	Claire Wolf	Add latch detection for use_case_method in part-select... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-06-04	Claire Wolf	Add missing .gitignore file Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-06-04	Claire Wolf	Add printf format attributes to btorf/infof helper... Signed-off-by: Claire Wolf <claire@symbioticeda.com>	commit \| commitdiff \| tree
2020-05-17	Claire Wolf	Revert "Add support for non-power-of-two mem chunks...	commit \| commitdiff \| tree
2020-05-14	Claire Wolf	Merge pull request #2052 from YosysHQ/claire/verific_memfix	commit \| commitdiff \| tree
2020-05-14	Claire Wolf	Merge pull request #2050 from YosysHQ/eddie/opt_clean_fixes	commit \| commitdiff \| tree
2020-05-14	Claire Wolf	Merge pull request #2027 from YosysHQ/eddie/verilog_neg_upto	commit \| commitdiff \| tree
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	Merge pull request #2038 from nakengelhardt/no-libdir...	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-07	Claire Wolf	Merge pull request #2005 from YosysHQ/claire/fix1990	commit \| commitdiff \| tree
2020-05-03	Claire Wolf	Merge pull request #2014 from YosysHQ/claire/fixoptalu	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-02	Claire Wolf	Merge pull request #2010 from YosysHQ/claire/fixopt	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-05-01	Claire Wolf	Merge pull request #1997 from whitequark/document-ootb	commit \| commitdiff \| tree
2020-05-01	Claire Wolf	Merge pull request #1981 from YosysHQ/claire/fix1837	commit \| commitdiff \| tree
2020-04-24	Claire Wolf	Merge pull request #1995 from YosysHQ/eddie/fix_verific_wiretype	commit \| commitdiff \| tree
2020-04-23	Claire Wolf	Merge pull request #1989 from boqwxp/qbfsat_anyconst_sourcelocs	commit \| commitdiff \| tree
2020-04-23	Claire Wolf	Merge pull request #1988 from boqwxp/qbfsat	commit \| commitdiff \| tree
2020-04-23	Claire Wolf	Merge pull request #1986 from YosysHQ/eddie/verific_enum	commit \| commitdiff \| tree
2020-04-22	Claire Wolf	Update passes/cmds/select.cc	commit \| commitdiff \| tree
2020-04-22	Claire Wolf	Merge pull request #1976 from YosysHQ/dave/fix-sim...	commit \| commitdiff \| tree
2020-04-22	Claire Wolf	Merge pull request #1979 from whitequark/cxxrtl-go...	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	Merge pull request #1971 from YosysHQ/claire/edifkeep	commit \| commitdiff \| tree
2020-04-21	Claire Wolf	Merge pull request #1851 from YosysHQ/claire/bitselwrite	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-20	Claire Wolf	Merge pull request #1964 from YosysHQ/claire/sformatf	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	Merge pull request #1797 from epfl-vlsc/firrtl_backend_fileinfo	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-15	Claire Wolf	Merge pull request #1930 from YosysHQ/claire/fix1876	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-07	Claire Wolf	Merge pull request #1814 from YosysHQ/mmicko/pyosys_makefile	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Merge pull request #1846 from dh73/ast_fe	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Merge pull request #1842 from YosysHQ/mwk/fix-deminout-xz	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	Merge pull request #1770 from YosysHQ/claire/btor_symbols	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Merge pull request #1765 from YosysHQ/claire/btor_info	commit \| commitdiff \| tree
2020-04-02	Claire Wolf	Merge pull request #1777 from YosysHQ/claire/manyhot	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-04-01	Claire Wolf	Merge pull request #1848 from YosysHQ/eddie/fix_dynslice	commit \| commitdiff \| tree
2020-03-27	Claire Wolf	Merge pull request #1607 from whitequark/simplify-simplify...	commit \| commitdiff \| tree
2020-03-27	Claire Wolf	Merge pull request #1815 from boqwxp/fix-ef-optimize	commit \| commitdiff \| tree
2020-03-26	Claire Wolf	Merge pull request #1806 from YosysHQ/mwk/techmap-replace-fix	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-16	Claire Wolf	Merge pull request #1771 from waldyrious/license-update	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	Merge pull request #1764 from Xiretza/fix-abcrev-check	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-03-03	Claire Wolf	Merge pull request #1718 from boqwxp/precise_locations	commit \| commitdiff \| tree
2020-03-03	Claire Wolf	Merge pull request #1681 from YosysHQ/eddie/fix1663	commit \| commitdiff \| tree
2020-03-03	Claire Wolf	Merge pull request #1519 from YosysHQ/eddie/submod_po	commit \| commitdiff \| tree
2020-02-27	Claire Wolf	Merge pull request #1709 from rqou/coolrunner2_counter	commit \| commitdiff \| tree
2020-02-27	Claire Wolf	Merge pull request #1708 from rqou/coolrunner2-buf-fix	commit \| commitdiff \| tree
2020-02-20	Claire Wolf	Merge pull request #1642 from jjj11x/jjj11x/sv-enum	commit \| commitdiff \| tree
2020-02-13	Claire Wolf	Merge pull request #1694 from rqou/json_compat_fix	commit \| commitdiff \| tree
2020-01-30	Claire Wolf	Merge pull request #1667 from YosysHQ/clifford/verificnand	commit \| commitdiff \| tree
2020-01-30	Claire Wolf	Merge pull request #1503 from YosysHQ/eddie/verific_help	commit \| commitdiff \| tree
2020-01-30	Claire Wolf	Merge pull request #1654 from YosysHQ/eddie/sby_fix69	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	Merge pull request #1662 from YosysHQ/dave/opt-reduce...	commit \| commitdiff \| tree
2020-01-29	Claire Wolf	Merge pull request #1665 from YosysHQ/clifford/edifkeep	commit \| commitdiff \| tree
2020-01-29	Claire Wolf	Merge pull request #1659 from YosysHQ/clifford/experimental	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-28	Claire Wolf	Merge pull request #1567 from YosysHQ/eddie/sat_init_warning	commit \| commitdiff \| tree
2020-01-28	Claire Wolf	Merge pull request #1553 from whitequark/manual-dffx	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	Merge pull request #1658 from YosysHQ/clifford/smtbmcsolvern...	commit \| commitdiff \| tree
next

RSS Atom