vericert - Vericert is a formally verified high-level synthesis tool.

	Commit message (Collapse)	Author	Age	Files	Lines
*	[sched] Add combination of equivalent expressions	Yann Herklotz	2021-10-14	1	-10/+40
\|
*	[sched] Finish det proofs of basic Abstr semantics	Yann Herklotz	2021-10-13	1	-27/+44
\|
*	[sched] Add more proof to sem_pred_det	Yann Herklotz	2021-10-13	1	-1/+6
\|
*	[sched] Add proofs of sem_pred_det	Yann Herklotz	2021-10-13	1	-8/+44
\|
*	[sched] Add start to proof of sem_value_det	Yann Herklotz	2021-10-12	1	-0/+12
\|
*	[sched] Add more lemmas into HashTree	Yann Herklotz	2021-10-12	1	-10/+1
\|
*	[sched] Update Abstr.v to use HashTree	Yann Herklotz	2021-10-12	1	-29/+97
\|
*	[sched] Small changes to definitions	Yann Herklotz	2021-10-12	1	-5/+5
\|
*	End section in Abstr.v	Yann Herklotz	2021-10-08	1	-0/+2
\|
*	Add proof of beq_check_correctness	Yann Herklotz	2021-10-08	1	-57/+120
\|
*	Add Abstr intermediate language	Yann Herklotz	2021-10-07	1	-0/+749