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.

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

[mpc/mpfr] Add new port / update mpfr #13081

Merged
merged 16 commits into from
Jan 25, 2021
Merged

Commits on Aug 22, 2020

  1. [mpc] add mpc port

    Neumann-A committed Aug 22, 2020
    Configuration menu
    Copy the full SHA
    83886e2 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e55b8c9 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    bb9362b View commit details
    Browse the repository at this point in the history
  4. more fixes

    Neumann-A committed Aug 22, 2020
    Configuration menu
    Copy the full SHA
    dd99984 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    aa47a35 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2020

  1. Configuration menu
    Copy the full SHA
    2c2f1e4 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2020

  1. change indent of patches

    Co-authored-by: NancyLi1013 <46708020+NancyLi1013@users.noreply.github.com>
    Neumann-A and NancyLi1013 authored Aug 24, 2020
    Configuration menu
    Copy the full SHA
    f44fc6f View commit details
    Browse the repository at this point in the history

Commits on Oct 20, 2020

  1. Configuration menu
    Copy the full SHA
    019b2ea View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2020

  1. Merge remote-tracking branch 'origin/master' into HEAD

    # Conflicts:
    #	ports/gmp/vcpkg.json
    #	scripts/azure-pipelines/linux/provision-image.sh
    BillyONeal committed Dec 22, 2020
    Configuration menu
    Copy the full SHA
    4b9a331 View commit details
    Browse the repository at this point in the history

Commits on Jan 10, 2021

  1. Merge remote-tracking branch 'upstream/master' into add_mpc

    # Conflicts:
    #	ports/gmp/portfile.cmake
    #	ports/gmp/vcpkg.json
    #	scripts/azure-pipelines/linux/provision-image.sh
    Neumann-A committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    07dd9a5 View commit details
    Browse the repository at this point in the history
  2. fix merge error

    Neumann-A committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    072acb8 View commit details
    Browse the repository at this point in the history
  3. update PR

    Neumann-A committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    37b3da9 View commit details
    Browse the repository at this point in the history
  4. Merge remote-tracking branch 'origin/add_mpc' into add_mpc

    # Conflicts:
    #	ports/gmp/vcpkg.json
    #	scripts/azure-pipelines/linux/provision-image.sh
    Neumann-A committed Jan 10, 2021
    Configuration menu
    Copy the full SHA
    371c331 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2021

  1. Configuration menu
    Copy the full SHA
    66b0df7 View commit details
    Browse the repository at this point in the history
  2. update baseline

    JackBoosY committed Jan 18, 2021
    Configuration menu
    Copy the full SHA
    495fc34 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2021

  1. Configuration menu
    Copy the full SHA
    b23a80c View commit details
    Browse the repository at this point in the history