Project

General

Profile

Activity

From 04/23/2016 to 05/22/2016

05/21/2016

03:50 AM Revision 07402362 (cool): Consider also other modal operators as valid guards
Christoph Egger

05/17/2016

02:11 PM Revision e95fd696 (cool): Added TBox normalisation and subsumption reasoning
Ludwig Dietel

05/14/2016

11:50 PM Revision edfbcc2b (cool): Fix deferral tracking for new CoalitionLogic code
Christoph Egger
10:16 PM Revision 2a36974b (cool): Revert to fresh variable names in convertToMu
Christoph Egger
10:16 PM Revision 3e2aa1b8 (cool): Remove A( ψ R φ) as it's not supported by all CTL reasoners
Christoph Egger
10:16 PM Revision d0628bb9 (cool): fix generation for CTL
Christoph Egger
05:27 AM Revision becb9ab2 (cool): Allow creating ATL formulae in randmu
Christoph Egger
05:10 AM Revision e01c4a03 (cool): Merge remote-tracking branch 'origin/master' into flatmu
Christoph Egger

05/12/2016

05:33 PM Revision e08cd8a9 (cool): Fix deferral tracking when "empty" least fixpoints appear
Christoph Egger
04:23 PM Revision 60d2d6aa (cool): Add support for creating CTL formulae
Christoph Egger
04:23 PM Revision 23f1d0e0 (cool): Extra parens in generated formulae
Makes them not only intended alt-free but also parsed to something alt-free Christoph Egger
04:20 PM Revision c126d689 (cool): Fix states with no children
Christoph Egger
02:01 PM Revision bc8db289 (cool): actually verify properties for sat target
Christoph Egger

05/10/2016

10:02 AM Revision de13bc0f (cool): Unify CTL variable name for more global caching
Christoph Egger
03:07 AM Revision eff3ff0c (cool): make HashConsing accept ¬Var ≡ Var
Christoph Egger

05/09/2016

04:47 PM Revision 1ecf0388 (cool): Fix static linking
Christoph Egger

05/06/2016

05:02 PM Revision 39c9b648 (cool): Enforce monotonicity
Christoph Egger
04:50 PM Revision 3b329210 (cool): Also create mlsolver-compatible versions
Christoph Egger

05/04/2016

02:04 PM Revision 4eab42c3 (cool): Add tool to generate random μ-calculus formulas
Christoph Egger

04/28/2016

04:13 PM Revision 52f5465c (cool): Add deferral tracking for Identity
Christoph Egger
04:09 PM Revision a670c5fd (cool): Add deferral tracking for Fusion
Christoph Egger
04:06 PM Revision f40cc23c (cool): Add deferral tracking for Choice
Christoph Egger
03:58 PM Revision 40a714df (cool): Add deferral tracking to CoalitionLogic
Christoph Egger

04/27/2016

07:42 PM Revision f4e43751 (cool): Add Monotone neighbourhood logic
Christoph Egger
 

Also available in: Atom