Aurea
Aurea
The `InlineParser.unescape` method seems to be called multiple times on the same text, resulting in some escaping issues. In particular, to output two backslashes in a row, you need to...
It should be possible to automatically generate the Haxe de/serialisation methods for a coroutine. It should be enough to store: - the state (CFG position + flags) - any state-crossing...
Add a way for macros to use pecan without the default API (`self`, `suspend`, `terminate`, etc). Could be an extra argument on `CoContext.build`.
`co.state` should indicate when the coroutine exited due to an unhandled exception.
From the presentation today, we saw that quantifier instantiations (rectangles) are shown, as well as theory-derived terms (diamonds). However, terms that come from the program itself, which I would expect...
It might be nice to add two of the settings that are currently env/TOML only. - "check overflows" - same effect as `PRUSTI_CHECK_OVERFLOWS=true` (on by default) - "check panics" -...
(Reported by a PV student:) ```viper method test() { { var i: Int } var i: Int } ``` This causes an AST construction error for the second declaration of...