Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Overview
Active
Stale
All
siamakamirzad1380-develop-patch-96982
0be7d61d
·
Delete 2p-kt-repl.png
·
Dec 02, 2021
siamakamirzad1380-develop-patch-97148
6536cde6
·
Update .gitlab-ci.yml
·
Dec 02, 2021
develop
default
protected
f41a7017
·
update gradlew to 7.3
·
Nov 21, 2021
master
fec568d1
·
rename methods incompatible with android
·
Nov 06, 2021
feature/concurrency-with-explicit-channel
18b871e1
·
problem: how to know when the channel should be closed from outside?
·
Oct 22, 2021
feature/examples
622af04b
·
example for clause renaming with term visitor
·
Aug 15, 2021
feature/terms
19db23b6
·
add notions of Composed and Pattern
·
Jul 18, 2021
feature/ide-query-history
103cf441
·
+ combobox as query field
·
May 21, 2021
feature/oop-lib
2aaeee3b
·
Merge branch 'hotfix/expression-reducer' into hotfix/reader-channel
·
May 04, 2021
hotfix/reader-channel
2aaeee3b
·
Merge branch 'hotfix/expression-reducer' into hotfix/reader-channel
·
May 04, 2021
hotfix/expression-reducer
e28461f8
·
fix expression reducer and its test
·
May 04, 2021
documentation
11a9e1bb
·
restore pikalab url in gitlab ci
·
Mar 04, 2021
feature/tests-for-mutable-solver
135a9eb8
·
some basic tests for mutable solvers
·
Feb 13, 2021
feature/io-lib-coroutines
ca185b7c
·
+ coroutines experiments
·
Dec 09, 2020
feature/solve-streams-alignment
c381f2de
·
Aligned FindAll.kt with classic one, enabled ingored tests
·
Sep 16, 2020
feature/theory
52cb61e4
·
fix non js-compliant name for test
·
Jul 18, 2020
feature/primitives
5e489c3c
·
fix jsnames in Libraries
·
Jul 01, 2020
feature/benchmarks
92a70149
·
Merge branch 'develop' into feature/benchmarks
·
Mar 14, 2020