100644 blob 69f68185465c353a639e79ec6583bfa101e9aa9c	.gitignore
100644 blob d159169d1050894d3ea3b98e1c965c4058208fe1	COPYING
100644 blob 554558abc1a3a033b899c840102e6c4a589b30e6	Makefile
100644 blob d37ce513e91ee70c2578230d8845118112e6b432	Makefile.inc
100644 blob 8b06cdc3d3e401e7a3de2bcc3dd04d9b8be5d5c4	Makefile.proof
040000 tree 053237e172f8afb0c64d20db5224ed910cd154ce	ada
040000 tree 074dd5228326ba4861b93768ae577c249c49e7bc	c
040000 tree 26edd5ac08464bccc004f2128a7400125ab2ec4c	common
040000 tree 28afa14f9a413a6361e8801b4baadc7c50eadecd	configs
040000 tree 3b899c004de2e0f51a354dba394d303408a501e1	debug
100644 blob eab8a17ad0da8c83e2b417af96f9b3de09bb8cb6	gnat.adc
040000 tree d3f5e3edff11f971b2757aa8a7cb2af3633e92cd	proof
100644 blob 576a120390c3729de6c5ce68c32d1f197c3da13b	spark.adc