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 8 active reviews.

TAPAAL has 41 active branches owned by 1 person and 7 teams. There were 35 commits by 6 people in the last month.

Bazaar branches

Name Status Last Modified Last Commit
lp:tapaal
Series: trunk
bug 1 Development 2019-02-12 13:57:23 UTC 2019-02-12
982. merged in branch lp:~tapaal-contribut...

Author: Jiri Srba
Revision Date: 2019-02-12 13:57:23 UTC

merged in branch lp:~tapaal-contributor/tapaal/batch-processing-for-workflows-1272214 that adds soundness checks to batch processing

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
Revision Date: 2018-06-29 07:34:20 UTC

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
Revision Date: 2017-10-05 07:04:03 UTC

Release version of 3.3.0

lp:~cpn-gui/tapaal/colorTimeConstraint 1 Development 2019-02-21 13:52:08 UTC 2019-02-21
1018. WIP made datatype for ColoredTimeInva...

Author: Niels Christensen
Revision Date: 2019-02-21 13:52:08 UTC

WIP made datatype for ColoredTimeInvariants such that each color will get its own invariant

lp:~cpn-gui/tapaal/cpn-editor 1 Development 2019-02-21 13:47:28 UTC 2019-02-21
1015. merge from Typechecker - feature fini...

Author: Mark Glavind
Revision Date: 2019-02-21 13:47:28 UTC

merge from Typechecker - feature finished

lp:~cpn-gui/tapaal/typeChecker 1 Development 2019-02-21 13:46:00 UTC 2019-02-21
1021. finished typeChecker

Author: Mark Glavind
Revision Date: 2019-02-21 13:46:00 UTC

 finished typeChecker

lp:~cpn-gui/tapaal/safePNML 1 Development 2019-02-19 14:02:54 UTC 2019-02-19
1014. merge from trunk

Author: Mark Glavind
Revision Date: 2019-02-19 14:02:54 UTC

merge from trunk

lp:~cpn-gui/tapaal/defaultValues 1 Development 2019-02-08 10:06:57 UTC 2019-02-08
1014. Have made dot as default color for pl...

Author: Niels Christensen
Revision Date: 2019-02-08 10:06:57 UTC

Have made dot as default color for places and aracs will get the first color of their connected place

lp:~tapaal-contributor/tapaal/places-with-same-name-shared-1801728 bug(Has a merge proposal) 1 Development 2019-02-03 11:41:57 UTC 2019-02-03
985. Remove unused code and debug lines

Author: <email address hidden>
Revision Date: 2019-02-03 11:41:57 UTC

Remove unused code and debug lines

lp:~yrke/tapaal/tapaal-debuginterface 0 Experimental 2019-01-27 15:46:12 UTC 2019-01-27
1137. inplemented skeleton structor of the ...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-07-03 11:14:33 UTC

inplemented skeleton structor of the debug menu

lp:~yrke/tapaal/placetransitionobjecthandler-refactor-cleanup (Has a merge proposal) 1 Development 2019-01-27 12:49:43 UTC 2019-01-27
1046. Fixed bug, when drawing clicking on t...

Author: Kenneth Yrke Jørgensen
Revision Date: 2019-01-27 12:49:43 UTC

Fixed bug, when drawing clicking on the arc does not set arc-point

Arc now can be in prototype state, where events on the arc are dispatched
to the parenet compoent. Fixing the bug where clicking on the arc (head)
would not set an arc point. Drawing now feels normal again.

lp:~cpn-gui/tapaal/bugFixing2 1 Development 2019-01-21 12:44:37 UTC 2019-01-21
1012. merge from BugFixing

Author: Mark Glavind
Revision Date: 2019-01-09 14:26:22 UTC

merge from BugFixing

lp:~cpn-gui/tapaal/examVersion 1 Development 2019-01-09 14:26:59 UTC 2019-01-09
1012. merge from BugFixing

Author: Mark Glavind
Revision Date: 2019-01-09 14:26:22 UTC

merge from BugFixing

lp:~cpn-gui/tapaal/bugFixing 1 Development 2019-01-09 14:24:52 UTC 2019-01-09
1029. added toggle enabled buttons to color...

Author: Mark Glavind
Revision Date: 2019-01-09 14:24:52 UTC

added toggle enabled buttons to color expressions and arc expressions panel, added delete selection and reset expression to both, fixed the size in getChildren of addExpr, TupleExpr, changed replace method in pred and succ

lp:~yrke/tapaal/removeStaticAccesInStatisticPanel (Has a merge proposal) 2 Mature 2018-12-29 11:30:42 UTC 2018-12-29
978. Statisticspanel now takes an agurment...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-11-02 13:14:18 UTC

Statisticspanel now takes an agurment, insted of static access

lp:~yrke/tapaal/remove-staticIgnoreSelect (Has a merge proposal) 2 Mature 2018-12-29 11:29:51 UTC 2018-12-29
978. Removed unneeded static ignoreSelecti...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-12-24 16:11:30 UTC

Removed unneeded static ignoreSelection from PetriNetObject

used to not draw components as selected when in animation or export mode.
However other changes makes sure that you cant select in animation mode,
so this is not needed any more.

In export mode, the changes is only relevant to png and ps export,
for now i'm changing it to include seleciton in the exports, as I think
that can be a nice feature. But can be refactored to get original
behaviour

