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
Inline getters are true to reduce indirection levels overhead
!70
· created
Mar 04, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 04, 2020
Improvement of primitive wrappers
!69
· created
Mar 04, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 04, 2020
Align solve streams
!68
· created
Mar 03, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 03, 2020
Minor fixes for solve streams js tests
!67
· created
Mar 03, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 03, 2020
Actual JS support
!66
· created
Mar 02, 2020
by
Giovanni Ciatto
Merged
0
updated
Mar 03, 2020
WIP: Renamed "solve-test" module to "test-solve"
!65
· created
Mar 01, 2020
by
Enrico Siboni
feature/improve-js-support
Merged
0
updated
Mar 01, 2020
Configurable println logging
!64
· created
Mar 01, 2020
by
Enrico Siboni
feature/improve-js-support
Merged
0
updated
Mar 01, 2020
Resolve "Remove kotliinx.coroutines from solve-streams"
!63
· created
Feb 21, 2020
by
Enrico Siboni
code-quality
Merged
0
updated
Feb 25, 2020
Moved JS logging utils
!62
· created
Feb 21, 2020
by
Enrico Siboni
Merged
0
updated
Feb 25, 2020
Feature: Align Solver Implementations
!61
· created
Jan 20, 2020
by
Giovanni Ciatto
Merged
0
updated
Jan 20, 2020
WIP: Align solve-streams to latest modifications
!60
· created
Jan 17, 2020
by
Enrico Siboni
feature/align-solver-implementations
Merged
0
updated
Jan 20, 2020
Resolve "Soultions should be cleaned up w.r.t. unassigned variables"
!59
· created
Jan 16, 2020
by
Enrico Siboni
feature/if-then-else-tests-update
bug
specification
wrong-test
Merged
0
updated
Jan 17, 2020
Resolve "The If-Then-Else construct should not backtrack"
!58
· created
Jan 16, 2020
by
Enrico Siboni
feature/instantiation-error-for-uninstantiated-goals
bug
specification
wrong-test
Merged
0
updated
Jan 17, 2020
Resolve "Instantiation error for uninstantiated goals"
!57
· created
Jan 16, 2020
by
Enrico Siboni
feature/align-solve-streams
bug
specification
wrong-test
Merged
0
updated
Jan 17, 2020
Other miscellaneous Enrico Info update
!56
· created
Jan 16, 2020
by
Enrico Siboni
Merged
0
updated
Jan 16, 2020
CONTRIBUTORS Enrico Info Update
!55
· created
Jan 16, 2020
by
Enrico Siboni
feature/doc
Merged
0
updated
Jan 16, 2020
Solve-streams performance improvements
!54
· created
Dec 05, 2019
by
Enrico Siboni
enhancement
Merged
0
updated
Dec 05, 2019
Customisable SystemTesting timeouts for each solver implementation
!53
· created
Dec 05, 2019
by
Enrico Siboni
enhancement
Merged
0
updated
Dec 05, 2019
Substitution Standard compliance bug-fix
!52
· created
Dec 04, 2019
by
Enrico Siboni
bug
enhancement
specification
Merged
0
updated
Dec 04, 2019
Update kotlin 1.3.60 -> 1.3.61
!51
· created
Dec 03, 2019
by
Enrico Siboni
Merged
0
updated
Dec 03, 2019
Prev
1
2
3
4
5
6
7
Next