LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

C

abstraktor

Abstraktor is a tool to assist validation of distributed protocol implementations

CEmerging

Stars

—

Forks

—

Contributors

2

Last push

14d ago

Recent commits

Latest commits.

Run mallory (#128)
94b265btchimenti5mo ago
Fix clippy (#127)
448f1b0Matías Ignacio González7mo ago
Add sut tests (#126)
9259602Matías Ignacio González7mo ago
Add llvm tests (#125)
dda62e0Matías Ignacio González7mo ago
Add instrument tests (#124)
f46cfc8Matías Ignacio González7mo ago

Add logger tests (#123)

1987b5eMatías Ignacio González7mo ago

Update mediator feedback module (#122)

8eb8b57Matías Ignacio González7mo ago

Improve logger (#121)

3e00473Matías Ignacio González7mo ago

Top contributors

Builders behind this project.