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

Add a few operators to binrat (refinement of rat by bigQ) #32

Merged
merged 7 commits into from
Jan 18, 2021
Merged

Add a few operators to binrat (refinement of rat by bigQ) #32

merged 7 commits into from
Jan 18, 2021

Commits on Jan 8, 2021

  1. [binrat] Add a cast from nat to bigQ

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    7092d11 View commit details
    Browse the repository at this point in the history

  2. [binrat] Add min and max

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    c1ff40f View commit details
    Browse the repository at this point in the history

  3. [binrat] Add inv

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    dc5ef39 View commit details
    Browse the repository at this point in the history

  4. [binrat] Add div

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    4550153 View commit details
    Browse the repository at this point in the history

  5. [binrat] Add spec

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    4af5221 View commit details
    Browse the repository at this point in the history

  6. [binrat] Add refinement of eq wrt bool_R

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    1b6c31c View commit details
    Browse the repository at this point in the history

  7. Drop support for Coq 8.7, 8.8 and 8.9

    @proux01
    proux01 committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    4c2286b View commit details
    Browse the repository at this point in the history