search

uclid-org / uclid

UCLID5: formal modeling, verification, and synthesis of computational systems
Other
136 stars 32 forks source link

Added function boilerplate for expr and stmts #212

Closed AnirudhChaudhary closed 4 months ago

AnirudhChaudhary commented 1 year ago

Added function boilerplate for expr but those are commented out for now. Stmts are all handled and just panic with an exception getting thrown.

polgreen commented 1 year ago

I take it this is work in progress? If you convert it to a draft PR, then I'll know not to look at it until you mark it as ready for review.

adwait commented 4 months ago

Closing since stale.