Repository navigation

Commit 0ae04dd

authored and

copybara-github

committed

Extract CelZ3StructTranslator from CelAstToZ3Translator

PiperOrigin-RevId: 1004241091

1 parent 90cd1ed commit 0ae04ddCopy full SHA for 0ae04dd

5 files changed

verifier/src/main/java/dev/cel/verifier

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

-Original file line number
+Diff line change
         "CelZ3ExtensionalityAxioms.java",
         "CelZ3FunctionRegistry.java",
         "CelZ3OperatorTranslator.java",
 +        "CelZ3StructTranslator.java",
         "CelZ3TranslationContext.java",
         "CelZ3TypeConstraintGenerator.java",
         "TranslatedValue.java",

Comments

(0)