.gitignore 647 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
Michael Hanus 's avatar
Michael Hanus committed
5
*.agdai
6
7

# executables
Michael Hanus 's avatar
Michael Hanus committed
8
9
addtypes/AddTypes
browser/BrowserGUI
10
11
browser/GenInt
browser/ShowFlatCurry
Michael Hanus 's avatar
Michael Hanus committed
12
browser/SourceProgGUI
Michael Hanus 's avatar
Michael Hanus committed
13
casc/CASC
14
casc/Docs/curry-style-guide.html
Michael Hanus 's avatar
Michael Hanus committed
15
16
CASS/cass
CASS/cass_worker
17
cpns/CPNSD
Michael Hanus 's avatar
Michael Hanus committed
18
createmakefile/CreateMakefile
Michael Hanus 's avatar
Michael Hanus committed
19
curry2js/Curry2JS
20
currypp/Main
21
currypp/ContractWrapper/cwrapper
Michael Hanus 's avatar
Michael Hanus committed
22
currycheck/CurryCheck
23
currydoc/CurryDoc
Michael Hanus 's avatar
Michael Hanus committed
24
currytest/CurryTest
Michael Hanus 's avatar
Michael Hanus committed
25
cusage/CheckUsage
26
ertools/ERD2CDBI
27
ertools/ERD2Curry
28
importcalls/ImportCalls
Michael Hanus 's avatar
Michael Hanus committed
29
30
optimize/bindingopt
optimize/binding_optimization/BindingOpt
Michael Hanus 's avatar
Michael Hanus committed
31
runcurry/RunCurry
Michael Hanus 's avatar
Michael Hanus committed
32
spicey/spiceup
33
verification/ToVerifier
34
35
www/Registry
www/SubmitForm
Michael Hanus 's avatar
Michael Hanus committed
36
xmldata/Data2Xml