lp:tapaal/1.4

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

1 recipe using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

363. By Jiri Srba on 2011-06-14

some text fixes and added 2011

362. By Kenneth Yrke Jørgensen on 2011-06-13

Increased versionnumber for bugfix relase

361. By Kenneth Yrke Jørgensen on 2011-06-13

Backport for fix in revision #410,411,412 in lp:tapaal

360. By Kenneth Yrke Jørgensen on 2011-06-13

Fixes bug #781502 handeling failure to open window nicely

359. By Lasse Jacobsen <lassejac@ubuntu> on 2011-04-30

- Fixes bug #769875

358. By Lasse Jacobsen <lassejac@ubuntu> on 2011-04-30

- Fixes bug #769881

357. By Kenneth Yrke Jørgensen on 2011-04-11

Increased version number for relase

356. By Lasse Jacobsen <lassejac@ubuntu> on 2011-04-04

- Fixes bug #750190
  The boundedness checker now uses deg2 broadcast translation if the net
  has inhibitor arcs.

355. By Lasse Jacobsen <lassejac@ubuntu> on 2011-03-27

- fixes bug #737485
  TAPAAL will now warn the user about UPPAAL license activation when trying to
  do boundedness checking or optimization.

354. By Kenneth Yrke Jørgensen on 2011-03-10

Removed building of sourcepackage from Makefile to external script