issues
search
epfl-lara
/
stainless
Verification framework and tool for higher-order Scala programs
https://epfl-lara.github.io/stainless/
Apache License 2.0
356
stars
51
forks
source link
Add more info messages
#1425
Closed
mario-bucev
closed
1 year ago
mario-bucev
commented
1 year ago
Indicates what part of Stainless is currently running (e.g. compilation, preprocessing, etc.)
Indicates the pipeline phase currently running (e.g.
ValueClass
, the dreaded
AntiAliasing
, etc.)
Hides pattern matching warning
(note: approved by @vkuncak :p)
ValueClass
, the dreadedAntiAliasing
, etc.)(note: approved by @vkuncak :p)