Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-07 |
| | |||
* | feat: subproject for z3 integration | Kristóf Marussy | 2024-04-07 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-07 |
| | |||
* | chore(deps): upgrade to frontend-jdk17 8.0.0 | Kristóf Marussy | 2024-04-05 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-04-03 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-03-26 |
| | |||
* | chore(deps); bump dependencies | Kristóf Marussy | 2024-02-24 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-02-19 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-01-30 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-01-07 |
| | |||
* | feat: command line model generator | Kristóf Marussy | 2023-12-24 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-12-24 |
| | |||
* | chore(deps): Java 21 | Kristóf Marussy | 2023-12-03 |
| | | | | Also bumps other dependencies. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-11-19 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-10-19 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-09-13 |
| | |||
* | feat: type scope propagator | Kristóf Marussy | 2023-09-03 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-08-31 |
| | |||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-08-28 |
| | | | | Also downgrade EMF dependencies to be compatible with the Xtext BOM | ||
* | refactor(frontent): improve graph drawing | Kristóf Marussy | 2023-08-26 |
| | |||
* | refactor: remove unused VIATRA code | Kristóf Marussy | 2023-08-19 |
| | | | | We don't need Eclipse platform support, table-based scopes, and EMF support. | ||
* | chore: import VIATRA source | Kristóf Marussy | 2023-08-19 |
| | | | | | Make our modifications more maintainable by editing the source code directly instead of using reflection. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-08-15 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-06-18 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-04-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-04-25 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-04-15 |
| | | | | Also make sure Sonar can process TypeScript files. | ||
* | chore: add copyright headers | Kristóf Marussy | 2023-04-15 |
| | | | | | | | | | | | | | | Make sure we obey the REUSE (https://reuse.software) specification and the origin, copyright owner, and license of all files are clearly marked. The whole project is under the EPL-2.0, except for trivial files where copyright is not applicable that are marked with the CC0-1.0 license. Moreover, code included from third parties is also available under the respective license. chore: add CONTRIBUTORS.md List all authors and supporting organizations in accordance with the REUSE specification. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-04-08 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-03-31 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-02-26 |
| | |||
* | build: downgrade to Gradle 7.6 | Kristóf Marussy | 2023-02-02 |
| | | | | | | Sonarqube is not yet compatible with Gradle 8: https://sonarsource.atlassian.net/browse/SONARGRADL-84 https://github.com/SonarSource/sonar-scanner-gradle/pull/146 | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-02-01 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-01-28 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-12-21 |
| | |||
* | chore(web): upgrade to Jetty 12.0.0.alpha3 | Kristóf Marussy | 2022-12-12 |
| | | | | | Also refactor virtual thread ExecutorService handling and integration tests. | ||
* | chore(web): fix lint error | Kristóf Marussy | 2022-12-09 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-12-08 |
| | |||
* | chore: upgrade to Java 19 | Kristóf Marussy | 2022-11-22 |
| | | | | | Use Java 19 and Jetty 12 to take advantage of Project Loom preview features to reduce CPU usage due to XtextWebDocumentAccess thread pools. | ||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-11-22 |
| | |||
* | refactor(frontend): improve HMR experience | Kristóf Marussy | 2022-11-05 |
| | | | | | | | | Use a HMR acceptor as in https://github.com/vitejs/vite/issues/10227#issuecomment-1256969751 Also updates frontend tooling to the latest version (yarn now support typescript 4.8.4) | ||
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-10-03 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-09-11 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-08-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-08-12 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2022-07-31 |
| | |||
* | refactor: simplify language project | Kristóf Marussy | 2022-07-29 |
| | | | | | | * Move all utilities for language-model to language, since they do not make sense on their own * Convert xtend code into java | ||
* | chore: bump dependencies | Kristóf Marussy | 2022-07-27 |
| | |||
* | build: make sure slf4j is used instead of log4j | Kristóf Marussy | 2021-12-14 |
| |