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

Parser changes for documentation generator #780

Draft
wants to merge 14 commits into
base: master
Choose a base branch
from
Draft

Parser changes for documentation generator #780

wants to merge 14 commits into from

Commits on Mar 25, 2024

  1. Allow annotations to be placed before specification keywords

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    ce22bac View commit details
    Browse the repository at this point in the history

  2. Parse ///-docstring as annotation WIP

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    2df97a7 View commit details
    Browse the repository at this point in the history

  3. Enable ///-parsing, fix ambiguity with division

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    4509a30 View commit details
    Browse the repository at this point in the history

  4. Directly construct docAnnotations

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    725ef22 View commit details
    Browse the repository at this point in the history

  5. Add annotations to specification nodes in the Parse AST

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    2469a2e View commit details
    Browse the repository at this point in the history

  6. Move specification annotations to their expressions in Viper AST

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    4149349 View commit details
    Browse the repository at this point in the history

  7. Fix with NoCut

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    bc9e747 View commit details
    Browse the repository at this point in the history

  8. Remove duplicated whitespace definition

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    320c5b1 View commit details
    Browse the repository at this point in the history

  9. Add positions to docAnnotations

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    30cf8bb View commit details
    Browse the repository at this point in the history

  10. Add basic test

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    0c839f5 View commit details
    Browse the repository at this point in the history

  11. Only parse exactly three slashes as beginning of documentation

    @fnussbaum
    fnussbaum committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    9c7b16f View commit details
    Browse the repository at this point in the history

Commits on Aug 13, 2024

  1. Implement feedback wip

    @fnussbaum
    fnussbaum committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    ee33a36 View commit details
    Browse the repository at this point in the history

  2. Add DocPlugin to extract sparser documentation tree from CST 

    This is used as input for the website generation frontend.
    @fnussbaum
    fnussbaum committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    b2d0d9f View commit details
    Browse the repository at this point in the history

  3. Add command line entry point similar to silicon

    @fnussbaum
    fnussbaum committed Aug 13, 2024
    Configuration menu
    Copy the full SHA
    125aa7c View commit details
    Browse the repository at this point in the history