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

Datalog IR; Translate AuthLogic to DLIR #261

Merged
merged 48 commits into from
Feb 10, 2022
Merged
Show file tree
Hide file tree
Changes from 44 commits
Commits
Show all changes
48 commits
Select commit Hold shift + click to select a range
29aaa7d
[WIP] Datalog IR; Translate AuthLogic to DLIR
Jan 7, 2022
48ca64d
Merge branch 'main' into lowering-to-datalog@aferr
Jan 7, 2022
262c3c2
Merge branch 'main' into lowering-to-datalog@aferr
Jan 8, 2022
ff5587f
Translate more AST nodes
Jan 11, 2022
4863d1d
PR fixup
Jan 14, 2022
066a0e1
PR Fixup
Jan 14, 2022
c8b363c
Drop const references
Jan 14, 2022
2e39ebd
visit overloaded for AssertionVariantType
Jan 14, 2022
13854eb
base fact example
Jan 14, 2022
65d014a
Up to program with stubs
Jan 17, 2022
af60d7c
Fill in more stubs
Jan 18, 2022
443aee5
Finish CanSay translation
Jan 19, 2022
228497b
Finish CanSay translation
Jan 19, 2022
bb4b4d4
Finish translation
Jan 19, 2022
ba64572
Add comment from rust version
Jan 19, 2022
95d2fa2
Merge branch 'main' into lowering-to-datalog@aferr
Jan 20, 2022
e63f264
PR Fixup
Jan 20, 2022
4e93b97
Merge branch 'lowering-to-datalog@aferr' of github.com:google-researc…
Jan 20, 2022
711cf2a
PR Fixup
Jan 20, 2022
9678944
Lint
Jan 20, 2022
45163c6
Try to fix linter breakage
Jan 21, 2022
f72a6a4
Overloading lambda
Jan 21, 2022
6c46834
Merge branch 'main' into lowering-to-datalog@aferr
Jan 21, 2022
a843752
Try linting ast_test again
Jan 24, 2022
321c912
Merge branch 'lowering-to-datalog@aferr' of github.com:google-researc…
Jan 24, 2022
996e169
Merge branch 'main' into lowering-to-datalog@aferr
Jan 24, 2022
5b9e01d
Update src/ir/auth_logic/lowering_ast_datalog.h
Jan 25, 2022
d01b662
PR fixup, bgogul
Jan 25, 2022
16dce4e
Merge branch 'main' into lowering-to-datalog@aferr
Jan 25, 2022
f8ed093
Fix BUILD
Jan 25, 2022
c34965d
Lint
Jan 25, 2022
c486e20
fix ast_test.cc
Jan 25, 2022
f4320ee
PR Fixup
Feb 7, 2022
a3e8382
Lint
Feb 7, 2022
745370b
Merge branch 'main' into lowering-to-datalog@aferr
Feb 7, 2022
c0fd021
Fix license
Feb 9, 2022
2ffa54b
Move functions
Feb 9, 2022
f5b9291
Extract GenerateDLIRAssertions
Feb 9, 2022
5c88680
Inline queries
Feb 9, 2022
d9e5b98
MapIter
Feb 9, 2022
58f8e40
Two more uses of MapIter
Feb 9, 2022
0786f0c
Move stateless functions out of header
Feb 9, 2022
d21f11e
Lint
Feb 9, 2022
d955140
Merge branch 'main' into lowering-to-datalog@aferr
Feb 9, 2022
8c57b5b
Try resetting Cargo.lock
Feb 10, 2022
9974976
PR Fixup
Feb 10, 2022
854904c
Lint
Feb 10, 2022
cd90e62
Merge branch 'main' into lowering-to-datalog@aferr
Feb 10, 2022
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
120 changes: 120 additions & 0 deletions rust/tools/authorization-logic/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

23 changes: 23 additions & 0 deletions src/ir/auth_logic/BUILD
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,29 @@ cc_library(
"ast.h",
],
visibility = ["//test:__pkg__"],
deps = [
"//src/common/logging",
"//src/utils:overloaded",
"@absl//absl/strings:str_format",
],
)

cc_library(
name = "lowering_ast_datalog",
srcs = ["lowering_ast_datalog.cc"],
hdrs = [
"ast.h",
"datalog_ir.h",
"lowering_ast_datalog.h",
"map_iter.h",
"move_append.h",
],
visibility = ["//test:__pkg__"],
deps = [
"//src/common/logging",
"//src/utils:overloaded",
"@absl//absl/strings:str_format",
],
)

cc_test(
Expand Down
Loading