Age | Commit message (Collapse) | Author | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
this re-uses a function that is already present for analyze-archive anyways
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(e.g. to ensure they're positive)
|
|
this ensures that source statements are handled correctly
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Iteration over states/transitions and model attributes is no longer hardcoded
into most model generation code. This should make support for decision trees
and sub-states much easier.
|
|
Note that outliers are removed from both training and evaluation data
|
|
|
|
This should speed up analysis quite a bit and also reduce memory usage
significantly
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
also makes distinct_param_values more deterministic
|
|
|
|
|
|
|
|
|