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

Remove uses of records in instruction schemata #52

Merged
merged 9 commits into from
Oct 7, 2022
Merged

Remove uses of records in instruction schemata #52

merged 9 commits into from
Oct 7, 2022

Commits on Oct 7, 2022

  1. Remove use of records for phi instructions

    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    388e046 View commit details
    Browse the repository at this point in the history

  2. Remove use of records for switch instructions

    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    4cc0d10 View commit details
    Browse the repository at this point in the history

  3. Remove use of records for landingpad instructions

    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    0f865b0 View commit details
    Browse the repository at this point in the history

  4. datalog: Remove unnecessary auxiliary relations 

    Obviated by the previous commit.
    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    5620ae3 View commit details
    Browse the repository at this point in the history

  5. Remove leading underscores from relation names 

    These names are inconsistent with the rest of the FactGenerator-produced
relations, which do not use underscores.
    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    293d28e View commit details
    Browse the repository at this point in the history

  6. Move block_predecessor out of import/todo.dl

    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    dc004a4 View commit details
    Browse the repository at this point in the history

  7. Remove remaining leading underscores in relation names 

    Now, none of the relations produced by the FactGenerator have leading
underscores.
    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    2dd8278 View commit details
    Browse the repository at this point in the history

  8. Finish sorting relations from import files

    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    063aa93 View commit details
    Browse the repository at this point in the history

  9. Standard naming conventions for phi, switch, landingpad 

    Enabled by previous commits that removed prefix underscores
    @langston-barrett
    langston-barrett committed Oct 7, 2022
    Configuration menu
    Copy the full SHA
    404d370 View commit details
    Browse the repository at this point in the history