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

chore: use .vv extension for meta- and testdata files #53

Merged
merged 8 commits into from
Mar 25, 2024
Merged

chore: use .vv extension for meta- and testdata files #53

merged 8 commits into from
Mar 25, 2024

Commits on Mar 25, 2024

  1. rename files

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

  2. update embedded files

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

  3. update missing

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

  4. fix

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

  5. fix code tests

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

  6. keep .v ext for stubs/implicit.v to work around failures with `.v… 

    …v` ext
    @ttytm
    ttytm committed Mar 25, 2024
    Configuration menu
    Copy the full SHA
    e645361 View commit details
    Browse the repository at this point in the history

  7. bump stubs version

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

  8. rebase on main, resolve conflicts

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