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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Add show typeclass	Yann Herklotz	2020-02-04	1	-0/+42
\|
*	Add main.ml file	Yann Herklotz	2020-02-04	2	-0/+12
\|
*	Add extraction to gitignore	Yann Herklotz	2020-02-04	1	-0/+2
\|
*	Add extraction	Yann Herklotz	2020-02-04	1	-0/+4
\|
*	Add install	Yann Herklotz	2020-02-04	1	-1/+6
\|
*	Add nix file	Yann Herklotz	2020-02-04	2	-2/+23
\|
*	Short proof and add Tactics	Yann Herklotz	2020-01-29	2	-12/+31
\|
*	Proof of nat_to_value_is_flat added	Yann Herklotz	2020-01-29	1	-29/+28
\|
*	Trying some more proofs	Yann Herklotz	2020-01-24	1	-7/+50
\|
*	Added value_to_nat	Yann Herklotz	2020-01-24	3	-18/+31
\|
*	Reorder to let it compile again	Yann Herklotz	2020-01-24	1	-37/+35
\|
*	Finish some proofs and convert to nat	Yann Herklotz	2020-01-24	1	-12/+16
\|
*	Add some proofs about values	Yann Herklotz	2020-01-23	2	-95/+181
\|
*	Remove bbv	Yann Herklotz	2020-01-23	2	-3/+0
\|
*	Fix project links	Yann Herklotz	2020-01-22	1	-2/+2
\|
*	Move into src directory	Yann Herklotz	2020-01-22	3	-0/+0
\|
*	Add helper function for 'optional'	Yann Herklotz	2020-01-22	1	-0/+10
\|
*	Add initial implementations for evaluation	Yann Herklotz	2020-01-22	1	-7/+34
\|