100644 blob 69f68185465c353a639e79ec6583bfa101e9aa9c	.gitignore
100644 blob d159169d1050894d3ea3b98e1c965c4058208fe1	COPYING
100644 blob 6e03b1a9ef92cabae3f08ea2e6e0fdfe39a335a2	Makefile
100644 blob d4fac0b97150fc149d1862ada8b44c71893f738a	Makefile.inc
100644 blob 8b06cdc3d3e401e7a3de2bcc3dd04d9b8be5d5c4	Makefile.proof
040000 tree 679affee97ebe24e7e12a13dff0d51b93940a4ff	ada
040000 tree 7f03ded32c1d77fa907623c900596cd30c606653	common
040000 tree b65523f6ad9508770f013dfad97a69433dd05514	configs
040000 tree 3b899c004de2e0f51a354dba394d303408a501e1	debug
100644 blob eab8a17ad0da8c83e2b417af96f9b3de09bb8cb6	gnat.adc
040000 tree d3f5e3edff11f971b2757aa8a7cb2af3633e92cd	proof
100644 blob 576a120390c3729de6c5ce68c32d1f197c3da13b	spark.adc