LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

VSharp

Symbolic execution engine for .NET Core

C++Emerging

Stars

—

Forks

—

Contributors

8

Last push

24mo ago

Recent commits

Latest commits.

Merge pull request #295 from oveeernight/splitting
e616b05Mikhail Kosticyn26mo ago
[fix] collecting latest nodes; style
7b6e6a2Roman Pozharskiy26mo ago
[fix] remove write branching; add guarded write
c7f669eRoman Pozharskiy26mo ago
[fix] remove forking in compose; ite-keys write
93a9318Roman Pozharskiy27mo ago
[feat] refactor unions to ite; fork states in constrained
fb7104dRoman Pozharskiy28mo ago

[fix] filter badRef in guardedMap

be1a6e8Roman Pozharskiy28mo ago

[feat] split write with recursive specialized range readings

bf387f9Roman Pozharskiy28mo ago

[fix] implement union keys reading

05caa79Roman Pozharskiy28mo ago

Top contributors

Builders behind this project.