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

	Commit message (Expand)	Author	Age	Files	Lines
*	Fix the Makefile build	Yann Herklotz	2020-03-31	2	-6/+9
*	Use Compcert extraction	Yann Herklotz	2020-03-31	1	-2/+161
*	Fix Makefile build	Yann Herklotz	2020-03-31	2	-2/+6
*	Improve Verilog error messages	Yann Herklotz	2020-03-31	2	-2/+11
*	Fix Verilog printing	Yann Herklotz	2020-03-31	2	-33/+35
*	Remove main driver	Yann Herklotz	2020-03-31	1	-19/+0
*	Add main file and global building	Yann Herklotz	2020-03-31	4	-12/+450
*	Rename to transf_program	Yann Herklotz	2020-03-29	1	-1/+1
*	Move compiler	Yann Herklotz	2020-03-29	1	-2/+18
*	Complete conversion from HTL to Verilog	Yann Herklotz	2020-03-29	1	-8/+91
*	Change Verilog AST back to more traditional AST	Yann Herklotz	2020-03-29	1	-30/+44
*	Add Verilog generation from HTL	Yann Herklotz	2020-03-29	1	-0/+135
*	Update .gitignore	Yann Herklotz	2020-03-29	2	-1/+4
*	Remove unnecessary examples from HTL	Yann Herklotz	2020-03-29	2	-10/+5
*	Update AST and value representations	Yann Herklotz	2020-03-29	1	-213/+42
*	Update nix files with bbv dependency	Yann Herklotz	2020-03-29	2	-7/+29
*	Rename Verilog AST files	Yann Herklotz	2020-03-29	3	-0/+0
*	Update printing	Yann Herklotz	2020-03-25	4	-38/+56
*	Update dependencies	Yann Herklotz	2020-03-25	2	-16/+15
*	Remove dunes and make the build recursive	Yann Herklotz	2020-03-25	4	-13/+5
*	Create HTLgen	Yann Herklotz	2020-03-25	3	-148/+5
*	Move driver	Yann Herklotz	2020-03-25	3	-5/+4
*	Add Maps and HTL.v	Yann Herklotz	2020-03-25	2	-0/+235
*	Rename to HTL	Yann Herklotz	2020-03-23	1	-18/+28
*	Create intermediate VTL language	Yann Herklotz	2020-03-22	1	-0/+63
*	Create a new direct translation	Yann Herklotz	2020-03-22	2	-14/+125
*	Add compcert library to coquplib	Yann Herklotz	2020-03-22	2	-8/+13
*	Convert Tactics to Coquplib: export common modules	Yann Herklotz	2020-03-20	1	-1/+8
*	Lower case folders	Yann Herklotz	2020-03-19	13	-0/+0
*	Merge branch 'master' of github.com:ymherklotz/CoqUp	Yann Herklotz	2020-03-19	1	-2/+2
\|\
\| *	Update envrc	Yann Herklotz	2020-03-09	3	-3/+8
* \|	Update names of directories	Yann Herklotz	2020-03-19	5	-27/+52
* \|	Add .envrc for a consistent environment	Yann Herklotz	2020-03-19	1	-0/+8
\|/
*	Update Verilog AST with flat array	Yann Herklotz	2020-02-18	2	-0/+7
*	Create translation	Yann Herklotz	2020-02-18	3	-6/+25
*	Fix makefile and add travis build	Yann Herklotz	2020-02-17	3	-8/+11
*	Add shell.nix file	Yann Herklotz	2020-02-17	1	-0/+1
*	Remove extraction folder	Yann Herklotz	2020-02-17	1	-0/+0
*	Update license to be compatible with CompCert	Yann Herklotz	2020-02-17	10	-37/+847
*	Add pretty printing for Verilog integrated with CompCert	Yann Herklotz	2020-02-17	21	-332/+336
*	Update driver	Yann Herklotz	2020-02-14	4	-6/+148
*	Update compcert	Yann Herklotz	2020-02-14	1	-0/+0
*	Update dune file and remove main	Yann Herklotz	2020-02-14	2	-12/+8
*	Update makefile and Coq dependencies with CompCert	Yann Herklotz	2020-02-14	3	-2/+10
*	Add nix dependencies	Yann Herklotz	2020-02-14	1	-1/+2
*	Add project files and compcert interconnect	Yann Herklotz	2020-02-14	4	-0/+98
*	Add CompCert as a library	Yann Herklotz	2020-02-13	2	-0/+3
*	Improve the Coq sources and add extraction	Yann Herklotz	2020-02-13	5	-53/+45
*	Add dune files to .gitignore	Yann Herklotz	2020-02-04	1	-1/+6
*	Add Extraction	Yann Herklotz	2020-02-04	3	-13/+19