Packages

Optimistic parallel discrete-event simulation (Time Warp) on the BEAM: logical processes execute events speculatively and roll back automatically on causality violations, so models implement only pure event handling and never write rollback logic.

Current section

Files

Jump to
timewarp CONTRIBUTING.md
Raw

CONTRIBUTING.md

# Contributing
Contributions are welcome — bug reports, questions, and pull requests alike. The engine's
correctness rests on a sequential-equivalence oracle, so please keep `mix test` green and
add a test that pins any new behaviour. All contributions are accepted under the project's
license, the [Apache License 2.0](LICENSE): per section 5 of that license, a contribution
is licensed to the project under the same terms as the work itself, so no separate
contributor agreement is required.