v0.1.3

• Fix building issue: (#114)
• Fix translation of Release LTLf-to-LDLf (2070ec3)
• Update Syft+ dependency version to v0.1.1 (#119)

v0.1.2

Fix bug in the computation of the concatenation of two DFAs (#111). This bug affected the correctness of some transformations, e.g. a U (b U c).

0.1.1

Changes:

• Made the parser compliant with this standard.
• Done minor changes to the source code.

0.1.0

The first release of Lydia.

Main features:

• Implementation of compositional approach for LDLf-to-DFA and LDLf synthesis
  (paper)
• Support for LTLf by first translating formulae into LDLf.
• CLI tool to interact with the library.

trace-alignment workflow

BE AWARE

This release is for the trace-alignment workflow.

It's not the official release, and it's not production-ready.