0f394de291f7 — Leonard Ritter 29 days ago
* `array` type constructor supports multi-dimensional definition
974a84124515 — Leonard Ritter a month ago
* `enumerate` allows specifying a type for the enumerator
ecb3ceda547c — Leonard Ritter a month ago
* glm: support for using `0` and `1` literals in vector element accessors
12432843a515 — Leonard Ritter a month ago
* small change to struct code
283bb360720b — Leonard Ritter a month ago
* `struct`: non-constant field initializers turn into autogenerated constructor calls
39e5743d6b70 — Leonard Ritter a month ago
* `icmp` and `fcmp` instructions no longer propagate view status to exit argument
f543219644eb — Leonard Ritter a month ago
* `Enum`: allow comparing enums to field definitions
8430933436d9 — Leonard Ritter a month ago
* renamed `libc` namespace to `C`
f43f124656a6 — Leonard Ritter a month ago
* prover supports registering a handler for type coercion, for which core provides a default handler
* `switch` cases are coerced to the type of the switch argument
* `if` uses the new mechanism to coerce conditional arguments to boolean type in favor of the `__tobool` method
27ffe3f7d8ee — Leonard Ritter a month ago
* `property`: methodcall and `toptr`/`toref` operator support
* static enum values implicitly convert to safe integer values
* `Rc`: `none` can be converted to an empty weak reference
be1a93cdfb66 — Leonard Ritter a month ago
* improved error messages
9a5476946a3c — Leonard Ritter a month ago
* `locals` no longer splits up scopes when a dynamic symbol is in the scope
7a5d3697eeaa — Leonard Ritter a month ago
* clang: fixed translation of unsized array types
21ced7098fec — Leonard Ritter a month ago
* moved `dispatch` form from `enum` to core
03f4de1f8099 — Leonard Ritter a month ago
* added unpack support for properties
4b8e07ff9abc — Leonard Ritter a month ago
* `Rc`: fixed returned refcounts to no longer be views
* `Capture`: fixed captures not working when captured arguments are non-plain
9374670b9fe7 — Leonard Ritter a month ago
* methodsof uses methodcall rather than attempting to pull attributes directly
b2724dfa0e03 — Leonard Ritter a month ago
* improved debug messages
5e909ca8bb4c — Leonard Ritter a month ago
* improved debug messages
12f622ed0743 — Leonard Ritter a month ago
* added `methodsof` accessor binder that can be used in conjunction with `from`
* updated `test_from`
Next