This PR partially implements the configurable drift derivative calculation out lined in https://github.com/tezos-checker/checker/issues/261. It adds a new section to the checker.yaml for specifying (known) drift derivative curves and their parameters. This is then used to generate src/driftDerivative.ml using a corresponding template, which is where the existing drift derivative module has been moved. Attempts to use continuous instead of bang-bang in the config file are set to fail at the moment since we haven't yet implemented the continuous drift derivative module.
It also tweaks the existing dataclasses in checker_builder.config to make them immutable. This is only really necessary for the new ones added in this PR, but it felt better to add them across the board.
This PR partially implements the configurable drift derivative calculation out lined in https://github.com/tezos-checker/checker/issues/261. It adds a new section to the
checker.yaml
for specifying (known) drift derivative curves and their parameters. This is then used to generatesrc/driftDerivative.ml
using a corresponding template, which is where the existing drift derivative module has been moved. Attempts to usecontinuous
instead ofbang-bang
in the config file are set to fail at the moment since we haven't yet implemented the continuous drift derivative module.It also tweaks the existing dataclasses in
checker_builder.config
to make them immutable. This is only really necessary for the new ones added in this PR, but it felt better to add them across the board.