Commits · 7fe1f7bb89d1b10fc960edc766f48be70264683b · Software / COOL

Browse files

Jul 10, 2014
- Add dummy Makefile · 7fe1f7bb
  Thorsten Wissmann authored 10 years ago
  
  7fe1f7bb
May 16, 2014
- Mention the testsuite in the INSTALL file · 233d5f2b
  Thorsten Wißmann authored 11 years ago
  
  233d5f2b
- Add CL testcases · 2483bba8
  Thorsten Wißmann authored 11 years ago
  
  2483bba8
- Add statistics to testsuite output · dcb82f00
  Thorsten Wißmann authored 11 years ago
  
  dcb82f00
- Add testcases for nominal · ee45f2fd
  Thorsten Wißmann authored 11 years ago
  
  ee45f2fd
- Add testcases for KD · abc6c263
  Thorsten Wißmann authored 11 years ago
  
  abc6c263
- Add basic testcase checking · ab2d3adc
  Thorsten Wißmann authored 11 years ago
  
  ab2d3adc
- Add basic testsuite skeleton · b33c1f3f
  Thorsten Wißmann authored 11 years ago
  
  b33c1f3f
May 15, 2014
- Beautify conversion cliques->coalitions · 202433a6
  Thorsten Wißmann authored 11 years ago
  202433a6
- Do not throw all CL coalitions in one bset · 6e618918
  Thorsten Wißmann authored 11 years ago
  6e618918
- Add some debug output (in comments) · 77a804ab
  Thorsten Wißmann authored 11 years ago
  
  77a804ab
- Add coalition list printing · 26e21f07
  Thorsten Wißmann authored 11 years ago
  
  26e21f07
May 06, 2014
- Improve OWL -> CoAlg conversion · ca99d0c6
  Thorsten Wißmann authored 11 years ago
  
  ca99d0c6
- Connect OWL ontologies with CoAlgReasoner · c78c1ce0
  Thorsten Wißmann authored 11 years ago
  
  c78c1ce0
May 05, 2014
- Implement fuzzy formula conversion to K or GML · dbcce612
  Thorsten Wissmann authored 11 years ago
  
  dbcce612
- Add comments for CoAlgFormula.formula constructors · 0247525c
  Thorsten Wissmann authored 11 years ago
  
  0247525c
- Make if conditions in _oasis more conform · 59b6a7fd
  Thorsten Wissmann authored 11 years ago
  
  59b6a7fd
May 04, 2014
- Add some basic OWL->CoAlg conversions · d4d7ef59
  Thorsten Wissmann authored 11 years ago
  
  d4d7ef59
- Parse URIs within < > · 4611a507
  Thorsten Wissmann authored 11 years ago
  
  4611a507
- Improve error messages and role parsing · c4abe601
  Thorsten Wissmann authored 11 years ago
  
  c4abe601
- Parse basic OWL Annotations · 38a9d3cf
  Thorsten Wissmann authored 11 years ago
  
  38a9d3cf
- Parse most of the owl class expressions · 54b29b1f
  Thorsten Wissmann authored 11 years ago
  
  54b29b1f
- Only use addBSNoChk for simple bitsets · b5352205
  Thorsten Wissmann authored 11 years ago
  b5352205
May 03, 2014
- Explicitly name all internal moduls · ed3a7d47
  Thorsten Wissmann authored 11 years ago
  
  ed3a7d47
- Compile entiere GMLMIP-0.1 into cool · edf5c0ed
  Thorsten Wissmann authored 11 years ago
  
  edf5c0ed
- Move more cpp to c · 77125941
  Thorsten Wissmann authored 11 years ago
  
  77125941
- Use -cc g++ everywhere in oasis file · 21e4bb67
  Thorsten Wissmann authored 11 years ago
  
  21e4bb67
May 01, 2014
- Print time durations as float · 85f4551b
  Thorsten Wissmann authored 11 years ago
  
  85f4551b
- Add build flat for static linking · cac42fce
  Thorsten Wissmann authored 11 years ago
  
  cac42fce
- Add coalgcompare frontend · f82f09b7
  Thorsten Wissmann authored 11 years ago
  
  f82f09b7
Apr 23, 2014
- Parse OWL prefixes · ff936590
  Thorsten Wissmann authored 11 years ago
  
  ff936590
- Advanced tree parsing and ontology printing · 6261fa28
  Thorsten Wissmann authored 11 years ago
  
  6261fa28
- Remove old toplevel Makefile · 39cd3579
  Thorsten Wissmann authored 11 years ago
  
  39cd3579
- Add OWL frontend · 7f2800d0
  Thorsten Wissmann authored 11 years ago
  
  7f2800d0
- Improve _oasis file · 7b8150bd
  Thorsten Wissmann authored 11 years ago
  
  7b8150bd
- Update INSTALL to oasis build process · 2340c194
  Thorsten Wissmann authored 11 years ago
  
  2340c194
- Add oasis temp files to .gitignore · 52abec3a
  Thorsten Wissmann authored 11 years ago
  
  52abec3a
- Separate cool into library and coalg frontend · 7c4d2eb4
  Thorsten Wissmann authored 11 years ago
  
  7c4d2eb4
- Minor _oasis file cleanups · 0fe95cdc
  Thorsten Wissmann authored 11 years ago
  
  0fe95cdc
- Make coalg build with oasis · c2f74310
  Thorsten Wissmann authored 11 years ago
  
  c2f74310