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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix citation file and READMEv1.2.2 stable	Yann Herklotz	2021-10-01	2	-3/+2
\|
*	Update Changelog with 1.2.2 release	Yann Herklotz	2021-10-01	1	-0/+5
\|
*	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2021-09-29	1	-3/+3
\|\
\| *	Update README on the status of Vericert	Yann Herklotz	2021-09-27	1	-2/+2
\| \|
\| *	Add empty title	Yann Herklotz	2021-09-27	2	-0/+2
\| \|
* \|	Update docs	Yann Herklotz	2021-09-29	1	-0/+0
\| \|
* \|	Export without title	Yann Herklotz	2021-09-27	1	-0/+2
\|/
*	Update the docs	Yann Herklotz	2021-09-20	1	-0/+0
\|
*	Improve the changelog	Yann Herklotz	2021-09-18	1	-10/+24
\|
*	Merge remote-tracking branch 'origin/master'	Yann Herklotz	2021-09-17	6	-81/+131
\|\
\| *	Update docs	Yann Herklotz	2021-09-16	2	-2/+2
\| \|
\| *	Add number of pages correctly	Yann Herklotz	2021-09-15	1	-1/+1
\| \|
\| *	Fix a typo in README.org	Yann Herklotz	2021-09-15	1	-1/+1
\| \|
\| *	Add DOI to article	Yann Herklotz	2021-09-15	2	-1/+2
\| \|
\| *	Add CITATION.cff	Yann Herklotz	2021-09-15	1	-0/+46
\| \|
\| *	Fix linguist-vendored for repository statistics	Yann Herklotz	2021-09-15	1	-1/+1
\| \|
\| *	Add more information about paper to README	Yann Herklotz	2021-09-15	1	-48/+64
\| \|
\| *	Move license to the SoftwarePipelining directory	Yann Herklotz	2021-09-15	2	-32/+19
\| \|
* \|	Fix compilation with new CompCert version	Yann Herklotz	2021-09-17	4	-34/+16
\|/
*	Fix proofs for SAT	Yann Herklotz	2021-08-12	1	-6/+27
\|
*	Add more artifact documentation	Yann Herklotz	2021-08-12	2	-4/+112
\|
*	Fix pretty printing issue in Verilog	Yann Herklotz	2021-08-12	1	-1/+1
\|
*	Use main instead of top for synthesising Vericert designs	Yann Herklotz	2021-07-24	1	-1/+1
\|
*	Update instructions and fix testv1.2.1	Yann Herklotz	2021-07-12	4	-6/+5
\|
*	Remove comments in docker file	Yann Herklotz	2021-07-12	1	-3/+3
\|
*	Update the artifact description	Yann Herklotz	2021-07-12	7	-4/+204
\|
*	Remove more OCaml files to compile successfully without admits.	Yann Herklotz	2021-07-11	5	-1085/+0
\|
*	Remove unnecessary files and proofs	Yann Herklotz	2021-07-11	7	-16/+19
\|
*	Update the run-legup.sh file	Yann Herklotz	2021-07-11	1	-0/+4
\|
*	Add legup script	Yann Herklotz	2021-07-11	4	-4/+74
\|
*	Fix the small test bench for Vericert	Yann Herklotz	2021-07-11	7	-137/+67
\|
*	Fix some more of the benchmarks	Yann Herklotz	2021-07-11	8	-49/+35
\|
*	Add divider benchmarks	Yann Herklotz	2021-07-11	44	-0/+3581
\|
*	Fix makefiles and add a parent makefile	Yann Herklotz	2021-07-10	4	-3/+18
\|
*	Fix Makefiles slightly	Yann Herklotz	2021-07-10	8	-7/+12
\|
*	Add more documentation and clean up benchmarks	Yann Herklotz	2021-07-10	12	-158/+139
\|
*	Add docker file and some comments	Yann Herklotz	2021-07-09	2	-0/+6
\|
*	Clean up Memorygen file	Yann Herklotz	2021-04-07	1	-219/+1
\|
*	Remove Admitted in the highest of top-levelsv1.2.0	Yann Herklotz	2021-04-07	1	-5/+10
\|
*	No admitted theorems in Memorygen proof (~‾▿‾)~	Yann Herklotz	2021-04-07	1	-76/+99
\|
*	Basically done with proof	Yann Herklotz	2021-04-07	6	-18/+62
\|
*	Let everything compile again	Yann Herklotz	2021-04-06	1	-7/+18
\|
*	Finish load and store proof, but broke top-level	Yann Herklotz	2021-04-06	7	-289/+317
\|
*	Finish Veriloggenproof completely	Yann Herklotz	2021-04-04	4	-57/+339
\|
*	Prove all admit in load but one	Yann Herklotz	2021-04-04	1	-162/+183
\|
*	Finish most of load proof	Yann Herklotz	2021-04-04	1	-21/+167
\|
*	Finish store proof without admit	Yann Herklotz	2021-04-04	2	-189/+533
\|
*	Add logo to readme	Yann Herklotz	2021-04-02	1	-6/+3
\|
*	Fix initialisation more	Yann Herklotz	2021-04-01	1	-7/+7
\|
*	Add 0 initialisation	Yann Herklotz	2021-04-01	1	-1/+1
\|