pascal-lab/Tai-e

Scala language support

runner02 opened this issue · 1 comments

Description

Does Tai-e analysis support programs written in scala language?

We didn't do any tests on it, so the answer is: not currently supported.

However, we may consider supporting some Java-like or JVM-based languages in the future. (#78 (comment))