Project

General

Profile

Activity

From 04/29/2016 to 05/28/2016

05/22/2016

01:28 AM Revision 74870253 (cool): Create random coalition for ATL operators
Christoph Egger
01:28 AM Revision 7d83cfb6 (cool): use correct modal operator for ATL
Christoph Egger

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 d0628bb9 (cool): fix generation for CTL
Christoph Egger
10:16 PM Revision 3e2aa1b8 (cool): Remove A( ψ R φ) as it's not supported by all CTL reasoners
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
 

Also available in: Atom