2259a7bcd1d2 — Leonard Ritter default tip a day ago
* `Map`: fixed `discard`
62d2d62447ab — Leonard Ritter 6 days ago
* small extension to GLM test
* vector accessors use new repr format
c45d084aa203 — Leonard Ritter 26 days ago
* added default copy constructor to Value
98ffc84a2fa2 — Leonard Ritter 28 days ago
* support for calling argument lists
* pointers don't move their arguments on attribute access
83ef25dc664c — Leonard Ritter a month ago
* Set: a custom hash function can now be specified
d1b14071e454 — Leonard Ritter a month ago
* further fixes for double drops
15ed94e5903d — Leonard Ritter a month ago
* fixed accidental double drops when returning from nested expressions
07594e54ac79 — Leonard Ritter a month ago
* reverted last commit
2248aed9e350 — Leonard Ritter a month ago
* fixed accidental double dropping of values; expression blocks whose result was noreturn still attempted to clean up the scope, which had already been cleaned up
722a4b28825b — Leonard Ritter a month ago
* Array: additional annotation
6b12db6c0218 — Leonard Ritter a month ago
* Array: changed destructor from an inline to a fn
08df153d2634 — Leonard Ritter a month ago
* removed `has no default initializer` error messages from aggregate constructors to let the original errors through
* added `plain?` compile time function to check if a value or type is plain
d99054a3e0c8 — Leonard Ritter a month ago
* String: allow explicit conversion of native string type to `String`
2443b78dd8e0 — Leonard Ritter a month ago
* default array constructor now recursively constructs elements and allows passing initializing arguments
4fee30a38407 — Leonard Ritter a month ago
* String: support for casting to `string`
7f1d43b1d1c5 — Leonard Ritter a month ago
* added `raiseof` in addition to `returnof` to allow querying exception type
3be459a3ad1d — Leonard Ritter a month ago
* core: added tau constant
e3cc03409e01 — Leonard Ritter a month ago
* Rc: added double free debugging support
* fixed ubsan/asan build option
* disabled extended debug info generation for now, as it can trigger a double free in the LLVM codebase
* small adjustments for building with LLVM 11 (not complete yet)
f131c57bfc2a — Leonard Ritter a month ago
* prover: `inttoptr` correctly propagates view state or instantiates unique type
* `Rc`: metadata now lives in the same allocation as the payload, so that each `Rc` object is now of pointer size
7606bb3b9dc0 — Leonard Ritter a month ago
* `enum`: added support for `tostring`
* `enum`: using `repr` or `tostring` on an enum constant will yield a constant string
Next