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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Include library in the project	Yann Herklotz	2020-01-22	1	-0/+1
\|
*	Add bbv library	Yann Herklotz	2020-01-22	2	-0/+3
\|
*	Add Verilog syntax	Yann Herklotz	2020-01-21	2	-0/+81
\|
*	Update Makefile and gitignore	Yann Herklotz	2019-11-04	2	-7/+11
\|
*	Add Args change to Makefile	Yann Herklotz	2019-11-04	1	-1/+1
\|
*	Add initial Coq file	Yann Herklotz	2019-11-04	1	-0/+1
\|
*	Add Makefile and _CoqProject	Yann Herklotz	2019-11-04	2	-0/+23
\|
*	Initial commit	Yann Herklotz	2019-10-02	3	-0/+53