Branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
main	Feb 11, 2026
api-documentation	Feb 11, 2026
counterexamples	Feb 11, 2026
ast-simplified-string	Feb 11, 2026
custom-messages-fix	Feb 11, 2026
null-support	Feb 11, 2026
ghost-dot-syntax	Feb 9, 2026
custom-messages	Feb 9, 2026
fix-state-refinement-syntax-error	Feb 6, 2026
catarina/checkobjreturns	Jan 30, 2026
java17	Jan 6, 2026
flatten-var-origins	Jan 5, 2026
claude/increase-test-coverage-011CV6ApkFZRxiQKNWjPW52w	Nov 14, 2025
examples_stackov	Apr 15, 2025
logging	Nov 30, 2024
field_updates	Nov 30, 2024
separation_logic_support	Nov 10, 2023
cvc5_support	Dec 3, 2022
recorder	Oct 24, 2022
typechecking_isolation	Oct 22, 2022

Provide feedback