oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Make median bold	Yann Herklotz	2021-04-15	5	-8/+8
\|
*	Fix spelling	Yann Herklotz	2021-04-15	4	-8/+8
\|
*	Update the table	Yann Herklotz	2021-04-15	4	-16/+57
\|
*	Add text	Yann Herklotz	2021-04-14	1	-7/+14
\|
*	Add timing diagrams	Yann Herklotz	2021-04-14	3	-22/+45
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-17/+21
\|
*	Finish fixing algorithm section	Yann Herklotz	2021-04-14	2	-7/+13
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-27/+5
\|
*	Add comments	Yann Herklotz	2021-04-14	1	-1/+4
\|
*	Fix main diagram	Yann Herklotz	2021-04-14	5	-119/+287
\|
*	Add C code to figure	Yann Herklotz	2021-04-14	1	-8/+21
\|
*	Add abstract suggestions	Yann Herklotz	2021-04-14	1	-1/+1
\|
*	Add comments	Yann Herklotz	2021-04-14	1	-3/+5
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	3	-3/+3
\|
*	Fix algorithm section	Yann Herklotz	2021-04-14	1	-3/+2
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	3	-15/+42
\|
*	Update on Overleaf.	John Wickerson	2021-04-14	1	-0/+10
\|
*	Fix the figures	Yann Herklotz	2021-04-14	1	-1/+2
\|
*	Add todo	Yann Herklotz	2021-04-14	1	-0/+2
\|
*	Update main diagram	Yann Herklotz	2021-04-14	5	-275/+78
\|
*	Some small fixes	Yann Herklotz	2021-04-14	4	-11/+12
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	2	-5/+6
\|
*	Add more	Yann Herklotz	2021-04-13	1	-1/+1
\|
*	Add to verilog	Yann Herklotz	2021-04-13	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	1	-1/+1
\|
*	Add	Yann Herklotz	2021-04-13	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	2	-5/+5
\|
*	Add	Yann Herklotz	2021-04-13	3	-9/+9
\|
*	Add spacing	Yann Herklotz	2021-04-13	2	-4/+6
\|
*	More changes	Yann Herklotz	2021-04-13	7	-16/+22
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	2	-2/+2
\|
*	Add colours	Yann Herklotz	2021-04-13	6	-24/+35
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	2	-1/+1
\|
*	Fix bars	Yann Herklotz	2021-04-13	1	-125/+126
\|
*	Add new graphs	Yann Herklotz	2021-04-13	7	-103/+343
\|
*	Add line	Yann Herklotz	2021-04-13	1	-0/+6
\|
*	AddAdd data	Yann Herklotz	2021-04-13	14	-48/+881
\|
*	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	2	-6/+32
\|
*	Fix the algorithm diagram	Yann Herklotz	2021-04-12	1	-0/+1
\|
*	Changes to diagrams	Yann Herklotz	2021-04-12	3	-15/+77
\|
*	Update more sections	Yann Herklotz	2021-04-12	1	-16/+18
\|