search

GabrielDosReis / ipr

Compiler-neutral Internal Program Representation for C++
BSD 3-Clause "New" or "Revised" License
222 stars 23 forks source link

Symbolic truth values #222

Closed GabrielDosReis closed 2 years ago

GabrielDosReis commented 2 years ago

This patch adds symbolic representation for false and true as built-in core values.