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

2022-07-03	Jannis Harder	Merge pull request #170 from programmerjake/add-simchec...	blob \| commitdiff \| raw
2022-06-13	Jannis Harder	Merge pull request #172 from jix/smtbmc-unroll-noincr...	blob \| commitdiff \| raw
2022-06-13	Jannis Harder	Merge pull request #175 from jix/more-test-improvements	blob \| commitdiff \| raw
2022-06-13	Jannis Harder	Use the test Makefile for all examples	blob \| commitdiff \| raw
2022-06-10	Jannis Harder	Merge pull request #164 from jix/suggest_f_flag	blob \| commitdiff \| raw \| diff to current
2022-06-08	Jannis Harder	Merge pull request #169 from jix/yices-forall	blob \| commitdiff \| raw \| diff to current
2022-06-07	Jannis Harder	Merge pull request #163 from jix/make_improvements	blob \| commitdiff \| raw \| diff to current
2022-05-30	Jannis Harder	Check for the tabby/oss cad suite before running make...	blob \| commitdiff \| raw \| diff to current
2022-05-30	Jannis Harder	Makefile: Rename run_tests to test, update help, use...	blob \| commitdiff \| raw \| diff to current
2020-10-12	N. Engelhardt	Merge pull request #116 from nakengelhardt/sed_mac	blob \| commitdiff \| raw \| diff to current
2020-10-09	N. Engelhardt	sed -i option is not posix, and argument syntax is...	blob \| commitdiff \| raw \| diff to current
2020-09-11	Miodrag Milanović	Merge pull request #115 from nakengelhardt/rename_test	blob \| commitdiff \| raw \| diff to current
2020-09-11	N. Engelhardt	rename make test to make ci	blob \| commitdiff \| raw \| diff to current
2020-08-22	whitequark	Merge pull request #101 from YosysHQ/program-prefix	blob \| commitdiff \| raw \| diff to current
2020-08-22	whitequark	Add a PROGRAM_PREFIX= Makefile option for packages...	blob \| commitdiff \| raw \| diff to current
2020-07-24	Claire Wolf	Improvements in "make test"	blob \| commitdiff \| raw \| diff to current
2020-07-24	clairexen	Merge pull request #104 from nakengelhardt/more_tests	blob \| commitdiff \| raw \| diff to current
2020-07-24	N. Engelhardt	add tests directory with additional tests	blob \| commitdiff \| raw \| diff to current
2020-07-21	Claire Wolf	Include verilog source files for demo1.sby	blob \| commitdiff \| raw \| diff to current
2020-07-20	clairexen	Merge pull request #102 from YosysHQ/claire/maketest	blob \| commitdiff \| raw \| diff to current
2020-07-20	Claire Wolf	Add "make test"	blob \| commitdiff \| raw \| diff to current
2019-03-12	William D. Jones	Merge branch 'master' into no-resource	blob \| commitdiff \| raw \| diff to current
2019-03-12	Clifford Wolf	Merge pull request #32 from cr1901/win-shell	blob \| commitdiff \| raw \| diff to current
2019-03-12	William D. Jones	Install launcher executable when running on Windows.	blob \| commitdiff \| raw \| diff to current
2018-03-07	Clifford Wolf	Add "mkdir -p" to "make install"	blob \| commitdiff \| raw \| diff to current
2018-01-17	Clifford Wolf	Add DESTDIR and PREFIX to Makefile	blob \| commitdiff \| raw \| diff to current
2017-01-22	Clifford Wolf	Initial import	blob \| commitdiff \| raw \| diff to current

RSS Atom