Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: data structure for assertion merging | 2022-10-03 | |
| | |||
* | refactor: simplify language project | 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 | ||
* | build: move modules into subproject directory | 2021-12-12 | |