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

Better handling of comments #483

Merged
merged 10 commits into from
Sep 26, 2024
Merged

Better handling of comments #483

merged 10 commits into from
Sep 26, 2024

Commits on Sep 13, 2024

  1. Better handling of comments

    @msprotz
    msprotz committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    b9aae02 View commit details
    Browse the repository at this point in the history

  2. remove ecomment

    @msprotz
    msprotz committed Sep 13, 2024
    Configuration menu
    Copy the full SHA
    686aa74 View commit details
    Browse the repository at this point in the history

Commits on Sep 17, 2024

  1. Better debug info for hash codes

    @msprotz
    msprotz committed Sep 17, 2024
    Configuration menu
    Copy the full SHA
    7e8544f View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2024

  1. Merge branch 'protz_comments' of github.com:FStarLang/karamel into pr… 

    …otz_comments
    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    cd84089 View commit details
    Browse the repository at this point in the history

  2. Fix up a couple passages that were silently dropping comments

    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    066ca15 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/master' into protz_comments

    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    153921c View commit details
    Browse the repository at this point in the history

  4. Strengthen comment test

    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    4e430b8 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/protz_better_debug' into protz_c… 

    …omments
    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    b2323f2 View commit details
    Browse the repository at this point in the history

  6. Caught a couple more places that weren't preserving comments

    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    94581dd View commit details
    Browse the repository at this point in the history

  7. Catch meta-information in a few more places

    @msprotz
    msprotz committed Sep 24, 2024
    Configuration menu
    Copy the full SHA
    7fed2ed View commit details
    Browse the repository at this point in the history