Coffins

Jump to bottom

Michael Rawson edited this page Jul 17, 2023 · 2 revisions

Where Vampires sleep. ;-) Thanks to Bernhard Gleiss for the name.

More seriously, not all branches make it into Vampire for one reason or another, but they may still be of interest. They include:

theory_of_bitvectors - initial support for SMT-LIB bitvectors, may be revived one day
...more?

Refer to issue #157 for old code removed from mainline.