vericert - Vericert is a formally verified high-level synthesis tool.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update links in README	Yann Herklotz	2022-03-05	1	-6/+6
\|
*	Update README with correct link	Yann Herklotz	2021-12-09	1	-4/+4
\|
*	Add README.md	Yann Herklotz	2021-12-09	1	-0/+147
\|
*	Add change log and rename README	Yann Herklotz	2021-01-22	1	-84/+0
\|
*	Remove github pages from repository	Yann Herklotz	2021-01-20	1	-1/+1
\|
*	Add documentation badge to README	Yann Herklotz	2020-08-11	1	-1/+2
\|
*	Update the link to the badge	Yann Herklotz	2020-08-10	1	-1/+1
\|
*	Add badge for admitted proofs	Yann Herklotz	2020-08-10	1	-0/+1
\|
*	Add feature list to README	Yann Herklotz	2020-07-24	1	-0/+9
\|
*	Add more descriptions to README	Yann Herklotz	2020-07-24	1	-3/+3
\|
*	Change position of badge	Yann Herklotz	2020-07-17	1	-1/+3
\|
*	Remove travis CI	Yann Herklotz	2020-07-17	1	-1/+1
\|
*	Change name to Vericert	Yann Herklotz	2020-07-14	1	-8/+8
\|
*	Add OS detection to makefile	Yann Herklotz	2020-04-23	1	-8/+0
\|
*	Merge branch 'master' into develop	Yann Herklotz	2020-04-19	1	-0/+24
\|\
\| *	Add travis url	Yann Herklotz	2020-04-17	1	-1/+1
\| \|
\| *	Fix examples for current version of coqup	Yann Herklotz	2020-04-17	1	-3/+3
\| \|
\| *	Add information about downloading compcert	Yann Herklotz	2020-04-17	1	-0/+14
\| \|
\| *	Add examples on how to run HLS tool	Yann Herklotz	2020-04-17	1	-0/+10
\| \|
\| *	[#1 #2] Update README for installation	Yann Herklotz	2020-04-17	1	-8/+14
\| \|
* \|	Add travis url	Yann Herklotz	2020-04-17	1	-1/+1
\| \|
* \|	[#1 #2] Update README for installation	Yann Herklotz	2020-04-17	1	-8/+14
\|/
*	Update the readmev0.1.0	Yann Herklotz	2020-04-03	1	-1/+47
\|
*	Update readme	Yann Herklotz	2020-04-02	1	-1/+1
\|
*	Update .gitignore	Yann Herklotz	2020-03-29	1	-0/+1
\|
*	Initial commit	Yann Herklotz	2019-10-02	1	-0/+2