.gitignore 542 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
10
addtypes/AddTypes
browser/BrowserGUI
browser/SourceProgGUI
Michael Hanus's avatar
Michael Hanus committed
11
12
CASS/cass
CASS/cass_worker
Michael Hanus's avatar
Michael Hanus committed
13
createmakefile/CreateMakefile
Michael Hanus's avatar
Michael Hanus committed
14
curry2js/Curry2JS
15
currypp/Main
16
currypp/ContractWrapper/cwrapper
Michael Hanus's avatar
Michael Hanus committed
17
currycheck/CurryCheck
18
currydoc/CurryDoc
Michael Hanus's avatar
Michael Hanus committed
19
currytest/CurryTest
Michael Hanus's avatar
Michael Hanus committed
20
cusage/CheckUsage
21
22
ertools/ERD2CDBI
ertools/erd2curry
23
24
genint/GenInt
importcalls/ImportCalls
Michael Hanus's avatar
Michael Hanus committed
25
26
optimize/bindingopt
optimize/binding_optimization/BindingOpt
Michael Hanus's avatar
Michael Hanus committed
27
runcurry/RunCurry
Michael Hanus's avatar
Michael Hanus committed
28
spicey/spiceup
29
verification/ToVerifier
Michael Hanus's avatar
Michael Hanus committed
30
xmldata/Data2Xml