aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)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
| | | | | | | | | | | | | | Bumps [vite](https://github.com/vitejs/vite/tree/HEAD/packages/vite) from 4.2.1 to 4.2.3. - [Release notes](https://github.com/vitejs/vite/releases) - [Changelog](https://github.com/vitejs/vite/blob/v4.2.3/packages/vite/CHANGELOG.md) - [Commits](https://github.com/vitejs/vite/commits/v4.2.3/packages/vite) --- updated-dependencies: - dependency-name: vite dependency-type: direct:development ... Signed-off-by: dependabot[bot] <support@github.com>
* Merge pull request #24 from kris7t/partial-interpretationLibravatar Kristóf Marussy2023-03-31
|\ | | | | Changes for supporting partial interpretation
| * build: try to fix secret detection in workflowLibravatar Kristóf Marussy2023-03-31
| |
| * chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-03-31
| |
| * feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | * Implement data terms for computations in queries. * Function-like queries with computed results. * Improved query evaluation, including positive and negative diagonal cosntraints. * Preliminary local search support. * Changes to the DNF representation for count and aggregation support. feat: terms wip feat: query terms wip feat: query evaluation, diagonal constraints, local search wip fix reasoning compilation wip
| * 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
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Accessing VIATRA result sets through IQueryResultProvider requires a lot of indirection, allocations, and locking. We use reflection instead to have direct access to the underlying Indexer instead. Unfortunately, projection to arbitrary tuple masks (with wildcard entries in a tuple) is completely broken in VIATRA when RETE update propagation is delayed. While a new, ad-hoc projection indexer gets added to the RETE net immediately, it is not populated with the projection results until updates are flushed in the query engine. Therefore, when encountering an ad-hoc projection for the first time, the projection results will always be empty (thus usually out of date). While declaring the desired projections ahead of time would be a possible solution, for now, we completely remove ad-hoc projection support. If projections are needed on the ModelQuery level, we should create an API for declaring projections for each registered Dnf.
| * 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
| | | | | | | | | | | | Allows more complicated dependency hiearchies (e.g., use store-query-viatra for testing store-partial) and better separation of test fixtures.
| * 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
| | | | | Makes the intent of the code clearer by explicitly overriding equals and hashCode for by-reference comparison. Also fixes Sonar warning.
* fix: missing NoSuchElementExceptionLibravatar Kristóf Marussy2023-02-02
| | | | | Bug was pointed out by Sonar: https://sonarcloud.io/project/issues?open=AYYT39yQKbLNgAqL21xC&id=graphs4value_refinery
* build: downgrade to Gradle 7.6Libravatar Kristóf Marussy2023-02-02
| | | | | | Sonarqube is not yet compatible with Gradle 8: https://sonarsource.atlassian.net/browse/SONARGRADL-84 https://github.com/SonarSource/sonar-scanner-gradle/pull/146
* Merge pull request #23 from ↵Libravatar Kristóf Marussy2023-02-02
|\ | | | | | | | | graphs4value/dependabot/npm_and_yarn/http-cache-semantics-4.1.1 build(deps): bump http-cache-semantics from 4.1.0 to 4.1.1
| * build(deps): bump http-cache-semantics from 4.1.0 to 4.1.1Libravatar dependabot[bot]2023-02-02
|/ | | | | | | | | | | | | Bumps [http-cache-semantics](https://github.com/kornelski/http-cache-semantics) from 4.1.0 to 4.1.1. - [Release notes](https://github.com/kornelski/http-cache-semantics/releases) - [Commits](https://github.com/kornelski/http-cache-semantics/compare/v4.1.0...v4.1.1) --- updated-dependencies: - dependency-name: http-cache-semantics dependency-type: indirect ... Signed-off-by: dependabot[bot] <support@github.com>
* build: try to fix lint errorsLibravatar Kristóf Marussy2023-02-02
| | | | | | Make sure to generate TypeScript type definitions before ESLint is invoked. Missing type definitions for tsconfig references generate lont errors.
* 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
| | | | | Use PVisibility.EMBEDDED helper patterns to avoid superfluous production nodes in the Rete net.
* refactor: Model store and query APILibravatar Kristóf Marussy2023-01-29
| | | | Use Adapters to simplify API usage.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-01-28
|
* fix(frontend): do not scroll initiallyLibravatar Kristóf Marussy2022-12-21
| | | | | Make sure the CodeMirror DOM is fully ready before inserting a spacer element for overscroll behavior.
* feat(frontend): add links to top barLibravatar Kristóf Marussy2022-12-21
|
* refactor(store): compare VersionedMap instancesLibravatar Kristóf Marussy2022-12-21
| | | | | | | The Java hashCode and equals API is inappropriate here, because an AnyVersionedMap is mutable. Added new methods to hash and compare AnyVersionedMap instances by their contents and marked the built-in Java methods as deprecated.
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2022-12-21
|
* refactor(store): simplify return typesLibravatar Kristóf Marussy2022-12-13
| | | | | | Prefers sealed non-generic interfaces over wildcard types to avoid confusion about method return types, especially in collections (see SonarQube rule java:S1452).
* chore(deps): upgrade to yarn canaryLibravatar Kristóf Marussy2022-12-13
| | | | | | | Support for typescript@4.9.4 available in yarn 4.0.0-rc.33 according to https://github.com/yarnpkg/berry/pull/5127#issuecomment-1345664949 Also updates other frontend dependencies.
* chore(web): upgrade to Jetty 12.0.0.alpha3Libravatar Kristóf Marussy2022-12-12
| | | | | Also refactor virtual thread ExecutorService handling and integration tests.
* refactor(frontend): split vite configLibravatar Kristóf Marussy2022-12-11
| | | | | Also introduces tsconfig.shared.json to keep track of source files used both and build time and in the browser.
* refactor(frontend): lazy load XtextClientLibravatar Kristóf Marussy2022-12-11
| | | | | Improve time to a usable editor by loading the xtext client lazily. The already existing delay to connect masks the delay of loading.
* chore(frontend): upgrade to vite 4Libravatar Kristóf Marussy2022-12-11
| | | | | | vite-plugin-inject-preload and vite-plugin-pwa generate peer dependency warnings, because they still require vite 3, but this does not lead to any incorrect behavior in practice.
* refactor(store): remove CountPolarityLibravatar Kristóf Marussy2022-12-09
| | | | We will have to implement counting in DNF queries in another way.
* 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
| | | | Thanks @marci543
* 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
| | | | Mimics the polular behavior from Codium.
* feat: add cardinality interval abstractionLibravatar Kristóf Marussy2022-12-09
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-29 07:52:26 +0000