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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add acknowledgementsHEAD master	Yann Herklotz	2021-04-06	1	-2/+6
\|
*	Add	Yann Herklotz	2021-04-06	2	-19/+24
\|
*	Fix some things	Yann Herklotz	2021-03-28	1	-6/+4
\|
*	Fix notes	Yann Herklotz	2021-03-25	1	-3/+1
\|
*	Update on Overleaf.	John Wickerson	2021-03-25	1	-16/+21
\|
*	Update on Overleaf.	John Wickerson	2021-03-24	2	-22/+17
\|
*	Add references	Yann Herklotz	2021-03-24	1	-0/+14
\|
*	Add more	Yann Herklotz	2021-03-24	2	-7/+7
\|
*	Add the reviews	Yann Herklotz	2021-03-24	1	-0/+85
\|
*	Fix formatting wrt. the requirements	Yann Herklotz	2021-03-24	1	-62/+10
\|
*	Update on Overleaf.	Yann Herklotz	2021-02-26	1	-15/+21
\|
*	Add citation	Yann Herklotz	2021-02-25	2	-1/+14
\|
*	Update on Overleaf.	John Wickerson	2021-02-25	1	-16/+18
\|
*	Update on Overleaf.	John Wickerson	2021-02-25	1	-2/+2
\|
*	Nearly fits	Yann Herklotz	2021-02-25	1	-8/+8
\|
*	Some more fixes	Yann Herklotz	2021-02-25	2	-1/+12
\|
*	Add responses everywhere	Yann Herklotz	2021-02-25	2	-9/+33
\|
*	Fix all comments	Yann Herklotz	2021-02-25	1	-42/+12
\|
*	Add automatic counters	Yann Herklotz	2021-02-25	1	-7/+12
\|
*	Add some changes	Yann Herklotz	2021-02-25	1	-10/+11
\|
*	Fix abstract	Yann Herklotz	2021-02-25	2	-3/+10
\|
*	Update on Overleaf.	John Wickerson	2021-02-25	1	-12/+14
\|
*	Work on clarifying sections	Yann Herklotz	2021-02-25	1	-1/+1
\|
*	Improve abstract	Yann Herklotz	2021-02-25	1	-2/+2
\|
*	Rewrite conclusion	Yann Herklotz	2021-02-25	1	-2/+2
\|
*	More work on sections	Yann Herklotz	2021-02-25	2	-28/+25
\|
*	Update on Overleaf.	Yann Herklotz	2021-02-25	1	-2/+2
\|
*	More changes	Yann Herklotz	2021-02-25	1	-11/+11
\|
*	Add more changes	Yann Herklotz	2021-02-25	3	-4/+36
\|
*	Update the titles	Yann Herklotz	2021-02-25	2	-7/+23
\|
*	Move code around	Yann Herklotz	2021-02-24	1	-16/+14
\|
*	Add more changes	Yann Herklotz	2021-02-24	1	-1/+1
\|
*	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
\|