Change Log¶
v0.1 (Not yet released)¶
Temporal logics - LTL (ltl_formula_store)
Datastructures - Waveform (waveform) - Finite or infinite trace (trace)
Generators - Waveform generator (waveform_generator)
Algorithms - Sequential simulator (sequential_simulation) - LTL evaluation on finite traces (ltl_finite_trace_evaluator)
Utils - Three-valued Boolean (bool3) - Five-valued Boolean (bool5)
IO - LTL reader (ltl_reader)