Extended quantifiers refactor

uuverifiers / eldarica

The Eldarica model checker

Other

80 stars 22 forks source link

Closed zafer-esen closed 6 months ago

zafer-esen commented 6 months ago

Refactors whole ghost variable implementation so that new ghost variables can easily be added and initialized.
Extended quantifier theory is made abstract, with two concrete subclasses.
New instrumentation operator class that largely reflects the definition in the paper.
Added product instrumentation operator.

Support for multiple ghost variable ranges is dropped for simplicity.

zafer-esen commented 6 months ago

Incorrect repository for this PR, so closing this :-)