Project

General

Profile

Statistics
| Branch: | Revision:

cool @ 7c4d2eb4

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 184 Bytes
BUGS 764 Bytes
INSTALL 1.13 KB
Makefile 101 Bytes
_oasis 2.46 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
playground.hs 1.42 KB
tatl-compatibility-wrapper.sh 82 Bytes

Latest revisions

# Date Author Comment
7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend

0fe95cdc 04/23/2014 10:20 AM Thorsten Wißmann

Minor _oasis file cleanups

c2f74310 04/23/2014 10:04 AM Thorsten Wißmann

Make coalg build with oasis

b925131a 04/23/2014 12:34 AM Thorsten Wißmann

Make c++ sources compile with oasis

aad01c19 04/22/2014 11:58 PM Thorsten Wißmann

Add first not-yet-working _oasis

7737adc7 04/11/2014 11:46 AM Thorsten Wißmann

Implement OWL printing

bbc6bf4f 04/11/2014 02:25 AM Thorsten Wißmann

Implement comment filtering

4626ef81 04/11/2014 01:24 AM Thorsten Wißmann

Add examples

58c30aee 04/11/2014 01:23 AM Thorsten Wißmann

Implement tree printing

090c8b8a 04/10/2014 12:43 PM Thorsten Wißmann

Add first parser version

View all revisions | View revisions

Also available in: Atom