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
Actions
Subscribe to RSS feed
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
All Greco's tests pass on :solver-classic
!91
· created
Sep 10, 2020
by
Giovanni Ciatto
Merged
0
updated
Sep 10, 2020
Correctly implemented management of SideEffects in Conjunction.kt for...
!90
· created
Jul 06, 2020
by
Giovanni Ciatto
Merged
0
updated
Jul 06, 2020
Improve Java interoperability for module :solve via overloads
!89
· created
Jul 06, 2020
by
Giovanni Ciatto
Merged
0
updated
Jul 06, 2020
Thread safety for LRUCache to address #95
!88
· created
Jul 06, 2020
by
Giovanni Ciatto
Merged
0
updated
Jul 06, 2020
Thread safety for LRUCache to address #95
!87
· created
Jul 06, 2020
by
Giovanni Ciatto
Merged
0
updated
Jul 06, 2020
Serialization support
!86
· created
Jul 01, 2020
by
Giovanni Ciatto
Merged
0
updated
Jul 01, 2020
Fix #92
!85
· created
Jun 20, 2020
by
Giovanni Ciatto
Merged
0
updated
Jun 21, 2020
[WIP] Resolve "The current design of primitives is poorly suited to handle side-effects which must survive to backtracking"
!84
· created
Jun 20, 2020
by
Enrico Siboni
Arg2P
bug
critical
module::solve
specification
Closed
1
updated
Jul 01, 2020
WIP: Resolve "The current design of primitives is poorly suited to handle side-effects which must survive to backtracking"
!83
· created
Jun 18, 2020
by
Giovanni Ciatto
Arg2P
feature/arg2p-integration
bug
critical
module::solve
specification
Closed
0
updated
Jul 06, 2020
Resolve "Issue in feature/solve-streams-timeouts-alignment"
!81
· created
Jun 14, 2020
by
Enrico Siboni
feature/solve-streams-timeouts-alignment
Merged
0
updated
Jun 14, 2020
Improve loading of theories with custom operators in :repl
!80
· created
Jun 12, 2020
by
Giovanni Ciatto
Merged
0
updated
Jun 12, 2020
Support parsing of theories defining arbitrary operators, both on JVM and JS
!79
· created
Jun 12, 2020
by
Giovanni Ciatto
Merged
0
updated
Jun 12, 2020
Resolve "Solve-Streams does not properly handle timeouts"
!78
· created
Jun 07, 2020
by
Enrico Siboni
bug
critical
module::solve-streams
Merged
0
updated
Jun 14, 2020
Resolve "Total ordering of Terms"
!77
· created
Apr 18, 2020
by
Giovanni Ciatto
code-quality
documentation
enhancement
Merged
0
updated
Apr 18, 2020
Improve term hierarchy
!76
· created
Mar 29, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 29, 2020
Improvements to parsing modules
!75
· created
Mar 29, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 29, 2020
Resolve "Refactor solve-streams ExecutionContextImpl parents retrieval implementation"
!74
· created
Mar 29, 2020
by
Enrico Siboni
enhancement
module::solve-streams
Merged
0
updated
Mar 29, 2020
Resolve "Solver maxDuration parameter should be "solution scoped""
!73
· created
Mar 28, 2020
by
Enrico Siboni
module::solve-streams
specification
Merged
0
updated
Mar 29, 2020
Externalize context in solve streams solver
!72
· created
Mar 28, 2020
by
Enrico Siboni
feature/resolution
enhancement
Merged
0
updated
Mar 28, 2020
Resolve "Implement Prolog pretty printer"
!71
· created
Mar 08, 2020
by
Giovanni Ciatto
enhancement
module::core
suggestion
Merged
0
updated
Mar 22, 2020
Prev
1
2
3
4
5
6
7
Next