Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | build: add Dockerfile | Kristóf Marussy | 2023-09-03 |
| | |||
* | feat(frontend): hide object scopes by default | Kristóf Marussy | 2023-09-03 |
| | |||
* | chore: prefer Prolog-style comments | Kristóf Marussy | 2023-09-03 |
| | |||
* | feat: scope propagator in language | Kristóf Marussy | 2023-09-03 |
| | |||
* | build: runtimeOnly Eclipse Collections if posible | Kristóf Marussy | 2023-09-03 |
| | |||
* | feat: type scope propagator | Kristóf Marussy | 2023-09-03 |
| | |||
* | chore(build): replce deprecated Gradle API use | Kristóf Marussy | 2023-08-31 |
| | |||
* | refactor(viatra): replace Stack with Deque | Kristóf Marussy | 2023-08-31 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2023-08-31 |
| | |||
* | chore(deps): downgrade to @mui/x-data-grid 6.10.0 | Kristóf Marussy | 2023-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 shortcut | Kristóf Marussy | 2023-08-31 |
| | |||
* | refactor(frontend): compact relation table | Kristóf Marussy | 2023-08-31 |
| | |||
* | refactor(frontend): pane button theme | Kristóf Marussy | 2023-08-31 |
| | |||
* | feat(frontend): implement grid view | Kristóf Marussy | 2023-08-31 |
| | |||
* | feat(frontend): window pane switcher | Kristóf Marussy | 2023-08-30 |
| | |||
* | refactor(frontend): filter dialog formatting | Kristóf Marussy | 2023-08-30 |
| | |||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-08-30 |
| | | | | Also downgrade @types/node to match the running Node version. | ||
* | fix(frontend): completion cache invalidation | Kristóf Marussy | 2023-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 nodes | Kristóf Marussy | 2023-08-30 |
| | |||
* | feat(frontend): projection dialog | Kristóf Marussy | 2023-08-30 |
| | |||
* | refactor(frontend): containment arrow size | Kristóf Marussy | 2023-08-29 |
| | |||
* | refactor: rename invalidNumberOfContainers | Kristóf Marussy | 2023-08-29 |
| | | | | | Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers. | ||
* | refactor: disable contains refinement | Kristóf Marussy | 2023-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 algorithm | Kristóf Marussy | 2023-08-27 |
| | | | | Make sure to merge all clusters reachable from source and target. | ||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-08-26 |
| | |||
* | refactor(frontent): improve graph drawing | Kristóf Marussy | 2023-08-26 |
| | |||
* | feat(frontend): automatic fit zoom | Kristóf Marussy | 2023-08-24 |
| | |||
* | chore: clarify permissing licensing | Kristóf Marussy | 2023-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 visualization | Kristóf Marussy | 2023-08-24 |
| | |||
* | refactor(web): move d3-zoom patch into repo | Kristóf Marussy | 2023-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 controls | Kristóf Marussy | 2023-08-23 |
| | |||
* | refactor: d3 zoom centering | Kristóf Marussy | 2023-08-23 |
| | | | | Uses patch from https://github.com/d3/d3-zoom/pull/212 | ||
* | feat: dot visualization | Kristóf Marussy | 2023-08-23 |
| | |||
* | fix: predicate value translation | Kristóf Marussy | 2023-08-21 |
| | |||
* | feat: improve semantics error reporting | Kristóf Marussy | 2023-08-20 |
| | | | | | Also makes model seeds cancellable to reduce server load during semantic analysis. | ||
* | fix: nullary model initialization | Kristóf Marussy | 2023-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 elimination | Kristóf Marussy | 2023-08-19 |
| | |||
* | feat: interruptible VIATRA engine | Kristóf Marussy | 2023-08-19 |
| | | | | Reduce server load by introducing a timeout for semantics analysis. | ||
* | refactor: move ITC algorithms | Kristóf Marussy | 2023-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 VIATRA | Kristóf Marussy | 2023-08-19 |
| | |||
* | chore: mark modified VIATRA files | Kristóf Marussy | 2023-08-19 |
| | | | | Make sure the copyright headers are up to date. | ||
* | refactor: merge VIATRA subprojects | Kristóf Marussy | 2023-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 code | Kristóf Marussy | 2023-08-19 |
| | | | | We don't need Eclipse platform support, table-based scopes, and EMF support. | ||
* | chore: import VIATRA source | Kristóf Marussy | 2023-08-19 |
| | | | | | Make our modifications more maintainable by editing the source code directly instead of using reflection. | ||
* | feat: predicate semantics | Kristóf Marussy | 2023-08-18 |
| | |||
* | refactor: candidate interpreation only on demand | Kristóf Marussy | 2023-08-17 |
| | | | | Avoid creating interpretations not needed for the graph analysis task. | ||
* | fix: typo in language-web build script | Kristóf Marussy | 2023-08-17 |
| | |||
* | fix: more precise new object types | Kristóf Marussy | 2023-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 reporting | Kristóf Marussy | 2023-08-17 |
| | |||
* | fix: containment link translation | Kristóf Marussy | 2023-08-17 |
| | | | | | Improper equality implementation of representative election literals merged weak and strong connected components during query canonicalization. |