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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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
\| \| \| \| \| \| \| \|	This removes all the admitted.
* \|	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 ↵	Nadesh Ramanathan	2020-11-10	2	-9/+16
\| \|\ \| \| \| \| \| \| \| \| \|	into dev-experiments
\| \| *	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
\| \|
* \|	Fix benchmarks to make them compile	Yann Herklotz	2020-11-10	2	-9/+16
\| \|
* \|	Fix compilation issue	Yann Herklotz	2020-11-10	3	-12/+12
\| \|