100644 blob 69f68185465c353a639e79ec6583bfa101e9aa9c	.gitignore
100644 blob d159169d1050894d3ea3b98e1c965c4058208fe1	COPYING
100644 blob 09881e5b6ff8818e5ecd80db78f33e2af512fc96	Makefile
100644 blob d37ce513e91ee70c2578230d8845118112e6b432	Makefile.inc
100644 blob 6c16a4047b6da604254fc28c39ba3b039008285a	Makefile.proof
040000 tree 6f08378b97203072a2a2bd80aa7e0c0c79ac07bd	ada
040000 tree 66c7dd981222a041fbb25a4ac52a389c68cad7d6	c
040000 tree 44c5a5f149d98e234744721c22f5b20bb1e3819d	common
040000 tree a08d094ff23eef1b05eac121935fa49667120548	configs
100644 blob 536a5a3d39c57d654184d594f2df6943332ea477	debug.adc
040000 tree 3b899c004de2e0f51a354dba394d303408a501e1	debug
100644 blob 3494ebaf20c6122cd600281c307305e701676328	gnat.adc
040000 tree 3a03211207b24fe22642e706e33d88b549100d1c	proof
100644 blob e595c3d719124b0680affedfda413a41d4cedd04	spark.adc