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

	Commit message (Expand)	Author	Age	Files	Lines
*	Merge branch 'dev-experiments'	Yann Herklotz	2020-11-17	5	-73/+45
\|\
\| *	final checks reworked and including compilation time in scriptdev-experiments	Nadesh Ramanathan	2020-11-17	3	-28/+23
\| *	lu fix	Nadesh Ramanathan	2020-11-15	1	-1/+1
\| *	some fixes	Nadesh Ramanathan	2020-11-15	2	-3/+19
* \|	Update lu.c and update Makefile with extraction	Yann Herklotz	2020-11-14	1	-39/+34
* \|	Merge branch 'dev-experiments'	Yann Herklotz	2020-11-14	5	-120/+141
\|\\|
\| *	polybench edits	Nadesh Ramanathan	2020-11-11	5	-79/+75
\| *	fixing lu	Nadesh Ramanathan	2020-11-10	1	-14/+4
\| *	fixing durbin	Nadesh Ramanathan	2020-11-10	1	-8/+2
\| *	fixes for cholesky	Nadesh Ramanathan	2020-11-10	1	-26/+22
\| *	Add small changes to durbin and adpcm	Yann Herklotz	2020-11-09	1	-61/+96
* \|	Add small changes to durbin and adpcm	Yann Herklotz	2020-11-04	1	-61/+96
\|/
*	Add modified polybench benchmarks	Yann Herklotz	2020-08-13	5	-0/+628