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 "Unification bug, preventing it from termination"
!30
· created
Jul 31, 2019
by
Enrico Siboni
bug
critical
Merged
updated
Jul 31, 2019
Solve module creation
!29
· created
Jul 29, 2019
by
Enrico Siboni
Merged
Approved
updated
Oct 09, 2019
Resolve "ClauseDatabase clauses' checks"
!28
· created
Jul 26, 2019
by
Enrico Siboni
enhancement
specification
Merged
2
updated
Jul 28, 2019
Moved Factories and added as to Term interface
!27
· created
Jul 25, 2019
by
Enrico Siboni
Merged
updated
Jul 25, 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 "Clause isWellFormed"
!25
· created
Jul 18, 2019
by
Enrico Siboni
enhancement
specification
Merged
updated
Jul 18, 2019
Hashes in rete
!24
· created
Jul 18, 2019
by
Giovanni Ciatto
Merged
updated
Jul 18, 2019
Resolve "Var default equals checks complete name"
!23
· created
Jul 17, 2019
by
Enrico Siboni
critical
specification
suggestion
Merged
updated
Jul 17, 2019
WIP: Resolve "Anonymous variables in unification"
!22
· created
Jul 17, 2019
by
Enrico Siboni
bug
Closed
1
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 "Re-engineer unification implementation"
!16
· created
Jul 11, 2019
by
Enrico Siboni
code-quality
Closed
1
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
Prev
1
2
3
4
5
6
7
Next