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

[Merged by Bors] - refactor(*): replace abs with vertical bar notation #8891

Closed
wants to merge 10 commits into from
Closed

[Merged by Bors] - refactor(*): replace abs with vertical bar notation #8891

wants to merge 10 commits into from

Commits on Sep 20, 2021

  1. refactor: add has_abs class

    @mans0954
    mans0954 committed Sep 20, 2021
    Configuration menu
    Copy the full SHA
    aa3fa8c View commit details
    Browse the repository at this point in the history

Commits on Sep 26, 2021

  1. Merge branch 'master' into absolute-value

    @mans0954
    mans0954 committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    215f739 View commit details
    Browse the repository at this point in the history

  2. Replace _root_.abs with has_abs.abs

    @mans0954
    mans0954 committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    0826757 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into absolute-value

    @mans0954
    mans0954 committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    ac8e2fc View commit details
    Browse the repository at this point in the history

  4. Improve proof for has_finite_integral.min_zero

    @mans0954
    mans0954 committed Sep 26, 2021
    Configuration menu
    Copy the full SHA
    e3364dd View commit details
    Browse the repository at this point in the history

Commits on Sep 27, 2021

  1. Merge branch 'master' into absolute-value

    @mans0954
    mans0954 committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    31624f9 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2021

  1. Merge branch 'master' into absolute-value

    @mans0954
    mans0954 committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    42fa35e View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2021

  1. Remove stray newline

    @mans0954
    mans0954 committed Oct 1, 2021
    Configuration menu
    Copy the full SHA
    7e8b8ee View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into absolute-value

    @mans0954
    mans0954 committed Oct 1, 2021
    Configuration menu
    Copy the full SHA
    656e6ee View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into absolute-value

    @mans0954
    mans0954 committed Oct 1, 2021
    Configuration menu
    Copy the full SHA
    1b33d61 View commit details
    Browse the repository at this point in the history