Project

General

Profile

Statistics
| Branch: | Revision:

cool @ df7f16dc

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 320 Bytes
BUGS 764 Bytes
INSTALL 1.51 KB
Makefile 258 Bytes
_oasis 4.32 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
makestatic.sh 933 Bytes
playground.hs 1.42 KB
tatl-compatibility-wrapper.sh 82 Bytes

Latest revisions

# Date Author Comment
df7f16dc 07/17/2014 01:41 AM Dominik Paulus

Import ocaml-glpk from https://github.com/smimram/ocaml-glpk

1c4f2133 07/16/2014 03:37 PM Thorsten Wißmann

Omit benchmarks in static tarball

a9243a88 07/16/2014 03:35 PM Thorsten Wißmann

Fixup coalg-example call

9066f726 07/16/2014 03:35 PM Thorsten Wißmann

Add script for static tarball creation

b03cc745 07/16/2014 02:59 PM Thorsten Wißmann

Use generic functor parsing in coalg

db23edf7 07/16/2014 02:50 PM Thorsten Wißmann

Implement more generic functor parsing/printing

68ba7342 07/16/2014 02:28 PM Thorsten Wißmann

Implement sortTable generation

9a28ed81 07/16/2014 01:53 PM Thorsten Wißmann

Fix testcase for K*KD and add K+KD cases

3879f710 07/16/2014 01:53 PM Thorsten Wißmann

Implement parsing of complex functors

57224165 07/16/2014 12:58 PM Thorsten Wißmann

Reconfigure setup.ml on _oasis change

View all revisions | View revisions

Also available in: Atom