100644 blob 69f68185465c353a639e79ec6583bfa101e9aa9c	.gitignore
100644 blob d159169d1050894d3ea3b98e1c965c4058208fe1	COPYING
100644 blob aa0d3abe0205013422ed3adff0aaced0087313f1	Makefile
100644 blob d4fac0b97150fc149d1862ada8b44c71893f738a	Makefile.inc
100644 blob 91b98c957ff1f45f7c3579bb3cb58cff76ce238e	Makefile.proof
040000 tree 278a2271854992e17e2683351c9aea1a5a1066a4	ada
040000 tree 1b3908244ba4f2555e2263cffa4314a227e9ae3a	common
040000 tree 478a2ef76d0cdb0b122fadd4749d69bc4313a311	configs
040000 tree 534ead1d0daeb0df3c98591185eeeb3e69cf5f1e	debug
100644 blob eab8a17ad0da8c83e2b417af96f9b3de09bb8cb6	gnat.adc
040000 tree 743bc83879d8ab7de44aa966fa483effa00b7266	proof
100644 blob 576a120390c3729de6c5ce68c32d1f197c3da13b	spark.adc