Skip to content

Release version v0.4 of the rmtld3synth tool
Compare
Choose a tag to compare
@anmaped anmaped released this 03 Aug 07:15
· 33 commits to master since this release
v0.4
184fbcc

v0.4 release features:

  • Fix dsl-parser term associativity.
  • Add units to dsl-parser terms.
  • Remove extensional operator U[<=] from rmtld3.
  • Add (~) symbol to dsl-parser.
  • Implement unittest for texeqparser.
  • Add support for the next operator in the DSL.
  • Fix solver version 4.12.3.
  • Add support for the Since operator and remove old SMT encoding.
  • Update rtmlib2 version.
  • Fix typo in string_of_rmtld_fm function.
  • Add Since equal operator.
  • Add graphical examples.
  • Add wave3 examples.
  • Add unbounded eventually less operator for cpp11 conversion.
  • Enable the usage of --input-dsl in --synth-smtlibv2.
  • Add documentation for the instrumentation and monitoring of the sample example.
  • Update documentation for v0.4 and rtmlib2 for v2.0.5.

Full Changelog: v0.4-alpha...v0.4

Assets 3
Loading