This release brings:
- New C++ API (
reelay::options
andreelay::make_monitor
) - Python API simplified (now
reelay.discrete_timed_monitor
andreelay.dense_timed_monitor
) - Removal of untimed settings (whose functionality is largely overlapping with discrete timed settings)
- Removal of half-baked features (nested input specifications and custom predicates)
- Performance benchmarks for both
discrete_timed
anddense_timed
settings viatimescales
benchmark generator - Documentation updates
- Summer code cleanup