search

epfl-lara / stainless

Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
349 stars 50 forks source link

IArray support #1448

Closed vkuncak closed 9 months ago

vkuncak commented 10 months ago

Stainless should support source handling of immutable covariant arrays of Scala 3 API:

https://dotty.epfl.ch/api/scala/IArray$.html

and map them to internal immutable arrays. These are very important.

Normally tabulate should be supported as well.

vkuncak commented 9 months ago

See https://github.com/epfl-lara/stainless/issues/478