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

2023-08-16	Jacob Lifshay	fix CI	commit \| commitdiff
2023-06-13	Jacob Lifshay	use new pytest config	commit \| commitdiff
2022-07-06	Jacob Lifshay	change to correct branch	commit \| commitdiff
2022-07-06	Jacob Lifshay	change nmigen from programmerjake's repo to upstream...	commit \| commitdiff
2022-07-01	Jacob Lifshay	change gitlab-ci to show test names	commit \| commitdiff
2022-06-28	Jacob Lifshay	add bitwuzla to gitlab-ci	commit \| commitdiff
2022-06-24	Jacob Lifshay	change .gitlab-ci.yml to use nmigen with smtlib2 support	commit \| commitdiff
2022-05-12	Jacob Lifshay	fix ci not finding sfpy	commit \| commitdiff
2022-05-12	Jacob Lifshay	pin some dependency versions	commit \| commitdiff
2022-05-11	Jacob Lifshay	remove redundant arguments that are now specified in...	commit \| commitdiff
2022-05-10	Jacob Lifshay	make sfpy build	commit \| commitdiff
2022-05-10	Jacob Lifshay	fix .gitlab-ci.yml	commit \| commitdiff
2020-04-17	Jacob Lifshay	add libmpfr-dev to .gitlab-ci.yml	commit \| commitdiff
2020-04-17	Michael Nolan	Change tabs to spaces in .gitlab-ci.yml	commit \| commitdiff
2020-04-17	Michael Nolan	Add libgmp-dev to .gitlab-ci.yml	commit \| commitdiff
2020-04-03	Jacob Lifshay	run tests in parallel	commit \| commitdiff
2020-04-03	Jacob Lifshay	building sfpy works	commit \| commitdiff
2020-04-03	Jacob Lifshay	add not yet working .gitlab-ci.yml	commit \| commitdiff