Releases: formalmethods/intrepid
Releases · formalmethods/intrepid
intrepyd 0.11.0
13f0912
This commit was signed with the committer’s verified signature.
robertobruttomesso
Roberto Bruttomesso
v0.11.0 Automatic Update
intrepyd 0.10.3
3a82f77
This commit was signed with the committer’s verified signature.
robertobruttomesso
Roberto Bruttomesso
v0.10.3 Automatic Update
intrepyd 0.10.0
Many engine improvements, refactoring, and dockerized version featuring REST APIs
intrepyd 0.7.0
Introduced IEC 61131-3 ST parser
Intrepyd 0.6.0
Improved simulink2py translation
Other minor fixes
Intrepyd 0.5.13
Some fixes for the Simulink translation
Intrepyd 0.5.9
Several cleanup for setup via PYPI
Intrepyd 0.5.1
Updated linux64 and OSX libraries
Intrepyd 0.5.0
Added lustre parser
Added support for floating-point arithmetic
Several bugfixes and performance improvements
Intrepyd 0.3.1
Fixes a bug concerning handling of real negative numbers