040000 tree 19538d92910fdf7d90c5e3b208d164ee2c5f3f60	.github
100644 blob 30957b65225703993428ff614848d921530c2259	.gitignore
100644 blob a4662e1492edd09c6976c2a6a399253cf3d3a5a8	.licenseignore
040000 tree 2eaea60a77ca65a59213c6d07e64afeddafb2a7b	.reuse
100644 blob d485225eb56adb15ea672191a36291ffc7624b17	.stylefilter
100644 blob 42e5305aab6fa6d5fd98a0dc6dc30817b7943b7f	CHANGES
100644 blob 0f57894e4d68a74c2e731435e84f637c303fc062	CMakeLists.txt
100644 blob 98e20d70e90dbd05b65ac3b20fd2a577bce795cc	Findcamkes-tool.cmake
040000 tree 694ba231d91d6930196be3a5fd615023a1815548	LICENSES
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob 8deda18a400cde36d4022b3ea07fc495d1f86008	PREUPLOAD.cfg
100644 blob 23c5b12e4aa7c17f8003a3df6708122ed566dfc2	README.md
100644 blob fd2b2a322e2cb62733814303bcd65bc69f19e9c7	VERSION
100755 blob feb57b884da9957b5341c0aa09ed096bb04372ce	alltests.py
100644 blob 513e167032e48570c8c3d0fa1790ca77303c3987	camkes-top-level.cmake
100644 blob 529ba2da19e2316de96f38e9f1ee81f3c49e143c	camkes.cmake
040000 tree 8598c5f9254a7f93b90cdb398ae479cea5ad418d	camkes
040000 tree befd3ee0bf7386cd9656ecddd26af58aa9e1bb91	cdl-refine-tests
040000 tree aded563183fb7ddee4b39fce25da4d27f77cd6ce	components
040000 tree a43b502762006f226650a45844c68e630fc55793	docs
040000 tree 35fbf0bffddaa4c34492798cb98aef37fa7b8f88	examples
040000 tree bd5f9fbc0f9bf2e9e5349854803c87da8ce8a640	include
040000 tree 514e56071467151699a81a1d2931c5544212909b	libcamkescakeml
040000 tree 77fa13cce15916faab8f7912478cfc53d5bf9f0a	libsel4camkes
040000 tree 079ca367875abad8d7fe6d025d4e5f37d9f8f300	misc
040000 tree 39ff6f518d061a34521c92b22686fc09811900f5	tools