Project

General

Profile

Activity

From 07/17/2014 to 08/15/2014

08/13/2014

10:46 AM Revision a27900f8 (cool): More rules (not compiling)
Dominik Paulus

07/27/2014

08:46 PM Revision d751b16d (cool): Implement simple REPL
Thorsten Wißmann
07:51 PM Revision b2369796 (cool): Add binding for curses getch()
Thorsten Wißmann
07:43 PM Revision 8c423c7a (cool): Add curses painting basics
Thorsten Wißmann
06:18 PM Revision 7844abb2 (cool): Make readline cursor position utf-8 aware
Thorsten Wißmann
05:58 PM Revision ba931a9b (cool): Add readline bindings for callbacks
Thorsten Wißmann
05:40 PM Revision cf40c330 (cool): barbaz
Dominik Paulus
05:02 PM Revision c14c011a (cool): Add basic curses and readline bindings
Thorsten Wißmann
02:12 PM Revision 7c8d6389 (cool): Fix role parsing + output in FuzzyALCABox
Dominik Paulus

07/26/2014

01:11 PM Revision 37cba6ea (cool): Use ints instead of strings as role identifiers
Dominik Paulus
01:03 PM Revision 7165531e (cool): Bar
Dominik Paulus

07/21/2014

07:39 PM cool-x86_64-2014-07-21-19-41.zip
Static Linux 64-bit binaries from 21st July 2014 Thorsten Wißmann
02:48 PM Revision 433c8a2e (cool): Reset CoAlgReasoner to the version ee45f2f
This fixes an assertion that failed for the PML+K formula
sat "({>= 3/5} (False + <R1> True & <R2> True) & {>= 2/...
Thorsten Wißmann
02:42 PM Revision 72e541b6 (cool): Add failing PML+K testcase
Thorsten Wißmann
02:33 PM Revision aadc6a87 (cool): Flush stdout more often in testsuite
Thorsten Wißmann
01:49 PM Revision 9bae2c4f (cool): Implement the REAL box of PML
Thorsten Wißmann
12:47 PM Revision 3e5fbf7e (cool): Update helper message
Thorsten Wißmann
12:21 PM Revision 25fb6e92 (cool): Glue GMLMIP and Cool together for PML purposes
Thorsten Wißmann
11:34 AM Revision c855ba91 (cool): Change AtMostProbable to LessProbableThan
The actual box of PML (in GMLMIP) is: less probable than. The Diamond
is: At least Probable than.
So now you have ¬[...
Thorsten Wißmann
11:05 AM Revision eda515b6 (cool): Add ocaml part of PML rule application
Thorsten Wißmann
10:55 AM Revision 910d5f05 (cool): Remove redundancy from testsuite file
Thorsten Wißmann

07/20/2014

04:54 PM Revision d193f4aa (cool): Remove debug output
Thorsten Wißmann
04:04 PM Revision 36bfdafd (cool): Implement parsing of composition of functors
Thorsten Wißmann
12:05 PM Revision ab7dc651 (cool): Disable glpk_stub.c until we do not need GMLMIP anymore
Thorsten Wißmann
11:57 AM Feature #29 (New): Implement PML via using gmlmip
Thorsten Wißmann
11:56 AM Feature #28 (New): Web-Interface
Implement some web-based interface for cool and place it on the chair's homepage Thorsten Wißmann
11:05 AM Revision 86b07be8 (cool): Add formula constructors for PML
Thorsten Wißmann
11:05 AM Revision 4bfb63a1 (cool): Remove unneeded variables
Thorsten Wißmann
11:04 AM Revision bc6db513 (cool): Fix equal_hcFormula_node for CL
Thorsten Wißmann

07/19/2014

06:38 PM Revision 81435cc4 (cool): Add syntax for PML
Thorsten Wißmann
06:36 PM Revision e5422169 (cool): Add syntax for PML
Thorsten Wißmann
05:27 PM Revision da0ea00b (cool): Add more comments to the reasoner core
Thorsten Wißmann

07/17/2014

03:11 PM cool-x86_64-2014-07-17.zip
Thorsten Wißmann
01:20 PM Revision 8bc4dc6e (cool): ruleandright
Dominik Paulus
12:43 PM Revision 0cd56fc0 (cool): Add proof-of-concept atomic ABox solver
Dominik Paulus
12:43 PM Revision 5a95c304 (cool): Instantiate hash-consing for concepts
Dominik Paulus
12:43 PM Revision 275a8023 (cool): Some more stuff
Dominik Paulus
12:43 PM Revision d3f0fb7b (cool): Sets instead of lists
Dominik Paulus
12:43 PM Revision 9460cf0f (cool): foobar
Dominik Paulus
12:43 PM Revision 5e4644fe (cool): PoC Fuzzy ALC stuff
Dominik Paulus
12:43 PM Revision c6b0b985 (cool): Parse inequalities instead of simple assertions
Dominik Paulus
12:43 PM Revision 77299856 (cool): replace/collapse stuff
Dominik Paulus
12:43 PM Revision a5ace238 (cool): Parse role names
Dominik Paulus
12:43 PM Revision 8edd41c1 (cool): Remove unused functions from interface
Dominik Paulus
12:00 PM Revision afec59bf (cool): Fix name of testsuite section K*KD
Thorsten Wißmann
11:46 AM Revision 02491e96 (cool): Add bash -e flag to makestatic.sh
Thorsten Wißmann
11:28 AM Revision fb2c1297 (cool): Implement OWL axioms DISJOINTUNION and DISJOINTCLASSES
Thorsten Wißmann
10:50 AM Revision 57192479 (cool): Update dependencies in INSTALL file
Thorsten Wißmann

07/16/2014

01:43 AM Revision d1c3e8ff (cool): Port glpk_stub.c to GLPK 4.54 and add it to _oasis
Some options and functions are still missing, e.g. MILP support Dominik Paulus
01:41 AM Revision 21b7f7bc (cool): run astyle on glpk_stub.c
Dominik Paulus
01:41 AM Revision df7f16dc (cool): Import ocaml-glpk from https://github.com/smimram/ocaml-glpk
Dominik Paulus
 

Also available in: Atom