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: ucsd-progsys/liquid-fixpoint
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: develop
Choose a base ref
...
head repository: up-do/liquid-fixpoint
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: add/updo
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 7 commits
  • 20 files changed
  • 1 contributor

Commits on May 25, 2024

  1. Add ignores for updo

    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    93f71f8 View commit details
    Browse the repository at this point in the history

  2. Configure with updo

    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    988b5c3 View commit details
    Browse the repository at this point in the history

  3. Generate projects

    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    830f08c View commit details
    Browse the repository at this point in the history

  4. Bump updo to commit 60545b

    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    749f1b7 View commit details
    Browse the repository at this point in the history

  5. Ignore project-nix

    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    8ff12c1 View commit details
    Browse the repository at this point in the history

  6. Configure for ghc-9.8.2 

    - Remove ghc-9.6.3 configuration
    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    ac2e9bc View commit details
    Browse the repository at this point in the history

  7. Regenerate projects

    @philderbeast
    philderbeast committed May 25, 2024
    Configuration menu
    Copy the full SHA
    f3d65f8 View commit details
    Browse the repository at this point in the history
Loading