oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2021-09-10	3	-12/+6
\|\
\| *	Update on Overleaf.	John Wickerson	2021-09-10	3	-12/+6
\| \|
* \|	Small clarifications in proof	Yann Herklotz	2021-09-10	1	-3/+3
\|/
*	Add nadesh's email	Yann Herklotz	2021-09-10	2	-3/+5
\|
*	Update on Overleaf.	John Wickerson	2021-09-10	1	-2/+2
\|
*	Clarify memory model section	Yann Herklotz	2021-09-09	1	-1/+1
\|
*	Figure -> Fig.	Yann Herklotz	2021-09-09	5	-27/+27
\|
*	Update acknowledgements	Yann Herklotz	2021-09-09	1	-9/+6
\|
*	Fix some more titles	Yann Herklotz	2021-09-09	2	-2/+2
\|
*	Add caption above the table	Yann Herklotz	2021-09-09	1	-4/+3
\|
*	Fix more capitalisation	Yann Herklotz	2021-09-09	1	-4/+4
\|
*	Fix capitalisation of titles	Yann Herklotz	2021-09-09	5	-21/+21
\|
*	Move textit to mathit	Yann Herklotz	2021-09-09	2	-29/+29
\|
*	Some more slight changes	Yann Herklotz	2021-09-09	4	-36/+49
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2021-09-09	1	-1/+1
\|\
\| *	Update on Overleaf.	Yann Herklotz	2021-09-09	1	-1/+1
\| \|
* \|	Backend to back end	Yann Herklotz	2021-09-09	2	-2/+2
\|/
*	Add the correct concepts	Yann Herklotz	2021-09-08	1	-18/+22
\|
*	Some initial changes towards the final submission	Yann Herklotz	2021-09-08	5	-83/+306
\|
*	Update on Overleaf.	John Wickerson	2021-09-07	1	-1/+1
\|
*	Update comments and make description better	Yann Herklotz	2021-09-06	4	-4/+4
\|
*	Move and add to the acknowledgements	Yann Herklotz	2021-09-06	2	-5/+6
\|
*	Better description of Lutsig	Yann Herklotz	2021-09-06	1	-2/+2
\|
*	Update on Overleaf.	John Wickerson	2021-09-06	2	-12/+16
\|
*	Add D.	Yann Herklotz	2021-08-31	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-08-31	3	-3/+25
\|
*	Update on Overleaf.	John Wickerson	2021-08-18	3	-3/+5
\|
*	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
\|
*	Shorten the Oshrximm section	Yann Herklotz	2021-08-13	1	-22/+23
\|
*	Add fix to algorithm.tex	Yann Herklotz	2021-08-12	1	-3/+3
\|
*	Add text for evaluation	Yann Herklotz	2021-08-12	1	-1/+11
\|
*	Fix many of the comments	Yann Herklotz	2021-08-12	6	-15/+34
\|
*	Update on Overleaf.	John Wickerson	2021-08-11	5	-19/+27
\|
*	Update on Overleaf.	John Wickerson	2021-08-11	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-08-11	4	-19/+29
\|
*	Add diagram to Section 2.1	Yann Herklotz	2021-08-11	1	-15/+44
\|
*	Add oopsla reviews	Yann Herklotz	2021-08-11	1	-0/+447
\|
*	Update on Overleaf.	John Wickerson	2021-08-11	1	-8/+9
\|
*	Add verilog introduction	Yann Herklotz	2021-08-09	1	-0/+26
\|
*	Add approximate size of passes in Figure 1	Yann Herklotz	2021-08-09	1	-8/+14
\|
*	Fix some more notes	Yann Herklotz	2021-08-08	3	-13/+37
\|
*	Update on Overleaf.	Nadesh Ramanathan	2021-08-08	2	-14/+18
\|
*	Fix some more comments	Yann Herklotz	2021-08-08	5	-13/+50
\|
*	Update on Overleaf.	John Wickerson	2021-08-08	2	-3/+3
\|
*	Address most notes	Yann Herklotz	2021-08-05	3	-14/+17
\|
*	Fix compilation	Yann Herklotz	2021-08-05	1	-3/+4
\|
*	Modify the diagram	Yann Herklotz	2021-08-05	1	-6/+11
\|
*	Fix notes in the introduction	Yann Herklotz	2021-08-05	1	-4/+5
\|
*	Update on Overleaf.	John Wickerson	2021-08-05	9	-54/+66
\|