oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update on Overleaf.	John Wickerson	2020-11-20	4	-53/+54
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-5/+0
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	9	-165/+207
\|
*	Make figure into one	Yann Herklotz	2020-11-20	1	-15/+7
\|
*	Modify diagrams	Yann Herklotz	2020-11-20	1	-70/+74
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-5/+3
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	3	-16/+13
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-0/+4
\|
*	Update on Overleaf.	Yann Herklotz	2020-11-20	1	-16/+11
\|
*	Remove dimensional	Yann Herklotz	2020-11-20	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-7/+9
\|
*	Fix algorithm	Yann Herklotz	2020-11-20	1	-2/+3
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-5/+12
\|
*	Add two-dimensional	Yann Herklotz	2020-11-20	1	-2/+2
\|
*	Fix algorithm section	Yann Herklotz	2020-11-20	2	-17/+20
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	John Wickerson	2020-11-20	3	-46/+67
\|\ \| \| \| \| \| \| \| \|	# Conflicts: # verilog.tex
\| *	Update on Overleaf.	John Wickerson	2020-11-20	1	-1/+0
\| \|
\| *	Add Fix algorithm section	Yann Herklotz	2020-11-20	1	-5/+2
\| \|
\| *	Update on Overleaf.	John Wickerson	2020-11-20	1	-2/+3
\| \|
\| *	Update on Overleaf.	John Wickerson	2020-11-20	1	-1/+1
\| \|
\| *	Add algorithm	Yann Herklotz	2020-11-20	1	-34/+40
\| \|
\| *	Update on Overleaf.	John Wickerson	2020-11-20	3	-9/+25
\| \|
* \|	shortening some of sec 3.0	John Wickerson	2020-11-20	1	-6/+4
\|/
*	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
\|