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

Backend support for update and uninterpreted functions #28

Merged
merged 29 commits into from
Mar 15, 2024
Merged

Backend support for update and uninterpreted functions #28

merged 29 commits into from
Mar 15, 2024

Conversation

ondrej33
Copy link
Member

@ondrej33 ondrej33 commented Mar 5, 2024

This PR implements the backend for tracking and validating the state of the model's update functions and uninterpreted functions. It is synchronized with the front end using events.

The new components extend the main ModelState struct and the corresponding events are added to the API in the src/aeon_events.ts file.

@ondrej33
Unify concept of observability/essentiality for regulations.
35c77f9
@ondrej33
WIP: Start adding parameters to the model.
6a17c24
@ondrej33
Add basic functionality regarding parameters.
0cbc67c
@ondrej33
wip: Add events regarding parameters.
bf7aa80
@ondrej33
Merge changes from main.
f98c066
@ondrej33
WIP: Start adding uninterpreted and update functions.
172e45c
@ondrej33
WIP: Continue adding uninterpreted and update functions.
8346189
@ondrej33
Extend basic skeleton for uninterpreted and update functions.
c48b61e
@ondrej33
Refactoring.
d95de05
@ondrej33
Add checks for name strings, refactor.
0d3c589
@ondrej33
New code structure for the model's event API.
88c5d18
@ondrej33
Add initial working version of update & uninterpreted fns.
24f9a3c
@ondrej33
Reformatting.
6664d6d
@ondrej33
Update function parsing and function data.
90bad77
@ondrej33
Add events for manipulation with update functions.
88dd9b1
@ondrej33
Extend model's event API, refactor.
73a7ebf
@ondrej33
Extend model's API on frontend.
9f608c6
@ondrej33
Finilize event API for uninterpreted fns.
bd1953f
@ondrej33
Add additional checks before variable/parameter removal and updates.
39d2902
@ondrej33
Extend utilities for converting model to BN and add tests.
e09f5dd
@ondrej33
Extend checks before modifiying update/unintepreted functions.
b4d7232
@ondrej33
Modify uninterpreted fn data.
d0c901a
@ondrej33
Update api for modifying functions.
78905b8
@ondrej33
Start using the events for uninterpreted functions from the frontend.
b34f183
@ondrej33 ondrej33 changed the title Backend support for update functions Backend support for update and uninterpreted functions Mar 10, 2024
@daemontus daemontus merged commit f31819c into main Mar 15, 2024
4 checks passed
@ondrej33 ondrej33 deleted the dev-functions-backend branch April 3, 2024 12:07
@ondrej33 ondrej33 mentioned this pull request Apr 21, 2024
Open
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.
2 participants
@ondrej33 @daemontus