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

Created by Søren Moss Nielsen on 2016-05-03 and last modified on 2016-05-12
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/CTLGame
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Development

Recent revisions

106. By Søren Moss Nielsen <email address hidden> on 2016-05-12

Added game interaction in XML format for player (config part only)

105. By Søren Moss Nielsen <email address hidden> on 2016-05-12

Trace is now outputted to a file

104. By Søren Moss Nielsen <email address hidden> on 2016-05-11

Created format - still need to transform data and save it to a file

103. By Søren Moss Nielsen <email address hidden> on 2016-05-11

Started working on an xml format of the trace

102. By Søren Moss Nielsen <email address hidden> on 2016-05-11

Added transitions to the trace

101. By Søren Moss Nielsen <email address hidden> on 2016-05-11

Attempting to add transistions

100. By Isabella Kaufmann <email address hidden> on 2016-05-06

help menu now completely alligned

99. By Isabella Kaufmann <email address hidden> on 2016-05-06

help menu updated

98. By Isabella Kaufmann <email address hidden> on 2016-05-06

ctl game works, and has the --ctl-game implemented, can only be called with ctl logic and the -x flag set

97. By Isabella Kaufmann <email address hidden> on 2016-05-05

prop description

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.