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

2022-05-17	Miodrag Milanović	Merge pull request #3310 from robinsonb5-PRs/master master	blob \| commitdiff \| raw
2022-05-16	Jannis Harder	Merge pull request #3314 from jix/sva_value_change_logi...	blob \| commitdiff \| raw
2022-05-14	github-actions[bot]	Bump version	blob \| commitdiff \| raw
2022-05-13	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-05-10	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-05-09	Jannis Harder	Merge pull request #3305 from jix/sva_value_change_logic	blob \| commitdiff \| raw \| diff to current
2022-05-09	Jannis Harder	Merge pull request #3297 from jix/sva_nested_clk_else	blob \| commitdiff \| raw \| diff to current
2022-05-09	Miodrag Milanovic	Next dev cycle	blob \| commitdiff \| raw \| diff to current
2022-05-09	Miodrag Milanovic	Release version 0.17 yosys-0.17	blob \| commitdiff \| raw \| diff to current
2022-05-09	Miodrag Milanović	Merge pull request #3299 from YosysHQ/mmicko/sim_memory	blob \| commitdiff \| raw \| diff to current
2022-05-08	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-05-07	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-05-06	Miodrag Milanovic	include latest abc changes	blob \| commitdiff \| raw \| diff to current
2022-05-06	Miodrag Milanovic	include latest abc changes	blob \| commitdiff \| raw \| diff to current
2022-05-06	Miodrag Milanović	Merge pull request #3300 from imhcyx/master	blob \| commitdiff \| raw \| diff to current
2022-05-06	Miodrag Milanovic	Include abc change to fix FreeBSD build	blob \| commitdiff \| raw \| diff to current
2022-05-05	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-05-03	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-30	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-26	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-25	Jannis Harder	Merge pull request #3257 from jix/tribuf-formal	blob \| commitdiff \| raw \| diff to current
2022-04-19	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-18	Miodrag Milanović	Merge pull request #3280 from YosysHQ/micko/fix_readaiw	blob \| commitdiff \| raw \| diff to current
2022-04-18	Miodrag Milanovic	Update abc	blob \| commitdiff \| raw \| diff to current
2022-04-18	Miodrag Milanović	Merge pull request #3282 from nakengelhardt/verific_loo...	blob \| commitdiff \| raw \| diff to current
2022-04-16	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-09	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-08	Miodrag Milanović	Merge pull request #3273 from modwizcode/fix-build	blob \| commitdiff \| raw \| diff to current
2022-04-08	Iris Johnson	Makefile: properly conditionalize features requiring...	blob \| commitdiff \| raw \| diff to current
2022-04-08	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-07	Catherine	Merge pull request #3269 from YosysHQ/micko/fix_autotop	blob \| commitdiff \| raw \| diff to current
2022-04-06	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-05	Miodrag Milanovic	Next dev cycle	blob \| commitdiff \| raw \| diff to current
2022-04-05	Miodrag Milanovic	Release version 0.16 yosys-0.16	blob \| commitdiff \| raw \| diff to current
2022-04-05	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-02	Jannis Harder	Merge pull request #3264 from jix/invalid_ff_dcinit_merge	blob \| commitdiff \| raw \| diff to current
2022-04-02	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-04-01	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-31	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-30	Miodrag Milanović	Merge pull request #3250 from YosysHQ/micko/verific_con...	blob \| commitdiff \| raw \| diff to current
2022-03-30	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-29	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-28	Jannis Harder	Merge pull request #3247 from jix/smtbmc-keepgoing	blob \| commitdiff \| raw \| diff to current
2022-03-28	Lofty	Merge pull request #3194 from Ravenslofty/abc9-flow3mfs	blob \| commitdiff \| raw \| diff to current
2022-03-28	Lofty	Merge pull request #3246 from YosysHQ/gatecat/timing...	blob \| commitdiff \| raw \| diff to current
2022-03-26	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-25	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-23	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-22	Miodrag Milanovic	Update abc with latest fix	blob \| commitdiff \| raw \| diff to current
2022-03-22	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-19	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-17	Miodrag Milanović	Merge pull request #3236 from YosysHQ/micko/tb_initial	blob \| commitdiff \| raw \| diff to current
2022-03-17	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-15	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-14	Claire Xen	Merge pull request #3213 from antonblanchard/abc-typo	blob \| commitdiff \| raw \| diff to current
2022-03-12	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanović	Merge pull request #3228 from YosysHQ/micko/disable_tests	blob \| commitdiff \| raw \| diff to current
2022-03-11	Miodrag Milanović	Merge pull request #3226 from YosysHQ/micko/btor2witness	blob \| commitdiff \| raw \| diff to current
2022-03-10	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-07	Miodrag Milanović	Merge pull request #3210 from rqou/json-signed	blob \| commitdiff \| raw \| diff to current
2022-03-05	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3186 from nakengelhardt/smtbmc_sby_...	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3206 from YosysHQ/micko/quote_remove	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3207 from nakengelhardt/json_escape...	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanovic	Next dev cycle	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanovic	Release version 0.15 yosys-0.15	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanovic	Update ABC	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3219 from YosysHQ/micko/quick_vcd	blob \| commitdiff \| raw \| diff to current
2022-03-04	Miodrag Milanović	Merge pull request #3220 from YosysHQ/claire/simstuff	blob \| commitdiff \| raw \| diff to current
2022-03-03	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-03-01	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-25	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-22	Claire Xen	Merge pull request #3211 from YosysHQ/micko/witness	blob \| commitdiff \| raw \| diff to current
2022-02-22	Claire Xen	Merge pull request #3197 from YosysHQ/claire/smtbmcfix	blob \| commitdiff \| raw \| diff to current
2022-02-22	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-21	Miodrag Milanović	Merge pull request #3203 from YosysHQ/micko/sim_ff	blob \| commitdiff \| raw \| diff to current
2022-02-18	N. Engelhardt	fix handling of escaped chars in json backend and frontend	blob \| commitdiff \| raw \| diff to current
2022-02-16	Miodrag Milanovic	Added test cases	blob \| commitdiff \| raw \| diff to current
2022-02-16	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-15	Miodrag Milanović	Merge pull request #3204 from YosysHQ/claire/update-abc	blob \| commitdiff \| raw \| diff to current
2022-02-15	Miodrag Milanovic	Bump ABC version	blob \| commitdiff \| raw \| diff to current
2022-02-15	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-13	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-12	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-11	Miodrag Milanović	Merge pull request #3164 from zachjs/fix-ast-warn	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge branch 'master' into clk2ff-better-names	blob \| commitdiff \| raw \| diff to current
2022-02-11	Claire Xen	Merge pull request #2019 from boqwxp/glift	blob \| commitdiff \| raw \| diff to current
2022-02-10	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-08	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-07	Miodrag Milanovic	Next dev cycle	blob \| commitdiff \| raw \| diff to current
2022-02-07	Miodrag Milanovic	Release version 0.14 yosys-0.14	blob \| commitdiff \| raw \| diff to current
2022-02-07	Miodrag Milanović	Merge pull request #3185 from YosysHQ/micko/co_sim	blob \| commitdiff \| raw \| diff to current
2022-02-07	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-03	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-02-02	Miodrag Milanovic	Fix Visual Studio build	blob \| commitdiff \| raw \| diff to current
2022-01-31	Miodrag Milanović	Merge pull request #3176 from higuoxing/fix-ref-manual	blob \| commitdiff \| raw \| diff to current
2022-01-31	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-01-29	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-01-28	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
2022-01-27	github-actions[bot]	Bump version	blob \| commitdiff \| raw \| diff to current
next

RSS Atom