.gitignore 500 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus 's avatar
Michael Hanus committed
5
cpm/src/CPM/ConfigPackage.curry
Michael Hanus 's avatar
Michael Hanus committed
6
*.agdai
Michael Hanus 's avatar
Michael Hanus committed
7
*_cache
8
*_CACHE
Michael Hanus 's avatar
Michael Hanus committed
9
10
11
optimize/.cpm/packages/cass-2.0.0
optimize/.cpm/packages/cass-analysis-2.0.0
optimize/.cpm/packages/flatcurry-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
12
optimize/.cpm/packages/csv-1.0.0
Michael Hanus 's avatar
Michael Hanus committed
13
optimize/.cpm/packages/scc-0.0.1
Michael Hanus 's avatar
Michael Hanus committed
14
optimize/.cpm/packages/xml-2.0.0
Michael Hanus 's avatar
Michael Hanus committed
15
16
optimize/.cpm/packages/frontend-exec-0.0.1
optimize/.cpm/packages/propertyfile-0.0.1
17
18

# executables
Michael Hanus 's avatar
Michael Hanus committed
19
cpm/src/CPM.Main
20
cpns/CPNSD
Michael Hanus 's avatar
Michael Hanus committed
21
optimize/BindingOpt
22
23
www/Registry
www/SubmitForm