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

feat: Dafny Main method to accept optional seq<string> argument #2594

Merged
merged 43 commits into from
Sep 6, 2022
Merged

feat: Dafny Main method to accept optional seq<string> argument #2594

merged 43 commits into from
Sep 6, 2022

Commits on Aug 16, 2022

  1. MVP for compile arguments

    @MikaelMayer
    MikaelMayer committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    dd08b02 View commit details
    Browse the repository at this point in the history

  2. Multiple /arg instead of /mainArgs

    @MikaelMayer
    MikaelMayer committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    9f49d95 View commit details
    Browse the repository at this point in the history

  3. Works for Java as well

    @MikaelMayer
    MikaelMayer committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    bf5b81c View commit details
    Browse the repository at this point in the history

  4. Support for compiled tests

    @MikaelMayer
    MikaelMayer committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    9413f53 View commit details
    Browse the repository at this point in the history

  5. Documentation options

    @MikaelMayer
    MikaelMayer committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    7e99661 View commit details
    Browse the repository at this point in the history

  6. Support for js

    @MikaelMayer
    MikaelMayer committed Aug 16, 2022
    Configuration menu
    Copy the full SHA
    c53df3d View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2022

  1. Support for go with arguments

    @MikaelMayer
    MikaelMayer committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    b308899 View commit details
    Browse the repository at this point in the history

  2. Tested the first failing error message

    @MikaelMayer
    MikaelMayer committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    aa57f69 View commit details
    Browse the repository at this point in the history

  3. Second test for checking failure

    @MikaelMayer
    MikaelMayer committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    e86a74a View commit details
    Browse the repository at this point in the history

  4. Support for no-arg main

    @MikaelMayer
    MikaelMayer committed Aug 17, 2022
    Configuration menu
    Copy the full SHA
    e159db4 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2022

  1. Works for c#, C++, Java, Go

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    37a3e81 View commit details
    Browse the repository at this point in the history

  2. Fixed support for C++

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    b080587 View commit details
    Browse the repository at this point in the history

  3. Count the first argument

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    af0f559 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 23, 2022
    Configuration menu
    Copy the full SHA
    3f081e5 View commit details
    Browse the repository at this point in the history

  5. Fixed the test for main methods everywhere + documentation.

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    b28e077 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'feat-compile-arguments-main' of https://github.com/dafn… 

    …y-lang/dafny into feat-compile-arguments-main
    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    ab3e0a0 View commit details
    Browse the repository at this point in the history

  7. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 23, 2022
    Configuration menu
    Copy the full SHA
    eef5c3f View commit details
    Browse the repository at this point in the history

  8. Fixed branch coverage.

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    3089663 View commit details
    Browse the repository at this point in the history

  9. Fixed hopefully the last test

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    1805a3d View commit details
    Browse the repository at this point in the history

  10. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer committed Aug 23, 2022
    Configuration menu
    Copy the full SHA
    652df6e View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2022

  1. New way of entering arguments with '--'

    @MikaelMayer
    MikaelMayer committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    1d9066f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer committed Aug 24, 2022
    Configuration menu
    Copy the full SHA
    803fda9 View commit details
    Browse the repository at this point in the history

Commits on Aug 25, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 25, 2022
    Configuration menu
    Copy the full SHA
    e00ef86 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 25, 2022
    Configuration menu
    Copy the full SHA
    f79ade5 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 26, 2022
    Configuration menu
    Copy the full SHA
    62a6cc8 View commit details
    Browse the repository at this point in the history

  2. Use of "--args" instead of "--"

    @MikaelMayer
    MikaelMayer committed Aug 26, 2022
    Configuration menu
    Copy the full SHA
    b1364a1 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 26, 2022
    Configuration menu
    Copy the full SHA
    e69c668 View commit details
    Browse the repository at this point in the history

  4. Update RELEASE_NOTES.md 

    Co-authored-by: Clément Pit-Claudel <[email protected]>
    @MikaelMayer @cpitclaudel
    MikaelMayer and cpitclaudel authored Aug 26, 2022
    Configuration menu
    Copy the full SHA
    ebf8dcb View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2022

  1. Moved the code to transform arguments into the DafnyRuntime.

    @MikaelMayer
    MikaelMayer committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    0ca5a2f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-compile-arguments-main 

    # Conflicts:
#	RELEASE_NOTES.md
    @MikaelMayer
    MikaelMayer committed Aug 29, 2022
    Configuration menu
    Copy the full SHA
    bc7ab88 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 30, 2022
    Configuration menu
    Copy the full SHA
    722824d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer committed Aug 30, 2022
    Configuration menu
    Copy the full SHA
    2472b61 View commit details
    Browse the repository at this point in the history

Commits on Aug 31, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 31, 2022
    Configuration menu
    Copy the full SHA
    e748bf1 View commit details
    Browse the repository at this point in the history

  2. Arguments fixed

    @MikaelMayer
    MikaelMayer committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    fbfc0ca View commit details
    Browse the repository at this point in the history

  3. Merge branch 'feat-compile-arguments-main' of https://github.com/dafn… 

    …y-lang/dafny into feat-compile-arguments-main
    @MikaelMayer
    MikaelMayer committed Aug 31, 2022
    Configuration menu
    Copy the full SHA
    c784ad9 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Aug 31, 2022
    Configuration menu
    Copy the full SHA
    955539b View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Sep 1, 2022
    Configuration menu
    Copy the full SHA
    34ff94a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Sep 1, 2022
    Configuration menu
    Copy the full SHA
    a6668e1 View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Sep 2, 2022
    Configuration menu
    Copy the full SHA
    1ca45b8 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Sep 2, 2022
    Configuration menu
    Copy the full SHA
    440f0a5 View commit details
    Browse the repository at this point in the history

  3. Fixed verb handling in Go

    @MikaelMayer
    MikaelMayer committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    c0cfb9e View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into feat-compile-arguments-main 

    # Conflicts:
#	Source/Dafny/DafnyOptions.cs
#	docs/DafnyRef/Options.txt
    @MikaelMayer
    MikaelMayer committed Sep 2, 2022
    Configuration menu
    Copy the full SHA
    189aafe View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2022

  1. Merge branch 'master' into feat-compile-arguments-main

    @MikaelMayer
    MikaelMayer authored Sep 6, 2022
    Configuration menu
    Copy the full SHA
    6348703 View commit details
    Browse the repository at this point in the history