search

sybila / biodivine-sketchbook

Biodivine SketchBook is a multi-platform application for designing and analysing large-scale logical models.
MIT License
0 stars 1 forks source link

Backend support for update and uninterpreted functions #28

Closed ondrej33 closed 8 months ago

ondrej33 commented 8 months ago

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.