lp:~yrke/tapaal/refactor-arcdraw-combinedublicatedraw (Has a merge proposal) 2 Mature 2018-12-29 11:29:17 UTC 2018-12-29
981. TimedInhibitorArcComponent now uses d...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-12-29 11:14:44 UTC

TimedInhibitorArcComponent now uses draw method from Arc

lp:~cpn-gui/tapaal/transitionPrint 1 Development 2018-12-19 19:56:10 UTC 2018-12-19
1004. Printing guard expressions on canvas ...

Author: Niels Christensen
Revision Date: 2018-12-19 19:56:10 UTC

Printing guard expressions on canvas for transitions

lp:~cpn-gui/tapaal/expressionsPrint 1 Development 2018-12-19 17:39:59 UTC 2018-12-19
1003. printing now works for arcs

Author: Mark Glavind
Revision Date: 2018-12-19 17:39:59 UTC

printing now works for arcs

lp:~cpn-gui/tapaal/exportCPN 1 Development 2018-12-19 14:03:54 UTC 2018-12-19
1011. Export done

Author: Niels Christensen
Revision Date: 2018-12-19 14:03:54 UTC

Export done

lp:~cpn-gui/tapaal/arcEditorPanel 1 Development 2018-12-18 20:09:46 UTC 2018-12-18
1004. minimum working state for arc editing...

Author: Mark Glavind
Revision Date: 2018-12-18 20:09:46 UTC

minimum working state for arc editing now in place

lp:~cpn-gui/tapaal/transitionEditorPanel 1 Development 2018-12-06 14:31:53 UTC 2018-12-06
1006. Added parser for Guard expressions. s...

Author: Mark Glavind
Revision Date: 2018-12-06 14:31:53 UTC

Added parser for Guard expressions. still missing dot in color expressions

lp:~cpn-gui/tapaal/placeEditorPanel 1 Development 2018-11-21 14:59:20 UTC 2018-11-21
997. WIP on colored transition panel. Adde...

Author: Mark Glavind
Revision Date: 2018-11-21 14:59:20 UTC

WIP on colored transition panel. Added graphical elements for allmost all the functionality

lp:~cpn-gui/tapaal/importCPN 1 Development 2018-11-09 13:49:43 UTC 2018-11-09
1000. Added parsing of regular colored arcs

Author: Thomas Frandsen
Revision Date: 2018-11-09 13:49:43 UTC

Added parsing of regular colored arcs

lp:~cpn-gui/tapaal/colorTypeDialog 1 Development 2018-11-07 10:18:57 UTC 2018-11-07
998. Adding a Domain is displayed correct

Author: Niels Christensen
Revision Date: 2018-11-07 10:18:57 UTC

Adding a Domain is displayed correct

lp:~yrke/tapaal/createArc-encapsulation 0 Experimental 2018-11-04 18:08:37 UTC 2018-11-04
976. Moved acr drawing delete/escape event...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-11-02 14:27:28 UTC

Moved acr drawing delete/escape events to PlaceTransitionObjectHandler, for futher refacotrings

lp:~yrke/tapaal/removeNetType 1 Development 2018-10-31 19:14:16 UTC 2018-10-31
1047. Removed static accessors of DataLayer

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-10-31 19:14:16 UTC

Removed static accessors of DataLayer

lp:~cpn-gui/tapaal/graphicalElements 1 Development 2018-10-31 14:30:50 UTC 2018-10-31
994. fixed merge between this branch and i...

Author: Mark Glavind
Revision Date: 2018-10-31 14:30:50 UTC

fixed merge between this branch and importCPN

lp:~cpn-gui/tapaal/declarationsGUI 1 Development 2018-10-22 14:03:37 UTC 2018-10-22
995. printing of product types and color t...

Author: Mark Glavind
Revision Date: 2018-10-22 14:03:37 UTC

printing of product types and color types now work in the listpanel for color types

lp:~yrke/tapaal/encapsulateSetGuiModel 0 Experimental 2018-10-18 15:08:44 UTC 2018-10-18
1034. Removed setGuiModel from copy-functio...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-10-18 15:08:44 UTC

Removed setGuiModel from copy-functions, now only called in dataLayer

lp:~yrke/tapaal/placetransitionobjecthandler-refactor (Has a merge proposal) 1 Development 2018-10-18 13:14:48 UTC 2018-10-18
1031. Removed getter for guimodel in PetriN...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-10-18 13:14:48 UTC

Removed getter for guimodel in PetriNetObject

lp:~yrke/tapaal/removedUnusedFieldsFromXML (Has a merge proposal) 1 Development 2018-10-16 19:51:09 UTC 2018-10-16
1031. Removed unused fields markingOffset

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-10-16 19:49:39 UTC

Removed unused fields markingOffset

lp:~yrke/tapaal/DeleteAction-removeselectionmanager-deleteSelection (Has a merge proposal) 1 Development 2018-09-24 11:36:07 UTC 2018-09-24
1004. Removed method deleteSelection from s...

Author: Kenneth Yrke Jørgensen
Revision Date: 2018-09-24 11:34:03 UTC

Removed method deleteSelection from selection manager

The function seems to be redundent with the seleteSelection in
undo manager. Also using this implementation only will break delete.
Seems like old code that has been forgotten

lp:~tapaal-contributor/tapaal/copy-paste-dev-branch 1 Development 2018-08-08 13:06:26 UTC 2018-08-08
966. Copy/paste places

Author: <email address hidden>
Revision Date: 2018-08-08 13:05:31 UTC

Copy/paste places

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

141 of 41 results
You can't create new branches for TAPAAL.