Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add the compile suffix option #4265

Merged
merged 12 commits into from
Jul 8, 2023
Merged

Add the compile suffix option #4265

merged 12 commits into from
Jul 8, 2023

Commits on Jul 7, 2023

  1. Add the compile suffix option

    @keyboardDrummer
    keyboardDrummer committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    8813a8e View commit details
    Browse the repository at this point in the history

  2. Add release note

    @keyboardDrummer
    keyboardDrummer committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    b0b4f1d View commit details
    Browse the repository at this point in the history

  3. Run formatter

    @keyboardDrummer
    keyboardDrummer committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    79045a4 View commit details
    Browse the repository at this point in the history

  4. Register the new option with DooFile, add to legacy CLI as well

    @robin-aws
    robin-aws committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    2c38fb5 View commit details
    Browse the repository at this point in the history

  5. Fix to EmitCallToMain for Java (might want to clean up a bit)

    @robin-aws
    robin-aws committed Jul 7, 2023
    Configuration menu
    Copy the full SHA
    a85225e View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2023

  1. Fix Options.txt and run formatter

    @keyboardDrummer
    keyboardDrummer committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    c2767c1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into compileSuffix

    @robin-aws
    robin-aws authored Jul 8, 2023
    Configuration menu
    Copy the full SHA
    9de9a57 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'compileSuffix' of github.com:keyboardDrummer/dafny into… 

    … compileSuffix
    @robin-aws
    robin-aws committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    69c45fb View commit details
    Browse the repository at this point in the history

  4. Revert no-op legacy binding

    @robin-aws
    robin-aws committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    871205d View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into compileSuffix

    @robin-aws
    robin-aws authored Jul 8, 2023
    Configuration menu
    Copy the full SHA
    a4b0734 View commit details
    Browse the repository at this point in the history

  6. Whitespace

    @robin-aws
    robin-aws committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    21987c8 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'compileSuffix' of github.com:keyboardDrummer/dafny into… 

    … compileSuffix
    @robin-aws
    robin-aws committed Jul 8, 2023
    Configuration menu
    Copy the full SHA
    789feab View commit details
    Browse the repository at this point in the history