search

tnelson / Forge

Forge: A Tool and Language for Teaching Formal Methods
https://forge-fm.org/
MIT License
67 stars 9 forks source link

feat: xor operator (macro, surface); tests #257

Closed tnelson closed 7 months ago

tnelson commented 7 months ago

Adding xor operator, pair-programming exercise with Karim!

The operator has no AST node; it's implemented via a macro to (or (and a !b) (and !a b)).