Commits · fd14c96d0d6632749574e1adfd054b92ea42f479 · Jonas Oberschweiber / curry-tools · GitLab

Snippets Groups Projects

Jan 30, 2015
- currypp XmlExample modified · fd14c96d
  Michael Hanus authored 10 years ago
  
  fd14c96d
- Examples for integrated code added and small problem fixed · a0bf456b
  Michael Hanus authored 10 years ago
  
  a0bf456b
Jan 27, 2015
- Removed warnings in CurryDoc · 9e0e7280
  Björn Peemöller authored 10 years ago
  
  9e0e7280
- optimization Makefile repaired · 7eed403a
  Michael Hanus authored 10 years ago
  
  7eed403a
- typeinference makefile built (partially) back · e32a7c48
  Michael Hanus authored 10 years ago
  
  e32a7c48
- Symbolic links for curry2js, genint, importcalls removed · d67e8e3b
  Michael Hanus authored 10 years ago
  
  d67e8e3b
- Corrected Makefile structure · 7d9bcb7f
  Björn Peemöller authored 10 years ago
  
  7d9bcb7f
- Some top-level type signatures added · 80511965
  Michael Hanus authored 10 years ago
  
  80511965
Jan 26, 2015
- clean separated from "make all" in tool makefiles · 17919ef8
  Michael Hanus authored 10 years ago
  
  17919ef8
- Makefiles improved to avoid superfluous remakes · faea6e8b
  Michael Hanus authored 10 years ago
  
  faea6e8b
- spicey/scaffolding/PrettyAbstract adapted to lib version · a9d7c979
  Michael Hanus authored 10 years ago
  
  a9d7c979
- Fixed bug in Makefile w.r.t. variable ROOT · 8463c3c5
  Björn Peemöller authored 10 years ago
  
  8463c3c5
- Improved Makefiles · ba9c5011
  Björn Peemöller authored 10 years ago
  
  ba9c5011
- Fixed two errors for `make clean` · 83d7438b
  Björn Peemöller authored 10 years ago
  
  83d7438b
Jan 23, 2015
- Established new Makefile structure with new targets - fixes #1249 · 4f52a318
  Björn Peemöller authored 10 years ago
  
  4f52a318
- Predefined variable REPL as BINDIR/curry, should work for PAKCS and KiCS2 · 02945349
  Björn Peemöller authored 10 years ago
  
  02945349
- Updated Makefiles · 7edd7329
  Björn Peemöller authored 10 years ago
  
  7edd7329
Jan 20, 2015
- currydoc updated to respect hierarchical module names · af57b8a4
  Michael Hanus authored 10 years ago
  
  af57b8a4
- CASS now re-analyzes program if source OR FlatCurry file is newer than analysis results · c64b7b46
  Michael Hanus authored 10 years ago
  
  c64b7b46
Jan 19, 2015
- CASS: improvements w.r.t. hierarchical module names · 3dc5da81
  Michael Hanus authored 10 years ago
  
  3dc5da81
Jan 16, 2015
- Code refactoring · 289c3b11
  Michael Hanus authored 10 years ago
  
  289c3b11
Jan 15, 2015
- Curry browser: some improvement w.r.t. non-local main modules · f1cd54ef
  Michael Hanus authored 10 years ago
  
  f1cd54ef
- CurryBrowser improved w.r.t. hierarchical module names · 3bc89f10
  Michael Hanus authored 10 years ago
  
  3bc89f10
Dec 19, 2014
- Merge branch 'master' of git-ps.informatik.uni-kiel.de:curry/curry-tools · 5a01f3f5
  Michael Hanus authored 10 years ago
  
  5a01f3f5
- Scaffolding now uses new AbstractCurryGoodies library · ea5506f0
  Michael Hanus authored 10 years ago
  
  ea5506f0
Nov 25, 2014
- Interface generator extended to support hierarchical modules · 45b5010e
  Michael Hanus authored 10 years ago
  
  45b5010e
Nov 17, 2014
- Minor fix · e70ce92a
  Jan Rasmus Tikovsky authored 10 years ago
  
  e70ce92a
Nov 14, 2014
- Adapted binding optimization for support of hierarchical module names · e3675dc1
  Jan Rasmus Tikovsky authored 10 years ago
  
  e3675dc1
Nov 12, 2014

Refactoring of binding optimization · bb8c99ab

Björn Peemöller authored 10 years ago

- Removed warnings
- Simplified code for file name handling
- Introduced type signature for options

bb8c99ab

Nov 07, 2014
- currypp: option -v added, usage text added · 23416544
  Michael Hanus authored 10 years ago
  
  23416544
- currypp Format parser extended to accept expressions as parameters · 1c071695
  Michael Hanus authored 10 years ago
  
  1c071695
Oct 23, 2014
- Option -r (re-analyze) added to CASS, RequiredValue analysis improved · 7da6a7ca
  Michael Hanus authored 10 years ago
  
  7da6a7ca
Oct 15, 2014
- CASS improved w.r.t. handling of non-local paths · 1db4c461
  Michael Hanus authored 10 years ago
  
  1db4c461
Oct 08, 2014
- currypp: README improved, format examples added · 1fefb129
  Michael Hanus authored 10 years ago
  
  1fefb129
Sep 30, 2014
- Removed wrong constructors · a720822e
  Björn Peemöller authored 10 years ago
  
  a720822e
- Improved version of type inference · d58fe078
  Björn Peemöller authored 10 years ago
  
  d58fe078
Sep 23, 2014
- Small bug fix · ddfdf8ad
  Michael Hanus authored 10 years ago
  
  ddfdf8ad
- Tool Data2Xml added · f69211ce
  Michael Hanus authored 10 years ago
  
  f69211ce
Sep 08, 2014
- CASS: delete buggy analysis info files · 6c2e58d9
  Michael Hanus authored 10 years ago
  
  6c2e58d9
Sep 05, 2014
- Binding optimizer added · 0199bc8e
  Michael Hanus authored 10 years ago
  
  0199bc8e