Version 2.56
- Corrected a minor but vicious bug in the model: if the rate is too
small, the inverse of the rate will be a number too large to be used in
UPPAAL as guard or invariant (> 2^30 - 2). Adding a check to the
"inverse" function allows to consider any 'double' whose .e part is < -9
as 0. Also, updated the 'round' function to directly return
INFINITE_TIME if the 'double' is INFINITE_TIME_DOUBLE. Finally, this
allows us to simplify the 'update' function in all templates, removing
the last if-else and replacing it by the direct assignment T =
round(inverse(rate))
- Changed the access to the "are we the developer" variable, so that it
is read only by InatPlugin, and the others can simply interrogate that
class with the static method
- If we are the developer, a button appears in the Results panel after
the slider to allow exporting an animation as bitmaps. Use the "open as
layers" function in gimp, then save as gif to obtain a gif animation.