Project

General

Profile

Activity

From 04/15/2016 to 05/14/2016

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

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

04/19/2016

08:07 PM Revision 0debe698 (cool): Rewrap some code to fit into 90 chars width
Christoph Egger
08:07 PM Revision 6aa0e444 (cool): Only deallocate solver for unsat nodes
We want to still have the solver for naive unsat propagation Christoph Egger
06:34 PM Revision e0906550 (cool): Remove debug output
Christoph Egger
06:32 PM Revision 54c89878 (cool): Only remove solver after Unsat Propagation
Christoph Egger
10:30 AM Revision 9f1263ec (cool): Deallocate satsolver once core becomes `Open`
The satsolver is reatined and only updated with new clauses for every
state that is generated out of a core. Once the...
Christoph Egger

04/18/2016

07:09 PM Revision dce4e4aa (cool): Use proper number of open States when calculating frequency
Instead of some calculation based of finishing on normal Cores really
count proper Open States
Christoph Egger
 

Also available in: Atom