search

JHU-PL-Lab / sato

Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
3 stars 0 forks source link

Theory refactor #12

Closed kelvinqian00 closed 4 years ago

kelvinqian00 commented 4 years ago

For external end users, the most important change is changing the Odefa syntax for abort clauses to remove variable lists, i.e. the following

abort [x, y, z]

is no longer valid.