bzr branch lp:tapaal
TAPAAL has 2 active reviews.
TAPAAL has 24 active branches owned by 3 people and 7 teams. There were 23 commits by 3 people in the last month.
Bazaar branches
Name | Status | Last Modified | Last Commit | |
---|---|---|---|---|
lp:tapaal
Series: trunk |
|
1 Development | 2020-12-18 15:26:50 UTC 2020-12-18 |
1117.
merged in lp:~tapaal-contributor/tapa...
Author:
Jiri Srba
merged in lp:~tapaal-contributor/tapaal/show-reduced-net-1879130 adding the possiblity to show the reduced net - relies on the new trunk version of verifypn |
lp:tapaal/3.7
Series: 3.7 |
1 Development | 2020-11-06 15:17:52 UTC 2020-11-06 |
1115.
merged in lp:~tapaal-contributor/tapa...
Author:
Jiri Srba
merged in lp:~tapaal-contributor/tapaal/fix-is-enabled-transition-query fixing problem with transition- |
|
lp:tapaal/3.6
Series: 3.6 |
2 Mature | 2020-05-16 08:53:24 UTC 2020-05-16 |
1052.
merged in lp:~tapaal-contributor/tapa...
Author:
Jiri Srba
merged in lp:~tapaal-contributor/tapaal/undo-up-down-sidepane-3.6-1870894 fixing undo/redo for moving items in the pannels using buttons up/down |
|
lp:tapaal/3.5
Series: 3.5 |
2 Mature | 2019-05-21 09:21:16 UTC 2019-05-21 |
1015.
merged in lp:~tapaal-contributor/tapa...
Author:
Jiri Srba
merged in lp:~tapaal-contributor/tapaal/SaveWithOtherTabOpen-1826218 fixing a problem with saving a net in a non-active tab |
|
lp:~tapaal- |
1 Development | 2021-02-25 14:26:26 UTC 2021-02-25 |
1282.
Fix verfication and unfolding for tim...
Author:
<email address hidden>
Fix verfication and unfolding for time and queries on transition fireability |
|
lp:~tapaal- |
|
1 Development | 2021-02-22 22:56:50 UTC 2021-02-22 |
1119.
Scroll panel resizes with the window
Author:
Lena Said
Scroll panel resizes with the window |
lp:~tapaal- |
|
1 Development | 2021-02-22 22:26:01 UTC 2021-02-22 |
1118.
Fixed tar only possible with AG and EF
Author:
Lena Said
Fixed tar only possible with AG and EF |
lp:~yrke/ |
1 Development | 2020-09-01 15:39:34 UTC 2020-09-01 |
1092.
Fixed main content to a button
Author:
Kenneth Yrke Jørgensen
Fixed main content to a button |
|
lp:~yrke/ |
|
1 Development | 2020-08-30 09:31:59 UTC 2020-08-30 |
1156.
Merged with branch
Author:
Kenneth Yrke Jørgensen
Merged with branch |
lp:~yrke/ |
1 Development | 2020-08-14 11:45:16 UTC 2020-08-14 |
1160.
Merged with trunk
Author:
Kenneth Yrke Jørgensen
Merged with trunk |
|
lp:~tapaal- |
|
1 Development | 2020-08-06 13:34:32 UTC 2020-08-06 |
1072.
Add files
Author:
<email address hidden>
Add files |
lp:~marmux/ |
1 Development | 2020-06-10 02:59:17 UTC 2020-06-10 |
1059.
adding hack for _unc_ transitions
Author:
muniz
adding hack for _unc_ transitions |
|
lp:~marmux/ |
1 Development | 2020-06-10 02:53:53 UTC 2020-06-10 |
1014.
adding hack for _unc_ transitions
Author:
muniz
adding hack for _unc_ transitions |
|
lp:~boginw/ |
1 Development | 2020-05-22 12:50:13 UTC 2020-05-22 |
1049.
now supports XML load, shared transit...
Author:
Bogi Napoleon Wennerstrom
now supports XML load, shared transitions and copy |
|
lp:~tapaal- |
|
1 Development | 2019-12-07 12:38:25 UTC 2019-12-07 |
1035.
Changed debug message
Author:
<email address hidden>
Changed debug message |
lp:~cpn- |
1 Development | 2019-07-30 09:51:08 UTC 2019-07-30 |
1086.
Created the new intervals
Author:
Niels Christensen
Created the new intervals |
|
lp:~tapaal- |
1 Development | 2018-08-08 13:06:26 UTC 2018-08-08 |
966.
Copy/paste places
Author:
<email address hidden>
Copy/paste places |
|
lp:~tapaal- |
1 Development | 2017-07-25 10:08:30 UTC 2017-07-25 |
1041.
Save verification command to be able ...
Author:
Mads Johannsen
Save verification command to be able to re-execute it in game mode |
|
lp:~tapaal- |
1 Development | 2015-09-29 19:48:11 UTC 2015-09-29 |
962.
Workflows are now directly scaled wit...
Author:
Christoffer Moesgaard
Workflows are now directly scaled without overapprox. PTries are used where applicable. |
|
lp:~tapaal- |
1 Development | 2015-09-16 16:39:49 UTC 2015-09-16 |
921.
removed dead options
Author:
Peter Gjøl Jensen
removed dead options |
|
lp:~tapaal- |
1 Development | 2015-06-08 07:27:12 UTC 2015-06-08 |
961.
Merge
Author:
Christoffer Moesgaard
Merge |
|
lp:~tapaal- |
1 Development | 2014-12-01 10:58:53 UTC 2014-12-01 |
915.
merged with trunk
Author:
Jiri Srba
merged with trunk |
|
lp:~tapaal- |
0 Experimental | 2013-11-15 19:16:56 UTC 2013-11-15 |
826.
Engine output is discarded.
Author:
Mathias Grund Sørensen
Engine output is discarded. |
|
lp:~tapaal- |
1 Development | 2012-12-04 11:22:56 UTC 2012-12-04 |
748.
Added maintanence and kill set
Author:
Thomas Birch Mogensen
Added maintanence and kill set |
1 → 24 of 24 results | First • Previous • Next • Last |