LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Python

Specula

Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code

PythonEmerging

Stars

—

Forks

—

Contributors

6

Last push

5mo ago

Recent commits

Latest commits.

Merge upstream/main to sync with specula-org/Specula
e96f1acMuloka5mo ago
chore: small updates
77203d4Qian-Cheng-nju5mo ago
fix: fix trace validation
1429212Qian-Cheng-nju5mo ago
feat: Add comparison for learner
ece3e95Qian-Cheng-nju5mo ago
fix: fix fp
f95d1baQian-Cheng-nju5mo ago

feat(inv_checking_tool): add support for TLC structured trace formats

5aea53dMuloka5mo ago

Merge pull request #23 from tangruize/tlc-cmd

a94387bQian Cheng5mo ago

Merge pull request #22 from tangruize/etcd_constraints

a161cebQian Cheng5mo ago

Top contributors

Builders behind this project.