Stainless 0.9.6 (2022-07-03)

mario-bucev released this 03 Jul 13:39

· 240 commits to main since this release

33158cb

Version 0.9.6 (2022-07-03)

This version is tested using java 1.8

Stainless frontend, library and internals

Fix issues #1268 #1269 #1270 #1272 #1273 #1274 (#1277)
Avoid unnecessary capture of PC variables when hoisting functions (#1265)
Minor fixes (#1260, #1263, #1280, #1292)

GenC

Annotate unexported function as static (#1261)

Assets 8