Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: specify random seed for generation | Kristóf Marussy | 2023-09-14 |
| | |||
* | feat: connect model generator to UI | Kristóf Marussy | 2023-09-12 |
| | |||
* | feat: improve semantics error reporting | Kristóf Marussy | 2023-08-20 |
| | | | | | Also makes model seeds cancellable to reduce server load during semantic analysis. | ||
* | 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. | ||
* | refactor(frontend): theme improvements | Kristóf Marussy | 2022-12-09 |
| | |||
* | fix(frontend): mobx 6.7.0 typing | Kristóf Marussy | 2022-11-22 |
| | | | | | | | Also bumps some dependencies and updates tsconfig.json The added workarounds should be remove once https://github.com/mobxjs/mobx/issues/3582 is resolved. | ||
* | feat(frontend): animate GenerateButton | Kristóf Marussy | 2022-10-03 |
| | |||
* | refactor(frontend): toolbar sm breakpoint | Kristóf Marussy | 2022-09-06 |
| | | | | Improve toolbar appearance on small screens | ||
* | feat(frontend): show connection status | Kristóf Marussy | 2022-09-06 |
| | |||
* | refactor(frontend): add eslint-plugin-mobx | Kristóf Marussy | 2022-08-27 |
| | |||
* | refactor(frontend): improve code splitting | Kristóf Marussy | 2022-08-21 |
| | |||
* | refactor(frontend): update theme | Kristóf Marussy | 2022-08-19 |
| | |||
* | feat(frontend): custom search panel | Kristóf Marussy | 2022-08-17 |
| | | | | Also improves editor styling (to enable panel styling). | ||
* | refactor(frondend): improve editor store and theme | Kristóf Marussy | 2022-08-16 |
| | | | | Also bumps frontend dependencies. | ||
* | refactor(frondend): dark theme tweaks | Kristóf Marussy | 2022-08-15 |
| | |||
* | refactor(frontend): move from Webpack to Vite | Kristóf Marussy | 2022-08-12 |
| | | | | Also overhaulds the building and linting for frontend assets. | ||
* | build: separate module for frontend | Kristóf Marussy | 2021-12-14 |
This allows us to simplify the webpack configuration and the gradle build scripts. |