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

2020-11-25	Claire Xen	Merge pull request #2133 from dh73/nodev_head	blob \| commitdiff \| raw
2020-08-19	clairexen	Merge pull request #2122 from PeterCrozier/struct_array2	blob \| commitdiff \| raw
2020-07-02	clairexen	Merge pull request #2132 from YosysHQ/eddie/verific_initial	blob \| commitdiff \| raw
2020-07-02	clairexen	Merge pull request #2208 from boqwxp/qbfsat-cleanup	blob \| commitdiff \| raw
2020-07-01	Alberto Gonzalez	qbfsat: Clean up and refactor data structures into...	blob \| commitdiff \| raw
2020-06-08	clairexen	Merge pull request #2085 from rswarbrick/select	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2089 from rswarbrick/modports	blob \| commitdiff \| raw \| diff to current
2020-06-08	clairexen	Merge pull request #2105 from whitequark/split-flatten...	blob \| commitdiff \| raw \| diff to current
2020-06-05	whitequark	Merge pull request #2113 from whitequark/cxxrtl-fix...	blob \| commitdiff \| raw \| diff to current
2020-06-05	N. Engelhardt	Merge pull request #2109 from nakengelhardt/btor_intern...	blob \| commitdiff \| raw \| diff to current
2020-06-04	clairexen	Merge pull request #2041 from PeterCrozier/struct	blob \| commitdiff \| raw \| diff to current
2020-06-04	clairexen	Merge pull request #2099 from Xiretza/manual-include...	blob \| commitdiff \| raw \| diff to current
2020-06-04	N. Engelhardt	Add codeowners file (#2098)	blob \| commitdiff \| raw \| diff to current