This repository has been archived by the owner on Jun 12, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy path.hgignore
76 lines (53 loc) · 2.15 KB
/
.hgignore
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
syntax: glob
afp-export-20??-??-??
*.pyc
*~
.DS_Store
thys/Tree-Automata/code/haskell/generated/Nat.hs
thys/Tree-Automata/code/haskell/generated/Ta.hs
thys/Tree-Automata/code/ml/generated/Ta.ML
thys/Tree-Automata/code/ocaml/generated/Ta.ml
thys/BinarySearchTree/BinaryTree_Code.ML
thys/BinarySearchTree/BinaryTree_TacticStyle_Code.ML
thys/CAVA_LTL_Modelchecker/code/examples/mulog/Mulog_Export.sml
thys/ClockSynchInst/document/abs_distrib_mult.cvc
thys/ClockSynchInst/document/abs_distrib_mult.ics
thys/ClockSynchInst/document/abs_distrib_mult2.cvc
thys/ClockSynchInst/document/accur_pres.cvc
thys/ClockSynchInst/document/accur_pres.ics
thys/ClockSynchInst/document/bound_prec_enh.cvc
thys/ClockSynchInst/document/bound_prec_enh.ics
thys/ClockSynchInst/document/bound_prec_enh4.cvc
thys/ClockSynchInst/document/bound_prec_enh7.cvc
thys/Depth-First-Search/dfs.ML
thys/Well_Quasi_Orders/generated/
thys/JinjaThreads/Execute/JVM_Execute2.ML
thys/JinjaThreads/Execute/JWellForm.ML
thys/JinjaThreads/Execute/J_Execute.ML
thys/JinjaThreads/JVM_Execute2.ML
thys/JinjaThreads/JWellForm.ML
thys/JinjaThreads/J_Execute.ML
thys/Vickrey_Clarke_Groves/VCG-withoutWrapper.scala
thys/CAVA_LTL_Modelchecker/Nested_DFS/nested_dfs_hash.sml
thys/CAVA_LTL_Modelchecker/code/CAVA_Export.sml
thys/Collections/Examples/Autoref/nested_dfs.sml
thys/Promela/Promela.sml
thys/Formal_SSA/BraunSSA.ml
thys/LTL_to_DRA/Code/LTL_to_DRA_Translator.sml
thys/EdmondsKarp_Maxflow/evaluation/fofu-SML/Fofu_Export.sml
thys/Refine_Imperative_HOL/benchmarks/Dijkstra/isabelle/dijkstra_export.sml
thys/Refine_Imperative_HOL/benchmarks/Heapmap/isabelle/heapmap_export.sml
thys/Refine_Imperative_HOL/benchmarks/NestedDFS/isabelle/NDFS_Benchmark_export.sml
thys/SPARCv8/SparcModel_MMU/sparc_seq
thys/Tree-Automata/code/haskell/generated/Array.hs
thys/Tree-Automata/code/haskell/generated/Data_Bits.hs
thys/Tree-Automata/code/haskell/generated/Natural.hs
thys/Tree-Automata/code/haskell/generated/Uint32.hs
thys/Verified_SAT_Based_AI_Planning/code/generated
thys/Simplicial_complexes_and_boolean_functions/BDD/*.hs
thys/Simplicial_complexes_and_boolean_functions/SMLBDD
admin/py-bootstrap
admin/venv
tools/**.jar
web/hugo
out/