aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
Commit message (Expand)AuthorAge
* build(deps-dev): bump vite from 4.2.1 to 4.2.3dependabot/npm_and_yarn/vite-4.2.3Libravatar dependabot[bot]2023-06-06
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-03-31
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: use Cursor in query result setsLibravatar Kristóf Marussy2023-03-01
* refactor: more direct access to VIATRA result setLibravatar Kristóf Marussy2023-03-01
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-26
* refactor: rename PartialInterpretation adapterLibravatar Kristóf Marussy2023-02-25
* feat: Dnf reduction and structural equalityLibravatar Kristóf Marussy2023-02-24
* refactor: split query and partial from storeLibravatar Kristóf Marussy2023-02-20
* feat: type inference for class hierarchiesLibravatar Kristóf Marussy2023-02-20
* feat: PartialInterpretation representationsLibravatar Kristóf Marussy2023-02-17
* refactor: EDSL for DNF literalsLibravatar Kristóf Marussy2023-02-09
* refactor: Atom -> Literal naming conventionLibravatar Kristóf Marussy2023-02-09
* refactor: PartialInterpretation adapter namingLibravatar Kristóf Marussy2023-02-03
* refactor: Symbol as recordLibravatar Kristóf Marussy2023-02-03
* fix: missing NoSuchElementExceptionLibravatar Kristóf Marussy2023-02-02
* build: try to fix lint errorsLibravatar Kristóf Marussy2023-02-02
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-02
* refactor: do not allow Symbol in CallAtomLibravatar Kristóf Marussy2023-02-02
* feat: track uncommitted Model changesLibravatar Kristóf Marussy2023-02-02
* feat: track ModelQuery pending changesLibravatar Kristóf Marussy2023-02-02
* feat: model query functional dependenciesLibravatar Kristóf Marussy2023-02-02
* refactor: VIATRA adapter fixesLibravatar Kristóf Marussy2023-02-01
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-02-01
* feat: negative and transitive RelationViewAtomLibravatar Kristóf Marussy2023-01-29
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-01-28
* fix(frontend): do not scroll initiallyLibravatar Kristóf Marussy2022-12-21
* feat(frontend): add links to top barLibravatar Kristóf Marussy2022-12-21
* refactor(store): compare VersionedMap instancesLibravatar Kristóf Marussy2022-12-21
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-12-21
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
* chore(deps): upgrade to yarn canaryLibravatar Kristóf Marussy2022-12-13
* chore(web): upgrade to Jetty 12.0.0.alpha3Libravatar Kristóf Marussy2022-12-12
* refactor(frontend): split vite configLibravatar Kristóf Marussy2022-12-11
* refactor(frontend): lazy load XtextClientLibravatar Kristóf Marussy2022-12-11
* chore(frontend): upgrade to vite 4Libravatar Kristóf Marussy2022-12-11
* refactor(store): remove CountPolarityLibravatar Kristóf Marussy2022-12-09
* refactor(frontend): theme improvementsLibravatar Kristóf Marussy2022-12-09
* refactor(frontend): scrollbar improvementsLibravatar Kristóf Marussy2022-12-09
* feat(frontend): dev mode badgeLibravatar Kristóf Marussy2022-12-09
* fix(frontend): reduce Android rendering errorsLibravatar Kristóf Marussy2022-12-09
* fix(frontend): content assist error recoveryLibravatar Kristóf Marussy2022-12-09
* feat(frontend): scroll beyond last line in editorLibravatar Kristóf Marussy2022-12-09
* feat: add cardinality interval abstractionLibravatar Kristóf Marussy2022-12-09
* refactor: be more conservative w/preview featuresLibravatar Kristóf Marussy2022-12-09
* refactor(frontend): simplify diagnostic trackingLibravatar Kristóf Marussy2022-12-09
* chore(web): fix lint errorLibravatar Kristóf Marussy2022-12-09
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-12-08
* chore: upgrade to Java 19Libravatar Kristóf Marussy2022-11-22