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)