Commits · 9fed82b2a3c057657319eba461d51bf9eab98b42 · curry / curry-tools

12 Apr, 2017 2 commits
- runtest definition in Makefiles improved (curry_bin added) · 9fed82b2
  Michael Hanus authored Apr 12, 2017
  
  9fed82b2
- CPM updated · b84a2729
  Michael Hanus authored Apr 12, 2017
  
  b84a2729
11 Apr, 2017 1 commit
- CPM updated from package repository · 911a8429
  Michael Hanus authored Apr 11, 2017
  
  911a8429
06 Apr, 2017 2 commits
- curry2js removed since it is not packaged by CPM · bdad0760
  Michael Hanus authored Apr 06, 2017
  
  bdad0760
- Dpendencies in package.json removed to allow running "cpm test" without installed packages · 30b17a08
  Michael Hanus authored Apr 06, 2017
  
  30b17a08
05 Apr, 2017 5 commits
- runcurry downloaded from CPM · c24cb1f2
  Michael Hanus authored Apr 05, 2017
  
  c24cb1f2
- CASS and analysis removed (now available by CPM) · 78263861
  Michael Hanus authored Apr 05, 2017
  
  78263861
- currypp implementation is now downloaded from CPM · 45b90256
  Michael Hanus authored Apr 05, 2017
  
  45b90256
- 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