1#
2# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
3#
4# SPDX-License-Identifier: BSD-2-Clause
5#
6
7*.lev
8*.pdf
9*.html
10*.sty
11*.log
12*.bbl
13*.out
14*.blg
15*.aux
16*.bib
17*.ttf
18*.graffle
19*.ods
20*.txt
21*.svg
22*.odp
23*.odg
24*.pyc
25*.mp
26*.dot
27*.toc
28*.mpx
29*.mlb
30*.o
31*~
32.*.attrib_trace
33.*.skip
34.*.marks
35*.mps
36
37isabelle/*
38internal/*
39.git/*
40
41
42.reuse/dep5
43
44**/ROOTS
45**/MANIFEST
46**/VERSION
47**/*FILES
48**/*LICENSE
49**/licenses
50**/CONTRIBUTORS
51
52**/ulem.sty
53
54spec/abstract/document/*/ARCH.tex
55spec/abstract/document/gitrev.tex
56spec/abstract/document/git-root.tex
57
58spec/haskell/cabal.sandbox.config
59spec/haskell/.cabal-sandbox/*
60spec/haskell/.stack-work/*
61spec/haskell/Setup.hs
62spec/haskell/configure
63spec/haskell/dist/*
64spec/haskell/stack.yaml.lock
65spec/haskell/src/SEL4/Model/PSpace.lhs-boot
66spec/haskell/src/SEL4/Kernel/FaultHandler.lhs-boot
67spec/haskell/src/SEL4/Kernel/Init.lhs-boot
68spec/haskell/src/SEL4/Kernel/CSpace.lhs-boot
69spec/haskell/src/SEL4/Kernel/VSpace.lhs-boot
70spec/haskell/src/SEL4/Kernel/Thread.lhs-boot
71spec/haskell/src/SEL4/Object/Interrupt.lhs-boot
72spec/haskell/src/SEL4/Object/CNode.lhs-boot
73spec/haskell/src/SEL4/Object/Endpoint.lhs-boot
74spec/haskell/src/SEL4/Object/ObjectType.lhs-boot
75spec/haskell/src/SEL4/Object/Structures.lhs-boot
76spec/haskell/src/SEL4/Object/TCB.lhs-boot
77spec/haskell/src/SEL4/Object/IOPort/X64.lhs-boot
78
79spec/design/version
80
81spec/cspec/c/build/*
82
83tools/c-parser/Simpl/SyntaxTest.thy
84tools/c-parser/Simpl/HoareTotalProps.thy
85tools/c-parser/Simpl/Vcg.thy
86tools/c-parser/Simpl/Generalise.thy
87tools/c-parser/Simpl/HoarePartial.thy
88tools/c-parser/Simpl/ROOT
89tools/c-parser/Simpl/HoareTotal.thy
90tools/c-parser/Simpl/generalise_state.ML
91tools/c-parser/Simpl/StateSpace.thy
92tools/c-parser/Simpl/Termination.thy
93tools/c-parser/Simpl/AlternativeSmallStep.thy
94tools/c-parser/Simpl/Semantic.thy
95tools/c-parser/Simpl/Language.thy
96tools/c-parser/Simpl/DPC0Library.thy
97tools/c-parser/Simpl/HeapList.thy
98tools/c-parser/Simpl/HoarePartialDef.thy
99tools/c-parser/Simpl/HoareTotalDef.thy
100tools/c-parser/Simpl/XVcg.thy
101tools/c-parser/Simpl/COPYRIGHT
102tools/c-parser/Simpl/hoare.ML
103tools/c-parser/Simpl/DPC0Expressions.thy
104tools/c-parser/Simpl/Simpl.thy
105tools/c-parser/Simpl/UserGuide.thy
106tools/c-parser/Simpl/hoare_syntax.ML
107tools/c-parser/Simpl/HoarePartialProps.thy
108tools/c-parser/Simpl/SmallStep.thy
109tools/c-parser/Simpl/Hoare.thy
110tools/c-parser/Simpl/Simpl_Heap.thy
111tools/c-parser/Simpl/document/mathpartir.sty
112tools/c-parser/Simpl/ex/ComposeEx.thy
113tools/c-parser/Simpl/ex/VcgExSP.thy
114tools/c-parser/Simpl/ex/Closure.thy
115tools/c-parser/Simpl/ex/Compose.thy
116tools/c-parser/Simpl/ex/VcgEx.thy
117tools/c-parser/Simpl/ex/ProcParEx.thy
118tools/c-parser/Simpl/ex/XVcgEx.thy
119tools/c-parser/Simpl/ex/ProcParExSP.thy
120tools/c-parser/Simpl/ex/Quicksort.thy
121tools/c-parser/Simpl/ex/ClosureEx.thy
122tools/c-parser/Simpl/ex/VcgExTotal.thy
123tools/c-parser/Simpl/document/root.tex
124
125**/CFunDump.txt
126**/umm_types.txt
127
128tools/autocorres/doc/quickstart/output/*
129tools/autocorres/sel4.txt
130tools/autocorres/tests/ROOT
131tools/autocorres/tests/parse-tests/*.thy
132tools/autocorres/tests/examples/trace_demo_incr.trace
133tools/autocorres/tools/release_files/ChangeLog
134tools/autocorres/tools/release_files/licenses
135tools/autocorres/tools/release_files/ROOTS.base_dir
136tools/autocorres/tools/release_files/licenses-ignore
137tools/autocorres/tools/release_files/CONTRIBUTORS
138tools/autocorres/tools/release_files/README
139
140tools/c-parser/standalone-parser/table.ML
141tools/c-parser/StrictC.grm.desc
142tools/c-parser/StrictC.grm.sig
143tools/c-parser/standalone-parser/*/c-parser
144tools/c-parser/standalone-parser/*/tokenizer
145tools/c-parser/tools/mllex/mllex
146tools/c-parser/tools/mlyacc/mlyacc
147tools/c-parser/tools/mlyacc/src/yacc.lex.sml
148tools/c-parser/testfiles/**/*.minfo
149tools/c-parser/testfiles/**/ROOT
150tools/c-parser/testfiles/umm_types.txt
151tools/c-parser/testfiles/modifies_speed.c
152tools/c-parser/testfiles/jiraver473.minfo
153
154tools/haskell-translator/caseconvs-useful
155tools/haskell-translator/primrecs
156tools/haskell-translator/caseconvs
157tools/haskell-translator/supplied
158
159proof/bisim/document/build
160
161camkes/adl-spec/camkes.ML
162