oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Tiny fix to state names	Yann Herklotz	2021-09-13	1	-2/+2
\|
*	Fix typo	Yann Herklotz	2021-09-13	1	-1/+1
\|
*	Remove scalebox	Yann Herklotz	2021-09-13	1	-42/+43
\|
*	Add missing variable in proof	Yann Herklotz	2021-09-12	1	-2/+2
\|
*	Add city and description	Yann Herklotz	2021-09-11	1	-0/+4
\|
*	Fix some small grammar mistakes	Yann Herklotz	2021-09-11	1	-4/+4
\|
*	Add title and email	Yann Herklotz	2021-09-11	1	-0/+2
\|
*	Update on Overleaf.	John Wickerson	2021-09-11	1	-4/+4
\|
*	Replace x by tmp	Yann Herklotz	2021-09-10	1	-4/+4
\|
*	Transform diagram into a Moore machine	Yann Herklotz	2021-09-10	1	-9/+9
\|
*	Better alignment of figure	Yann Herklotz	2021-09-10	1	-2/+2
\|
*	Make the diagram larger and add copyright	Yann Herklotz	2021-09-10	1	-3/+3
\|
*	Update on Overleaf.	John Wickerson	2021-09-10	1	-2/+2
\|
*	Figure -> Fig.	Yann Herklotz	2021-09-09	1	-14/+14
\|
*	Fix some more titles	Yann Herklotz	2021-09-09	1	-1/+1
\|
*	Fix capitalisation of titles	Yann Herklotz	2021-09-09	1	-8/+8
\|
*	Backend to back end	Yann Herklotz	2021-09-09	1	-1/+1
\|
*	Some initial changes towards the final submission	Yann Herklotz	2021-09-08	1	-18/+18
\|
*	Update comments and make description better	Yann Herklotz	2021-09-06	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-08-31	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2021-08-18	1	-0/+2
\|
*	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
\|
*	Fix many of the comments	Yann Herklotz	2021-08-12	1	-3/+6
\|
*	Update on Overleaf.	John Wickerson	2021-08-11	1	-6/+6
\|
*	Add diagram to Section 2.1	Yann Herklotz	2021-08-11	1	-15/+44
\|
*	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	1	-9/+10
\|
*	Update on Overleaf.	Nadesh Ramanathan	2021-08-08	1	-12/+12
\|
*	Fix some more comments	Yann Herklotz	2021-08-08	1	-3/+3
\|
*	Update on Overleaf.	John Wickerson	2021-08-08	1	-1/+1
\|
*	Address most notes	Yann Herklotz	2021-08-05	1	-4/+3
\|
*	Fix compilation	Yann Herklotz	2021-08-05	1	-3/+4
\|
*	Modify the diagram	Yann Herklotz	2021-08-05	1	-6/+11
\|
*	Update on Overleaf.	John Wickerson	2021-08-05	1	-15/+19
\|
*	Update on Overleaf.	John Wickerson	2021-08-03	1	-5/+7
\|
*	Update on Overleaf.	John Wickerson	2021-08-03	1	-3/+3
\|
*	Add limitations into it's own section	Yann Herklotz	2021-08-03	1	-25/+0
\|
*	Update on Overleaf.	John Wickerson	2021-08-03	1	-19/+20
\|
*	Clear up the Introduction and Algorithm section	Yann Herklotz	2021-08-02	1	-12/+17
\|
*	Move signedness discussion into limitations	Yann Herklotz	2021-07-27	1	-7/+11
\|
*	Add more descriptions of challenges in proofs	Yann Herklotz	2021-07-27	1	-1/+1
\|
*	Add explanation of scheduling implementation	Yann Herklotz	2021-07-25	1	-0/+12
\|
*	Update on Overleaf.	Yann Herklotz	2021-04-17	1	-4/+5
\|
*	Update on Overleaf.	John Wickerson	2021-04-16	1	-3/+3
\|
*	AddFix more things	Yann Herklotz	2021-04-16	1	-9/+11
\|
*	Add changes	Yann Herklotz	2021-04-16	1	-2/+2
\|
*	Add back text	Yann Herklotz	2021-04-16	1	-1/+2
\|