lp:~cpn-gui/tapaal/exportTempModels
Created by
Mark Glavind
and last modified
- Get this branch:
- bzr branch lp:~cpn-gui/tapaal/exportTempModels
Branch merges
Propose for merging
No branches
dependent on this one.
Recent revisions
- 1080. By Mark Glavind
-
If a given gml file does not have a configuration in the file, it will now be added
- 1078. By Mark Glavind
-
Model now uses three different intervals for router update, goes through them chronologically when applying to routers. theoretically worst case is now dynamically based on the highest max interval
- 1077. By Mark Glavind
-
All models are now exported to a temporary file before any analysis is done. This makes it easier to debug any possible mistakes in the models
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:tapaal