Skip to content
GitLab
Explore
Sign in
Register
Primary navigation
Search or go to…
Project
K
kics2
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Deploy
Releases
Model registry
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
GitLab community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Pascal Stücker
kics2
Repository graph
Repository graph
You can move around the graph by using the arrow keys.
6f8957ee0cdd2787e2e353c43ab03459e10b28b8
Select Git revision
Selected
6f8957ee0cdd2787e2e353c43ab03459e10b28b8
Branches
13
master
default
bho/master
constraints
functionalfunc
match-vs-try
mboe/typeclasses
newConstraints
release/0.6.x
residuation
sad/MockIt
sad/master
sad/typeclasses
typeclasses
Tags
3
v0.5.2
v0.5.1
typeclasses-old
17 results
Begin with the selected commit
Created with Raphaël 2.2.0
31
May
28
15
3
4
Apr
20
Mar
31
Jan
23
22
19
18
16
14
12
11
10
9
8
21
Dec
20
6
4
1
30
Nov
28
27
23
20
17
16
14
13
9
8
7
6
5
4
3
1
30
Oct
26
25
24
23
21
20
19
18
17
16
12
11
9
6
2
29
Sep
28
11
1
31
Aug
24
Jul
18
17
10
2
6
Jun
2
31
May
30
29
24
23
22
20
19
18
17
16
15
4
2
28
Apr
25
24
23
21
20
18
14
13
12
11
10
6
Mar
1
26
Feb
24
23
22
21
20
15
14
13
10
9
13
Jan
21
Dec
9
22
Nov
11
10
9
3
1
31
Oct
28
12
7
6
5
30
Sep
26
22
21
16
8
1
29
Aug
28
26
25
22
19
17
29
Jul
28
22
15
Jun
14
10
9
8
7
6
25
May
10
8
5
3
27
Apr
26
25
24
21
20
11
8
7
6
5
24
Mar
18
16
15
14
11
10
9
8
7
3
28
Feb
27
26
25
23
22
19
18
17
16
15
14
11
10
9
8
7
4
3
2
1
31
Jan
29
28
26
19
13
12
6
22
Dec
21
9
4
30
Nov
27
25
22
18
17
16
4
1
29
Oct
28
26
25
21
19
16
2
1
30
Sep
17
15
14
11
8
7
6
2
26
Aug
25
24
21
23
Jul
15
13
10
9
8
7
6
3
30
Jun
29
28
25
24
23
10
9
8
3
2
1
30
May
20
19
24
Apr
2
1
27
Mar
11
6
5
4
27
Feb
23
17
9
7
4
31
Jan
30
28
27
22
21
20
19
9
23
Dec
19
12
10
9
5
4
3
2
28
Nov
27
26
21
20
19
18
17
14
13
12
11
7
27
Oct
23
22
20
16
15
14
8
7
6
Update libraries
master
master
Front end now compatible with GHC 8.4
CPM updated
CPM updated
release/0.6.x
release/0.6.x
CPM updated
Tools updated
Command "programs" improved to show hierarchical modules
Makefile fix for GHC 8.0.1
makecgi script and help comment improved
libs updated
Bug fix: CPP option added to ghc/IDSupply.hs
makecgi script: option -cpm is deprecated since it does not work without it in the typeclass branch
libs updated
SetFunctions updated
Small fix in CPM and kics2 script
CPM updated
CPM updated
Add pragmas to suppress some GHC warnings
Test suite corrected
libs updated
Update libraries
Update front end, libraries and tools
Fix getDecisionRaw
Add conditional compiling for ghc-8.0 (and before) in IDSupply
Fix idsupplyghc for ghc-8.2.*
one-shot version querying enabled
CPM updated
CPM updated
libs updated
libs updated
Fix pretty printing of Curry Ints to Haskell
Test.Prop.forAll added
libs updated
BASEVERSION read from libs
Tools and libs updated
lib docs source updated
Repair make dist
Pretty library added (since it is now in a package)
Made bootstraping using KICS2 right
CPM and front end updated
Loading