Aurea
Aurea
Allow trailing commas in various positions: ```haxe class Main { public static function main():Void { foobar( 1, 2, ); function blah( a:Int, b:Int, ):Void {} var a = ( a:Int,...
@ncannasse I think the I64 operations should still be implemented in `hlinterp.ml`. This seems to work now with HL/JIT. For HL/C I get that `hl_dyn_casti64` is missing: this has to...
https://github.com/viperproject/prusti-dev/blob/977556fd19d9e662d69a62e6862812979d090c6d/prusti-tests/tests/parse/ui/simple_forall.stderr#L1-L5 I think after a colon in this position we can only have a type, so some of the things listed in the error might not apply.
An extern specced `Option` with a postcondition like this fails fold/unfold: ```rust #[requires(o.is_some())] #[ensures(match o { Option::Some(v) => result == v, Option::None => false, })] fn unwrap(o: Option) -> T;...
This is a minor issue, but if I do the following steps: 1. Start with a working build of prusti, passes tests with `./x.py test --all`. 2. Make a change...
This PR adds support for `__builtin_trap` on x86, mapped to the `ud2` instruction. I copied how this was done for PowerPC. Should I instead add a case for the `Pbuiltin`...
As mentioned in the language guide, it should be possible to specify literals like: ```swift let x: [Int] = [1, 2, 3] let y: Int[3] = [4, 5, 6] let...
As mentioned in the language guide, a `static` keyword should be added to indicate that a struct function is callable without a specific instance. This was not in any behaviour...
Encountered while working on asset traits in our fork. E.g. ```swift struct S { var rawValue: Int init(unsafeRawValue: Int) { setRawValue(unsafeRawValue) } mutating func setRawValue(value: Int) -> Int { rawValue...
The current list of [compiler defines](https://haxe.org/manual/compiler-usage-flags.html) is a bit messy. - [x] update the list according to https://github.com/HaxeFoundation/haxe/blob/development/src/core/define.ml - ideally this could be auto-generated? - [ ] list target-specific defines...