Skip to content
GitLab
Explore
Sign in
waldmann
autotool
Repository
Branches
Overview
Active
Stale
All
Active branches
master
default
protected
511d911b
·
Merge branch '991-aufgabe-typecheck-zuviele-zeilenumbruche' into 'master'
·
Apr 22, 2024
!135
989-beschreibung-bildschirmfotos-demo-fur-essen-und-lernen-17-april
16c50ffe
·
update
·
Mar 19, 2024
!148
988-ghc-9-10
e0ac794b
·
fix
#988
·
Mar 18, 2024
!147
986-dpll-teach-solver-in-generator-about-variable-elimination
b45ecd25
·
Merge branch 'master' into '986-dpll-teach-solver-in-generator-about-variable-elimination'
·
Mar 03, 2024
!143
ghc-9-8
040296f8
·
WIP for 9.8
·
Feb 26, 2024
!139
Stale branches
yesod
7b437e0d
·
Merge branch 'for-ghc-7.8' of
git://autolat.imn.htwk-leipzig.de/git/tool
into yesod
·
Jan 24, 2016
lib
176f5c97
·
Merge branch 'for-ghc-7.8' of gitlab.imn.htwk-leipzig.de:autotool/autolib into for-ghc-7.8
·
Mar 26, 2016
tool
ca17cc78
·
Merge branch 'for-ghc-7.8' of gitlab.imn.htwk-leipzig.de:autotool/tool into for-ghc-7.8
·
Mar 26, 2016
derive-generics
fbd130fd
·
with ghc8
·
Feb 21, 2017
!1
wip-esqueleto
aa0eb3e8
·
Merge branch 'master' of
ssh://gitlab.imn.htwk-leipzig.de:2244/autotool/all0
into wip-esqueleto
·
Mar 08, 2017