Version 3.0.4
- Created class animo.utils.Utilities, where the functions for time
formatting and double rounding to a given number of significant figures
are contained
- When return (enter) is pressed while editing the minutes text box in
ANIMO control panel, a simulation is started (exactly the same as
clicking on the "Analyze network" button)
- The L&M usability and usefulness have improved:
  - the costs are explicitly shown and the attempts are more precisely
numbered, and the progress of the computation of the candidate
parameters is also shown
  - the graphs are shown only for the actual attempts, and not for
candidate parameters computation. In order to distinguish when to show a
graph, a boolean parameter has been added to the Function.compute
function.
  - we now explicitly check when creating a model that all parameters
are strictly positive. We also perform a similar check when computing
the L&M cost, returning positive infinity when a parameter is <= 0.
However, the computation of the candidate parameters does not have a
similar check yet: that step is still in danger of prematurely stopping
the L&M algorithm because of negative parameters. We should add the
proper checks when necessary (see in particular functions computeDandH
and computeNumericalJacobian in L&ML).
  - more or less connected with the problem of negative parameters,
there is another way to automatically generate an invalid model, and
that is to have the UPPAAL time constants exceed the allowed bounds.
Indeed, when we set the parameters in the model during our
implementation of Function.compute, we directly set the values without
performing a final check that all resulting time constants will be
inside the UPPAAL integer bounds.