oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add annotations to tex files	Yann Herklotz	2020-06-25	7	-1/+36
\|
*	Add files to .gitignore	Yann Herklotz	2020-06-25	1	-0/+2
\|
*	Separate tex file into separate files	Yann Herklotz	2020-06-25	6	-232/+229
\|
*	Update on Overleaf.	n.ramanathan14	2020-06-25	2	-6/+56
\|
*	Add loow reference	Yann Herklotz	2020-06-16	1	-2/+24
\|
*	Add grammar and main addition	Yann Herklotz	2020-06-16	1	-66/+92
\|
*	Added more to RTL	Yann Herklotz	2020-06-16	1	-1/+14
\|
*	Restructure the file	Yann Herklotz	2020-06-15	1	-4/+52
\|
*	Add HLS Algorithm section	Yann Herklotz	2020-06-15	2	-36/+43
\|
*	Update on Overleaf.	John Wickerson	2020-06-13	2	-1/+14
\|
*	Add back references	Yann Herklotz	2020-06-09	1	-2/+8
\|
*	Remove unnecessary fields	Yann Herklotz	2020-06-09	1	-19/+0
\|
*	Add comment	Yann Herklotz	2020-06-09	1	-0/+1
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-09	1	-1/+2
\|\
\| *	Update on Overleaf.	John Wickerson	2020-06-09	1	-1/+2
\| \|
* \|	Mostly finished first draft of intro	Yann Herklotz	2020-06-09	1	-1/+8
\|/
*	Add another comment	Yann Herklotz	2020-06-09	1	-1/+1
\|
*	Add more citations that I need to include	Yann Herklotz	2020-06-09	2	-2/+63
\|
*	Add response	Yann Herklotz	2020-06-09	2	-22/+51
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-09	2	-1/+32
\|\
\| *	Update on Overleaf.	John Wickerson	2020-06-09	2	-1/+33
\| \|
* \|	Add introduction to verification in HLS	Yann Herklotz	2020-06-09	2	-1/+155
\|/
*	Add more to introduction	Yann Herklotz	2020-06-07	2	-5/+15
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-06	0	-0/+0
\|\
\| *	Update on Overleaf.	ymherklotz undefined	2020-06-06	0	-0/+0
\| \|
* \|	Clean up file and add more to introduction	Yann Herklotz	2020-06-06	1	-54/+41
\|/
*	Add first paragraph	Yann Herklotz	2020-06-06	2	-2/+68
\|
*	Add a comment to recursive definitions	Yann Herklotz	2020-06-05	1	-1/+1
\|
*	Add more recursive rules	Yann Herklotz	2020-06-05	1	-12/+22
\|
*	Finish most of abstract draft	Yann Herklotz	2020-06-05	1	-1/+1
\|
*	Add sections and beginning of abstract	Yann Herklotz	2020-06-05	1	-1/+13
\|
*	Update on Overleaf.	John Wickerson	2020-06-04	1	-7/+26
\|
*	Update	Yann Herklotz	2020-06-03	1	-2/+2
\|
*	Add other inference rules	Yann Herklotz	2020-06-03	1	-20/+19
\|
*	Remove warnings	Yann Herklotz	2020-06-03	1	-6/+6
\|
*	Add inference rules	Yann Herklotz	2020-06-03	1	-5/+53
\|
*	Try adding some inferrence rules	Yann Herklotz	2020-06-03	1	-7/+11
\|
*	Add keywords	Yann Herklotz	2020-06-03	1	-1/+1
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-03	0	-0/+0
\|\
\| *	Update on Overleaf.	ymherklotz undefined	2020-06-03	0	-0/+0
\| \|
* \|	Add references	Yann Herklotz	2020-06-03	2	-2/+18
\|/
*	Add .gitignore	Yann Herklotz	2020-06-03	1	-0/+27
\|
*	Add personal information	Yann Herklotz	2020-06-03	1	-39/+59
\|
*	Add ACM template	Yann Herklotz	2020-06-03	3	-5/+6118
\|
*	Update on Overleaf.	ymherklotz undefined	2020-06-03	1	-0/+14