← Back to branch summary

~tapaal-dist-ctl/verifypn/framework_game

~tapaal-dist-ctl/verifypn/framework_game

Viewing all changes in revision 270.

Committer: lasjen12 at aau
Date: 2016-05-19 14:37:53 UTC
Revision ID: lasjen12@student.aau.dk-20160519143753-gffz7s50e6ynztk4

Game ready for beta testing

Show diffs side-by-side

added added

removed removed

CTL/Algorithm/DistCZeroFPA.h

CTL/Algorithm/PartitionFunction.h

CTL/DependencyGraph/Configuration.h

CTL/DependencyGraph/Edge.cpp

CTL/DependencyGraph/Edge.h

CTL/Game/Game.cpp

CTL/Game/Game.h

CTL/Game/Position.h

CTL/Game/Round.h

CTL/Game/iPlayer.h

CTL/PetriNets/PetriConfig.h

CTL/PetriNets/PetriNetsGame/

CTL/PetriNets/PetriNetsGame/ComputerPlayer.cpp

CTL/PetriNets/PetriNetsGame/ComputerPlayer.h

CTL/PetriNets/PetriNetsGame/ConsolePlayer.cpp

CTL/PetriNets/PetriNetsGame/ConsolePlayer.h

CTL/PetriNets/PetriNetsGame/PetriGame.cpp

CTL/PetriNets/PetriNetsGame/PetriGame.h

verifypnCTL.cpp

Older »