vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Modify array test case to be suitable for loop pipelining	Yann Herklotz	2020-12-17	1	-3/+5
\|
*	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 adimpardalos-michalis	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 scriptdev-experiments	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
\| \|