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

Rename "index type" to "address type" across the spec #90

Merged
merged 5 commits into from
Oct 18, 2024
Merged

Rename "index type" to "address type" across the spec #90

merged 5 commits into from
Oct 18, 2024

Commits on Oct 11, 2024

  1. Rename "index type" to "address type" across the spec

    @bvisness
    bvisness committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    5a12b70 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Update "index type" to "address type" in the spec interpreter

    @bvisness
    bvisness committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    538c851 View commit details
    Browse the repository at this point in the history

  2. Update section underlines 

    It is very important that you have precisely the correct number of dots.
It would be too much work for the computer otherwise.
    @bvisness
    bvisness committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    7e15cfd View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. Rename "address type" to "addr type" in the spec interpreter

    @bvisness
    bvisness committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    c80672c View commit details
    Browse the repository at this point in the history

  2. Revert one stray interpreter update

    @bvisness
    bvisness committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    f748124 View commit details
    Browse the repository at this point in the history