All pull requests

Pull requests

• Tighten OptimizedSelectTraversal to only work on struct-like interfaces

  #1250·copybara-service[bot] opened Sep 22, 2026·

  ·

• Unify accumulated unknowns for async comprehensions

  #1249·copybara-service[bot] opened Sep 22, 2026·

  ·

• Fix error propagation and non-strict/exhaustive evaluation in planner

  #1248·copybara-service[bot] opened Sep 22, 2026·

  ·

• Bridge legacy TypeProvider into CelTypeProvider to decouple checker internals

  #1247·copybara-service[bot] opened Sep 22, 2026·

  ·

• Evaluate cel.@attribute and cel.@hasField in the planner runtime

  #1246·copybara-service[bot] opened Sep 22, 2026·

  ·

• Iteratively parse nested parentheses in PrattParser

  #1245·copybara-service[bot] opened Sep 19, 2026·

  ·

• Internal Changes

  #1244·copybara-service[bot] opened Sep 18, 2026·

  ·

• Reject Java nulls uniformly in map and list adaptation

  #1242·copybara-service[bot] opened Sep 18, 2026·

  ·

• Support unknown attribute resolution on relative and qualified attributes

  #1241·copybara-service[bot] opened Sep 18, 2026·

  ·

• Add async execution engine and AsyncDriver

  #1240·copybara-service[bot] opened Sep 17, 2026·

  ·

• Modernize Env and ExprChecker to use CelTypeProvider

  #1239·copybara-service[bot] opened Sep 17, 2026·

  ·

• Implement OptimizedSelectable for ProtoMessageLiteValue

  #1238·copybara-service[bot] opened Sep 17, 2026·

  ·

• Implement OptimizedSelectable for RawProtoMessageLiteValue

  #1237·copybara-service[bot] opened Sep 17, 2026·

  ·

• [Pratt Parser] Add a fuzzer comparing ANTLR and Pratt parser outputs and fix uncovered discrepancies

  #1231·copybara-service[bot] opened Sep 16, 2026·

  ·

• Main

  #1228·secrethomefamily-sudo opened Sep 15, 2026·

  ·

• Enhance README with CLI and REPL tools overview

  #1227·secrethomefamily-sudo opened Sep 15, 2026·

  ·

• Implement LiteAttributeStep for evaluating optimized select qualifiers in lite runtime

  #1222·copybara-service[bot] opened Sep 12, 2026·

  ·

• Partition cel.@attribute declarations per their types to avoid type-checking to a dyn result

  #1210·copybara-service[bot] opened Sep 9, 2026·

  ·

• Migrate CEL optimizer metrics collection to CelOptimizerListener.

  #1208·copybara-service[bot] opened Sep 8, 2026·

  ·

• Internal cleanup

  #1204·copybara-service[bot] opened Sep 3, 2026·

  ·

• Compile policy tooling with field selection optimization applied

  #1200·copybara-service[bot] opened Sep 2, 2026·

  ·

• Async eval

  #1195·copybara-service[bot] opened Sep 1, 2026·

  ·

• Policy invariant diagnostics and execution path tracing

  #1189·copybara-service[bot] opened Aug 18, 2026·

  ·

• Structured counterexample and CEGAR

  #1188·copybara-service[bot] opened Aug 17, 2026·

  ·

• Implement iterative eval for program planner

  #1186·copybara-service[bot] opened Aug 14, 2026·

  ·