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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Annonimize submissiondev/asplos	Yann Herklotz	2023-08-10	1	-1/+1
\|
*	Fix code generation in partitioning and scheduling	Yann Herklotz	2022-05-27	1	-2/+2
\|
*	Rewrite a lot fixing scheduling of Gible	Yann Herklotz	2022-05-27	1	-13/+14
\|
*	Famous proven but not tested has been fixed	Yann Herklotz	2022-05-12	1	-1/+1
\|
*	Rename lit directory	Yann Herklotz	2022-03-24	1	-2/+4
\|
*	Add nops to partition generation	Yann Herklotz	2022-03-22	1	-4/+4
\|
*	Revert "Remove more OCaml files to compile successfully without admits."	Yann Herklotz	2021-09-27	1	-0/+124
\| \| \| \|	This reverts commit 9a4122dba9bdc33a8e912d5a45bae35e05afb229.
*	Remove more OCaml files to compile successfully without admits.	Yann Herklotz	2021-07-11	1	-124/+0
\|
*	Add Vrange and predicates	Yann Herklotz	2021-02-02	1	-3/+3
\|
*	Fix OCaml files for compilation	Yann Herklotz	2021-01-31	1	-8/+7
\|
*	Improve performance dramatically for RTLBlock generation	Yann Herklotz	2020-10-31	1	-17/+19
\|
*	Finish implementing scheduling and add top level export	Yann Herklotz	2020-10-20	1	-1/+1
\|
*	Scheduling added to partitioning	Yann Herklotz	2020-09-03	1	-3/+2
\|
*	Fix bug for basic block construction in loops	Yann Herklotz	2020-08-31	1	-3/+7
\|
*	Add working partitioning algorithm	Yann Herklotz	2020-08-31	1	-30/+49
\|
*	Continue on Partitioning algorithm	Yann Herklotz	2020-08-30	1	-9/+50
\|
*	Add RTLBlock intermediate language	Yann Herklotz	2020-08-30	1	-0/+60