Project

General

Profile

Activity

From 03/11/2016 to 04/09/2016

04/09/2016

10:15 PM Revision 080482ac (cool): Consider expanable Cores (but not states)
Acceptance test for cores is ∃ which is safe to use when non or only
some child states are created tus far
Christoph Egger
10:15 PM Revision 9fb4b019 (cool): Turn inner fixpoint inside-out
Christoph Egger
03:18 AM Revision f20718d2 (cool): Add header for function used in previous commit
Christoph Egger
03:17 AM Revision fe81b988 (cool): Make real empty set for deferral (not including True)
Christoph Egger
03:17 AM Revision ef0e7121 (cool): Actually use refocused deferral in modal step
Christoph Egger

04/08/2016

08:09 PM Revision 215ad4d7 (cool): Mark `True` only node as Sat
Christoph Egger
08:08 PM Revision 1e781c93 (cool): For now, don't consider Expandable states
Christoph Egger
08:08 PM Revision de84f40d (cool): Mark deferrals bold in graphviz export
Christoph Egger
02:29 AM Revision 0a6a3df5 (cool): Fix inclusion condition for A_x
Christoph Egger
02:28 AM Revision 2fba43c0 (cool): Make Sat children actually propagate their state to the parents
Christoph Egger
02:26 AM Revision 46cd6856 (cool): Preliminarily mark States with no childs Sat in propagateSatMu
Should actually happen when the State changes from `Expandable` to
`Open` and trigger the propagateSatMu but for now ...
Christoph Egger

04/07/2016

05:35 PM Revision 07a36b24 (cool): Reorganize code, start from Sat nodes as well
Not only finishing cycles but also plain sat nodes may cause a node to
be satisfiable
Christoph Egger
04:16 AM Revision 67b07e54 (cool): Restrict finishing nodes used as startingpoint
Only finishing nodes with enough Open / Sat children are to be
considered as startingpoints
Also accept already Sati...
Christoph Egger
02:38 AM Revision 1d5d9896 (cool): Call new propagateSatMu instead of old propagateSat
Christoph Egger
02:37 AM Revision 6bbde09c (cool): preliminary propafateSat for μ-Calculus
This still produces wrong results: It assumes every node with empty
focus to be sat.
Christoph Egger
02:35 AM Revision 6d64bc5a (cool): whitespace cleanup
Christoph Egger
02:34 AM Revision 50df1dc2 (cool): Add function to determin size of Core / State set
Christoph Egger

04/05/2016

04:57 PM Revision 7b21fbae (cool): Some more comments
Christoph Egger
02:56 AM Revision b9a8d969 (cool): Space normalization
Christoph Egger
02:55 AM Revision f4498ed1 (cool): Add documentation on dependencies
Christoph Egger
 

Also available in: Atom