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
Repository
Branches
Overview
Active
Stale
All
Stale branches
feature/benchmarks
92a70149
·
Merge branch 'develop' into feature/benchmarks
·
Mar 14, 2020
feature/primitives
5e489c3c
·
fix jsnames in Libraries
·
Jul 01, 2020
feature/theory
52cb61e4
·
fix non js-compliant name for test
·
Jul 18, 2020
!85
feature/solve-streams-alignment
c381f2de
·
Aligned FindAll.kt with classic one, enabled ingored tests
·
Sep 16, 2020
!93
feature/io-lib-coroutines
ca185b7c
·
+ coroutines experiments
·
Dec 09, 2020