Project

General

Profile

Statistics
| Branch: | Revision:

cool / src @ df7f16dc

Name Size
  coalg
  coalgcompare
  lib
  owl
  testsuite

Latest revisions

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

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

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

Fixup coalg-example call

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

c41abd35 07/16/2014 12:08 PM Thorsten Wißmann

Add testcases for K×KD (i.e. for fusion)

672429b4 07/16/2014 12:08 PM Thorsten Wißmann

Make Or-step in And-Or-rules lazy

a9949a25 07/16/2014 12:08 PM Thorsten Wißmann

Use lazylists to remove redudancy

View revisions

Also available in: Atom