General

Profile

Christoph Egger's activity

From 04/26/2016 to 05/25/2016

05/22/2016

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

05/21/2016

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

05/14/2016

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

05/12/2016

05:33 PM COOL Revision e08cd8a9 (cool): Fix deferral tracking when "empty" least fixpoints appear
Christoph Egger
04:23 PM COOL Revision 60d2d6aa (cool): Add support for creating CTL formulae
Christoph Egger
04:23 PM COOL 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 COOL Revision c126d689 (cool): Fix states with no children
Christoph Egger
02:01 PM COOL Revision bc8db289 (cool): actually verify properties for sat target
Christoph Egger

05/10/2016

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

05/09/2016

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

05/06/2016

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

05/04/2016

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

04/28/2016

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

04/27/2016

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

Also available in: Atom