Your TLA+ spec and your TypeScript code drift apart. This kit makes that impossible.
Stars
98
Forks
6
Watchers
Open Issues
0
Overall repository health assessment
^5.9.3
^22.13.10
User
18
commits
Remove nightly-verification workflow
66684df
Polish onboarding and quickstart docs
9130cb9
Export proof helpers for consumers
b2413f5
Add CLI version reporting
cf2d8b5
Fix adapter generation consumer imports
5a9d4ed
Polish CLI onboarding and machine resolution
ce103b3
Bump release version to 0.1.2
2630bf9
Fix pre-build machine loader test
47db0ae
Prepare 0.1.1 launch release
18b8d92
Sync remaining docs and package changes
d729a13
Rename generated adapters directory
2bbee53
Implement adamantite verification pipeline
a7b7ec5
Unify local and GitHub CI runs
df4f9da
Stop tracking generated machine artifacts
93474d2
Harden compiler truthfulness checks
0b6010f