interweave 0.1.0

Stateless model checker for concurrent programs: watch Optimal DPOR explore interleavings of async processes on a deterministic from-scratch executor.
Documentation 
1
2
3
4
5
6
7
8

/target

# Local Claude Code configuration (agents, skills, settings) and guidance.
/.claude/
/CLAUDE.md

# macOS Finder metadata.
.DS_Store