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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	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