Skip to content

Branches

Branches navigation

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
main
rcosta358 Jul 27, 2026
fix-68
rcosta358 Jul 27, 2026
fix-270
rcosta358 Jul 27, 2026
fix-238
rcosta358 Jul 27, 2026
fix-269
rcosta358 Jul 27, 2026
filter-sort-counterexamples
rcosta358 Jul 23, 2026
vc-constraint-elimination
rcosta358 Jul 20, 2026
soundness-hole-fixes
GUIpsp Jun 15, 2026
worktree-issue-240
CatarinaGamboa Jun 13, 2026
if-read-variable
CatarinaGamboa Jun 13, 2026
refactor-method-checker
rcosta358 Jun 10, 2026
examples-complex
CatarinaGamboa Jun 9, 2026
derive-states
rcosta358 Jun 9, 2026
interface-external
CatarinaGamboa Jun 2, 2026
initialize-unknown-state
rcosta358 May 30, 2026
error-ifs
CatarinaGamboa May 29, 2026
state_return_staterefinements
CatarinaGamboa May 28, 2026
bug-fix-vars
CatarinaGamboa May 22, 2026
preserve-origins-ite
rcosta358 May 22, 2026
null-support
rcosta358 Feb 15, 2026