Skip to content

Commit 0cdb3b6

Browse files
l46kokcopybara-github
authored andcommitted
Refactor Canonicalization Optimizer
Granular nested classes for comparator, safety check, and NNF normalization has been introduced. No functional changes PiperOrigin-RevId: 961149990
1 parent 29fd271 commit 0cdb3b6

3 files changed

Lines changed: 588 additions & 421 deletions

File tree

verifier/src/main/java/dev/cel/verifier/BUILD.bazel

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -145,6 +145,7 @@ java_library(
145145
"//optimizer:ast_optimizer",
146146
"//optimizer:mutable_ast",
147147
"@maven//:com_google_guava_guava",
148+
"@maven//:org_jspecify_jspecify",
148149
],
149150
)
150151

0 commit comments

Comments
 (0)