| Branch: | Revision:

cool / src @ 4611a507

Name Size

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...

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

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

Print time durations as float

f82f09b7 05/01/2014 04:46 PM Thorsten Wißmann

Add coalgcompare frontend

ff936590 04/23/2014 10:08 PM Thorsten Wißmann

Parse OWL prefixes

View revisions

Also available in: Atom