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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix CI runs using flake	Yann Herklotz	2022-09-29	1	-5/+3
\|
*	Remove the documentation stages	Yann Herklotz	2021-02-16	1	-8/+0
\|
*	Remove github pages from repository	Yann Herklotz	2021-01-20	1	-29/+0
\|
*	Fix main buildv1.1.0	Yann Herklotz	2020-12-17	1	-1/+0
\|
*	Update website css	Yann Herklotz	2020-11-28	1	-2/+4
\|
*	Add proof documentation	Yann Herklotz	2020-11-26	1	-5/+0
\|
*	Add more tracking files to github workflow	Yann Herklotz	2020-11-14	1	-0/+6
\|
*	Add manual trigger for workflows	Yann Herklotz	2020-11-14	1	-1/+1
\|
*	Add manual trigger for workflows	Yann Herklotz	2020-11-14	1	-0/+1
\|
*	Fix links in gh-pages sitev1.0.1	Yann Herklotz	2020-08-14	1	-0/+14
\|
*	Add download of Coq documentation	Yann Herklotz	2020-08-14	1	-0/+5
\|
*	Remove on:	Yann Herklotz	2020-08-14	1	-14/+0
\|
*	Update workflow	Yann Herklotz	2020-08-14	1	-9/+16
\|
*	Add documentation badge to README	Yann Herklotz	2020-08-11	1	-1/+1
\|
*	Fix admitted icon in README	Yann Herklotz	2020-08-11	1	-14/+4
\|
*	Fix yaml and generation	Yann Herklotz	2020-08-11	1	-4/+5
\|
*	Update website build	Yann Herklotz	2020-08-11	1	-2/+6
\|
*	Add gh-pages	Yann Herklotz	2020-08-10	1	-3/+6
\|
*	Remove the name	Yann Herklotz	2020-08-10	1	-1/+0
\|
*	Add badge for admitted proofs	Yann Herklotz	2020-08-10	1	-0/+32
\|
*	Recursive cloning	Yann Herklotz	2020-07-17	1	-1/+2
\|
*	Create main.yml	Yann Herklotz	2020-07-17	1	-0/+30