v2.4.18

eliminated stratified inlining leaving along the support for stratifi…

…ed VC generation

v2.4.19

fix: Visit let-expression components consistently

Previously, the Rhss and Body are a let expression where visited in different orders in
different parts of Boogie. They are now visited consistently, always Rhss before Body.

Fixes #192

v2.4.17

fix: Visit let-expression components consistently

Previously, the Rhss and Body are a let expression where visited in different orders in
different parts of Boogie. They are now visited consistently, always Rhss before Body.

Fixes #192

v2.4.16

Remove typeEncoding:n (#194)

The typeEncoding:n option is unsound, as indicated in its documentation. It also does not appear to be used. This commit eliminates the /typeEncoding:n option.

v2.4.15

Fixed logic for selecting model_compress param.

v2.4.14

Merge pull request #189 from michael-emmi/z3-params

Using old Z3 model_compress parameter for Dafny.

v2.4.13

further cleanup of refinement instrumentation

v2.4.12

clean up of refinement checking

v2.4.11

Merge pull request #183 from michael-emmi/restore-total-user-time

Restore TotalUserTime field removed by 714d5a0.

v2.4.10

small fix to convert a conditional into a debug assert