tarantool / tarantool/tarantool
Roadmap of Tarantool's TLA+ specification
Open
@Serpentian is already working on this.
Since Apr 10, 2025.
epic
feature
- Dominant language
- Lua
- Stars
- 3.7k
- Forks
- 419
- Avg merge
- 1d 23h
- Merged PRs (30d)
- 88
Description
The issues are in the order, in which they should be done.
Essentials
The whole specification of Tarantool's replication (13 sp)
- https://github.com/tarantool/tarantool/issues/11370
- https://github.com/tarantool/tarantool/issues/11371
- https://github.com/tarantool/tarantool/issues/11372
- https://github.com/tarantool/tarantool/issues/11373
- https://github.com/tarantool/tarantool/issues/11374
- https://github.com/tarantool/tarantool/issues/11379
Ensuring the continuous support of the specification (a lot of sp)
- https://github.com/tarantool/tarantool-internals/issues/48
- https://github.com/tarantool/checkpatch/issues/81 (temporary)
- https://github.com/tarantool/tarantool/issues/11377
Should be considered and implemented
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.