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

Introduce SafeDivision and SafeLinearArith #56

Merged
merged 7 commits into from Mar 2, 2023
Merged

Introduce SafeDivision and SafeLinearArith #56

merged 7 commits into from Mar 2, 2023

Commits on Feb 18, 2023

  1. ✨ SafeDivision and SafeLinearArith

    @lsrcz
    lsrcz committed Feb 18, 2023
    Configuration menu
    Copy the full SHA
    03fae84 View commit details
    Browse the repository at this point in the history

  2. ✨ SafeDivision for integers

    @lsrcz
    lsrcz committed Feb 18, 2023
    Configuration menu
    Copy the full SHA
    84a2266 View commit details
    Browse the repository at this point in the history

Commits on Feb 20, 2023

  1. ✨ refine SafeDivision interface, add tests

    @lsrcz
    lsrcz committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    48cc7d3 View commit details
    Browse the repository at this point in the history

  2. 🐛 make clang happy

    @lsrcz
    lsrcz committed Feb 20, 2023
    Configuration menu
    Copy the full SHA
    548740a View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2023

  1. 🔀 Merge branch 'main' into feat-safe-op

    @lsrcz
    lsrcz committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    1bee4ea View commit details
    Browse the repository at this point in the history

  2. ✨ instances for SafeLinearArith

    @lsrcz
    lsrcz committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    5a1cae8 View commit details
    Browse the repository at this point in the history

  3. 🐛 fix macOS build issues

    @lsrcz
    lsrcz committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    a1bffac View commit details
    Browse the repository at this point in the history