Loreon
Labs
Platform
Docs
Home
Ecosystems
Kotlin
usvm
Universal Symbolic Virtual Machine
Kotlin
Emerging
GitHub
Stars
—
Forks
—
Contributors
8
Last push
12mo ago
Recent commits
Latest commits.
Simple .NET machine & Test executor (#5)
3dd9091
Roman Pozharskiy
16mo ago
Upgrade jacodb: fix type names (#257)
02e58ea
Valentyn Sobol
16mo ago
Add support for arrays (#256)
df9c103
Alexey Menshutin
16mo ago
Handle NaN in fib (#254)
f8e9180
Konstantin Chukharev
16mo ago
Rename TsValue (#253)
3f8f361
Konstantin Chukharev
16mo ago
Add both null and undefined values in the TruthyExpr (#252)
90b4122
Alexey Menshutin
16mo ago
[usvm-ts] Support unary minus (#251)
94d3bfe
Konstantin Chukharev
16mo ago
TsTestResolver extended implementation (#250)
6933fab
Alexey Menshutin
16mo ago
Top contributors
Builders behind this project.
Saloed
45 commits
CaelmBleidd
28 commits
sergeypospelov
28 commits
Lipen
20 commits
Damtev
16 commits
IlyaMuravjov
12 commits
dvvrd
9 commits
DaniilStepanov
6 commits
