aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
* refactor(docs): landing pageLibravatar Kristóf Marussy2024-04-09
* docs: add JavadocLibravatar Kristóf Marussy2024-04-09
* docs: add embedded videoLibravatar Kristóf Marussy2024-04-09
* docs: add existing tutorialLibravatar Kristóf Marussy2024-04-09
* docs: basic theme and structureLibravatar Kristóf Marussy2024-04-09
* docs: add Docusaurus websiteLibravatar Kristóf Marussy2024-04-08
* fix(language): Sonar lint issueLibravatar Kristóf Marussy2024-04-07
* refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy2024-04-07
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* fix(frontend): * operator highlightingLibravatar Kristóf Marussy2024-04-07
* feat(language): type inferenceLibravatar Kristóf Marussy2024-04-07
* feat(language): validate assignment expressionsLibravatar Kristóf Marussy2024-04-07
* refactor(language): assignment and cast expressionLibravatar Kristóf Marussy2024-04-07
* feat(query): left join for data variablesLibravatar Kristóf Marussy2024-04-07
* feat(language): datatype declarationsLibravatar Kristóf Marussy2024-04-07
* feat: subproject for z3 integrationLibravatar Kristóf Marussy2024-04-07
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy2024-04-07
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-07
* build: move Javascript config to top levelLibravatar Kristóf Marussy2024-04-07
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
* feat: custom identifier coloringLibravatar Kristóf Marussy2024-03-22
* refactor(web): improve web app stylingLibravatar Kristóf Marussy2024-02-25
* fix(web): Sonar security issueLibravatar Kristóf Marussy2024-02-24
* chore(deps); bump dependenciesLibravatar Kristóf Marussy2024-02-24
* feat(web): file open and saveLibravatar Kristóf Marussy2024-02-24
* fix(web): CSP for SVG rasterizationLibravatar Kristóf Marussy2024-02-24
* refactor(frontend): improve save dialog labelLibravatar Kristóf Marussy2024-02-24
* build(web): remove extraneous console outputLibravatar Kristóf Marussy2024-02-23
* build(web): include embedded font assets in service workerLibravatar Kristóf Marussy2024-02-23
* feat(web): pdf exportLibravatar Kristóf Marussy2024-02-23
* refactor(web): use filesystem access API when availableLibravatar Kristóf Marussy2024-02-23
* fix(frontend): top button stylingLibravatar Kristóf Marussy2024-02-23
* feat(frontend): graph export formal selectorLibravatar Kristóf Marussy2024-02-23
* feat(frontend): add top bar logoLibravatar Kristóf Marussy2024-02-23
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2024-02-23
* feat(frontend): optional SVG font embeddingLibravatar Kristóf Marussy2024-02-23
* refactor(frontend): cleaner SVG exportLibravatar Kristóf Marussy2024-02-23
* feat(web): SVG exportLibravatar Kristóf Marussy2024-02-22
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-02-19
* refactor(language): classpath based library contextLibravatar Kristóf Marussy2024-02-19
* fix(frontend): module name highlightingLibravatar Kristóf Marussy2024-02-18
* fix(language): type hash colorsLibravatar Kristóf Marussy2024-02-18
* feat(language): import validationLibravatar Kristóf Marussy2024-02-18
* refactor(language): no fully qualified self importLibravatar Kristóf Marussy2024-02-18
* feat(language): filter content assist for importsLibravatar Kristóf Marussy2024-02-11
* refactor(language): scope shadowingLibravatar Kristóf Marussy2024-02-11
* refactor(language): simplify default module kindsLibravatar Kristóf Marussy2024-02-11
* feat(language): automatic problem kind inferenceLibravatar Kristóf Marussy2024-02-06
* Revert "refactor: simplify module name inference"Libravatar Kristóf Marussy2024-02-05
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 18:44:05 +0000