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
0
Merged
12
Closed
1
All
13
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}}
Updated date
Resolve "Total ordering of Terms"
!77
· created
Apr 18, 2020
by
Giovanni Ciatto
code-quality
documentation
enhancement
Merged
updated
Apr 18, 2020
Resolve "Remove kotliinx.coroutines from solve-streams"
!63
· created
Feb 21, 2020
by
Enrico Siboni
code-quality
Merged
updated
Feb 25, 2020
Resolve "Indicator interface"
!31
· created
Aug 01, 2019
by
Enrico Siboni
code-quality
enhancement
modularity
Merged
updated
Aug 01, 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
Resolve "RETE indexes should be finely tested"
!26
· created
Jul 19, 2019
by
Enrico Siboni
feature/theory-optimization-and-testing
code-quality
development-process
specification
Merged
updated
Jul 24, 2019
Resolve "Add "Constant" interface"
!21
· created
Jul 16, 2019
by
Enrico Siboni
code-quality
suggestion
Merged
1
updated
Jul 16, 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 "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
Fix lists
!8
· created
Jul 02, 2019
by
Giovanni Ciatto
bug
code-quality
Merged
updated
Jul 02, 2019
Resolve "Factorise ktDSL specific methods"
!5
· created
Jul 01, 2019
by
Giovanni Ciatto
code-quality
modularity
Merged
updated
Jul 01, 2019