/
.hgignore
45 lines (44 loc) · 966 Bytes
/
.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
# *** MOCS-COPYRIGHT-NOTICE-BEGIN ***
#
# This copyright notice is auto-generated by ./add-copyright-notice.
# Additional copyright notices must be added below the last line of this notice.
#
# MoCS (https://lewis.cs.uni-saarland.de/tools/mocs/): ".hgignore".
# The content of this file is copyright of Saarland University -
# Copyright (C) 2009 Saarland University, Reactive Systems Group, Lars Kuhtz.
#
# This file is part of MoCS (https://lewis.cs.uni-saarland.de/tools/mocs/).
#
# License: three-clause BSD style license.
# The license text can be found in the file LICENSE.
#
# *** MOCS-COPYRIGHT-NOTICE-END ***
syntax: glob
doc/*.pdf
doc/*.log
doc/*.aux
test/SuffixRolloutStat
test/RolloutStat
test/Rollout
*.a
*.orig
*.o
vardi*.vhdl
*.dot
*.ps
main
exprtest
auttest
*.hi
haskell-frontend/Main
haskell-frontend/Main2
libaaut.a
haskell-docs**
haskell-docs/src/**
formulas/all.data
libaaut/tags
test/aut
test/rollout
test/ctest
formulas/xst
glob:mocs-*.tar.bz2