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

Branch merges

Propose for merging

Merged into lp:verifydtapn at revision 340

Jiri Srba: Approve on 2020-10-09

Diff: 17 lines (+3/-1)

1 file modified

src/DiscreteVerification/VerificationTypes/SafetySynthesis.cpp (+3/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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