TAPAAL

lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815

Created by Mads Johannsen on 2017-09-05 and last modified on 2017-09-05

Get this branch:: bzr branch lp:~tapaal-contributor/tapaal/signed-integers-fix-1714815

Members of TAPAAL Contributors can upload to this branch. Log in for directions.

No branches dependent on this one.

Merged into lp:tapaal at revision 942

Jiri Srba: Approve on 2017-09-06

Critical

Fix Released

942. By Mads Johannsen on 2017-09-05: Allow signed integers in manual edit (for CTL queries)
941. By Jiri Srba <email address hidden> on 2017-08-22: merged branch lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367
940. By Jiri Srba <email address hidden> on 2017-05-23: merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing-fix-810906
for fast drawing of place and transitions when ctl key is hold pressed
939. By Jiri Srba on 2016-12-11: merged in lp:~tapaal-contributor/tapaal/reduction-rules-in-GUI-fix-1648084 that adds rule E to statistics for structural net reductions (for Peter's new NewParser untimed engine)
938. By Jiri Srba on 2016-12-11: merged in branch lp:~tapaal-contributor/tapaal/save-as-fix-1648076 fixing "save as" on Mac OS X
937. By Jiri Srba on 2016-11-27: merged in branch fixing enabled-transition-in-editor-fix-1641313
that also changes the future enabled transitions from blue to yellow
936. By Jiri Srba on 2016-11-12: merged in branch timed-to-untimed-fix-1625989 additing new tool for untiming a net
935. By Jiri Srba on 2016-10-13: merged in branch adding a checkbox in View menu to display 0-age tokens as dots
934. By Jiri Srba on 2016-05-07: merged in branch transition-rotation-fix-1550895 fixing the
rotation of transitions in tikz export
933. By Jiri Srba <email address hidden> on 2016-05-04: merged in branch slash-in-name-fix-1575006

This branch contains Public information

Everyone can see this information.