bzr branch lp:tapaal
TAPAAL has 2 active reviews.
TAPAAL has 19 active branches owned by 1 person and 7 teams. There were 50 commits by 6 people in the last month.
Bazaar branches
| Name | Status | Last Modified | Last Commit | |
|---|---|---|---|---|
|
lp:tapaal
Series: trunk |
|
1 Development | 2018-10-09 12:50:41 UTC 2018-10-09 |
977.
Merged in branch lp:~yrke/tapaal/tapa...
Author:
Jiri Srba
Merged in branch lp:~yrke/tapaal/tapaal-DatalayerClenup doing cleanup in Datalayer |
|
lp:tapaal/3.4
Series: 3.4 |
2 Mature | 2018-06-29 07:34:20 UTC 2018-06-29 |
964.
increased version number to 3.4.3 and...
Author:
Jiri Srba
increased version number to 3.4.3 and min version for verifypn to 3.0.1 |
|
|
lp:tapaal/3.3
Series: 3.3 |
2 Mature | 2017-10-05 07:04:03 UTC 2017-10-05 |
948.
Release version of 3.3.0
Author:
Jiri Srba
Release version of 3.3.0 |
|
|
lp:~cpn- |
1 Development | 2018-10-15 11:21:05 UTC 5 hours ago |
989.
Merged from r986 lp:~cpn-gui/tapaal/d...
Author:
Thomas Frandsen
Merged from r986 lp:~cpn-gui/tapaal/declarationsGUI |
|
|
lp:~yrke/ |
|
1 Development | 2018-10-14 19:12:41 UTC 21 hours ago |
1029.
Made transition internals protected
Author:
Kenneth Yrke Jørgensen
Made transition internals protected |
|
lp:~cpn- |
1 Development | 2018-10-12 13:35:30 UTC 2018-10-12 |
986.
added declarations to the TAPNNETNETW...
Author:
Mark Glavind
added declarations to the TAPNNETNETWORK model and started on the GUI implementation |
|
|
lp:~tapaal- |
|
1 Development | 2018-09-27 14:31:57 UTC 2018-09-27 |
977.
Each component now only shows once. f...
Author:
<email address hidden>
Each component now only shows once. fix exception message |
|
lp:~yrke/ |
|
1 Development | 2018-09-24 11:36:07 UTC 2018-09-24 |
1004.
Removed method deleteSelection from s...
Author:
Kenneth Yrke Jørgensen
Removed method deleteSelection from selection manager The function seems to be redundent with the seleteSelection in |
|
lp:~cpn- |
1 Development | 2018-09-21 12:45:47 UTC 2018-09-21 |
975.
merged in branch lp:~tapaal-contribut...
Author:
Jiri Srba
merged in branch lp:~tapaal-contributor/tapaal/highlight-names-on-select-1786755 |
|
|
lp:~tapaal- |
|
1 Development | 2018-09-12 11:47:55 UTC 2018-09-12 |
973.
use verifyPN for untimed nets and ver...
Author:
<email address hidden>
use verifyPN for untimed nets and verifyTAPN for timed nets on deadlock and state space in batch |
|
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:~yrke/ |
1 Development | 2018-07-03 11:15:44 UTC 2018-07-03 |
1137.
inplemented skeleton structor of the ...
Author:
Kenneth Yrke Jørgensen
inplemented skeleton structor of the debug menu |
|
|
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 → 19 of 19 results | First • Previous • Next • Last |
