Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Move ConstantTermNormalizer #150

Open
wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Move ConstantTermNormalizer #150

wants to merge 2 commits into from

Commits on Jun 23, 2024

  1. Move ConstantTermNormalizer 

    * Move class ConstantTermNormalizer from SMTInterpol to Library-SMTLIB
* Extract method
* Add support for new representation of bitvector constants
  (ConstantTerm with BigInteger value)
* Add documentation

This class is currently not used by SMTInterpol. However, this class is
used by several projects of Ultimate, e.g., by the SMTSolverBridge.
Ultimate's projects should not depend on SMTInterpol or the SMTSolverBridge.
Hence Ultimate currently duplicates this class to make the code available
to its projects.
    @Heizmann
    Heizmann committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    f8335c2 View commit details
    Browse the repository at this point in the history

  2. Reduce number of params

    @Heizmann
    Heizmann committed Jun 23, 2024
    Configuration menu
    Copy the full SHA
    4bbdaf9 View commit details
    Browse the repository at this point in the history