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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix main buildv1.1.0	Yann Herklotz	2020-12-17	2	-2/+1
*	Update compcert dependency to 3.8	Yann Herklotz	2020-11-28	1	-0/+0
*	Update website css	Yann Herklotz	2020-11-28	4	-10/+22
*	Update Compiler proof with all optimisations	Yann Herklotz	2020-11-28	1	-39/+72
*	Add proof documentation	Yann Herklotz	2020-11-26	34	-5/+527964
*	Fix build for Coq 8.12.1	Yann Herklotz	2020-11-26	10	-32/+261
*	Update documentation for Compiler.v	Yann Herklotz	2020-11-26	1	-0/+84
*	Add more documentation	Yann Herklotz	2020-11-25	4	-8/+45
*	Update css file	Yann Herklotz	2020-11-25	1	-6/+6
*	Copy all fonts	Yann Herklotz	2020-11-25	1	-1/+2
*	Add fonts to css	Yann Herklotz	2020-11-25	83	-0/+218
*	Fix documentation for docs website	Yann Herklotz	2020-11-25	8	-988/+698
*	fixing adi	Nadesh Ramanathan	2020-11-19	3	-21/+18
*	scripts	Nadesh Ramanathan	2020-11-19	2	-1/+7
*	poly numbers and R scripts for basic stats	Nadesh Ramanathan	2020-11-18	2	-0/+49
*	removing optimisation flag	Nadesh Ramanathan	2020-11-17	1	-1/+1
*	updated lu	Nadesh Ramanathan	2020-11-17	1	-20/+18
*	missing library	Nadesh Ramanathan	2020-11-17	1	-0/+3
*	Merge branch 'dev-experiments'	Yann Herklotz	2020-11-17	27	-96/+203
\|\
\| *	final checks reworked and including compilation time in script	Nadesh Ramanathan	2020-11-17	25	-32/+168
\| *	lu fix	Nadesh Ramanathan	2020-11-15	1	-1/+1
\| *	some fixes	Nadesh Ramanathan	2020-11-15	5	-22/+36
* \|	More fixes to the proof	Yann Herklotz	2020-11-14	1	-4/+5
* \|	[Fix #9] Fix correctness proof for Oshrximm	Yann Herklotz	2020-11-14	1	-4/+90
* \|	Update Makefile	Yann Herklotz	2020-11-14	1	-1/+1
* \|	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
* \|	Update lu.c and update Makefile with extraction	Yann Herklotz	2020-11-14	2	-40/+35
* \|	Merge branch 'dev-experiments'	Yann Herklotz	2020-11-14	32	-328/+611
\|\\|
\| *	polybench edits	Nadesh Ramanathan	2020-11-11	29	-310/+295
\| *	divider	Nadesh Ramanathan	2020-11-11	1	-0/+81
\| *	Adding synthesis scripts	Nadesh Ramanathan	2020-11-10	3	-0/+110
\| *	fixing lu	Nadesh Ramanathan	2020-11-10	1	-14/+4
\| *	fixing durbin	Nadesh Ramanathan	2020-11-10	1	-8/+2
\| *	fixing gemver	Nadesh Ramanathan	2020-11-10	1	-6/+8
\| *	remove benchmarks from list	Nadesh Ramanathan	2020-11-10	1	-2/+0
\| *	fixes for cholesky	Nadesh Ramanathan	2020-11-10	1	-26/+22
\| *	fixes for fw	Nadesh Ramanathan	2020-11-10	1	-1/+4
\| *	fixing nussinov	Nadesh Ramanathan	2020-11-10	1	-5/+7
\| *	Merge branch 'dev-experiments' of https://github.com/ymherklotz/vericert into...	Nadesh Ramanathan	2020-11-10	2	-9/+16
\| \|\
\| \| *	Fix benchmarks to make them compile	Yann Herklotz	2020-11-10	2	-9/+16
\| * \|	adding flag	Nadesh Ramanathan	2020-11-10	1	-1/+1
\| \|/
\| *	error messaging	Nadesh Ramanathan	2020-11-09	1	-6/+6
\| *	added some checks	Nadesh Ramanathan	2020-11-09	1	-0/+17
\| *	a script to execute polybench on vericert	Nadesh Ramanathan	2020-11-09	2	-0/+53
\| *	Fix Makefile for verilog backend	Yann Herklotz	2020-11-09	4	-7/+8
\| *	Add small changes to durbin and adpcm	Yann Herklotz	2020-11-09	2	-64/+99
\| *	Fix pretty printing bug in Verilog	Yann Herklotz	2020-11-09	1	-2/+2
\| *	Fix printing of negative numbers	Yann Herklotz	2020-11-09	1	-1/+5