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.

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

Factorise bytecode and native toplevels #10124

Merged
20 commits merged into from
Jan 26, 2021
Merged

Factorise bytecode and native toplevels #10124

20 commits merged into from
Jan 26, 2021

Commits on Jan 6, 2021

  1. Configuration menu
    Copy the full SHA
    d24c3f3 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    51cb775 View commit details
    Browse the repository at this point in the history
  3. Makefile tweak

    AltGr committed Jan 6, 2021
    Configuration menu
    Copy the full SHA
    efc5128 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9ce3577 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    787620d View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    8c04d61 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    4e6e891 View commit details
    Browse the repository at this point in the history
  8. make depend

    AltGr committed Jan 6, 2021
    Configuration menu
    Copy the full SHA
    e7dee4a View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2021

  1. Rename the current byte and native 'Toploop' to 'Topeval'

    since the content didn't really match the name anymore; we need the name
    `Toploop` to provide a backwards-compatible interface anyway.
    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    c24b984 View commit details
    Browse the repository at this point in the history
  2. Rename 'Topinit' to 'Toploop'

    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    7c2f620 View commit details
    Browse the repository at this point in the history
  3. Restore the current 'Toploop' API

    (except for the deprecated `directive_table`, which should be referred to
    through accessors)
    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    8231c78 View commit details
    Browse the repository at this point in the history
  4. Update Changes

    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    8c144d9 View commit details
    Browse the repository at this point in the history
  5. Fix Makefile install rule

    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    55dfe62 View commit details
    Browse the repository at this point in the history
  6. Re-add direct access to directive_table (as deprecated)

    it's used by topfind
    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    fdd15a0 View commit details
    Browse the repository at this point in the history
  7. Some cleanup

    AltGr committed Jan 7, 2021
    Configuration menu
    Copy the full SHA
    16f3b89 View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2021

  1. Fix style and depends

    Always forget to re-run `make alldepend` and not just `make depend` :/
    AltGr committed Jan 8, 2021
    Configuration menu
    Copy the full SHA
    4f74acf View commit details
    Browse the repository at this point in the history

Commits on Jan 13, 2021

  1. Configuration menu
    Copy the full SHA
    5dc952e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    b671c45 View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2021

  1. Configuration menu
    Copy the full SHA
    a73c0e4 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2021

  1. Configuration menu
    Copy the full SHA
    d9a9e62 View commit details
    Browse the repository at this point in the history