Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | refactor(logic): abstract domain interface | Kristóf Marussy | 2024-04-07 |
| | | | | Require all abstract domain elements to implement the AbstractValue interface. | ||
* | feat(language): type inference | Kristóf Marussy | 2024-04-07 |
| | | | | | | * Customizable operator overloads. * Customizable aggregation operators. * Simplify ProblemQualifiedNameProvider. | ||
* | fix(test): Windows line endings comparison | Kristóf Marussy | 2024-04-07 |
| | |||
* | feat(language): import validation | Kristóf Marussy | 2024-02-18 |
| | | | | | | | 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. | ||
* | feat: filesystem-level import resolution | Kristóf Marussy | 2024-02-04 |
| | | | | | Modules without an explicitly declared name get a name automatically inferred from their path. | ||
* | refactor(generator): scope overrides | Kristóf Marussy | 2023-12-25 |
| | |||
* | feat: command line model generator | Kristóf Marussy | 2023-12-24 |
| | |||
* | refactor(language): use file extension provider | Kristóf Marussy | 2023-12-22 |
| | |||
* | refactor: smenatics and facades | Kristóf Marussy | 2023-11-03 |
| | | | | | Also moves model metadata into language-web, since we only use it on the frontent. | ||
* | refactor(langauge-web): use generator facades | Kristóf Marussy | 2023-11-03 |
| | |||
* | feat: model semantics facade | Kristóf Marussy | 2023-11-03 |
| | |||
* | feat: model generator facade | Kristóf Marussy | 2023-11-03 |