Current section
Files
Jump to
Current section
Files
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.