100644 blob 69f68185465c353a639e79ec6583bfa101e9aa9c	.gitignore
100644 blob d159169d1050894d3ea3b98e1c965c4058208fe1	COPYING
100644 blob 359a28c62bbeb5e0130864bf040a0cd96c864f44	Makefile
100644 blob d37ce513e91ee70c2578230d8845118112e6b432	Makefile.inc
100644 blob 8b06cdc3d3e401e7a3de2bcc3dd04d9b8be5d5c4	Makefile.proof
040000 tree 6154d9b5e4040b67ee1fa2c8ddd530da4c73b08d	ada
040000 tree 908b0ba249ab496ef852c5fc4f4097eb69640a24	c
040000 tree 345a7b4ba7bacf661fcd6a36aa78c5eaa32fd8ec	common
040000 tree 5e1266dbe7c0c9cb9108318c95674b3f019b4a16	configs
040000 tree 3b899c004de2e0f51a354dba394d303408a501e1	debug
100644 blob e9a1c8025c9a43b530c476053fff12783ac4339f	gnat.adc
040000 tree d3f5e3edff11f971b2757aa8a7cb2af3633e92cd	proof
100644 blob e595c3d719124b0680affedfda413a41d4cedd04	spark.adc