Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Rules refactor #61

Merged
merged 20 commits into from
Jul 6, 2024
Merged

Rules refactor #61

merged 20 commits into from
Jul 6, 2024

Conversation

kris7t
Copy link
Contributor

@kris7t kris7t commented Jul 6, 2024

Language:

  • partial must lift any rule definitions.
  • Add implicit preconditions for decision and propagation rules.
  • Introduce shadow predicates that do not participate in reasoning, but allow modal operators.
  • Add a ::computed shadow predicate for each normal predicate to access the computed value (without any information from the model store).
  • Remove modal operators from parameters.

Semantics:

  • Allow accessing the computed values (without any information from the model store) of partial symbols.
  • Support for modal queries that are not fully specified (e.g., only candidate or only must).

kris7t added 20 commits June 30, 2024 20:29
@kris7t
feat: access computed values of relations
7f667d1
@kris7t
refactor(language): move computed to Atom
d774063
@kris7t
refactor(language): computed constraint symbol
de0ea1d
@kris7t
feat(language): computed value validation
57f9177
@kris7t
refactor(language): change computed value symbol
031932e
@kris7t
refactor(language): shadow predicates instead of computed value operator
a9e7d00
@kris7t
refactor: incomplete query lifting
f993624 
* Allow specifying only the modality or only the concreteness of constraints in
  the DNF representation.
* Allow modal operators in the Refinery language that only specific modality or
  concreteness.
* Allow modal operators in shadow predicates.
* Allow non-modal literals in rule definitions.
* Lift rule definitions to partial must automatically.
* Disallow modal operators in parameter lists.
* Change the symbols for parameter binding modes.
@kris7t
refactor(language): rename definition to computed
ab3231b
@kris7t
feat(reasoning): lower bound propagationrules
bcd0b7a
@kris7t
fix(semantics): traceability for internal rules
99bf3b8
@kris7t
fix(reasoning): do not propagate invalidated objects
d5b54f9
@kris7t
feat: container type propagation
bb35823
@kris7t
refactor(reasoning): lower multiplicity propagator
b63a2f7
@kris7t
refactor(reasoning): remove errors when possible
7847959
@kris7t
feat(language): shadow predicate validation and content assist
c991b64
@kris7t
chore(deps): bump dependencies
794af56
@kris7t
build: fix ESLint in VSCode
c1c1dd7 
See microsoft/vscode-eslint#1856
@kris7t
refactor(frontend): fix React warnings
382407b
@kris7t
feat(semantics): implicit rule preconditions
a9ddf62
@kris7t
test(web): increase test timeout
6d4bfbe 
Avoid spurious failures in CI.
@kris7t kris7t merged commit 42128ab into graphs4value:main Jul 6, 2024
8 checks passed
@kris7t kris7t deleted the computed branch July 6, 2024 18:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@kris7t