search

uclid-org / uclid

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

ADT TODOs #240

Open polgreen opened 4 months ago

polgreen commented 4 months ago

TODO: fix parser so we don't have to write A() with brackets for constants (see test/test-adt-2.ucl)

TODO: add ADTS to the tutorial

(creating issue to track these)