| Branch: | Revision:

cool / src @ 4611a507

# 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

6261fa28 04/23/2014 09:00 PM Thorsten Wißmann

Advanced tree parsing and ontology printing

7f2800d0 04/23/2014 12:37 PM Thorsten Wißmann

Add OWL frontend

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend

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

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

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

61f29ad2 04/07/2014 01:41 PM Thorsten Wißmann

Add tokenizer

831116ec 04/07/2014 01:41 PM Thorsten Wißmann

Add basic and empty OWL ml-files

e22d9d57 03/31/2014 03:25 PM Thorsten Wißmann

Add tarball creation

07c21167 03/31/2014 03:09 PM Thorsten Wißmann

Move sources of coalg to src subfolder