search

GaloisInc / salty

A DSL for generating GR(1) problems
BSD 3-Clause "New" or "Revised" License
11 stars 3 forks source link

Support xor #8

Closed elliottt closed 7 years ago

elliottt commented 7 years ago

The xor operator ^ is currently not implemented.

cc @sahabi

sahabi commented 7 years ago

Example: https://github.com/GaloisInc/salty/blob/master/examples/simple_safety_example.salt