LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Python

leanSpec

fselmo/leanSpec

PythonEmerging

Stars

2

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

chore: rm old references to ``devnet`` fork; rm exec fork refs (#710)
a5a05f9felipe1mo ago
feat(tooling): replace `tox` with `just` (#709)
c28eb79felipe1mo ago
test(st): cover state transition at the validator registry limit (#699)
34cc920Shriraj Pawar1mo ago
fix path (#707)
3a1588badust1mo ago
refactor(tests): move state and forkchoice tests under forks/lstar (Stage 6 of #686) (#706)
941abe7Thomas Coratger1mo ago

refactor(forks): make Store generic over StateT, BlockT (Stage 5 of #686) (#705)

a9c8750Thomas Coratger1mo ago

refactor(forks): move verify_signatures body into the spec (Stage 4C, part 1 of #686) (#704)

45ba21eThomas Coratger1mo ago

refactor(forks): rewrite test call sites through the spec (Stage 4B of #686) (#703)

22afd98Thomas Coratger1mo ago

Top contributors

Builders behind this project.