Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | feat: access computed values of relations | Kristóf Marussy | 2024-06-30 |
| | |||
* | refactor: improve propagation rule diagnostics | Kristóf Marussy | 2024-06-28 |
| | |||
* | refactor: improve propagation traceability | Kristóf Marussy | 2024-06-28 |
| | |||
* | refactor: show semantics even if propagation fails | Kristóf Marussy | 2024-06-28 |
| | |||
* | refactor(reasoning): fix Sonar warnings | Kristóf Marussy | 2024-06-28 |
| | |||
* | refactor(language): improve propagation rule validation | Kristóf Marussy | 2024-06-28 |
| | |||
* | refactor(generator): spelling | Kristóf Marussy | 2024-06-28 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-06-28 |
| | |||
* | fix(semantics): configure StateCoderAdapter | Kristóf Marussy | 2024-06-28 |
| | |||
* | refactor(store): NeighborhoodCalculator API | Kristóf Marussy | 2024-06-28 |
| | | | | | * Use US English spelling consistently * Avoid Eclipse Collections types on API | ||
* | interpreter: Fix NPE in VQE wipe/dispose -> EVM -> MatchUpdateListener chains | Kristóf Marussy | 2024-06-27 |
| | | | | | | Port https://github.com/eclipse-viatra/org.eclipse.viatra/commit/a70e5e35f254079fbb0819731c81f64b3c79d1d7 from the VIATRA upstream repository | ||
* | refactor(docs): improve website formatting | Kristóf Marussy | 2024-06-25 |
| | |||
* | fix(frontend): Algolia search | Kristóf Marussy | 2024-06-24 |
| | |||
* | chore(frontend): fix peer dependency warnings | Kristóf Marussy | 2024-06-23 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-06-23 |
| | |||
* | build: publish Maven snapshots to GH pages | Kristóf Marussy | 2024-06-23 |
| | |||
* | build: automate GitHub pages deployment | Kristóf Marussy | 2024-06-23 |
| | |||
* | build: add Maven metadata | Kristóf Marussy | 2024-06-23 |
| | |||
* | refactor(dse): expose state coder parameters | Kristóf Marussy | 2024-06-20 |
| | |||
* | refactor(logic): fix Sonar error | Kristóf Marussy | 2024-06-19 |
| | |||
* | refactor(logic): non-null aggregators | Kristóf Marussy | 2024-06-19 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-06-17 |
| | |||
* | fix: monomorphic matching for focus arguments | Kristóf Marussy | 2024-06-17 |
| | | | | | | | | | Since we don't do pre-matching for multi-objects, there's no way to fire a decision rule with multiple focus arguments without creating a new concrete object for each focus argument, even if they match the same multi-object. To be more consistent with the multi-object case, we also don't allow the same concrete object to appear as two distict focus arguments. | ||
* | fix: allow predicates in rule actions | Kristóf Marussy | 2024-06-17 |
| | | | | | We must mark any predicate definition in a rule action as mutable so that we can collect assertions created by rules during model generation. | ||
* | feat(language): warn about partial references | Kristóf Marussy | 2024-06-17 |
| | |||
* | refactor(language): allow rules without preconditions | Kristóf Marussy | 2024-06-17 |
| | |||
* | feat(language): validate quantification in rules | Kristóf Marussy | 2024-06-16 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-06-01 |
| | |||
* | refactor(reasoning): candidate view should always be a refinement of partial | Kristóf Marussy | 2024-06-01 |
| | | | | | | | | | | Merge the candidate may/must queries with the partial may/must queries so that reasoning in the candidate model uses "Gentzen-style" assumptions about the candidate values of partal symbols that would be computed as unknown. This should not lead to performance degradation, because the corresponding joins were already being computed in the stopping criterion. In many cases, the extra clauses are immediately optimized away by the query optimizer anyways. | ||
* | feat: partial references | Kristóf Marussy | 2024-06-01 |
| | | | | | References marked as partial are not concretized during model generation. The should be managed by the user manually using propagation rules instead. | ||
* | fix(reasoning): candidate count literal rewriting | Kristóf Marussy | 2024-06-01 |
| | |||
* | feat: generate multiple solutions | Kristóf Marussy | 2024-06-01 |
| | | | | | Switch to partial interpretation based neighborhood calculation when multiple models are request to avoid returning isomorphic models. | ||
* | fix(reasoning): candidate rounding mode | Kristóf Marussy | 2024-05-31 |
| | |||
* | refactor(language): rule syntax | Kristóf Marussy | 2024-05-30 |
| | | | | Make the rule syntax more similar to the predicate syntax. | ||
* | fix(language): validate unique rule names | Kristóf Marussy | 2024-05-26 |
| | |||
* | fix(language): spurious exception in ProblemValidator | Kristóf Marussy | 2024-05-26 |
| | | | | | Make sure getNodeArgumentForMultiObjectAssertion runs correctly even for ASTs with parse errors. | ||
* | fix(semantics): negative quantification in rules | Kristóf Marussy | 2024-05-26 |
| | | | | | Make sure we appropriate quantify over the existence of objects in negative and transitive calls in rule preconditions. | ||
* | feat(language): node constants in rule actions | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(dse): detect stuch propagation rules | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat: rule translation | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(language): more extensive rule validation | Kristóf Marussy | 2024-05-26 |
| | |||
* | refactor(language): merge Assertion and AssertionAction | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat(language): rule validation | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat: type checking for rules | Kristóf Marussy | 2024-05-26 |
| | |||
* | feat: rule parsing | Kristóf Marussy | 2024-05-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-05-26 |
| | |||
* | fix(frontend): broken zoom: property in Firefox | Kristóf Marussy | 2024-05-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-05-26 |
| | |||
* | chore(deps): bump dependencies | Kristóf Marussy | 2024-05-04 |
| | |||
* | feat(frontend): icon for error edges | Kristóf Marussy | 2024-04-28 |
| | | | | Make error edges more visible even in black&white printouts. |