vericert-kvx - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
...
\| \| *	Improve the changelog	Yann Herklotz	2021-09-18	1	-10/+24
\| * \|	Merge branch 'master' into develop	Yann Herklotz	2021-09-18	87	-1521/+4378
\| \|\\|
\| \| *	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 designsoopsla21	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
* \| \|	Add full proof of SAT conversion	Yann Herklotz	2021-07-24	1	-2/+22
* \| \|	Finish SAT proof	Yann Herklotz	2021-07-24	1	-3/+4
\|/ /
* \|	New release information to the changelog	Yann Herklotz	2021-07-07	1	-0/+3
* \|	Add changelog which mentions the RAM support	Yann Herklotz	2021-07-07	1	-0/+1
* \|	Add predicate semantics to abstractdev/io	Yann Herklotz	2021-05-26	1	-69/+296
* \|	Add predicate semantics to RTLPar	Yann Herklotz	2021-05-26	1	-7/+8
* \|	Add predicate semantics to RTLBlock	Yann Herklotz	2021-05-26	1	-7/+8
* \|	Fix if-conversion pass with positives	Yann Herklotz	2021-05-26	1	-1/+1
* \|	Change naturals to positive in predicates	Yann Herklotz	2021-05-26	2	-45/+79
* \|	Add very top-level proof	Yann Herklotz	2021-05-23	1	-0/+33
* \|	Fix admitted in last theorem	Yann Herklotz	2021-05-21	1	-3/+8
* \|	Finish top-level of proof	Yann Herklotz	2021-05-21	2	-22/+23
* \|	Minimise the proof a bit	Yann Herklotz	2021-05-16	1	-18/+12
* \|	Finish up step_cf_instr_correct again	Yann Herklotz	2021-05-16	2	-19/+43
* \|	Fix the top-level proofs with new state_match	Yann Herklotz	2021-05-15	2	-27/+164
* \|	Finish abstract interpretation	Yann Herklotz	2021-05-12	1	-75/+199
* \|	Fix admitted in first proof of sem. preservation	Yann Herklotz	2021-05-10	1	-19/+68
* \|	Finish correctness of semantics wrt. RTBlock	Yann Herklotz	2021-05-06	1	-84/+327
* \|	Add admitted proof of translations in RTLPargen	Yann Herklotz	2021-05-03	1	-27/+177
\|/
*	Clean up Memorygen file	Yann Herklotz	2021-04-07	1	-219/+1