issues
search
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 on the frontend
#8
Closed
michelleshx
closed
1 week ago
michelleshx
commented
5 months ago
Figma Flow
add the button for Start Debugging in the right side panel:
clicking the button should make a post request with the #check PREDTYPE file
results should update the state space
expression evaluator should automatically be opened
Figma Flow