-
Notifications
You must be signed in to change notification settings - Fork 38
Pull requests: cel-expr/cel-java
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add an axiom for optional.ofZeroValue for verifier
#1138
opened Jul 23, 2026 by
copybara-service
Bot
Loading…
Add counterexample generation for optional values
#1136
opened Jul 23, 2026 by
copybara-service
Bot
Loading…
Add variable bounds for optionals in verifier
#1135
opened Jul 22, 2026 by
copybara-service
Bot
Loading…
Fix ConstantFoldingOptimizer to not treat true && dyn_x as a tautology
#1133
opened Jul 22, 2026 by
copybara-service
Bot
Loading…
Add support for optional field pruning in verifier
#1130
opened Jul 21, 2026 by
copybara-service
Bot
Loading…
Add aggregate semantics to Policy Compiler
#1052
opened May 12, 2026 by
copybara-service
Bot
Loading…
Add the capability to inline constants during type-check
#938
opened Feb 5, 2026 by
copybara-service
Bot
Loading…
Refactor type-checker to use canonical CelTypeProvider
#931
opened Jan 28, 2026 by
copybara-service
Bot
Loading…
Fix planner to search local scopes for identifiers before container resolution
#911
opened Jan 6, 2026 by
copybara-service
Bot
Loading…
Enable coverage collection via the runner library for a single test.
#826
opened Sep 30, 2025 by
copybara-service
Bot
Loading…
Oss failure late function binding experimentations.
#743
opened Jul 9, 2025 by
ChinmayMadeshi
Contributor
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.