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: loda-lang/loda-cpp
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: loda-lang/loda-cpp
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: copilot/extend-program-stats-pari-lean
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 4 commits
  • 2 files changed
  • 2 contributors

Commits on Oct 12, 2025

  1. Initial plan

    Copilot committed Oct 12, 2025
    Configuration menu
    Copy the full SHA
    04b3c1b View commit details
    Browse the repository at this point in the history

  2. Add pari and lean columns to program stats 

    Co-authored-by: ckrause <840744+ckrause@users.noreply.github.com>
    @ckrause
    Copilot and ckrause committed Oct 12, 2025
    Configuration menu
    Copy the full SHA
    bc83e73 View commit details
    Browse the repository at this point in the history

  3. Derive formula flag from program comment instead of parameter 

    Co-authored-by: ckrause <840744+ckrause@users.noreply.github.com>
    @ckrause
    Copilot and ckrause committed Oct 12, 2025
    Configuration menu
    Copy the full SHA
    634ef7a View commit details
    Browse the repository at this point in the history

  4. Move pari/lean columns before indirect, use with_formula parameter 

    Co-authored-by: ckrause <840744+ckrause@users.noreply.github.com>
    @ckrause
    Copilot and ckrause committed Oct 12, 2025
    Configuration menu
    Copy the full SHA
    4ddbce3 View commit details
    Browse the repository at this point in the history
Loading