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

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-13	Claire Wolf	Merge pull request #1764 from Xiretza/fix-abcrev-check	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
2020-01-27	Claire Wolf	Improve yosys-smtbmc "solver not found" handling Signed-off-by: Claire Wolf <clifford@clifford.at>	commit \| commitdiff \| tree
2020-01-27	Claire Wolf	Merge pull request #1613 from porglezomp-misc/version...	commit \| commitdiff \| tree
2020-01-21	Claire Wolf	Merge pull request #1637 from YosysHQ/mwk/fix-1634	commit \| commitdiff \| tree
2020-01-21	Claire Wolf	Merge pull request #1629 from YosysHQ/mwk/edif-z	commit \| commitdiff \| tree
2020-01-20	Claire Wolf	Merge pull request #1621 from YosysHQ/clifford/fminit	commit \| commitdiff \| tree

RSS Atom