Skip to content

Eldarica 2.0.6
Compare
Choose a tag to compare
@zafer-esen zafer-esen released this 18 Mar 10:48
· 215 commits to master since this release
v2.0.6
d71a8e8

Improved support for the theory of arrays and some theory combinations. More specifically, constant arrays and some theory combinations (e.g. arrays + ADTs) are now supported.

Assets 3
Loading