search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

actually abs attached expressions #133

Closed aep closed 3 years ago

aep commented 3 years ago

they where missing from abs, flatten and consequently symbolic