Let-and implementation - Githubissues

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Open jchen-cs opened 1 year ago

jchen-cs commented 1 year ago

Add support for equations of the form let x=e1 and y=e2... verification condition generation. Also includes some test cases to test its operation.

jchen-cs commented 1 year ago

Changes have been implemented, awaiting further review