Project

General

Profile

Activity

From 07/22/2014 to 08/20/2014

08/20/2014

11:38 PM Revision a0ad2fd9 (cool): Clean up FuzzyALCReasoner
Dominik Paulus
11:38 PM Revision 79319a4e (cool): Clean up FuzzyALCABox
Dominik Paulus
11:19 PM Revision 947cb55b (cool): Silence some warnings
Dominik Paulus
11:09 PM Revision 0e416509 (cool): Use multiset for storing assertions
Dominik Paulus
08:50 PM Revision 6f1cc141 (cool): Lots of fixes
Dominik Paulus
06:57 PM Revision bc0e1ded (cool): Fix stupid bug in toAssertion
Dominik Paulus
06:08 PM Revision 2061032f (cool): Optimization: Let negation elimination prune
Dominik Paulus
05:41 PM Revision 643083bb (cool): Output status of solvability
Dominik Paulus
03:49 PM Revision 14164a0d (cool): Proper return value checking
Dominik Paulus
03:29 PM Revision 6db6cee6 (cool): Don't double-apply existsleft
Dominik Paulus
02:52 PM Revision 4dd2952c (cool): Add flags to Inequality Set
Dominik Paulus

08/18/2014

05:41 PM Revision a5871a7d (cool): Add "open HashConsing" to silence warnings
Dominik Paulus
05:17 PM Revision 0fdaaf30 (cool): Fooo
Dominik Paulus

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
 

Also available in: Atom