Project

General

Profile

Statistics
| Branch: | Revision:

cool @ 4611a507

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 320 Bytes
BUGS 764 Bytes
INSTALL 1.42 KB
_oasis 3.97 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
4611a507 05/04/2014 05:50 PM Thorsten Wißmann

Parse URIs within < >

c4abe601 05/04/2014 05:38 PM Thorsten Wißmann

Improve error messages and role parsing

38a9d3cf 05/04/2014 04:40 PM Thorsten Wißmann

Parse basic OWL Annotations

54b29b1f 05/04/2014 02:53 PM Thorsten Wißmann

Parse most of the owl class expressions

b5352205 05/04/2014 12:06 PM Thorsten Wißmann

Only use addBSNoChk for simple bitsets

Insert a formula into a bitset without checking for a contradiction. The
former addBS performed a contradiction-check using MiscSolver.arrayNeg
which is a array of size 0 due to not being initialized.

For some reasons this bug only could be triggered when building with...

ed3a7d47 05/03/2014 04:06 PM Thorsten Wißmann

Explicitly name all internal moduls

edf5c0ed 05/03/2014 03:33 PM Thorsten Wißmann

Compile entiere GMLMIP-0.1 into cool

77125941 05/03/2014 03:12 PM Thorsten Wißmann

Move more cpp to c

21e4bb67 05/03/2014 12:50 PM Thorsten Wißmann

Use -cc g++ everywhere in oasis file

85f4551b 05/01/2014 05:27 PM Thorsten Wißmann

Print time durations as float

View all revisions | View revisions

Also available in: Atom