Commits

History for

Commits on Jul 23, 2026

Internal change

Stephen Roberts
authored and
copybara-github
committed
Minor fix to readme.md

l46kok
authored and
copybara-github
committed

Commits on Jul 22, 2026

Replace quantifiers with array extensionality for map bijection in verifier

l46kok
authored and
copybara-github
committed
Add optional pruning operator (?foo) handling to CEL Java's verifier

l46kok
authored and
copybara-github
committed

Commits on Jul 21, 2026

Preserve the original CelExpr from symbol table for comprehensions in verifier

l46kok
authored and
copybara-github
committed
Implement custom policy invariants verification

l46kok
authored and
copybara-github
committed

Commits on Jul 20, 2026

Fix notStrictlyFalse semantics in verifier

l46kok
authored and
copybara-github
committed
Generate satisfiable model for isSatisfiable

l46kok
authored and
copybara-github
committed
Optimize SwitchBuilder to prune dead SMT branches

l46kok
authored and
copybara-github
committed
Support cross-type numeric equality in verifier

l46kok
authored and
copybara-github
committed

Commits on Jul 18, 2026

Open source the CEL formal verification framework

l46kok
authored and
copybara-github
committed
Internal Changes

l46kok
authored and
copybara-github
committed
Internal Changes

l46kok
authored and
copybara-github
committed
Internal Changes

l46kok
authored and
copybara-github
committed
Internal Changes

l46kok
authored and
copybara-github
committed

Loading