oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update on Overleaf.	John Wickerson	2020-11-20	3	-9/+25
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	John Wickerson	2020-11-20	3	-13/+12
\|\
\| *	Update on Overleaf.	n.ramanathan14	2020-11-20	3	-13/+12
\| \|
* \|	Oshrximm	John Wickerson	2020-11-20	1	-20/+13
\|/
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	John Wickerson	2020-11-20	1	-1/+1
\|\
\| *	Update on Overleaf.	n.ramanathan14	2020-11-20	1	-1/+1
\| \|
* \|	tweaks to figure 4 (removing confusing "a" and "b" subfigures, but keeping ↵	John Wickerson	2020-11-20	1	-7/+8
\|/ \| \| \|	two columns)
*	Update on Overleaf.	n.ramanathan14	2020-11-20	1	-1/+1
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-20	2	-2/+2
\|
*	Add evaluation	Yann Herklotz	2020-11-20	1	-0/+14
\|
*	Modify algorithm	Yann Herklotz	2020-11-20	1	-1/+1
\|
*	Update on Overleaf.	Yann Herklotz	2020-11-20	1	-17/+0
\|
*	Improve diagram	Yann Herklotz	2020-11-20	1	-7/+75
\|
*	Add unpublished citation	Yann Herklotz	2020-11-19	2	-2/+25
\|
*	Small beauty fixes	Yann Herklotz	2020-11-19	2	-4/+4
\|
*	Add algorith oshrximm section	Yann Herklotz	2020-11-19	2	-11/+24
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-19	3	-9/+10
\|
*	Update on Overleaf.	Yann Herklotz	2020-11-19	3	-15/+14
\|
*	Correct names in Proof section	Yann Herklotz	2020-11-19	1	-2/+2
\|
*	Add algorithm	Yann Herklotz	2020-11-19	2	-20/+47
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	1	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	6	-26/+44
\|
*	Remove proof	Yann Herklotz	2020-11-19	1	-6/+4
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	4	-8/+21
\|
*	Finalise proof section	Yann Herklotz	2020-11-19	2	-37/+80
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	2	-4/+8
\|
*	More proof changes	Yann Herklotz	2020-11-19	1	-1/+13
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-19	1	-2/+2
\|
*	Modify proof section	Yann Herklotz	2020-11-19	2	-19/+26
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-19	1	-9/+19
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-19	3	-10/+79
\|
*	Push	Yann Herklotz	2020-11-19	5	-34/+84
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	2	-1/+11
\|
*	Add theorems	Yann Herklotz	2020-11-18	3	-22/+37
\|
*	Chop evaluation	Yann Herklotz	2020-11-18	2	-16/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	2	-2/+34
\|
*	Add theorem	Yann Herklotz	2020-11-18	2	-8/+14
\|
*	Update on Overleaf.	Yann Herklotz	2020-11-18	2	-6/+17
\|
*	More proof changes	Yann Herklotz	2020-11-18	2	-11/+23
\|
*	Update on Overleaf.	James Pollard	2020-11-18	3	-13/+24
\|
*	Add proof	Yann Herklotz	2020-11-18	2	-4/+12
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-18	1	-10/+0
\|
*	Add better dashes	Yann Herklotz	2020-11-18	2	-8/+8
\|
*	Add notes	Yann Herklotz	2020-11-18	2	-5/+4
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-18	1	-1/+1
\|
*	More proof section stuff	Yann Herklotz	2020-11-18	1	-5/+12
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Add more to proof	Yann Herklotz	2020-11-18	1	-4/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	4	-15/+23
\|