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

	Commit message (Expand)	Author	Age	Files	Lines
...
* \|	Add license mentioning copyright of SoftwarePipelining	Yann Herklotz	2020-12-17	1	-0/+31
* \|	Add extraction and loop pipelining stage	Yann Herklotz	2020-12-17	3	-3/+19
* \|	Add build files for loop pipelining	Yann Herklotz	2020-12-17	3	-4/+5
* \|	Modify software pipelining for build	Yann Herklotz	2020-12-17	12	-247/+198
* \|	Add Software pipelining stage by tristan et al.	Yann Herklotz	2020-12-17	12	-0/+2429
* \|	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