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: metareflection/dafny-annotator
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: metareflection/dafny-annotator
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: multi10
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 15 commits
  • 3 files changed
  • 1 contributor

Commits on Oct 25, 2025

  1. squashed from multi-gpu

    @namin
    namin committed Oct 25, 2025
    Configuration menu
    Copy the full SHA
    3281714 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2025

  1. Merge branch 'main' into multi

    @namin
    namin committed Oct 30, 2025
    Configuration menu
    Copy the full SHA
    238693c View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2025

  1. works with batch size 1 but seems very slow @gpoesia

    @namin
    namin committed Oct 31, 2025
    Configuration menu
    Copy the full SHA
    0ee1b92 View commit details
    Browse the repository at this point in the history

  2. tweaks

    @namin
    namin committed Oct 31, 2025
    Configuration menu
    Copy the full SHA
    9cc2e17 View commit details
    Browse the repository at this point in the history

  3. batch=4 works

    @namin
    namin committed Oct 31, 2025
    Configuration menu
    Copy the full SHA
    2e0b8ad View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2025

  1. switch

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    ac99cab View commit details
    Browse the repository at this point in the history

  2. batch size config

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    0135e3a View commit details
    Browse the repository at this point in the history

  3. cleanup

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    430c1fc View commit details
    Browse the repository at this point in the history

  4. restore old behavior

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    158043c View commit details
    Browse the repository at this point in the history

  5. cleanup

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    1c7e313 View commit details
    Browse the repository at this point in the history

  6. wip

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    7482f00 View commit details
    Browse the repository at this point in the history

  7. back to 4

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    8264027 View commit details
    Browse the repository at this point in the history

  8. new way to collate, but not sure it is better

    @namin
    namin committed Nov 1, 2025
    Configuration menu
    Copy the full SHA
    4b05e62 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2025

  1. overfit

    @namin
    namin committed Nov 2, 2025
    Configuration menu
    Copy the full SHA
    48b1fbb View commit details
    Browse the repository at this point in the history

  2. restore data collector, better perf. recall is 80% vs 60%

    @namin
    namin committed Nov 2, 2025
    Configuration menu
    Copy the full SHA
    697f0e4 View commit details
    Browse the repository at this point in the history
Loading