and update the README. It now says, how the AST can be regenerated from Stainless.
But then, we noticed that MeasureInference is quite broken in Stainless 0.8, therefore, we had to hotfix it and reopened #86 because measure inference & checking made testing on the CI impossible.
The original intention of this PR was to:
0.8.0,But then, we noticed that MeasureInference is quite broken in Stainless 0.8, therefore, we had to hotfix it and reopened #86 because measure inference & checking made testing on the CI impossible.