oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-62/+62
\|
*	Update on Overleaf.	Yann Herklotz	2020-11-19	1	-0/+4
\|
*	Correct names in Proof section	Yann Herklotz	2020-11-19	1	-2/+2
\|
*	Add algorithm	Yann Herklotz	2020-11-19	1	-3/+7
\|
*	Remove proof	Yann Herklotz	2020-11-19	1	-6/+4
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	1	-1/+1
\|
*	Finalise proof section	Yann Herklotz	2020-11-19	1	-37/+32
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	1	-1/+1
\|
*	More proof changes	Yann Herklotz	2020-11-19	1	-1/+13
\|
*	Modify proof section	Yann Herklotz	2020-11-19	1	-19/+25
\|
*	Add theorems	Yann Herklotz	2020-11-18	1	-18/+33
\|
*	Add theorem	Yann Herklotz	2020-11-18	1	-8/+12
\|
*	More proof changes	Yann Herklotz	2020-11-18	1	-11/+19
\|
*	Add proof	Yann Herklotz	2020-11-18	1	-4/+3
\|
*	Add better dashes	Yann Herklotz	2020-11-18	1	-7/+7
\|
*	Add notes	Yann Herklotz	2020-11-18	1	-4/+3
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-18	1	-1/+1
\|
*	More proof section stuff	Yann Herklotz	2020-11-18	1	-5/+12
\|
*	Add more to proof	Yann Herklotz	2020-11-18	1	-4/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-9/+9
\|
*	Continue on simulation diagram	Yann Herklotz	2020-11-18	1	-5/+5
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+1
\|
*	Add simulation diagram	Yann Herklotz	2020-11-18	1	-2/+2
\|
*	Add to proof section	Yann Herklotz	2020-11-18	1	-27/+22
\|
*	Update on Overleaf.	John Wickerson	2020-11-18	1	-1/+3
\|
*	Finish statistics about proof	Yann Herklotz	2020-11-18	1	-8/+8
\|
*	Add statistics	Yann Herklotz	2020-11-18	1	-0/+23
\|
*	Add proof and verilog	Yann Herklotz	2020-11-18	1	-1/+1
\|
*	Change sections	Yann Herklotz	2020-11-18	1	-11/+17
\|
*	Fix comments in algorithm section	Yann Herklotz	2020-11-18	1	-0/+4
\|
*	More changes to proof and text	Yann Herklotz	2020-11-18	1	-0/+17
\|
*	Edit more proof	Yann Herklotz	2020-11-17	1	-1/+1
\|
*	Add more proof section	Yann Herklotz	2020-11-17	1	-5/+11
\|
*	Fix verilog section	Yann Herklotz	2020-11-17	1	-22/+15
\|
*	Add more	Yann Herklotz	2020-11-17	1	-36/+0
\|
*	Finish most of algorithm section	Yann Herklotz	2020-11-15	1	-22/+1
\|
*	Add more content	Yann Herklotz	2020-11-15	1	-0/+16
\|
*	Update some sections	Yann Herklotz	2020-11-13	1	-2/+2
\|
*	Add coq mechanisation	Yann Herklotz	2020-11-12	1	-0/+2
\|
*	Update on Overleaf.	John Wickerson	2020-11-12	1	-0/+3
\|
*	Add section describing Oshrximm optimisation	Yann Herklotz	2020-11-07	1	-0/+21
\|
*	Add more content	Yann Herklotz	2020-11-02	1	-15/+15
\|
*	Make figures fit onto the page	Yann Herklotz	2020-10-09	1	-10/+19
\|
*	Update proof section	Yann Herklotz	2020-08-11	1	-2/+55
\|
*	More changes to proof.tex	Yann Herklotz	2020-07-14	1	-1/+15
\|
*	Take away some comments	Yann Herklotz	2020-07-06	1	-1/+7
\|
*	Add accumulator_fsmd.pdf and finish Verilog section	Yann Herklotz	2020-07-06	1	-0/+10
\|
*	Add annotations to tex files	Yann Herklotz	2020-06-25	1	-0/+5
\|
*	Separate tex file into separate files	Yann Herklotz	2020-06-25	1	-0/+3