TAPAAL

You can browse the source code for the development focus branch or get a copy of the branch using the command:
bzr branch lp:tapaal

TAPAAL has 13 active branches owned by 1 person and 6 teams. There were 78 commits by 2 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk 		bug 1 Development 2018-05-28 12:26:27 UTC 2018-05-28
963. added older commits to svn repository...

Author: Jiri Srba
Revision Date: 2018-05-28 12:26:27 UTC

added older commits to svn repository (historical data)
lp:tapaal/3.4
Series: 3.4 		2 Mature 2018-05-14 13:29:33 UTC 2018-05-14
963. increased version number to 3.4.2 and...

Author: Jiri Srba
Revision Date: 2018-05-14 13:29:33 UTC

increased version number to 3.4.2 and min req. number of verifypn to 3.0.0
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
Revision Date: 2017-10-05 07:04:03 UTC

Release version of 3.3.0
lp:tapaal/anniversary-next10
Series: anniversary-next10 		bug 1 Development 2018-06-01 15:20:47 UTC 2018-06-01
1136. mereged with trunk

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-06-01 15:20:47 UTC

 mereged with trunk
lp:~yrke/tapaal/guirefactor-playground 1 Development 2018-06-17 17:19:50 UTC 2018-06-17
1157. removed list of allPetriNet Objects f...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-06-17 17:19:50 UTC

removed list of allPetriNet Objects from drawingframe to guiModel
lp:~tapaal-contributor/tapaal/ctl-game 1 Development 2017-07-25 10:08:30 UTC 2017-07-25
1041. Save verification command to be able ...

Author: Mads Johannsen
Revision Date: 2017-07-25 10:08:30 UTC

Save verification command to be able to re-execute it in game mode
lp:~tapaal-compworkflow/tapaal/tapaal-compworkflow-new 1 Development 2015-09-29 19:48:11 UTC 2015-09-29
962. Workflows are now directly scaled wit...

Author: Christoffer Moesgaard
Revision Date: 2015-09-29 19:48:33 UTC

Workflows are now directly scaled without overapprox. PTries are used where applicable.
lp:~tapaal-contributor/tapaal/TAG 1 Development 2015-09-16 16:39:49 UTC 2015-09-16
921. removed dead options

Author: Peter Gjøl Jensen
Revision Date: 2015-09-16 16:39:49 UTC

removed dead options
lp:~tapaal-compworkflow/tapaal/tapaal-compworkflow 1 Development 2015-06-08 07:27:12 UTC 2015-06-08
961. Merge

Author: Christoffer Moesgaard
Revision Date: 2015-06-08 07:27:46 UTC

Merge
lp:~tapaal-reduction/tapaal/tapaal-reduction-3.1 1 Development 2014-12-01 10:58:53 UTC 2014-12-01
915. merged with trunk

Author: Jiri Srba
Revision Date: 2014-12-01 10:58:53 UTC

merged with trunk
lp:~tapaal-contributor/tapaal/BDDtestBranch 0 Experimental 2013-11-15 19:16:56 UTC 2013-11-15
826. Engine output is discarded.

Author: Mathias Grund Sørensen
Revision Date: 2013-11-15 19:15:50 UTC

Engine output is discarded.
lp:~tapaal-workflow/tapaal/swlWorkFlow 1 Development 2012-12-04 11:22:56 UTC 2012-12-04
748. Added maintanence and kill set

Author: Thomas Birch Mogensen
Revision Date: 2012-12-04 11:22:56 UTC

Added maintanence and kill set
lp:~yrke/tapaal/build-scripts 1 Development 2012-03-12 19:54:53 UTC 2012-03-12
691. Added some test release/build scripts

Author: Kenneth Yrke Jørgensen
Revision Date: 2012-03-12 19:54:01 UTC

Added some test release/build scripts
1 → 13 of 13 results First • Previous • Next • Last
You can't create new branches for TAPAAL.