Commits · c74a76e1be982cb1d60d04b1b3aee0df2abb73bd · curry / curry-tools

05 Apr, 2017 2 commits
- currycheck is now downloaded from CPM · c74a76e1
  Michael Hanus authored Apr 05, 2017
  
  c74a76e1
- currydoc removed from tools, cpm updated · 8bf94437
  Michael Hanus authored Apr 05, 2017
  
  8bf94437
04 Apr, 2017 7 commits
- Path dir corrected · b275300e
  Michael Hanus authored Apr 04, 2017
  
  b275300e
- CASS.PackageConfig corrected · 13cd8639
  Michael Hanus authored Apr 04, 2017
  
  13cd8639
- Tool importcalls removed since it is now packaged by CPM · 34672515
  Michael Hanus authored Apr 04, 2017
  
  34672515
- addtypes removed, browser sources added from package · db3b0110
  Michael Hanus authored Apr 04, 2017
  
  db3b0110
- casc and currytest removed · 4555c50a
  Michael Hanus authored Apr 04, 2017
  
  4555c50a
- ertools, peval, xmldata removed since it is available via CPM · 963df404
  Michael Hanus authored Apr 04, 2017
  
  963df404
- spicey and verification removed since it can be installed via CPM · 35704d59
  Michael Hanus authored Apr 04, 2017
  
  35704d59
03 Apr, 2017 5 commits
- ertools are now downloaded by CPM · e91c7ea9
  Michael Hanus authored Apr 03, 2017
  
  e91c7ea9
- createmakefile removed since it is available via CPM · 9fc4ebc5
  Michael Hanus authored Apr 03, 2017
  
  9fc4ebc5
- gitignore updated · 37d1e7b2
  Michael Hanus authored Apr 03, 2017
  
  37d1e7b2
- CPM updated · 50c5abd2
  Michael Hanus authored Apr 03, 2017
  
  50c5abd2
- Binding optimization downloaded from packaged version · 53e109cc
  Michael Hanus authored Apr 03, 2017
  
  53e109cc
02 Apr, 2017 1 commit
- CPM updated · a07a5e36
  Michael Hanus authored Apr 02, 2017
  
  a07a5e36
31 Mar, 2017 1 commit
- CPM updated · 4b0f4b7d
  Michael Hanus authored Mar 31, 2017
  
  4b0f4b7d
29 Mar, 2017 4 commits
- Small fix in CPM Makefile · 63794b9e
  Michael Hanus authored Mar 29, 2017
  
  63794b9e
- CPM short manual page for PAKCS manual added · 7780005f
  Michael Hanus authored Mar 29, 2017
  
  7780005f
- gitignore updated · 79b31cc5
  Michael Hanus authored Mar 29, 2017
  
  79b31cc5
- CPM added to tools · 3f2d1751
  Michael Hanus authored Mar 29, 2017
  
  3f2d1751
02 Mar, 2017 1 commit
- CASS worker executable unified with main executable · e7499a7b
  Michael Hanus authored Mar 02, 2017
  
  e7499a7b
27 Feb, 2017 1 commit
- Curry CreateMake improved · d82181fb
  Michael Hanus authored Feb 27, 2017
  
  d82181fb
24 Feb, 2017 2 commits
- Makefile improved to avoid conflict with parallel make and KiCS2/GHC · 3243ae8d
  Michael Hanus authored Feb 24, 2017
  
  3243ae8d
- Makefile: more dependencies for parallel make added · bd999974
  Michael Hanus authored Feb 24, 2017
  
  bd999974
23 Feb, 2017 2 commits
- Support for parallel make added to tests · bed4d2bf
  Michael Hanus authored Feb 23, 2017
  
  bed4d2bf
- Makefiles improved for better error termination · 72d1fc0c
  Michael Hanus authored Feb 23, 2017
  
  72d1fc0c
22 Feb, 2017 5 commits
- Makefile improved for parallel make · ab065df5
  Michael Hanus authored Feb 22, 2017
  
  ab065df5
- Make of several tools in on directory sequentialized to avoid conflicts with parallel make · a8e6f2d0
  Michael Hanus authored Feb 22, 2017
  
  a8e6f2d0
- lockfile commands replaced by lockfile-create · 41455e39
  Michael Hanus authored Feb 22, 2017
  
  41455e39
- README updated · 82b3df20
  Michael Hanus authored Feb 22, 2017
  
  82b3df20
- cpns demon and www added to tools (and removed from root dir of Curry system) · 1d8c93e0
  Michael Hanus authored Feb 22, 2017
  
  1d8c93e0
10 Feb, 2017 1 commit
- kics2 check: extended to generate floats · d92889bf
  Michael Hanus authored Feb 10, 2017
  
  d92889bf
09 Feb, 2017 1 commit
- Analysis for recursive types added · ae8cee50
  Michael Hanus authored Feb 09, 2017
  
  ae8cee50
07 Feb, 2017 1 commit
- Trace messages removed from analyses · 64b5ae9a
  Michael Hanus authored Feb 07, 2017
  
  64b5ae9a
06 Feb, 2017 3 commits
- Manual updated w.r.t. float type generation · e3ee6771
  Michael Hanus authored Feb 06, 2017
  
  e3ee6771
- Float test added · c15863c9
  Michael Hanus authored Feb 06, 2017
  
  c15863c9
- CurryCheck extended to Float generation · 9be79f86
  Michael Hanus authored Feb 06, 2017
  
  9be79f86
05 Feb, 2017 3 commits
- currycheck fix: clean up w.r.t. non-local programs improved · 4ee8eb88
  Michael Hanus authored Feb 05, 2017
  
  4ee8eb88
- Merge branch 'master' of git.ps.informatik.uni-kiel.de:curry/curry-tools · c710bdc1
  Michael Hanus authored Feb 05, 2017
  
  c710bdc1
- CurryCheck improved for checking non-local modules · fe0ffe63
  Michael Hanus authored Feb 05, 2017
  
  fe0ffe63