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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'master' into dev/michalisdev/michalis	Yann Herklotz	2021-10-18	1	-2/+8
\|\
\| *	Add menhirLib as an explicit dependency	Yann Herklotz	2021-10-01	1	-0/+1
\| \|
\| *	Fix compilation of new intermediate languages	Yann Herklotz	2021-10-01	1	-5/+6
\| \|
\| *	Add dependencies for Alectryon documentation	Yann Herklotz	2021-09-27	1	-1/+5
\| \| \| \| \| \| \| \|	Update README on the status of Vericert
* \|	Merge remote-tracking branch 'upstream/master' into dev-michalis	Yann Herklotz	2021-09-17	1	-25/+5
\|\\|
\| *	Fix compilation with new CompCert version	Yann Herklotz	2021-09-17	1	-25/+5
\| \|
* \|	Add coqhammer to dependencies	Michalis Pardalos	2021-05-06	1	-1/+1
\|/
*	Pin nixpkgs	Yann Herklotz	2021-02-16	1	-2/+1
\|
*	Use dune_2 instead	Yann Herklotz	2021-02-16	1	-1/+1
\|
*	Add build files for loop pipelining	Yann Herklotz	2020-12-17	1	-3/+3
\|
*	Fix build for Coq 8.12.1	Yann Herklotz	2020-11-26	1	-5/+5
\|
*	Add RTLBlock intermediate language	Yann Herklotz	2020-08-30	1	-1/+1
\|
*	Change name to Vericert	Yann Herklotz	2020-07-14	1	-1/+1
\|
*	Update coq version to 11	Yann Herklotz	2020-05-20	1	-2/+2
\|
*	Add gcc to build dependencies	Yann Herklotz	2020-04-02	1	-1/+3
\|
*	Update compcert dependency	Yann Herklotz	2020-04-02	1	-0/+2
\|
*	Update nix files with bbv dependency	Yann Herklotz	2020-03-29	1	-3/+27
\|
*	Fix makefile and add travis build	Yann Herklotz	2020-02-17	1	-2/+0
\|
*	Add nix dependencies	Yann Herklotz	2020-02-14	1	-1/+2
\|
*	Add Extraction	Yann Herklotz	2020-02-04	1	-1/+1
\|
*	Add nix file	Yann Herklotz	2020-02-04	1	-0/+10