aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
* chore(deps): bump dependenciesHEADmainLibravatar Kristóf Marussy44 hours
* feat(frontend): icon for error edgesLibravatar Kristóf Marussy8 days
* refactor(frontend): crisper zoom in WebKitGTKLibravatar Kristóf Marussy8 days
* refactor(frontend): fix icon placement in SafariLibravatar Kristóf Marussy8 days
* rfactor(frontend): scroll to top on initializationLibravatar Kristóf Marussy9 days
* refactor(fronted): add visibility checkbox tooltipsLibravatar Kristóf Marussy9 days
* refactor(frontend): improve key bindingsLibravatar Kristóf Marussy9 days
* fix(reasoning): default assertions for containment referencesLibravatar Kristóf Marussy9 days
* chore(deps): bump dependenciesLibravatar Kristóf Marussy9 days
* fix(docs): non-linear time regexLibravatar Kristóf Marussy9 days
* fix(docs): missing license filesLibravatar Kristóf Marussy9 days
* docs: language referencedocsLibravatar Kristóf Marussy11 days
* docs: add use cases to landing pageLibravatar Kristóf Marussy2024-04-18
* refactor(docs): update video coverLibravatar Kristóf Marussy2024-04-18
* docs: update landing pageLibravatar Kristóf Marussy2024-04-18
* docs: contributing guideLibravatar Kristóf Marussy2024-04-16
* feat(docs): add Algolia DocSearchLibravatar Kristóf Marussy2024-04-16
* feat(frontend): add homepage linkLibravatar Kristóf Marussy2024-04-12
* feat(frontend): add tooltips to buttonsLibravatar Kristóf Marussy2024-04-12
* refactor(frontend): friendlier table view messagesLibravatar Kristóf Marussy2024-04-12
* refactor(frontend): remember export setting for auto themeLibravatar Kristóf Marussy2024-04-12
* feat(docs): add edit linkLibravatar Kristóf Marussy2024-04-12
* fix(docs): category selection card apperanceLibravatar Kristóf Marussy2024-04-12
* refactor(frontend): improve SVG minificationLibravatar Kristóf Marussy2024-04-12
* docs: add link to WASPLibravatar Kristóf Marussy2024-04-11
* feat(web): embed SVG into HTML directlyLibravatar Kristóf Marussy2024-04-11
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2024-04-11
* refactor(docs): simplify yarnwLibravatar Kristóf Marussy2024-04-11
* docs: add webmanifestLibravatar Kristóf Marussy2024-04-10
* refactor(docs): URL structureLibravatar Kristóf Marussy2024-04-10
* docs: add existing static assetsLibravatar Kristóf Marussy2024-04-10
* docs: under constructionLibravatar Kristóf Marussy2024-04-10
* fix(build): assembleFrontend task enableIfLibravatar Kristóf Marussy2024-04-09
* 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
generated by cgit v1.2.3-54-g00ecf (git 2.45.0) at 2024-05-05 20:35:24 +0000