Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
PIKA-lab
tuProlog
2P-Kt
Merge requests
Open
2
Merged
120
Closed
7
All
129
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Resolve "Var default equals checks complete name"
!23
· created
Jul 17, 2019
by
Enrico Siboni
critical
specification
suggestion
Merged
updated
Jul 17, 2019
Resolve "Add "Constant" interface"
!21
· created
Jul 16, 2019
by
Enrico Siboni
code-quality
suggestion
Merged
1
updated
Jul 16, 2019
Resolve "Untested core changes"
!20
· created
Jul 15, 2019
by
Enrico Siboni
Merged
updated
Jul 15, 2019
Resolve ""theory" module optimization and testing"
!19
· created
Jul 15, 2019
by
Enrico Siboni
code-quality
development-process
enhancement
Merged
1
updated
Jul 31, 2019
unify module optimization and testing
!18
· created
Jul 11, 2019
by
Enrico Siboni
Merged
1
updated
Jul 15, 2019
Unification Reengineering
!17
· created
Jul 11, 2019
by
Enrico Siboni
code-quality
Merged
updated
Jul 11, 2019
WIP: Resolve ""unify" module optimization and testing"
!15
· created
Jul 09, 2019
by
Enrico Siboni
code-quality
development-process
enhancement
Merged
updated
Jul 11, 2019
Resolve "TuprologExceptions"
!14
· created
Jul 09, 2019
by
Enrico Siboni
code-quality
Merged
updated
Jul 09, 2019
Resolve "Integral is not a proper name for integers"
!13
· created
Jul 09, 2019
by
Enrico Siboni
specification
suggestion
Merged
updated
Jul 09, 2019
Resolve "Substitution.Success is a Unifier"
!12
· created
Jul 09, 2019
by
Enrico Siboni
specification
suggestion
Merged
updated
Jul 09, 2019
Resolve "Substitution should be a type, not a type alias"
!11
· created
Jul 07, 2019
by
Enrico Siboni
code-quality
Merged
2
updated
Jul 09, 2019
Resolve "strictlyEquals should check specific instance class"
!10
· created
Jul 06, 2019
by
Enrico Siboni
specification
Merged
1
updated
Jul 09, 2019
WIP: Resolve "Sets modelling is incorrect"
!9
· created
Jul 02, 2019
by
Giovanni Ciatto
bug
specification
Merged
updated
Jul 05, 2019
Fix lists
!8
· created
Jul 02, 2019
by
Giovanni Ciatto
bug
code-quality
Merged
updated
Jul 02, 2019
Resolve "Implement scoping facilities through the Scope interface"
!7
· created
Jul 02, 2019
by
Giovanni Ciatto
enhancement
Merged
1
updated
Jul 02, 2019
Resolve "Add CI support"
!6
· created
Jul 01, 2019
by
Giovanni Ciatto
development-process
Merged
updated
Jul 01, 2019
Resolve "Factorise ktDSL specific methods"
!5
· created
Jul 01, 2019
by
Giovanni Ciatto
code-quality
modularity
Merged
updated
Jul 01, 2019
Resolve "Add more tests for already present classes"
!3
· created
Jun 27, 2019
by
Enrico Siboni
Merged
4
updated
Jul 05, 2019
Resolve "Apply DRY principle in build.gradle files"
!2
· created
Jun 26, 2019
by
Enrico Siboni
Merged
1
updated
Jun 28, 2019
Build failing: solved
!1
· created
Jun 25, 2019
by
Enrico Siboni
master
Merged
updated
Jun 26, 2019
Prev
1
2
3
4
5
6
Next