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

	Commit message (Expand)	Author	Age	Files	Lines
*	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
*	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
*	Add small changes to durbin and adpcm	Yann Herklotz	2020-11-09	2	-64/+99
*	Add modified polybench benchmarks	Yann Herklotz	2020-08-13	28	-0/+3234
*	Add benchmark changes	Yann Herklotz	2020-08-11	9	-1929/+3466
*	Add dhrystone to benchmarks	Yann Herklotz	2020-07-20	4	-0/+1004
*	Add CHstone	Yann Herklotz	2020-06-19	71	-0/+15484
*	fixed my grammar	Jianyi Cheng	2020-06-12	1	-2/+2
*	Adding benchmarks to branch_jc	Jianyi Cheng	2020-06-12	15	-0/+19189