Commit message (Expand) | Author | Age | |
---|---|---|---|
* | feat: data structure for assertion merging | Kristóf Marussy | 2022-10-03 |
* | chore: bump dependencies | Kristóf Marussy | 2022-07-27 |
* | build: separate module for frontend | Kristóf Marussy | 2021-12-14 |
* | build: move modules into subproject directory | Kristóf Marussy | 2021-12-12 |
* | build: use version catalogs | Kristóf Marussy | 2021-11-16 |
* | chore(web): remove CodeMirror 5 MWE2 integration | Kristóf Marussy | 2021-10-31 |
* | feat: skeleton for language to store mapping | Kristóf Marussy | 2021-10-01 |
* | build: migration to Gradle 7 | Kristóf Marussy | 2021-09-29 |
* | Add VIATRA Query dependency | Kristóf Marussy | 2021-07-31 |
* | Add new data structure for backend | Kristóf Marussy | 2021-07-29 |
* | Customize client-side CodeMirror mode | Kristóf Marussy | 2021-06-27 |
* | Simplify project layout | Kristóf Marussy | 2021-06-27 |