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

Reserve proxy names of SatML #836

Merged
merged 1 commit into from
Sep 26, 2023
Merged

Reserve proxy names of SatML #836

merged 1 commit into from
Sep 26, 2023

Commits on Sep 23, 2023

  1. Reserve proxy names of SatML 

    The SAT solver SatML produces proxy terms while building the
CNF form of an expression. These terms have top symbols `Sy.Name`
whose the string is prefixed by `PROXY_`.
I replace the prefix by `.PROXY_` as names starting by a dot are
reserved in the SMT-LIB standard.
    @Halbaroth
    Halbaroth committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    8cfe247 View commit details
    Browse the repository at this point in the history