oopsla21_fvhls - Formal verification of high-level synthesis.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix title of the raw results	Yann Herklotz	2021-07-21	1	-1/+4
\|
*	Remove compilation speed and fix results	Yann Herklotz	2021-04-16	1	-1/+40
\|
*	Fix all data	Yann Herklotz	2021-04-15	3	-116/+116
\|
*	Add new data	Yann Herklotz	2021-04-15	5	-108/+124
\|
*	Fix formatting	Yann Herklotz	2021-04-15	1	-118/+118
\|
*	Make median bold	Yann Herklotz	2021-04-15	5	-8/+8
\|
*	Update the table	Yann Herklotz	2021-04-15	1	-0/+34
\|
*	Add	Yann Herklotz	2021-04-13	1	-3/+3
\|
*	Add spacing	Yann Herklotz	2021-04-13	1	-1/+1
\|
*	More changes	Yann Herklotz	2021-04-13	1	-0/+3
\|
*	Add colours	Yann Herklotz	2021-04-13	5	-8/+16
\|
*	Update on Overleaf.	John Wickerson	2021-04-13	1	-0/+0
\|
*	Add new graphs	Yann Herklotz	2021-04-13	6	-87/+327
\|
*	AddAdd data	Yann Herklotz	2021-04-13	12	-27/+739
\|
*	Add new graph for results	Yann Herklotz	2021-04-12	1	-0/+27
\|
*	Add new results	Yann Herklotz	2021-04-11	5	-0/+135
\|
*	Add changes	Yann Herklotz	2021-04-07	1	-2/+1
\|
*	Update on Overleaf.	John Wickerson	2020-11-20	1	-28/+28
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-19	2	-2/+4
\|
*	Update on Overleaf.	John Wickerson	2020-11-19	3	-3/+7
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-18	1	-0/+26
\|
*	Update on Overleaf.	n.ramanathan14	2020-11-15	1	-25/+25
\|
*	Add verilog	Yann Herklotz	2020-11-05	1	-0/+0
\|
*	Add new data	Yann Herklotz	2020-11-03	1	-0/+0
\|
*	Renaming and adding more comments	Yann Herklotz	2020-10-21	1	-2/+2
\|
*	adding comptime for legup and coqup (coqup is just dummy numbers atm)	John Wickerson	2020-07-07	2	-26/+26
\|
*	Update on Overleaf.	John Wickerson	2020-07-07	2	-26/+26
\|
*	fused csv files and added derived columns	John Wickerson	2020-07-07	2	-0/+26
\|
*	Update on Overleaf.	n.ramanathan14	2020-07-07	2	-0/+52