| d1aed33 |
Add slice capacity field |
Alexis Sellier |
|
| 7fa02c3 |
Convert tests to use `assert` keyword |
Alexis Sellier |
|
| 7a8ab6a |
Use `assert` keyword throughout compiler |
Alexis Sellier |
|
| 16d67a2 |
Create new seed from `93e3225` |
Alexis Sellier |
|
| 93e3225 |
Improve type checking in trait instances |
Alexis Sellier |
|
| ae7f915 |
Fix trait soundness bugs |
Alexis Sellier |
|
| f952258 |
Implement super-traits |
Alexis Sellier |
|
| 71eb301 |
Supertraits |
Alexis Sellier |
|
| 4fd4c94 |
Add tests for traits feature |
Alexis Sellier |
|
| a521693 |
Implement dynamic dispatch through v-tables |
Alexis Sellier |
|
| e3e79cd |
Lower instance methods |
Alexis Sellier |
|
| 37fa611 |
Implement trait method dispatch in resolver |
Alexis Sellier |
|
| 0125f9b |
Take advantage of string interning in comparisons |
Alexis Sellier |
|
| 9de503e |
Resolve instance blocks |
Alexis Sellier |
|
| ffdd11d |
Add layout for trait object in resolver |
Alexis Sellier |
|
| 40c5b38 |
Implement trait declarations in resolver |
Alexis Sellier |
|
| 7c67519 |
Implement parsing for *traits* feature |
Alexis Sellier |
|
| 66464ff |
Implement `assert` statements |
Alexis Sellier |
|
| d21f24a |
Change IL's `Blit` size to `Val` |
Alexis Sellier |
|
| dd43ff0 |
Extract `computeUnionLayout` and `variantTag` |
Alexis Sellier |
|
| 7c8cce7 |
Use conditional expressions throughout compiler |
Alexis Sellier |
|
| 610f0e9 |
Use shorthand assignment syntax where possible |
Alexis Sellier |
|
| 18a8980 |
Require `&` for re-slicing |
Alexis Sellier |
|
| 9aad4c3 |
Create new seed from `ff8c8e4` |
Alexis Sellier |
|
| ff8c8e4 |
Lower conditional expressions to IL |
Alexis Sellier |
|
| de09a13 |
Support `&slice[range]` syntax for re-slicing |
Alexis Sellier |
|
| c8c83e2 |
Support multiple error types per function |
Alexis Sellier |
|
| fcb3c9b |
Reclaim unused memory after i-sel |
Alexis Sellier |
|
| 9cb6526 |
Update README with a link to R' |
Alexis Sellier |
|
| 326c599 |
Fix an issue with module declaration order |
Alexis Sellier |
|
| a74c66b |
Pass small aggregates by value |
Alexis Sellier |
|
| 5aad389 |
Use null-pointer-optimization for slice types |
Alexis Sellier |
|
| a8794ea |
Add support for `u64` and `i64` types |
Alexis Sellier |
|
| 2d07c0b |
Create new seed from `f8eb9ef` |
Alexis Sellier |
|
| f8eb9ef |
Eliminate redundant jumps via fallthroughs |
Alexis Sellier |
|
| 703daa8 |
Add compound assignment operators to language |
Alexis Sellier |
|
| 1cf980d |
Create new seed from `984e56d` |
Alexis Sellier |
|
| 984e56d |
Increase max union variants in resolver |
Alexis Sellier |
|
| 3831ea4 |
Always print instruction count when emulating |
Alexis Sellier |
|
| 79cea13 |
Simplify some of the compiler code |
Alexis Sellier |
|
| 0d8a2d4 |
Create initial seed binary `seed/radiance.rv64` |
Alexis Sellier |
|
| 75704b0 |
Initial commit |
Alexis Sellier |
|