| Commit message (Collapse) | Author | Age |
|
|
|
|
|
| |
* Customizable operator overloads.
* Customizable aggregation operators.
* Simplify ProblemQualifiedNameProvider.
|
| |
|
|
|
|
|
|
|
| |
Validate imports and imported resources.
Also fixes a linking error in imported resources by ensuring that imported
resources are always fully resolved with all of their derived state.
|
|
|
|
|
| |
Modules without an explicitly declared name get a name automatically inferred
from their path.
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Also moves model metadata into language-web, since we only use it on the
frontent.
|
| |
|
| |
|
|
|