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 replaceable modules #4681

Merged
merged 54 commits into from
Nov 21, 2023
Merged

Add replaceable modules #4681

merged 54 commits into from
Nov 21, 2023

Commits on Oct 18, 2023

  1. Move some code out of Dafny.atg and Parser.frame, into ParserNonGener… 

    …atedPart.cs
    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    2c9f144 View commit details
    Browse the repository at this point in the history

  2. Introduce placeholder modifier, as alternative to abstract

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    510c2ef View commit details
    Browse the repository at this point in the history

  3. Add InstantiatingModule field and use it to customize GetCompileName

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    d99bb3d View commit details
    Browse the repository at this point in the history

  4. Introduce instantiates keyword

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    2d580bd View commit details
    Browse the repository at this point in the history

  5. Instantiating placeholder modules

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    4cbf9d6 View commit details
    Browse the repository at this point in the history

  6. Add placeholder/instantiate test and run formatter

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    1f1fb5b View commit details
    Browse the repository at this point in the history

  7. Merge remote-tracking branch 'origin/master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer committed Oct 18, 2023
    Configuration menu
    Copy the full SHA
    e804d11 View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2023

  1. Use replaces instead of instantiates

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    9e1b62e View commit details
    Browse the repository at this point in the history

  2. Fix compilation errors

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    53ac4c6 View commit details
    Browse the repository at this point in the history

  3. Fix big bug

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    aad3ecf View commit details
    Browse the repository at this point in the history

  4. Add complex test

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    f258127 View commit details
    Browse the repository at this point in the history

  5. Update complex C# test and start Java one

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    ed1c41b View commit details
    Browse the repository at this point in the history

  6. Java complex test works now

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    93b50d2 View commit details
    Browse the repository at this point in the history

  7. Clean up C# complex test

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    f54567a View commit details
    Browse the repository at this point in the history

  8. Add comment

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    c557c60 View commit details
    Browse the repository at this point in the history

  9. Add error are tested

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    f9e7ec2 View commit details
    Browse the repository at this point in the history

  10. More testing

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    f26e934 View commit details
    Browse the repository at this point in the history

  11. Add abstract import to happy flow test

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    af0bf1f View commit details
    Browse the repository at this point in the history

  12. Various printing fixes

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    eac3cf5 View commit details
    Browse the repository at this point in the history

  13. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Oct 19, 2023
    Configuration menu
    Copy the full SHA
    9af3ca1 View commit details
    Browse the repository at this point in the history

  14. Add some documentation

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    c231454 View commit details
    Browse the repository at this point in the history

  15. Add release note

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    c41c0bd View commit details
    Browse the repository at this point in the history

  16. Merge branch 'placeholderModule' of github.com:keyboardDrummer/dafny … 

    …into placeholderModule
    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    66c1b1e View commit details
    Browse the repository at this point in the history

  17. Reduce chance of collision

    @keyboardDrummer
    keyboardDrummer committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    2fbda30 View commit details
    Browse the repository at this point in the history

  18. Remove bad comment

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

  19. Simplify test

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

Commits on Oct 20, 2023

  1. Fix tests

    @keyboardDrummer
    keyboardDrummer committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    16eeaed View commit details
    Browse the repository at this point in the history

  2. Prettify tests

    @keyboardDrummer
    keyboardDrummer committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    33638ca View commit details
    Browse the repository at this point in the history

  3. Use expect in test

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

  4. Update UserGuide.md

    @keyboardDrummer
    keyboardDrummer committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    a02096f View commit details
    Browse the repository at this point in the history

  5. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Oct 20, 2023
    Configuration menu
    Copy the full SHA
    09f7635 View commit details
    Browse the repository at this point in the history

  6. Updates .csproj to hopefully fix build

    @keyboardDrummer
    keyboardDrummer committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    ac8af96 View commit details
    Browse the repository at this point in the history

  7. Add missing check to userguide example

    @keyboardDrummer
    keyboardDrummer committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    b0c3d6d View commit details
    Browse the repository at this point in the history

  8. Merge branch 'placeholderModule' of github.com:keyboardDrummer/dafny … 

    …into placeholderModule
    @keyboardDrummer
    keyboardDrummer committed Oct 20, 2023
    Configuration menu
    Copy the full SHA
    0d0b635 View commit details
    Browse the repository at this point in the history

Commits on Oct 21, 2023

  1. Add missing file

    @keyboardDrummer
    keyboardDrummer committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    e65f605 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer committed Oct 21, 2023
    Configuration menu
    Copy the full SHA
    4ccfad3 View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2023

  1. Rename placeholder to replaceable, and add tests that resolves a file… 

    … where a module is replaced many times
    @keyboardDrummer
    keyboardDrummer committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    92cf1d1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Oct 25, 2023
    Configuration menu
    Copy the full SHA
    ed93417 View commit details
    Browse the repository at this point in the history

  3. Add Interop.cs

    @keyboardDrummer
    keyboardDrummer committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    44066c6 View commit details
    Browse the repository at this point in the history

  4. Fix docs

    @keyboardDrummer
    keyboardDrummer committed Oct 25, 2023
    Configuration menu
    Copy the full SHA
    036a9bd View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Replace remaining occurrences of placeholder with replaceable

    @keyboardDrummer
    keyboardDrummer committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    4229dcd View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    e3a2011 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Tweaks

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    0aced1e View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    04cac67 View commit details
    Browse the repository at this point in the history

  3. Remove ending dot

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

  4. Fix comp error

    @keyboardDrummer
    keyboardDrummer committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    85fbd9c View commit details
    Browse the repository at this point in the history

  5. Fix expect file

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

Commits on Nov 19, 2023

  1. Fix rust compiler replaceable and outer-module feature

    @keyboardDrummer
    keyboardDrummer committed Nov 19, 2023
    Configuration menu
    Copy the full SHA
    ee8593f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Nov 19, 2023
    Configuration menu
    Copy the full SHA
    a3d6573 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Fix errors

    @keyboardDrummer
    keyboardDrummer committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    b7a8186 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'placeholderModule' of github.com:keyboardDrummer/dafny … 

    …into placeholderModule
    @keyboardDrummer
    keyboardDrummer committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    e8f117d View commit details
    Browse the repository at this point in the history

  3. Remove --no-build that for some reason fails the pack even though we … 

    …just already did a regular build
    @keyboardDrummer
    keyboardDrummer committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    5228048 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Nov 20, 2023
    Configuration menu
    Copy the full SHA
    2e8d8ff View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Merge branch 'master' into placeholderModule

    @keyboardDrummer
    keyboardDrummer authored Nov 21, 2023
    Configuration menu
    Copy the full SHA
    7681a65 View commit details
    Browse the repository at this point in the history