Skip to content

feat: verified query optimization via altimate_core_rewrite verify_equivalence mode#918

Merged
anandgupta42 merged 4 commits into
mainfrom
feat/verified-optimize
Jun 10, 2026
Merged

feat: verified query optimization via altimate_core_rewrite verify_equivalence mode#918
anandgupta42 merged 4 commits into
mainfrom
feat/verified-optimize

fix: address review on verify_equivalence mode (coderabbit + multi-pe…

b4bea7f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar