VerifyDTAPN

lp:~verifydtapn-contributers/verifydtapn/af-games

Created by Peter Gjøl Jensen on 2020-08-25 and last modified on 2020-10-08
Get this branch:
bzr branch lp:~verifydtapn-contributers/verifydtapn/af-games
Members of verifydtapn-contributers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
verifydtapn-contributers
Project:
VerifyDTAPN
Status:
Merged

Recent revisions

382. By Peter G. Jensen <email address hidden> on 2020-10-08

collision in uniqueness check w. null value

381. By Peter G. Jensen <email address hidden> on 2020-10-08

merged in trunk

380. By Peter G. Jensen <email address hidden> on 2020-08-30

missing winning check

379. By Peter G. Jensen <email address hidden> on 2020-08-27

using sort instead of expensive set

378. By Peter G. Jensen <email address hidden> on 2020-08-27

switched to small data-type

377. By Peter G. Jensen <email address hidden> on 2020-08-27

fixing AF computation

376. By Peter G. Jensen <email address hidden> on 2020-08-26

wrong initial and terminal check of control: AF

375. By Peter G. Jensen <email address hidden> on 2020-08-25

should implement AF

374. By Kenneth Yrke Jørgensen on 2020-08-14

merged trunk

373. By Kenneth Yrke Jørgensen on 2020-08-14

Added build instructions for cross-compile for Windows

Branch metadata

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