aboutsummaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAge
* fix(language): Sonar lint issueHEADmainLibravatar Kristóf Marussy12 days
* Merge pull request #57 from kris7t/logic-extractLibravatar Kristóf Marussy12 days
|\
| * refactor(logic): abstract domain interfaceLibravatar Kristóf Marussy12 days
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy12 days
| * refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy12 days
| * fix(frontend): * operator highlightingLibravatar Kristóf Marussy12 days
| * feat(language): type inferenceLibravatar Kristóf Marussy12 days
| * feat(language): validate assignment expressionsLibravatar Kristóf Marussy12 days
| * refactor(language): assignment and cast expressionLibravatar Kristóf Marussy12 days
| * feat(query): left join for data variablesLibravatar Kristóf Marussy12 days
| * feat(language): datatype declarationsLibravatar Kristóf Marussy12 days
| * feat: subproject for z3 integrationLibravatar Kristóf Marussy12 days
| * chore(z3): bump to z3 4.12.6Libravatar Kristóf Marussy12 days
| * build: package Z3 solver native librariesLibravatar Kristóf Marussy12 days
|/
* fix(test): Windows line endings comparisonLibravatar Kristóf Marussy12 days
* build: multi-platform buildLibravatar Kristóf Marussy12 days
* chore(deps): bump dependenciesLibravatar Kristóf Marussy13 days
* build: move Javascript config to top levelLibravatar Kristóf Marussy13 days
* chore(deps): upgrade to frontend-jdk17 8.0.0Libravatar Kristóf Marussy2024-04-05
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-04-03
* fix(build): missing option in DockerfileLibravatar Kristóf Marussy2024-03-26
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2024-03-26
* Merge pull request #56 from kris7t/custom-colorsLibravatar Kristóf Marussy2024-03-22
|\
| * 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
* Merge pull request #55 from kris7t/svg-exportLibravatar 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
|/
* Merge pull request #53 from kris7t/importsLibravatar Kristóf Marussy2024-02-19
|\
| * docs: update READMELibravatar Kristóf Marussy2024-02-19
| * 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-04-19 20:41:01 +0000