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