Skip to content
GitLab
Explore
Sign in
waldmann
Matchbox SRS Termination
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
f3b67ebf
·
repair comparison function
·
May 18, 2024
Stale branches
183-compile-with-ghc-8-8
54e65174
·
allow newer (to repair build errors)
·
Oct 01, 2019
182-minizinc
d14fb54a
·
add extra files
·
Dec 30, 2019
182-minizinc-dynamic
2ae86678
·
Re-implements constraint for non-strict rules
·
Jan 02, 2020
197-implement-special-matrix-shapes
dbc903e1
·
print transform more often
·
Jan 10, 2020
205-src-matchbox-tiling-automaton-data-hs-255-1-41-non-exhaustive-patterns-in-function-unions
473d7e78
·
fix
#205
·
Jan 24, 2020
!1