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

Datalog IR; Translate AuthLogic to DLIR #261

Merged
merged 48 commits into from
Feb 10, 2022
Merged

Datalog IR; Translate AuthLogic to DLIR #261

merged 48 commits into from
Feb 10, 2022

Commits on Jan 7, 2022

  1. [WIP] Datalog IR; Translate AuthLogic to DLIR 

    This is a port of the datalog ir referred to as
[DLIR](https://github.com/google-research/raksha/blob/main/rust/tools/authorization-logic/src/souffle/datalog_ir.rs)
and the compil pass that translates auth logic AST nodes into DLIR
[here](https://github.com/google-research/raksha/blob/main/rust/tools/authorization-logic/src/souffle/lowering_ast_datalog.rs)
from the rust implementations into CPP.
    Andrew Ferraiuolo committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    29aaa7d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Jan 7, 2022
    Configuration menu
    Copy the full SHA
    48ca64d View commit details
    Browse the repository at this point in the history

Commits on Jan 8, 2022

  1. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Jan 8, 2022
    Configuration menu
    Copy the full SHA
    262c3c2 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2022

  1. Translate more AST nodes

    Andrew Ferraiuolo committed Jan 11, 2022
    Configuration menu
    Copy the full SHA
    ff5587f View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2022

  1. PR fixup

    Andrew Ferraiuolo committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    4863d1d View commit details
    Browse the repository at this point in the history

  2. PR Fixup

    Andrew Ferraiuolo committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    066a0e1 View commit details
    Browse the repository at this point in the history

  3. Drop const references

    Andrew Ferraiuolo committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    c8b363c View commit details
    Browse the repository at this point in the history

  4. visit overloaded for AssertionVariantType

    Andrew Ferraiuolo committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    2e39ebd View commit details
    Browse the repository at this point in the history

  5. base fact example

    Andrew Ferraiuolo committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    13854eb View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2022

  1. Up to program with stubs

    Andrew Ferraiuolo committed Jan 17, 2022
    Configuration menu
    Copy the full SHA
    65d014a View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2022

  1. Fill in more stubs

    Andrew Ferraiuolo committed Jan 18, 2022
    Configuration menu
    Copy the full SHA
    af60d7c View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2022

  1. Finish CanSay translation

    Andrew Ferraiuolo committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    443aee5 View commit details
    Browse the repository at this point in the history

  2. Finish CanSay translation

    Andrew Ferraiuolo committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    228497b View commit details
    Browse the repository at this point in the history

  3. Finish translation

    Andrew Ferraiuolo committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    bb4b4d4 View commit details
    Browse the repository at this point in the history

  4. Add comment from rust version

    Andrew Ferraiuolo committed Jan 19, 2022
    Configuration menu
    Copy the full SHA
    ba64572 View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2022

  1. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Jan 20, 2022
    Configuration menu
    Copy the full SHA
    95d2fa2 View commit details
    Browse the repository at this point in the history

  2. PR Fixup

    Andrew Ferraiuolo committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    e63f264 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'lowering-to-datalog@aferr' of github.com:google-researc… 

    …h/raksha into lowering-to-datalog@aferr
    Andrew Ferraiuolo committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    4e93b97 View commit details
    Browse the repository at this point in the history

  4. PR Fixup

    Andrew Ferraiuolo committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    711cf2a View commit details
    Browse the repository at this point in the history

  5. Lint

    Andrew Ferraiuolo committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    9678944 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2022

  1. Try to fix linter breakage

    Andrew Ferraiuolo committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    45163c6 View commit details
    Browse the repository at this point in the history

  2. Overloading lambda

    Andrew Ferraiuolo committed Jan 21, 2022
    Configuration menu
    Copy the full SHA
    f72a6a4 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Jan 21, 2022
    Configuration menu
    Copy the full SHA
    6c46834 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2022

  1. Try linting ast_test again

    Andrew Ferraiuolo committed Jan 24, 2022
    Configuration menu
    Copy the full SHA
    a843752 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'lowering-to-datalog@aferr' of github.com:google-researc… 

    …h/raksha into lowering-to-datalog@aferr
    Andrew Ferraiuolo committed Jan 24, 2022
    Configuration menu
    Copy the full SHA
    321c912 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Jan 24, 2022
    Configuration menu
    Copy the full SHA
    996e169 View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2022

  1. Update src/ir/auth_logic/lowering_ast_datalog.h 

    Co-authored-by: Gogul Balakrishnan <[email protected]>
    @bgogul
    aferr and bgogul authored Jan 25, 2022
    Configuration menu
    Copy the full SHA
    5b9e01d View commit details
    Browse the repository at this point in the history

  2. PR fixup, bgogul

    Andrew Ferraiuolo committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    d01b662 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Jan 25, 2022
    Configuration menu
    Copy the full SHA
    16dce4e View commit details
    Browse the repository at this point in the history

  4. Fix BUILD

    Andrew Ferraiuolo committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    f8ed093 View commit details
    Browse the repository at this point in the history

  5. Lint

    Andrew Ferraiuolo committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    c34965d View commit details
    Browse the repository at this point in the history

  6. fix ast_test.cc

    Andrew Ferraiuolo committed Jan 25, 2022
    Configuration menu
    Copy the full SHA
    c486e20 View commit details
    Browse the repository at this point in the history

Commits on Feb 7, 2022

  1. PR Fixup

    Andrew Ferraiuolo committed Feb 7, 2022
    Configuration menu
    Copy the full SHA
    f4320ee View commit details
    Browse the repository at this point in the history

  2. Lint

    Andrew Ferraiuolo committed Feb 7, 2022
    Configuration menu
    Copy the full SHA
    a3e8382 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Feb 7, 2022
    Configuration menu
    Copy the full SHA
    745370b View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2022

  1. Fix license

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    c0fd021 View commit details
    Browse the repository at this point in the history

  2. Move functions

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    2ffa54b View commit details
    Browse the repository at this point in the history

  3. Extract GenerateDLIRAssertions

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    f5b9291 View commit details
    Browse the repository at this point in the history

  4. Inline queries

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    5c88680 View commit details
    Browse the repository at this point in the history

  5. MapIter

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    d9e5b98 View commit details
    Browse the repository at this point in the history

  6. Two more uses of MapIter

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    58f8e40 View commit details
    Browse the repository at this point in the history

  7. Move stateless functions out of header

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    0786f0c View commit details
    Browse the repository at this point in the history

  8. Lint

    Andrew Ferraiuolo committed Feb 9, 2022
    Configuration menu
    Copy the full SHA
    d21f11e View commit details
    Browse the repository at this point in the history

  9. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Feb 9, 2022
    Configuration menu
    Copy the full SHA
    d955140 View commit details
    Browse the repository at this point in the history

Commits on Feb 10, 2022

  1. Try resetting Cargo.lock

    Andrew Ferraiuolo committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    8c57b5b View commit details
    Browse the repository at this point in the history

  2. PR Fixup

    Andrew Ferraiuolo committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    9974976 View commit details
    Browse the repository at this point in the history

  3. Lint

    Andrew Ferraiuolo committed Feb 10, 2022
    Configuration menu
    Copy the full SHA
    854904c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into lowering-to-datalog@aferr

    aferr authored Feb 10, 2022
    Configuration menu
    Copy the full SHA
    cd90e62 View commit details
    Browse the repository at this point in the history