Skip to content

Scala backend (and bug fixes)
Compare
Choose a tag to compare
@maxime-esa maxime-esa released this 08 Mar 08:48
· 225 commits to master since this release
4.5.1.2
c4a9d86
  • Major: added new Scala backend (with full support of uPER, ACN, -atc, and Stainless proofs)
  • improved support for bit naming in backends (BIT STRING type) (#294)
  • optimizations of the runtime (less generated code) (#293)
  • fixed issue with present-when in ACN (#289)
  • better support of REAL encoding in PER codec (support for
    infinity/minus zero, NaN) (#287)
  • added missing declarations in headers (#285)
  • fix settting of the .exists field when using -atc (#275)
  • new flag --handle-empty-sequence / --handle-zero-array for C compilers
    that disallow empty struct (formally unsupported in C99) (#274)
  • fix inconsistent subtyping (#268)
  • fix cases of recursive calls to IsConstraintValid (#263)
Assets 3
Loading