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

__FL__ added and tested #3574

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

__FL__ added and tested #3574

wants to merge 3 commits into from

Commits on Oct 16, 2024

  1. Two changes: 1) __FL__ lexeme in FStarC_Parser_LexFStar.ml 2) tests/v… 

    …alidation-time with a Test.LexemeFL.fst that checks __FL__
    @briangmilnes
    briangmilnes committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    9b114bd View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Moved to assert_norm instead of opening tactics and using assert(..) … 

    …by compute()
    @briangmilnes
    briangmilnes committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    6bcf77a View commit details
    Browse the repository at this point in the history

Commits on Oct 19, 2024

  1. Moved Test.LexemeFL to micro-benchmarks got rid of tests/validation-time

    @briangmilnes
    briangmilnes committed Oct 19, 2024
    Configuration menu
    Copy the full SHA
    60f36d1 View commit details
    Browse the repository at this point in the history