1# 2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230) 3# 4# SPDX-License-Identifier: BSD-2-Clause 5# 6 7*.pyc 8*.lev 9*.o 10*~ 11.*.attrib_trace 12.*.skip 13*.lev 14*#*# 15 16/spec/cspec/c/build 17 18/spec/haskell/stack.yaml.lock 19/spec/haskell/doc/**/*.aux 20/spec/haskell/doc/**/*.bbl 21/spec/haskell/doc/**/*.blg 22/spec/haskell/doc/**/*.log 23/spec/haskell/doc/**/*.mpx 24/spec/haskell/doc/**/*.out 25/spec/haskell/doc/**/*.toc 26 27/spec/design/version 28/spec/design/*.thy 29/spec/design/ARM/*.thy 30/spec/design/ARM_HYP/*.thy 31/spec/design/RISCV64/*.thy 32/spec/design/X64/*.thy 33 34/spec/machine/*/MachineTypes.thy 35 36CFunDump.txt 37umm_types.txt 38 39/tools/autocorres/doc/quickstart/output/ 40/tools/autocorres/sel4.txt 41/tools/autocorres/tests/ROOT 42/tools/autocorres/tests/parse-tests/*.thy 43/tools/autocorres/tests/examples/trace_demo_incr.trace 44 45/tools/haskell-translator/caseconvs-useful 46 47/tools/c-parser/StrictC.grm.sig 48/tools/c-parser/StrictC.grm.sml 49/tools/c-parser/StrictC.lex.sml 50 51/camkes/adl-spec/camkes.ML 52 53/internal/ 54