oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add more to algorithm section	Yann Herklotz	2020-11-16	3	-19/+58
\|
*	Add verilog section	Yann Herklotz	2020-11-16	1	-1/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-16	1	-1/+1
\|
*	Add colours to module rule	Yann Herklotz	2020-11-16	1	-2/+4
\|
*	Add more to verilog section	Yann Herklotz	2020-11-16	1	-3/+14
\|
*	More modifications to Verilog section	Yann Herklotz	2020-11-15	1	-1/+1
\|
*	More changes to Verilog section	Yann Herklotz	2020-11-15	3	-15/+29
\|
*	Add introduction to archive	Yann Herklotz	2020-11-15	1	-0/+1
\|
*	Finish most of algorithm section	Yann Herklotz	2020-11-15	5	-48/+49
\|
*	Add more content	Yann Herklotz	2020-11-15	3	-42/+67
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-15	1	-25/+25
\|
*	Add John's notes to abstract	Yann Herklotz	2020-11-15	1	-5/+2
\|
*	More changes to algorithms	Yann Herklotz	2020-11-15	2	-18/+126
\|
*	Update on Overleaf.	John Wickerson	2020-11-15	1	-1/+1
\|
*	Fix diagram	Yann Herklotz	2020-11-14	1	-12/+17
\|
*	Backend to back end	Yann Herklotz	2020-11-14	1	-4/+4
\|
*	Add more to intro	Yann Herklotz	2020-11-13	1	-3/+3
\|
*	Add section about catapult C	Yann Herklotz	2020-11-13	1	-1/+3
\|
*	Add more tension to introduction	Yann Herklotz	2020-11-13	2	-24/+30
\|
*	Add new introduction start	Yann Herklotz	2020-11-13	1	-1/+3
\|
*	Update some sections	Yann Herklotz	2020-11-13	7	-117/+159
\|
*	Merge branch 'master' of https://git.overleaf.com/5ed78033b633200001e693d0	John Wickerson	2020-11-12	1	-0/+2
\|\
\| *	Add coq mechanisation	Yann Herklotz	2020-11-12	1	-0/+2
\| \|
* \|	add koika	John Wickerson	2020-11-12	1	-2/+4
\|/
*	using numerical citations as per CFP. and adding a venn diagram of related work.	John Wickerson	2020-11-12	2	-1/+44
\|
*	Update on Overleaf.	John Wickerson	2020-11-12	4	-1/+8
\|
*	Add section describing Oshrximm optimisation	Yann Herklotz	2020-11-07	1	-0/+21
\|
*	Add to .gitignore	Yann Herklotz	2020-11-06	1	-0/+7
\|
*	Update on Overleaf.	John Wickerson	2020-11-06	3	-12/+19
\|
*	Finish final paragraph	Yann Herklotz	2020-11-05	1	-1/+1
\|
*	Add more	Yann Herklotz	2020-11-05	1	-1/+1
\|
*	Add more to verilog	Yann Herklotz	2020-11-05	1	-1/+1
\|
*	Update references	Yann Herklotz	2020-11-05	2	-27/+31
\|
*	Finish introductory statement	Yann Herklotz	2020-11-05	1	-1/+1
\|
*	Fix some figures	Yann Herklotz	2020-11-05	2	-34/+38
\|
*	Add more to verilog section	Yann Herklotz	2020-11-05	1	-1/+5
\|
*	Add verilog	Yann Herklotz	2020-11-05	2	-4/+4
\|
*	Add more sections to Verilog	Yann Herklotz	2020-11-04	1	-6/+28
\|
*	Add appendix	Yann Herklotz	2020-11-04	1	-0/+52
\|
*	Add into archive	Yann Herklotz	2020-11-04	1	-0/+40
\|
*	Remove semantics from Verilog	Yann Herklotz	2020-11-04	2	-107/+20
\|
*	Finished most of the algorithm rewrite	Yann Herklotz	2020-11-04	2	-19/+54
\|
*	Add new data	Yann Herklotz	2020-11-03	3	-2/+4
\|
*	Add more content	Yann Herklotz	2020-11-02	4	-21/+29
\|
*	Add macros for vericert and compcert	Yann Herklotz	2020-11-02	5	-69/+74
\|
*	Add some more content	Yann Herklotz	2020-11-02	7	-198/+376
\|
*	Grammar changes	Yann Herklotz	2020-10-27	1	-1/+1
\|
*	Renaming and adding more comments	Yann Herklotz	2020-10-21	5	-34/+34
\|
*	Work on Nadesh's comments in Verilog section	Yann Herklotz	2020-10-21	3	-3/+18
\|
*	Add comments by John	Yann Herklotz	2020-10-21	3	-4/+9
\|