~tapaal-dist-ctl/verifypn/CTLGame : changes

~tapaal-dist-ctl/verifypn/CTLGame » Changes from revision 106

From Revision 106 to 87

Rev	Summary	Authors	Date
106	Added game interaction in XML format for player (config part... Added game interaction in XML format for player (config part only)	Søren Moss Nielsen	7 years ago
105	Trace is now outputted to a file Trace is now outputted to a file	Søren Moss Nielsen	7 years ago
104	Created format - still need to transform data and save it to... Created format - still need to transform data and save it to a file	Søren Moss Nielsen	7 years ago
103	Started working on an xml format of the trace Started working on an xml format of the trace	Søren Moss Nielsen	7 years ago
102	Added transitions to the trace Added transitions to the trace	Søren Moss Nielsen	7 years ago
101	Attempting to add transistions Attempting to add transistions	Søren Moss Nielsen	7 years ago
100	help menu now completely alligned help menu now completely alligned	ikaufm12 at aau	7 years ago
99	help menu updated help menu updated	ikaufm12 at aau	7 years ago
98	ctl game works, and has the --ctl-game implemented, can only... ctl game works, and has the --ctl-game implemented, can only be called with ctl logic and the -x flag set	ikaufm12 at aau	7 years ago
97	prop description prop description	ikaufm12 at aau	7 years ago
96	we show the engines choices and checks winning conditions we show the engines choices and checks winning conditions	ikaufm12 at aau	7 years ago
95	propagation value works propagation value works	ikaufm12 at aau	7 years ago
94	Merge Merge	Søren Moss Nielsen	7 years ago
93	Added known list Added known list	Søren Moss Nielsen	7 years ago
92	maybe it works maybe it works	ikaufm12 at aau	7 years ago
91	Added the first interaction Added the first interaction	Søren Moss Nielsen	7 years ago
90	Initial class files added Initial class files added	Søren Moss Nielsen	7 years ago
89	one fix in the script in upper bounds one fix in the script in upper bounds	Jiri Srba	8 years ago
88	changed in the CTL strategy in script changed in the CTL strategy in script	Jiri Srba	8 years ago
87	merged in branch ctl-cache-single-succ merged in branch ctl-cache-single-succ	Jiri Srba	8 years ago

Older »