implement simplified z spec debugging in right pannel - Githubissues

michelleshx / Boole

A full-featured front end for George with various qualify-of-life features and workflow improvements

https://boole.shazz.me

MIT License

1 stars 0 forks source link

implement simplified z spec debugging in right pannel #25

Closed michelleshx closed 1 week ago

michelleshx commented 1 week ago

This is setting up the frontend to support the simplified z-spec debugging (check PREDTYPE).

Changes:

Added this default panel:
Clicking the button will check the file type, make a request to the backend, and display the information in the side panel
(check PREDTYPE files will only show the state tab, checkZ files will show state, operation and trace tab)
Setup context for storing the file

TODO:

Set the file type when its loaded in
Error message for invalid state space
Setup proper data structures for the StateSpaceContext
Update backend request endpoint for check PREDTYPE