oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Continue on simulation diagram	Yann Herklotz	2020-11-18	1	-5/+5
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	4	-39/+13
\|
*	Add simulation diagram	Yann Herklotz	2020-11-18	1	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-3/+10
\|
*	Add to proof section	Yann Herklotz	2020-11-18	4	-46/+65
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	7	-34/+108
\|
*	Finish statistics about proof	Yann Herklotz	2020-11-18	1	-8/+8
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-18	1	-2/+4
\|
*	Add statistics	Yann Herklotz	2020-11-18	2	-4/+27
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Add proof and verilog	Yann Herklotz	2020-11-18	2	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Change sections	Yann Herklotz	2020-11-18	2	-15/+21
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	2	-22/+17
\|
*	Archive introduction	Yann Herklotz	2020-11-18	3	-46/+47
\|
*	Fix comments in algorithm section	Yann Herklotz	2020-11-18	3	-19/+17
\|