TAPAAL

TAPAAL 3.4.1

  1. Series 3.4
  2. 3.4.1

bug fixes to 3.4 series

Milestone information

Project:
TAPAAL
Series:
3.4
Version:
3.4.1
Released:
 
Registrant:
Jiri Srba
Release registered:
Active:
No. Drivers cannot target bugs and blueprints to this milestone.  

Download RDF metadata

Activities

Assigned to you:
No blueprints or bugs assigned to you.
Assignees:
1 Kenneth Yrke Jørgensen
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
1 Fix Released

Download files for this release

File Description Downloads

Release notes 

Fixes:
launching TAPAAL GUI on Mac Os X with Java 9,
conversion of Reachability to CTL queires in the query creation dialog,
fixes in evaluating arithmetical expressions and nested deadlock queries in the untimed verifypn engine for P/T nets.

Changelog 

View the full changelog

Fixes:
launching TAPAAL GUI on Mac Os X with Java 9,
conversion of Reachability to CTL queires in the query creation dialog,
fixes in evaluating arithmetical expressions and nested deadlock queries in the untimed verifypn engine for P/T nets.

0 blueprints and 1 bug targeted

Bug report Importance Assignee Status
1756865 #1756865 TAPAAL on Mac with Java 8 does not work 2 Critical Kenneth Yrke Jørgensen  10 Fix Released
This milestone contains Public information
Everyone can see this information.