1*.pyc 2*.lev 3*.o 4*~ 5.*.attrib_trace 6.*.skip 7*.lev 8*#*# 9 10/spec/cspec/c/build 11 12/spec/haskell/doc/**/*.aux 13/spec/haskell/doc/**/*.bbl 14/spec/haskell/doc/**/*.blg 15/spec/haskell/doc/**/*.log 16/spec/haskell/doc/**/*.mpx 17/spec/haskell/doc/**/*.out 18/spec/haskell/doc/**/*.toc 19 20/spec/design/version 21/spec/design/*.thy 22/spec/design/ARM/*.thy 23/spec/design/ARM_HYP/*.thy 24/spec/design/RISCV64/*.thy 25/spec/design/X64/*.thy 26 27/spec/machine/*/MachineTypes.thy 28 29CFunDump.txt 30umm_types.txt 31 32/tools/autocorres/doc/quickstart/output/ 33/tools/autocorres/sel4.txt 34/tools/autocorres/tests/ROOT 35/tools/autocorres/tests/parse-tests/*.thy 36/tools/autocorres/tests/examples/trace_demo_incr.trace 37 38/tools/haskell-translator/caseconvs-useful 39 40/tools/c-parser/StrictC.grm.sig 41/tools/c-parser/StrictC.grm.sml 42/tools/c-parser/StrictC.lex.sml 43 44/camkes/adl-spec/camkes.ML 45 46/internal/ 47