General

Profile

Thorsten Wißmann

Issues

Projects

Activity

03/20/2017

02:26 PM COOL Bug #19: GML formula takes long
On a fast machine, one gets the correct answer within 3 minutes:...

11/18/2016

07:43 PM Shunting Wiki edit: Wiki (#2)

10/19/2016

11:47 AM Shunting Wiki edit: Wiki (#1)
Document clone url

02/11/2016

05:19 PM COOL Revision 4c4531ea (cool): CL: more test formulas
05:08 PM COOL Revision c1a08c36 (cool): CL: create enough rule 2 applications
The previous optimization in the rule 2 applications of coalition logic
left out some rule applications. Now, do enou...
04:46 PM COOL Revision 9944c81b (cool): Add init function to testsuite sections
Allow testcase sections to adjust the global settings before evaluating
the test formulas.

02/05/2016

02:00 PM COOL Revision 9609611d (cool): Fix CL for diamond formula sets with all agents
For the case of two (or more) diamond formulas who all mention the full
agent list, no rule was created, because the ...

01/07/2016

02:08 PM COOL Wiki edit: Overview (#3)
cal8 -> git8

11/24/2015

12:53 PM COOL Revision e0f19999 (cool): Add a lot of comments about cores

07/06/2015

04:36 PM COOL Revision d283bf7a (cool): Use different state sets for different sorts
Patch by Florian Widmann In order to fix the behaviour for the K*K
formulas
[pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3...

Also available in: Atom