August 2020

This release brings:

• New C++ API (reelay::options and reelay::make_monitor)
• Python API simplified (now reelay.discrete_timed_monitor and reelay.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 and dense_timed settings via timescales benchmark generator
• Documentation updates
• Summer code cleanup

May 2020

This release brings major updates to Reelay:

For users:

• Introduce Reelay Expression Format
• Introduce new simpler Python API
• Support JSON streams and logs

Technical:

• Introduce persistance semantics for all settings
• Introduce condensing formatting for discrete monitors
• Extend data and robustness settings to dense time

January 2020

This release features

• Python bindings for Reelay monitor recipes
• Preview of temporal logic monitoring over data streams