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}}
Updated date
Resolve "Remove kotliinx.coroutines from solve-streams"
!63
· created
Feb 21, 2020
by
Enrico Siboni
code-quality
Merged
updated
Feb 25, 2020
Moved JS logging utils
!62
· created
Feb 21, 2020
by
Enrico Siboni
Merged
updated
Feb 25, 2020
Configurable println logging
!64
· created
Mar 01, 2020
by
Enrico Siboni
feature/improve-js-support
Merged
updated
Mar 01, 2020
WIP: Renamed "solve-test" module to "test-solve"
!65
· created
Mar 01, 2020
by
Enrico Siboni
feature/improve-js-support
Merged
updated
Mar 01, 2020
Actual JS support
!66
· created
Mar 02, 2020
by
Giovanni Ciatto
Merged
updated
Mar 03, 2020
Minor fixes for solve streams js tests
!67
· created
Mar 03, 2020
by
Giovanni Ciatto
Merged
updated
Mar 03, 2020
Align solve streams
!68
· created
Mar 03, 2020
by
Giovanni Ciatto
Merged
updated
Mar 03, 2020
Inline getters are true to reduce indirection levels overhead
!70
· created
Mar 04, 2020
by
Giovanni Ciatto
Merged
updated
Mar 04, 2020
Improvement of primitive wrappers
!69
· created
Mar 04, 2020
by
Giovanni Ciatto
Merged
updated
Mar 04, 2020
Resolve "Implement Prolog pretty printer"
!71
· created
Mar 08, 2020
by
Giovanni Ciatto
enhancement
module::core
suggestion
Merged
updated
Mar 22, 2020
Externalize context in solve streams solver
!72
· created
Mar 28, 2020
by
Enrico Siboni
feature/resolution
enhancement
Merged
updated
Mar 28, 2020
Improvements to parsing modules
!75
· created
Mar 29, 2020
by
Giovanni Ciatto
Merged
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
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
updated
Mar 29, 2020
Improve term hierarchy
!76
· created
Mar 29, 2020
by
Giovanni Ciatto
Merged
updated
Mar 29, 2020
Resolve "Total ordering of Terms"
!77
· created
Apr 18, 2020
by
Giovanni Ciatto
code-quality
documentation
enhancement
Merged
updated
Apr 18, 2020
Support parsing of theories defining arbitrary operators, both on JVM and JS
!79
· created
Jun 12, 2020
by
Giovanni Ciatto
Merged
updated
Jun 12, 2020
Improve loading of theories with custom operators in :repl
!80
· created
Jun 12, 2020
by
Giovanni Ciatto
Merged
updated
Jun 12, 2020
Resolve "Issue in feature/solve-streams-timeouts-alignment"
!81
· created
Jun 14, 2020
by
Enrico Siboni
feature/solve-streams-timeouts-alignment
Merged
updated
Jun 14, 2020
Resolve "Solve-Streams does not properly handle timeouts"
!78
· created
Jun 07, 2020
by
Enrico Siboni
bug
critical
module::solve-streams
Merged
updated
Jun 14, 2020
Prev
1
2
3
4
5
6
7
Next