Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
spthy-configuration
99a58b8f
·
Merge remote-tracking branch pr-spthy-configuration' into pr-spthy-configuration
·
Nov 24, 2022
pr-feature-acc-unbounded
ad1e560e
·
Merge remote-tracking branch 'upstream/develop' into pr-feature-acc-unbounded
·
Dec 23, 2021
pr-acc-unbounded
ec6c9ca2
·
Merge remote-tracking branch 'upstream/develop' into pr-acc-unbounded
·
Dec 19, 2021
pr-sapic-pretty-rulenames-no-subscript
aa26c6fd
·
Fix --version message complaining about non-exhaustive pattern
·
Sep 22, 2021
pr-sapic-pretty-rulenames
0ce85e55
·
changed the ordering of the types in Rule.hs
·
May 03, 2021
pr-solved-bug
deeace13
·
Merge branch 'develop' into pr-solved-bug
·
Nov 30, 2020
develop
default
protected
e8a5cb57
·
Export and import rule variants (#388)
·
Oct 07, 2020
master
a631d75f
·
Release commit:
·
Sep 09, 2020
feature-ac-rewrite-rules
61293668
·
Merge remote-tracking branch 'origin/develop' into feature-ac-rewrite-rules
·
Oct 21, 2015
feature-user-defined-sorts
f257df7f
·
Fix constructed tuple associativity
·
Aug 30, 2013
feature-group-protocols
042364de
·
Merge branch 'develop' into feature-group-protocols
·
Jul 22, 2013
Prev
1
2
Next