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

cvc5: support finite field literal #6

Merged
merged 1 commit into from
Aug 22, 2023
Merged

cvc5: support finite field literal #6

merged 1 commit into from
Aug 22, 2023

Commits on Aug 22, 2023

  1. cvc5: support finite field literal 

    Since 368f3c3, cvc5 can produce a finite field literal, in the format:

  #f <value> m <mod-value>

See cvc5/cvc5@368f3c3

This commit adds a support for finite field literal.
It also refactors the existing model parsing to use S-expression reading
that is already built-in to Racket.
    @sorawee
    sorawee committed Aug 22, 2023
    Configuration menu
    Copy the full SHA
    266227e View commit details
    Browse the repository at this point in the history