latte21_hlstpc - High-level synthesis tools should be proven correct.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add legup citation	Yann Herklotz	2021-02-24	2	-1/+19
\|
*	Add information about performance	Yann Herklotz	2021-02-24	1	-0/+2
\|
*	Add information about flakiness	Yann Herklotz	2021-02-24	1	-1/+3
\|
*	Add more	Yann Herklotz	2021-02-24	2	-1/+17
\|
*	Fix the citation	Yann Herklotz	2021-02-24	1	-1/+1
\|
*	Work on adding more position paper arguments	Yann Herklotz	2021-02-24	1	-3/+9
\|
*	Update on Overleaf.	John Wickerson	2021-02-24	1	-1/+1
\|
*	Remove diagram	Yann Herklotz	2021-02-23	1	-40/+0
\|
*	New changes	Yann Herklotz	2021-02-23	1	-1/+1
\|
*	Add more content about future work and conclusion	Yann Herklotz	2021-02-23	2	-1/+38
\|
*	Add commands for compcert and vericert	Yann Herklotz	2021-02-23	1	-5/+5
\|
*	Add better formatting	Yann Herklotz	2021-02-23	1	-2/+2
\|
*	Add back john's notes	Yann Herklotz	2021-02-23	1	-0/+8
\|
*	Add a proper abstract	Yann Herklotz	2021-02-23	1	-10/+4
\|
*	Add performance graph with CSV data	Yann Herklotz	2021-02-23	6	-0/+154
\|
*	Add references to polybench	Yann Herklotz	2021-02-23	2	-6/+13
\|
*	Add correctness equation	Yann Herklotz	2021-02-23	1	-1/+11
\|
*	Add guarantees	Yann Herklotz	2021-02-23	2	-3/+15
\|
*	More work	Yann Herklotz	2021-02-23	3	-1/+99
\|
*	Add more	Yann Herklotz	2021-02-22	1	-1/+3
\|
*	Add more references	Yann Herklotz	2021-02-22	2	-2/+54
\|
*	Update on Overleaf.	Yann Herklotz	2021-02-22	1	-7/+19
\|
*	Add more text	Yann Herklotz	2021-02-21	1	-1/+1
\|
*	Add more text	Yann Herklotz	2021-02-19	2	-1/+22
\|
*	Add more changes	Yann Herklotz	2021-02-19	2	-4/+8
\|
*	Add main.tex	Yann Herklotz	2021-02-19	3	-5/+53
\|
*	Add .gitignore	Yann Herklotz	2021-02-18	1	-0/+39
\|
*	Add acm format	Yann Herklotz	2021-02-18	3	-6/+6113
\|
*	Update on Overleaf.	Yann Herklotz	2021-02-18	1	-0/+14