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: dafny-lang/dafny Loading
base: master
Choose a base ref
...
head repository: ChloeL19/dafny Loading
compare: master
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 10 commits
  • 5 files changed
  • 1 contributor

Commits on Oct 6, 2023

  1. added logs to ProgramResolver

    @ChloeL19
    ChloeL19 committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    950861f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/dafny-lang/dafny

    @ChloeL19
    ChloeL19 committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    58a8033 View commit details
    Browse the repository at this point in the history

  3. now logging a function call graph

    @ChloeL19
    ChloeL19 committed Oct 6, 2023
    Configuration menu
    Copy the full SHA
    1d95968 View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. stuff has been done

    @ChloeL19
    ChloeL19 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    ae44876 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' of https://github.com/dafny-lang/dafny

    @ChloeL19
    ChloeL19 committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    ffc6cdd View commit details
    Browse the repository at this point in the history

Commits on Nov 3, 2023

  1. can now selectively print parts of input program

    @ChloeL19
    ChloeL19 committed Nov 3, 2023
    Configuration menu
    Copy the full SHA
    6d12d3c View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2023

  1. idk if I changed stuff

    @ChloeL19
    ChloeL19 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    c3d328c View commit details
    Browse the repository at this point in the history

  2. added some guiding comments for what I wil do

    @ChloeL19
    ChloeL19 committed Nov 9, 2023
    Configuration menu
    Copy the full SHA
    17266ff View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. updating the dafny compiler stuff

    @ChloeL19
    ChloeL19 committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    9a4736e View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2023

  1. https://github.com/ChloeL19/dafny/blob/master/Source/DafnyCore/AST/Gr… 

    …ammar/Printer.s
    @ChloeL19
    ChloeL19 committed Nov 25, 2023
    Configuration menu
    Copy the full SHA
    51121ee View commit details
    Browse the repository at this point in the history
Loading