Skip to content

Atomic extension#126

Closed
giancarlopernudisegura wants to merge 57 commits intoTheThirdOne:masterfrom
giancarlopernudisegura:atomic-extension
Closed

Atomic extension#126
giancarlopernudisegura wants to merge 57 commits intoTheThirdOne:masterfrom
giancarlopernudisegura:atomic-extension

Conversation

@giancarlopernudisegura
Copy link
Contributor

This PR seeks to solve #75. It's very similar to #121 (contains a subset of the same commits). We've decided to break it up into 2 PRs. This first PR, implements the A extension with a reservation table tool. The next PR will provide support for multithreading.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants