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 1 active review.

TAPAAL has 21 active branches owned by 1 person and 6 teams. There were 29 commits by 3 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2017-05-23 08:16:55 UTC 2017-05-23
940. merged in branch lp:~tapaal-contribut...

Author: Jiri Srba
Revision Date: 2017-05-23 08:16:55 UTC

merged in branch lp:~tapaal-contributor/tapaal/rapid-drawing-fix-810906
for fast drawing of place and transitions when ctl key is hold pressed

lp:tapaal/3.2
Series: 3.2
2 Mature 2016-12-11 19:46:16 UTC 2016-12-11
947. merged in branch ~tapaal-contributor/...

Author: Jiri Srba
Revision Date: 2016-12-11 19:46:16 UTC

merged in branch ~tapaal-contributor/tapaal/save-as-fix-1648076 fixing "save as" on Mac OS X

lp:tapaal/3.1
Series: 3.1
2 Mature 2015-09-29 17:49:29 UTC 2015-09-29
917. merged a fix for a deep copy of a new...

Author: Jiri Srba
Revision Date: 2015-09-29 17:49:29 UTC

merged a fix for a deep copy of a new for workflow analysis - fixes bug #1430510

lp:tapaal/3.0
Series: 3.0
2 Mature 2014-02-26 19:56:05 UTC 2014-02-26
855. Released version of 3.0.0

Author: Jiri Srba
Revision Date: 2014-02-26 19:56:05 UTC

Released version of 3.0.0

lp:tapaal/2.4
Series: 2.4
2 Mature 2014-01-26 19:13:53 UTC 2014-01-26
835. increased version number of TAPAAL to...

Author: Jiri Srba
Revision Date: 2014-01-26 19:13:53 UTC

increased version number of TAPAAL to 2.4.3

lp:~tapaal-contributor/tapaal/ctl-query-fix-1540367 bug(Has a merge proposal) 1 Development 2017-06-27 20:41:50 UTC 2017-06-27
1050. fixed punctuation in tool tip

Author: Jiri Srba
Revision Date: 2017-06-27 20:41:50 UTC

fixed punctuation in tool tip

lp:~tapaal-contributor/tapaal/ctl-game 1 Development 2016-08-31 13:58:03 UTC 2016-08-31
1037. Merge and tooltip

Author: Mads Johannsen
Revision Date: 2016-08-31 13:58:03 UTC

Merge and tooltip

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/2.3 2 Mature 2013-06-28 17:14:53 UTC 2013-06-28
777. merged in a branch fixing a problem w...

Author: Jiri Srba
Revision Date: 2013-06-28 17:14:53 UTC

merged in a branch fixing a problem where deadlock was reported twice

lp:tapaal/2.2 2 Mature 2012-12-05 14:41:34 UTC 2012-12-05
746. increased version number to 2.2.1 (no...

Author: Jiri Srba
Revision Date: 2012-12-05 14:41:34 UTC

increased version number to 2.2.1 (no changes only new engine released)

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:~tapaal-contributor/tapaal/ctrlAHighlight bug 1 Development 2012-10-20 09:41:00 UTC 2012-10-20
741. Makes it possible to highlight the wh...

Author: Jakob Taankvist
Revision Date: 2012-10-20 09:35:29 UTC

Makes it possible to highlight the whole net by pressing ctrl A
However when changing components it doesnt work - if we change the key to press it works, but i cant find the cause of this?

lp:tapaal/2.1 2 Mature 2012-10-15 20:57:13 UTC 2012-10-15
727. changed the version number to 2.1.3

Author: Jiri Srba
Revision Date: 2012-10-15 20:57:13 UTC

changed the version number to 2.1.3

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

lp:~yrke/tapaal/gui-refactor 1 Development 2012-02-22 16:07:26 UTC 2012-02-22
663. Removed file Pipe.java

Author: Kenneth Yrke Jørgensen
Revision Date: 2012-02-22 16:07:26 UTC

Removed file Pipe.java

lp:~yrke/tapaal/more-code-cleanup 1 Development 2011-11-30 10:30:21 UTC 2011-11-30
638. Removed uncommentent code

Author: Kenneth Yrke Jørgensen
Revision Date: 2011-11-30 10:30:21 UTC

Removed uncommentent code

lp:~yrke/tapaal/fix-810906 1 Development 2011-11-30 10:00:41 UTC 2011-11-30
634. Disable the delay button when the del...

Author: Jiri Srba
Revision Date: 2011-11-29 20:45:40 UTC

Disable the delay button when the delay in the text field is non-applicable to the net, and report which places blocks the delay in the tool tip of the delay button. by TAPAAL Contributors review by Jiri Srba approved by Kenneth Yrke Jørgensen, Jiri Srba

121 of 21 results
You can't create new branches for TAPAAL.