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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix proofs in Sat.v	Yann Herklotz	2022-03-22	1	-1/+1
\|
*	Remove main binary	Yann Herklotz	2022-03-22	1	-0/+0
\|
*	Fix Makefiles in build and for benchmarks	Yann Herklotz	2022-03-22	6	-7/+17
\|
*	Add RTLBlockgenproof	Yann Herklotz	2022-03-22	1	-0/+52
\|
*	Delete extra data files and scripts	Yann Herklotz	2022-03-22	16	-286/+6
\|
*	Update permissions and .gitignore	Yann Herklotz	2022-03-17	3	-3/+11
\|
*	Add a license to synthesis-results	Yann Herklotz	2022-03-17	1	-0/+15
\|
*	Clean up scripts some more	Yann Herklotz	2022-03-17	6	-40/+10
\|
*	Update documentation files	Yann Herklotz	2022-03-17	8	-35/+78
\|
*	Remove more unnecessary scripts	Yann Herklotz	2022-03-17	3	-133/+0
\|
*	Add Makefile in scripts directory	Yann Herklotz	2022-03-17	1	-0/+9
\|
*	Rename into scheme	Yann Herklotz	2022-03-17	1	-1/+3
\|
*	Add synthesis bash scripts	Yann Herklotz	2022-03-17	3	-0/+86
\|
*	Update copyright notice	Yann Herklotz	2022-03-17	1	-1/+1
\|
*	Add directory traversal to synthesise script	Yann Herklotz	2022-03-17	1	-18/+40
\|
*	Add synthesis processing script	Yann Herklotz	2022-03-17	1	-0/+98
\|
*	Start work on reverse if-conversion	Yann Herklotz	2022-03-07	2	-1/+84
\|
*	Fix RAW dependency calculation for predicates	Yann Herklotz	2022-03-06	1	-0/+3
\|
*	Update links in README	Yann Herklotz	2022-03-05	2	-8/+8
\|
*	Remove small customisations from license text	Yann Herklotz	2022-03-05	1	-3/+3
\|
*	Add back proof of beq2_correct	Yann Herklotz	2022-03-03	1	-23/+76
\|
*	Fix Abstr	Yann Herklotz	2022-03-03	1	-30/+17
\|
*	Update Coq version to 8.14.1	Yann Herklotz	2022-03-02	7	-86/+65
\|
*	Rename IP using systemverilog extension	Yann Herklotz	2022-02-28	3	-0/+0
\|
*	Update .gitignore	Yann Herklotz	2022-02-28	1	-66/+8
\|
*	Add ptsets.ml library from CompCert for Bourdoncle	Yann Herklotz	2022-02-28	2	-0/+791
\|
*	Remove .envrc as it should be local	Yann Herklotz	2022-02-27	1	-1/+0
\|
*	Update documentation links	Yann Herklotz	2022-02-27	4	-11/+25
\|
*	Update documentation generation	Yann Herklotz	2022-02-27	10	-6/+1336
\|
*	Final updates to the current documentation	Yann Herklotz	2022-02-25	3	-18/+18
\|
*	Fix up some more documentation	Yann Herklotz	2022-02-25	7	-146/+68
\|
*	Start converting comments	Yann Herklotz	2022-02-25	3	-85/+45
\|
*	Add more documentation and add coqdoc stylesheet	Yann Herklotz	2022-02-25	6	-3/+928
\|
*	Add back pure documentation	Yann Herklotz	2022-02-25	5	-0/+1102
\|
*	Delete docs submodule	Yann Herklotz	2022-02-24	2	-3/+0
\|
*	Update gather data script	Yann Herklotz	2022-02-23	1	-25/+24
\|
*	Add PrintLoops for bourdoncle code	Yann Herklotz	2021-12-09	1	-0/+22
\|
*	Update the documentation	Yann Herklotz	2021-12-09	1	-0/+0
\|
*	Add bourdoncle to build	Yann Herklotz	2021-12-09	8	-28/+64
\|
*	Remove debug directory	Yann Herklotz	2021-12-09	2	-64/+0
\|
*	Update benchmark runs	Yann Herklotz	2021-12-09	2	-34/+80
\|
*	Update README with correct link	Yann Herklotz	2021-12-09	2	-6/+5
\|
*	Add README.md	Yann Herklotz	2021-12-09	1	-0/+147
\|
*	Add a script to gather synthesis data	Yann Herklotz	2021-11-18	1	-0/+66
\|
*	Add a printer for RTLParFU	Yann Herklotz	2021-11-18	1	-0/+120
\|
*	Fix operation chaining in scheduler	Yann Herklotz	2021-11-18	1	-8/+12
\| \| \| \|	It now respects the delays properly.
*	Remove unnecessary proof from RTLParFUgen	Yann Herklotz	2021-11-18	1	-1/+0
\|
*	Fix the pipelining link in the README	Yann Herklotz	2021-11-18	1	-1/+2
\|
*	Improve the benchmark Makefile	Yann Herklotz	2021-11-18	2	-4/+8
\|
*	Fix compilation with new HTL language	Yann Herklotz	2021-11-18	12	-161/+163
\|