Skip to content

All branches

BranchUpdatedCheck status
BehindAhead
Pull requestAction menu
main
CatarinaGamboa Nov 11, 2026
found-relevance-enum-constants
CatarinaGamboa Nov 11, 2026
code-spans-532
CatarinaGamboa Nov 11, 2026
from-note-f4
CatarinaGamboa Nov 11, 2026
from-note-state
CatarinaGamboa Nov 10, 2026
feat/found-fold-decided-ternary
CatarinaGamboa Nov 10, 2026
fold-state-found
CatarinaGamboa Nov 10, 2026
state-counterexample
CatarinaGamboa Nov 10, 2026
from-note-f3
CatarinaGamboa Nov 10, 2026
fix/found-expected-all-froms
CatarinaGamboa Nov 10, 2026
state-hints-518-519
CatarinaGamboa Nov 10, 2026
feat/515-hint-set-notation
CatarinaGamboa Nov 10, 2026
feat/514-set-name-method-warning
CatarinaGamboa Nov 10, 2026
fix/state-value-subtype-set
CatarinaGamboa Nov 9, 2026
docs/502-state-values
CatarinaGamboa Nov 9, 2026
feat/502-state-messages
CatarinaGamboa Nov 9, 2026
feat/502-state-values
CatarinaGamboa Nov 9, 2026
fix/452-state-sets-first
CatarinaGamboa Nov 9, 2026
fix/503-alias-states
CatarinaGamboa Nov 9, 2026
feat/435-named-state-sets
CatarinaGamboa Nov 9, 2026