lp:~cpn-gui/tapaal/typeChecker

Created by Mark Glavind on 2019-02-19 and last modified on 2019-02-21
Get this branch:
bzr branch lp:~cpn-gui/tapaal/typeChecker
Members of cpn-gui can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
cpn-gui
Project:
TAPAAL
Status:
Development

Recent revisions

1021. By Mark Glavind on 2019-02-21

 finished typeChecker

1020. By Mark Glavind on 2019-02-21

removed color type dot as an option for creating and editing color types

1019. By Mark Glavind on 2019-02-21

you can now edit an existing color type to a range of integer color type

1018. By Mark Glavind on 2019-02-21

forgot to add files for TypeCheckingPanel and class to hold the extracted expression values. Fixed bug in variablePanel where you could not edit a current variable if you only changed its color type

1017. By Mark Glavind on 2019-02-21

When variables are edited, the changes are now applied automatically to expressions in the net

1016. By Mark Glavind on 2019-02-20

added functionaliy to extract all values from expressions, in order to do typeChecking analysis. missing connecting places validation

1015. By Mark Glavind on 2019-02-19

WIP on typeChecker, Panel has been created, work to begin on information gathering

1014. By Mark Glavind on 2019-02-19

merge from trunk

1013. By Niels Christensen on 2019-02-18

Merged defaultValues into branch

1012. By Mark Glavind on 2019-01-09

merge from BugFixing

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:tapaal
This branch contains Public information 
Everyone can see this information.

Subscribers