Skip to content

v0.10.5

Pre-release
Pre-release
Compare
Choose a tag to compare
@nicola-gigante nicola-gigante released this 21 Nov 16:25
· 17 commits to master since this release
v0.10.5
94fa5d3

Fixed a bug in the LTLfMT encoding that caused wrong results in formulas
involving prev() and wprev() terms.

Assets 7
Loading