Aurea
Aurea
Superseded by #11009.
Starting from Python 3.11, there is a built-in [`tomllib`](https://docs.python.org/3/library/tomllib.html) library that we could use instead of manually parsing the TOML file.
Looking at [`aria2.h`](https://github.com/aria2/aria2/blob/master/src/includes/aria2/aria2.h), it is actually C++. There are some features here that I still need to implement, but compilation and linking should at least work if you add [`@:ammer.lib.language(Cpp)`](https://aurel300.github.io/ammer/ref-flags.html#lib.language)?
> @Aurel300 this means that we should publish a >=0.3.0 Prusti release _before_ merging this PR. Yes, I know, that's what https://github.com/viperproject/prusti-dev/pull/1334 will do.
The various log files which take thousands of lines should probably not be part of this PR, rebase?
Thanks! I'll merge this now since the documentation is helpful, we can adjust the wording later if anybody finds it confusing.
| `f(...)` | neko | eval | hl | java | jvm | cs | cpp | cppia | flash9 | | --- | --- | --- | --- |...
The verifiers I've seen so far simply use the syntax of the current language, and annotate the function somehow: - Nagini - annotates with [special calls at the beginning of...
Although I don't use Haxe all that much anymore, I would be interested in contributing to this as well.
(I can't test this atm, but) does it make a difference if you remove these two postconditions from the extern spec? ```rust #[ensures(!result self.is_none())] #[ensures(!result self.is_some())] ```