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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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	1	-61/+96
\|
*	Add modified polybench benchmarks	Yann Herklotz	2020-08-13	28	-0/+3234