Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: ca5d9e3f4d3d
Choose a base ref
...
head repository: mockingbirdnest/Principia
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 73e8fd3735f9
Choose a head ref
  • 11 commits
  • 6 files changed
  • 1 contributor

Commits on Oct 4, 2020

  1. Copy the full SHA
    bb8ebad View commit details
  2. Beautifying.

    pleroy committed Oct 4, 2020
    Copy the full SHA
    9dc8417 View commit details
  3. Add Norm.

    pleroy committed Oct 4, 2020
    Copy the full SHA
    d4dbbaa View commit details
  4. Comments and types.

    pleroy committed Oct 4, 2020
    Copy the full SHA
    eeabfd9 View commit details
  5. One more test passing.

    pleroy committed Oct 4, 2020
    Copy the full SHA
    1f4da47 View commit details

Commits on Oct 5, 2020

  1. Copy the full SHA
    f1b5fee View commit details
  2. Copy the full SHA
    5fef0e1 View commit details

Commits on Oct 6, 2020

  1. A small trace.

    pleroy committed Oct 6, 2020
    Copy the full SHA
    21f10de View commit details
  2. Remove a test.

    pleroy committed Oct 6, 2020
    Copy the full SHA
    9caab07 View commit details

Commits on Oct 7, 2020

  1. After egg's review.

    pleroy committed Oct 7, 2020
    Copy the full SHA
    059a745 View commit details
  2. Merge pull request #2750 from pleroy/NewProjection

    Change the projection algorithm to use Modified Gram-Schmidt
    pleroy authored Oct 7, 2020

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    Copy the full SHA
    73e8fd3 View commit details
Loading