100644 blob a97919c07e57e6b7a0db9a49cfa616c8d2acf9d0	.gitignore
040000 tree 1f6f74a19bdcaf5e91eee457de615b813eca69d8	CapDL
100644 blob 094a7120119abf04fd232176e0bc3ff6ed0209e4	Main.hs
100644 blob 1efc2ae3030b0226a7884065e0fe31fe054cc717	Makefile
100644 blob 2570f5059a32ec1d8a0232bc5e5ceea01f0feb4a	README.md
100644 blob ceda1b02199984c16963a8399cd9f6b5db5490d9	camkes-adder-arm.cdl
100644 blob 0afb75a840f26a488a144ed7a2a2857a67e1c289	camkes-adder-arm.object_sizes.yaml
100644 blob ce6e89a91d20904e911ed77a8f6a1fd15f4c1d94	camkes-adder-arm.right
100644 blob cb8db3c76273bda8100f71f277ec2e40c911f8b3	camkes-adder-arm.thy.right
100644 blob e24d32681a8a089d8121119adc37715aecb70e1e	cap-dist-elf-simpleserver.cdl
100644 blob a0798f88a1d23b55e323fb716c95dd48d521663b	cap-dist-elf-simpleserver.right
100644 blob 88d1097a2b9c0c551fa6da8b6ab0eef63027cdee	capDL-tool.cabal
100644 blob 8f173eb039da5b0c65f9beb0d8ebd015136354e2	capDL-tool.cmake
100644 blob 447db2b4f7bdfc5e932261dc2489c4d67f41fd7b	capdl.dtd
040000 tree 26aa0a780c49e9f147f86acda85b9fded37a3756	doc
100644 blob 329eb4fb5530406eae641efb2d5e791835960ca7	example-arm.cdl
100644 blob 0f62c12e0aa50ce08879e89421e0837ddee35eaf	example-arm.right
100644 blob dc71235a6bc56901359a68e49fb749face1ed025	example-ia32.cdl
100644 blob 461de4231f7c1afcd51d7e7fa0ae184af70772ab	example-ia32.right
100644 blob b28af95e971095ecc909952b1b879c30dc81807a	example.cdl
100644 blob 69638ef07162bb982bf0a470cf6996849894bdaa	hello-dump.cdl
100644 blob 95bbbda2682692d68ddc84f29c3e563b915fa95d	hello-dump.right
100644 blob a5f06ffcc9f4d8e7fffcb89068b13967357e4941	iwana-ia32.cdl
100644 blob 4b651be3211b5665d58d7c84006225707d2796c2	stack.yaml
040000 tree 7902d6a2acdb10c03cef64d690257e11bb18cbf8	tools