WoofWare.PawPrint, a Deterministic .NET Runtime
3 days ago
- #ProvenanceTracking
- #DeterministicRuntime
- #ConcurrencyTesting
- WoofWare.PawPrint is a deterministic .NET runtime that interprets IL and runs the .NET 10 BCL.
- It uses probabilistic concurrency testing to explore interesting thread orderings and has successfully identified standard race conditions.
- The runtime maintains a rich internal model with provenance tracking for pointers and byte arrays.
- LLMs like Claude Opus and GPT-5.5 accelerated development, but architectural decisions sometimes required manual correction.
- Current limitations include incomplete native code modeling, requiring user-provided implementations for missing parts.
- Future goals include time-travel debugging and control over execution history.