fccm22_rsvhls - Resource sharing for verified high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update on Overleaf.HEAD master	Yann Herklotz	2022-04-12	2	-11/+11
\|
*	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2022-03-31	1	-1/+1
\|\
\| *	Update on Overleaf.	Yann Herklotz	2022-03-31	1	-1/+1
\| \|
* \|	Add acknowledgments	Yann Herklotz	2022-03-31	1	-1/+5
\|/
*	Update on Overleaf.	Yann Herklotz	2022-03-31	1	-2/+3
\|
*	Add reviews	Yann Herklotz	2022-03-31	1	-0/+67
\|
*	Update on Overleaf.	John Wickerson	2022-03-31	1	-8/+13
\|
*	bit o' trimming	John Wickerson	2022-03-30	1	-9/+14
\|
*	addressing reviewer comments and de-anonymising	John Wickerson	2022-03-30	2	-22/+42
\|
*	Update on Overleaf.	John Wickerson	2022-01-18	2	-139/+118
\|
*	Update data	Yann Herklotz	2022-01-17	2	-116/+122
\|
*	Update on Overleaf.	Yann Herklotz	2022-01-17	1	-7/+7
\|
*	Update on Overleaf.	Yann Herklotz	2022-01-17	1	-7/+7
\|
*	Update on Overleaf.	John Wickerson	2022-01-17	1	-1/+1
\|
*	Change legend position	Yann Herklotz	2022-01-17	1	-5/+2
\|
*	Update on Overleaf.	John Wickerson	2022-01-17	1	-2/+2
\|
*	Push final benchmarks	Yann Herklotz	2022-01-17	5	-57/+67
\|
*	Update on Overleaf.	John Wickerson	2022-01-17	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2022-01-17	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2022-01-17	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2022-01-17	1	-5/+5
\|
*	Update adi benchmark	Yann Herklotz	2022-01-17	3	-3/+3
\|
*	More fixing of the data	Yann Herklotz	2022-01-17	1	-3/+3
\|
*	Fix data	Yann Herklotz	2022-01-17	8	-106/+104
\|
*	starting final complete pass (with word-chopping mode enabled)	John Wickerson	2022-01-17	2	-6/+4
\|
*	Herklotz2020->vericert	John Wickerson	2022-01-17	1	-7/+7
\|
*	Merge branch 'master' of https://git.overleaf.com/6123986eabc27675b19ebdea	John Wickerson	2022-01-17	6	-127/+299
\|\
\| *	Update on Overleaf.	John Wickerson	2022-01-17	1	-13/+16
\| \|
\| *	Update the data	Yann Herklotz	2022-01-17	6	-127/+299
\| \|
* \|	various	John Wickerson	2022-01-17	2	-31/+34
\|/
*	Update on Overleaf.	John Wickerson	2022-01-17	2	-50/+100
\|
*	Update csv	Yann Herklotz	2022-01-17	3	-3/+3
\|
*	Update on Overleaf.	Yann Herklotz	2022-01-17	0	-0/+0
\|
*	Remove unnecessary \MP comment from introduction	Michalis Pardalos	2022-01-15	1	-2/+1
\|
*	Add estimates for SLOC and time taken	Michalis Pardalos	2022-01-15	1	-1/+1
\|
*	Add some detail about how call/return works in HTL	Michalis Pardalos	2022-01-15	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2022-01-15	1	-1/+4
\|
*	Update references	Yann Herklotz	2022-01-14	1	-34/+13
\|
*	Add comments and text for results	Yann Herklotz	2022-01-14	2	-10/+47
\|
*	Fix size	Yann Herklotz	2022-01-14	1	-5/+5
\|
*	Add partial graph	Yann Herklotz	2022-01-14	4	-76/+130
\|
*	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2022-01-14	1	-39/+30
\|\
\| *	Update on Overleaf.	John Wickerson	2022-01-14	1	-39/+30
\| \|
* \|	Add slice-ratio and time-ratio	Yann Herklotz	2022-01-14	4	-2/+127
\|/
*	Add data	Yann Herklotz	2022-01-14	3	-0/+84
\|
*	Update on Overleaf.	John Wickerson	2022-01-14	3	-97/+6551
\|
*	minor	John Wickerson	2022-01-12	1	-0/+7
\|
*	adding some text for performance evaluation section	John Wickerson	2022-01-11	1	-7/+31
\|
*	various	John Wickerson	2022-01-11	1	-10/+18
\|
*	various	John Wickerson	2022-01-11	1	-1/+5
\|