oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	a HLS -> an HLS	Yann Herklotz	2021-09-13	1	-1/+1
\|
*	Fix some small grammar mistakes	Yann Herklotz	2021-09-11	1	-1/+1
\|
*	Some final changes	Yann Herklotz	2021-09-10	1	-1/+1
\|
*	Small fixes	Yann Herklotz	2021-09-10	1	-2/+2
\|
*	Figure -> Fig.	Yann Herklotz	2021-09-09	1	-6/+6
\|
*	Fix more capitalisation	Yann Herklotz	2021-09-09	1	-4/+4
\|
*	Some more slight changes	Yann Herklotz	2021-09-09	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-08-18	1	-2/+2
\|
*	Add nicer colours to fuzz diagram	Yann Herklotz	2021-08-13	1	-4/+7
\|
*	Update on Overleaf.	John Wickerson	2021-08-13	1	-7/+24
\|
*	Add text for evaluation	Yann Herklotz	2021-08-12	1	-1/+11
\|
*	Fix many of the comments	Yann Herklotz	2021-08-12	1	-4/+10
\|
*	Fix some more comments	Yann Herklotz	2021-08-08	1	-5/+8
\|
*	Update on Overleaf.	John Wickerson	2021-08-08	1	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2021-08-05	1	-5/+8
\|
*	Update on Overleaf.	John Wickerson	2021-08-03	1	-2/+3
\|
*	Add explanation of scheduling implementation	Yann Herklotz	2021-07-25	1	-2/+1
\|
*	Add some small fixes to the paper	Yann Herklotz	2021-07-21	1	-2/+2
\|
*	Add	Yann Herklotz	2021-04-17	1	-1/+1
\|
*	More fixes	Yann Herklotz	2021-04-17	1	-1/+1
\|
*	Update on Overleaf.	Yann Herklotz	2021-04-17	1	-1/+1
\|
*	Update on Overleaf.	Yann Herklotz	2021-04-17	1	-0/+5
\|
*	Fix last few small things	Yann Herklotz	2021-04-17	1	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2021-04-16	1	-2/+2
\|
*	Fix more	Yann Herklotz	2021-04-16	1	-2/+2
\|
*	Fix	Yann Herklotz	2021-04-16	1	-2/+2
\|
*	AddFix more things	Yann Herklotz	2021-04-16	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-16	1	-3/+3
\|
*	Remove compilation speed and fix results	Yann Herklotz	2021-04-16	1	-15/+16
\|
*	Fix up evaluation	Yann Herklotz	2021-04-16	1	-214/+5
\|
*	Update on Overleaf.	John Wickerson	2021-04-16	1	-2/+2
\|
*	Add new data	Yann Herklotz	2021-04-15	1	-16/+16
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-17/+21
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-27/+5
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-9/+36
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-0/+10
\|
*	Add	Yann Herklotz	2021-04-13	1	-1/+1
\|
*	Add spacing	Yann Herklotz	2021-04-13	1	-3/+5
\|
*	More changes	Yann Herklotz	2021-04-13	1	-7/+7
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	1	-1/+1
\|
*	Add colours	Yann Herklotz	2021-04-13	1	-16/+19
\|
*	Fix bars	Yann Herklotz	2021-04-13	1	-125/+126
\|
*	Add new graphs	Yann Herklotz	2021-04-13	1	-16/+16
\|
*	Add line	Yann Herklotz	2021-04-13	1	-0/+6
\|
*	AddAdd data	Yann Herklotz	2021-04-13	1	-21/+141
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	1	-0/+6
\|
*	Update on Overleaf.	John Wickerson	2021-04-12	1	-3/+3
\|
*	Update on Overleaf.	John Wickerson	2021-04-12	1	-0/+3
\|
*	Fix the plot	Yann Herklotz	2021-04-12	1	-0/+5
\|
*	Add new graph for results	Yann Herklotz	2021-04-12	1	-6/+5
\|