Branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
master	May 4, 2025
restaumatic	May 11, 2026
traversal-inline	May 9, 2026
unify-leaf-no-hash	Apr 29, 2026
ptr-eq-unify-ship	Apr 28, 2026
unify-pattern-survey	Apr 26, 2026
unify-cache	Apr 26, 2026
type-hash	Apr 25, 2026
skip-redundant-entailment-unify	Apr 20, 2026
row-cons-opt	Apr 17, 2026
entailment-memo	Apr 17, 2026
synonym-opt	Apr 16, 2026
the-rock	Apr 12, 2026
fix-instance-recompilation-check	Jun 20, 2025
hash-type-with-interning	May 29, 2025
optimize-occurs-check	May 28, 2025
hash-cons-type	May 26, 2025
unify-lazy-subst	May 21, 2025
fix-dependency-computation	May 19, 2025
various-perf-changes	May 13, 2025

Provide feedback