aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAge
* feat: scope propagator in languageLibravatar Kristóf Marussy2023-09-03
|
* build: runtimeOnly Eclipse Collections if posibleLibravatar Kristóf Marussy2023-09-03
|
* feat: type scope propagatorLibravatar Kristóf Marussy2023-09-03
|
* chore(build): replce deprecated Gradle API useLibravatar Kristóf Marussy2023-08-31
|
* refactor(viatra): replace Stack with DequeLibravatar Kristóf Marussy2023-08-31
|
* chore(deps): bump dependenciesLibravatar Kristóf Marussy2023-08-31
|
* chore(deps): downgrade to @mui/x-data-grid 6.10.0Libravatar Kristóf Marussy2023-08-31
| | | | | | | Versions 6.10.1 use eval, which causes problems with CSP and minification: https://github.com/mui/mui-x/issues/9771 https://github.com/mui/mui-x/issues/10056
* refactor(frontend): secondary pane switch shortcutLibravatar Kristóf Marussy2023-08-31
|
* refactor(frontend): compact relation tableLibravatar Kristóf Marussy2023-08-31
|
* refactor(frontend): pane button themeLibravatar Kristóf Marussy2023-08-31
|
* feat(frontend): implement grid viewLibravatar Kristóf Marussy2023-08-31
|
* feat(frontend): window pane switcherLibravatar Kristóf Marussy2023-08-30
|
* refactor(frontend): filter dialog formattingLibravatar Kristóf Marussy2023-08-30
|
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-30
| | | | Also downgrade @types/node to match the running Node version.
* fix(frontend): completion cache invalidationLibravatar Kristóf Marussy2023-08-30
| | | | | | In some cases, especially with an empty editor, trying to map completions over the last changes may result in a RangeError. If unhandled, the error corrupts editor state.
* feat(frontend): hide isolated nodesLibravatar Kristóf Marussy2023-08-30
|
* feat(frontend): projection dialogLibravatar Kristóf Marussy2023-08-30
|
* refactor(frontend): containment arrow sizeLibravatar Kristóf Marussy2023-08-29
|
* refactor: rename invalidNumberOfContainersLibravatar Kristóf Marussy2023-08-29
| | | | | Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers.
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-28
| | | | Also downgrade EMF dependencies to be compatible with the Xtext BOM
* refactor: disable contains refinementLibravatar Kristóf Marussy2023-08-27
| | | | | | Providing an efficient refinement calculus would be too difficult at this point, and contains is much more useful as a constraint in predicates that as an assertions anyway.
* fix: strong represenative election algorithmLibravatar Kristóf Marussy2023-08-27
| | | | Make sure to merge all clusters reachable from source and target.
* chore(deps): bump frontend dependenciesLibravatar Kristóf Marussy2023-08-26
|
* refactor(frontent): improve graph drawingLibravatar Kristóf Marussy2023-08-26
|
* feat(frontend): automatic fit zoomLibravatar Kristóf Marussy2023-08-24
|
* chore: clarify permissing licensingLibravatar Kristóf Marussy2023-08-24
| | | | | | | | | | | | For permissive licenses like MIT and BSD, OR EPL doesn't make sense, because the copyright original permission notice must be retained at all times. For code simply copied with minimal modifications that are unrelated to Refinery, we can just use the plain MIT license or BSD-3-clause license. For code with complex modifications related to Refinery, we can instead use the MIT AND EPL-2.0 SPDX expression, which forces downstream users to retain the original MIT notices as required by the MIT license, but also extends Refinery's copyleft to our modifications.
* refactor(web): clean up graphviz visualizationLibravatar Kristóf Marussy2023-08-24
|
* refactor(web): move d3-zoom patch into repoLibravatar Kristóf Marussy2023-08-23
| | | | | Instead of referencing an external pull request, move the patch into yarn/.patches and update it to handle pinch-to-zoom.
* feat(web): zoom controlsLibravatar Kristóf Marussy2023-08-23
|
* refactor: d3 zoom centeringLibravatar Kristóf Marussy2023-08-23
| | | | Uses patch from https://github.com/d3/d3-zoom/pull/212
* feat: dot visualizationLibravatar Kristóf Marussy2023-08-23
|
* fix: predicate value translationLibravatar Kristóf Marussy2023-08-21
|
* feat: improve semantics error reportingLibravatar Kristóf Marussy2023-08-20
| | | | | Also makes model seeds cancellable to reduce server load during semantic analysis.
* fix: nullary model initializationLibravatar Kristóf Marussy2023-08-19
| | | | | Decision trees can only handle relations with 1 level and up, so we use a special case for nullary relations.
* fix: abstract type chain eliminationLibravatar Kristóf Marussy2023-08-19
|
* feat: interruptible VIATRA engineLibravatar Kristóf Marussy2023-08-19
| | | | Reduce server load by introducing a timeout for semantics analysis.
* refactor: move ITC algorithmsLibravatar Kristóf Marussy2023-08-19
| | | | | Since only RETE uses ITC, we may move ITC into the RETE project. Also removes unused ITC algorithms.
* refactor: apply local search fixes to VIATRALibravatar Kristóf Marussy2023-08-19
|
* chore: mark modified VIATRA filesLibravatar Kristóf Marussy2023-08-19
| | | | Make sure the copyright headers are up to date.
* refactor: merge VIATRA subprojectsLibravatar Kristóf Marussy2023-08-19
| | | | | Since we remove EMF dependencies, there is no point to maintaining a base index separate from the rest of the runtime.
* refactor: remove unused VIATRA codeLibravatar Kristóf Marussy2023-08-19
| | | | We don't need Eclipse platform support, table-based scopes, and EMF support.
* chore: import VIATRA sourceLibravatar Kristóf Marussy2023-08-19
| | | | | Make our modifications more maintainable by editing the source code directly instead of using reflection.
* feat: predicate semanticsLibravatar Kristóf Marussy2023-08-18
|
* build: fix deprecation warningLibravatar Kristóf Marussy2023-08-17
| | | | https://docs.gradle.org/8.2.1/userguide/upgrading_version_8.html#test_framework_implementation_dependencies
* refactor: candidate interpreation only on demandLibravatar Kristóf Marussy2023-08-17
| | | | Avoid creating interpretations not needed for the graph analysis task.
* fix: typo in language-web build scriptLibravatar Kristóf Marussy2023-08-17
|
* fix: more precise new object typesLibravatar Kristóf Marussy2023-08-17
| | | | | A new object should not be an instance of any subclasses. Also, it should be possible cleare a node without any other type.
* fix: opposite translation error reportingLibravatar Kristóf Marussy2023-08-17
|
* fix: containment link translationLibravatar Kristóf Marussy2023-08-17
| | | | | Improper equality implementation of representative election literals merged weak and strong connected components during query canonicalization.
* feat: basic semantics mapping and visualizationLibravatar Kristóf Marussy2023-08-17
|
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-07-08 21:46:59 +0000