Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | refactor(interpreter): generify RepresentativeElectionAlgorithm | Kristóf Marussy | 2023-10-15 | |
| | | | | | Let representative election be used in places where IncSCCAlg was used with generic arguments other than Object. | |||
* | refactor(semantics): simple name creation | Kristóf Marussy | 2023-10-15 | |
| | | | | Use a simpler data structure for constructing simple names. | |||
* | refactor(interpreter-rete): recipe hashing | Kristóf Marussy | 2023-10-14 | |
| | | | | | | | | | | | | | | | | | | | | | | Use isomorphism-aware hashing to speed up RecipeRecognizer. Due to possibly cyclic (recursive) recipes, we can't recursively turn recipes into a canonical form. Recipes referring to already canonical (non-recurisve, or recursive and entirely canonicalized) recipes can be hashed, while recursive recipes in the middle of caninicalization still have to be compared more slowly by their contents. To keep the list of recipes compared by contents small, recipes are assigned a hash code whenever possible. We keep the equivalence class IDs for recipes, as there might be hash code clashes, as well as recursive recipes that only later get assigned a hash code. Also fixes a concurrency problem with equivalence class IDs by using an AtomicLong. Also reworks recipe instantiation, as now recipes might be canonicalized before they are instantiated. | |||
* | fix(query-interpreter): register Recipes package | Kristóf Marussy | 2023-10-14 | |
| | | | | | Make sure we never fall back to reflective EObjectImpl instead of generated classes when comparing recipes, as the reflective version is much slower. | |||
* | feat(frontend): save in URL fragment | Kristóf Marussy | 2023-09-26 | |
| | ||||
* | fix(query-interpreter): functional dependencies | Kristóf Marussy | 2023-09-19 | |
| | ||||
* | fix(frontend): typo in EditorTheme | Kristóf Marussy | 2023-09-19 | |
| | ||||
* | fix(frontend): XState warning | Kristóf Marussy | 2023-09-17 | |
| | | | | Make sure we do not create conflicting transitions. | |||
* | fix(frontend): compilation on Windows | Kristóf Marussy | 2023-09-17 | |
| | ||||
* | chore(deps): bump frontend dependencies | Kristóf Marussy | 2023-09-17 | |
| | ||||
* | chore: remove VIATRA branding | Kristóf Marussy | 2023-09-16 | |
| | | | | | | | | Rename VIATRA subprojects to Refinery Interpreter to avoid interfering with Eclipse Foundation trademarks. Uses refering to a specific (historical) version of VIATRA were kept to avoid ambiguity. | |||
* | build: fix Sonar quality gate issues | Kristóf Marussy | 2023-09-16 | |
| | | | | | Removes VIATRA sources from coverage anaylsis, since those files are maintained by the VIATRA project. | |||
* | Merge remote-tracking branch 'upstream/main' into partial-interpretation | Kristóf Marussy | 2023-09-14 | |
|\ | ||||
| * | SuppressWarnings for using pseudorandom number generator in non-security ↵ | nagilooh | 2023-08-25 | |
| | | | | | | | | sensitive contexts | |||
| * | Add missing copyright headers | nagilooh | 2023-08-25 | |
| | | ||||
| * | Move equivalence checking to new method | nagilooh | 2023-08-25 | |
| | | | | | | | | | | | | Also: - Rename Symbol to Variable - Make fire for InsertAction with low arity faster | |||
| * | Add delete action and additional tests for equals | nagilooh | 2023-08-25 | |
| | | ||||
| * | Add new transformation rule actions | nagilooh | 2023-08-24 | |
| | | | | | | | | | | - TransformationActions can be created after creating the model - equivalence of actions can be checked | |||
* | | feat: specify random seed for generation | Kristóf Marussy | 2023-09-14 | |
| | | ||||
* | | fix(frontend): keep live while model generation | Kristóf Marussy | 2023-09-13 | |
| | | | | | | | | | | Do not close the connection in a background tab if the model generation is still running, because closing the connection will immediately cancel generation. | |||
* | | refactor: do not construct uneeded interpretation | Kristóf Marussy | 2023-09-13 | |
| | | | | | | | | | | | | Model generation only has to extract the candidate interpretaion, partial intepretation queries are only needed if they appear in a rule, constraint, or objective. | |||
* | | fix: hide new node names in generated models | Kristóf Marussy | 2023-09-13 | |
| | | ||||
* | | fix: multiplicity error for non-existing objects | Kristóf Marussy | 2023-09-13 | |
| | | ||||
* | | fix: example Statechart specification | Kristóf Marussy | 2023-09-13 | |
| | | | | | | | | The default multiplicity is [0..1]. | |||
* | | chore(deps): bump dependencies | Kristóf Marussy | 2023-09-13 | |
| | | ||||
* | | refactor(frontend): generation appearance fixes | Kristóf Marussy | 2023-09-13 | |
| | | | | | | | | | | * Allow scrolling the tab bar. * Less prominent error text. | |||
* | | fix: multi-objects with lower bound of 1 | Kristóf Marussy | 2023-09-13 | |
| | | | | | | | | | | If an object has a lower bound of 1, but it is still a multi-object, model generation can't be finished yet. | |||
* | | refactor(frontend): hide non-existent nodes | Kristóf Marussy | 2023-09-12 | |
| | | ||||
* | | fix: SVG clipping path in Firefox | Kristóf Marussy | 2023-09-12 | |
| | | | | | | | | "#" should not appear in URI fragments, use "::" instead. | |||
* | | feat: connect model generator to UI | Kristóf Marussy | 2023-09-12 | |
| | | ||||
* | | fix: avoid GLOP error message on stderr | Kristóf Marussy | 2023-09-11 | |
| | | ||||
* | | feat: cancellation token for ModelStore | Kristóf Marussy | 2023-09-11 | |
| | | ||||
* | | fix: build failures after integrating generation | Kristóf Marussy | 2023-09-11 | |
| | | ||||
* | | fix: VIATRA projection indexer error | Kristóf Marussy | 2023-09-10 | |
| | | | | | | | | | | | | | | | | | | | | | | When a projection indexer is constructed for a production node, the projection memory is only populated if changes are being propagated. The cache doesn't get populated even if changes are flushed afterwards. This not only returns invalid query results, but also a duplicate deletion exception will be thrown when the production node tries to delete a tuple from the index memory. To counteract this issue, we enable update propagation while a matcher (and its associated indexers) are being created. | |||
* | | feat: integrate DSE with partial interpretation | Kristóf Marussy | 2023-09-09 | |
| | | ||||
* | | refactor(store): neighborhood optimization | Kristóf Marussy | 2023-09-07 | |
| | | | | | | | | | | * Use LinekdHashMap in delta-based stores to improve iteration performance * Avoid allocating ObjectCodeImpl | |||
* | | fix(dse): best-first strategy | Kristóf Marussy | 2023-09-07 | |
| | | | | | | | | The query engine must be flushed after firing a tranformation activation. | |||
* | | Merge remote-tracking branch 'nagilooh/datastructure' into ↵ | Kristóf Marussy | 2023-09-07 | |
|\ \ | | | | | | | | | | partial-interpretation | |||
| * | | Add missing copyright headers | nagilooh | 2023-09-07 | |
| | | | ||||
| * | | fix issues with DSE framework | nagilooh | 2023-09-07 | |
| | | | ||||
| * | | Merge remote-tracking branch 'oszkar/datastructure' into datastructure | nagilooh | 2023-09-07 | |
| |\ \ | ||||
| | * | | missing synchronized statements and flush added | OszkarSemerath | 2023-09-07 | |
| | | | | ||||
| | * | | Sample tests for the dse adapter | OszkarSemerath | 2023-09-07 | |
| | | | | ||||
| * | | | Add visualization to restructured DSE | nagilooh | 2023-09-07 | |
| |/ / | ||||
| * | | Fix numerous issues with DSE | nagilooh | 2023-09-06 | |
| | | | ||||
| * | | Add minor improvements and fixes for explorer | nagilooh | 2023-09-05 | |
| | | | ||||
* | | | feat: declarative DSE rules and model refinement | Kristóf Marussy | 2023-09-07 | |
| | | | ||||
* | | | feat(dse): transformation rule builder | Kristóf Marussy | 2023-09-06 | |
| | | | ||||
* | | | Merge remote-tracking branch 'OszkarSemerath/datastructure' into ↵ | Kristóf Marussy | 2023-09-05 | |
|\| | | | | | | | | | | | partial-interpretation | |||
| * | | fixed numerous issues with activation coder | OszkarSemerath | 2023-09-05 | |
| | | |