.gitignore 537 Bytes
Newer Older
1
2
3
# intermediate files
*~
.curry
4
Curry_Main_Goal.curry
5
6

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