TAPAAL

lp:tapaal

Created by Kenneth Yrke Jørgensen and last modified
Get this branch:
bzr branch lp:tapaal
Members of TAPAAL Developers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
TAPAAL Developers
Project:
TAPAAL
Review team:
TAPAAL Reviewers
Status:
Development

Recent revisions

1172. By <email address hidden>

merged in lp:~tapaal-contributor/tapaal/save-file-browser-location fixing the remembering of the last location for opening a file

1171. By Jiri Srba

merged in a fix for editing LTL queries (in manual edit of E .. and .. and .. it was not possible to remove the last conjuct and reseting of LTL queries didn't work either

1170. By Jiri Srba

merged in lp:~yrke/tapaal/fix1976494 fixing a problem with copying components that contain environmental transitions

1169. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/conjunction-button-fix fixing a problem with and/or buttons in query dialog

1168. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/tapaal/fixTAPNdi fixing a problem with passing inclusion places to verifytapn

1167. By Jiri Srba

merged in lp:~tapaal-contributor/tapaal/fixApprox-trunk fixing problem with over/under-approximation for verifydtapn

1166. By Jiri Srba <email address hidden>

more cleanup

1165. By Jiri Srba <email address hidden>

cleanup in tools and added the most recent scripts for creating distributions

1164. By Jiri Srba <email address hidden>

merged in lp:~yrke/tapaal/fix1947835 fixing problem with delay/fire of transitions in the simulator

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.