TAPAAL 3.5.1

Bug fixes for 3.5 series.

Milestone information

Project:
TAPAAL
Series:
3.5
Version:
3.5.1
Released:
2019-04-23  
Registrant:
Jiri Srba
Release registered:
2019-04-23
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 Peter Gjøl Jensen
Blueprints:
No blueprints are targeted to this milestone.
Bugs:
1 Fix Released

Download files for this release

File Description Downloads

Release notes 

Bug fixes to 3.5 series and updated 3.0.2 engine verifypn.

Changelog 

This release does not have a changelog.

0 blueprints and 1 bug targeted

Bug report Importance Assignee Status
1821153 #1821153 Trace generation broken with reductions 2 Critical Peter Gjøl Jensen  10 Fix Released
This milestone contains Public information
Everyone can see this information.