← Back to branch summary

~tapaal-dist-ctl/verifypn/framework_game

~tapaal-dist-ctl/verifypn/framework_game

Viewing all changes in revision 273.

Committer: lasjen12 at aau
Date: 2016-05-20 15:29:59 UTC
Revision ID: lasjen12@student.aau.dk-20160520152959-98l0m008pegsf91u

Hal v0.3 and we now print the trace afterwards

files modified:
CTL/Game/Game.cpp

CTL/PetriNets/PetriConfig.h

CTL/PetriNets/PetriNetsGame/ComputerPlayer.cpp

CTL/PetriNets/PetriNetsGame/ComputerPlayer.h

verifypnCTL.cpp

Show diffs side-by-side

added added

removed removed

CTL/Game/Game.cpp

CTL/PetriNets/PetriConfig.h

CTL/PetriNets/PetriNetsGame/ComputerPlayer.cpp

CTL/PetriNets/PetriNetsGame/ComputerPlayer.h

verifypnCTL.cpp

Older »