oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Expand)	Author	Age	Files	Lines
*	Update on Overleaf.	John Wickerson	2020-07-07	3	-34/+40
*	graphs	John Wickerson	2020-07-07	2	-6/+47
*	fused csv files and added derived columns	John Wickerson	2020-07-07	3	-2/+27
*	Update on Overleaf.	n.ramanathan14	2020-07-07	2	-0/+52
*	Take away some comments	Yann Herklotz	2020-07-06	2	-2/+8
*	Fix tex and turn on comments	Yann Herklotz	2020-07-06	2	-2/+2
*	Add accumulator_fsmd.pdf and finish Verilog section	Yann Herklotz	2020-07-06	4	-2/+25
*	Update on Overleaf.	John Wickerson	2020-07-05	1	-1/+1
*	Verilog section	Yann Herklotz	2020-07-04	1	-1/+3
*	Update on Overleaf.	James Pollard	2020-07-04	4	-3/+63
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-07-01	1	-2/+2
\|\
\| *	Update on Overleaf.	Yann Herklotz	2020-07-01	1	-2/+2
* \|	Add more content to algorithm	Yann Herklotz	2020-07-01	2	-3/+17
\|/
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-07-01	2	-3/+2
\|\
\| *	Update on Overleaf.	Yann Herklotz	2020-07-01	2	-3/+2
* \|	More changes to algorithm.tex	Yann Herklotz	2020-07-01	2	-2/+4
\|/
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-07-01	2	-2/+2
\|\
\| *	Update on Overleaf.	James Pollard	2020-07-01	2	-2/+2
* \|	Add more content to algorithm	Yann Herklotz	2020-07-01	4	-82/+86
\|/
*	Mention example section	Yann Herklotz	2020-07-01	1	-2/+2
*	Fix to comments	Yann Herklotz	2020-07-01	7	-150/+149
*	Adding more comments	Yann Herklotz	2020-06-30	4	-28/+25
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-30	2	-4/+4
\|\
\| *	Update on Overleaf.	John Wickerson	2020-06-30	2	-5/+5
* \|	Add algorithm	Yann Herklotz	2020-06-30	2	-38/+148
\|/
*	Add more to the example	Yann Herklotz	2020-06-30	1	-6/+6
*	Add examples	Yann Herklotz	2020-06-30	5	-6/+64
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-30	5	-36/+43
\|\
\| *	Update on Overleaf.	John Wickerson	2020-06-30	4	-12/+8
* \|	Add modifications to Verilog syntax adn implement more notes	Yann Herklotz	2020-06-30	3	-26/+20
\|/
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-29	3	-12/+16
\|\
\| *	Update on Overleaf.	John Wickerson	2020-06-29	3	-12/+16
* \|	Add section to algorithm	Yann Herklotz	2020-06-29	2	-1/+7
\|/
*	Add more to Verilog section	Yann Herklotz	2020-06-29	1	-2/+8
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	Yann Herklotz	2020-06-28	1	-6/+6
\|\
\| *	Update on Overleaf.	n.ramanathan14	2020-06-28	1	-6/+6
* \|	Add more to the verilog section	Yann Herklotz	2020-06-28	1	-24/+34
\|/
*	Add more semantics	Yann Herklotz	2020-06-27	3	-11/+23
*	Add more to .gitignore	Yann Herklotz	2020-06-27	1	-0/+4
*	More changes to the semantics	Yann Herklotz	2020-06-27	1	-2/+12
*	Add verilog section	Yann Herklotz	2020-06-27	3	-32/+32
*	Add minted code block	Yann Herklotz	2020-06-26	3	-52/+38
*	Finish main changes to the introduction	Yann Herklotz	2020-06-26	1	-6/+6
*	Finish sentences	Yann Herklotz	2020-06-26	1	-1/+1
*	Work more on the introduction	Yann Herklotz	2020-06-26	3	-14/+13
*	Add also to conclusion	Yann Herklotz	2020-06-25	1	-0/+6
*	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