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

Created by Lasse S. Jensen on 2016-05-19 and last modified on 2016-05-21
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/framework_game
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

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

Fixed choise for XML format or console in main

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

Added choise for XML format or console in main

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

Added XML format to game

275. By LSJ <email address hidden> on 2016-05-21

alpha version of XMLPlayer, making xml export of the game actions and trace possible

274. By LSJ <email address hidden> on 2016-05-20

Hal v0.3 and we now print the trace afterwards

273. By LSJ <email address hidden> on 2016-05-20

Hal v0.3 and we now print the trace afterwards

272. By LSJ <email address hidden> on 2016-05-20

Hal v0.2 ready for testing

271. By LSJ <email address hidden> on 2016-05-19

Added PetriGame Class to handle logic regarding the game

270. By LSJ <email address hidden> on 2016-05-19

Game ready for beta testing

269. By LSJ <email address hidden> on 2016-05-16

Fixed query indexing error

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.