New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Feature/atomic ruleset #332

Open

nikosai wants to merge 3 commits into develop from feature/atomic-ruleset

+503 −8

Contributor

nikosai commented Feb 14, 2024

resolve #325

nikosai and others added 3 commits

February 13, 2024 22:35


          revive atomic_ruleset (WIP)

882ff29

fix

5f69860


          Merge branch 'develop' into feature/atomic-ruleset

5939ac2

Contributor Author

nikosai commented Feb 14, 2024

廃止時点コミットを参考にrevertし、古いAPIを置き換え＆復活させてエラーが出ないところまで来たが、肝心の実行結果が正しくない（通常実行はatomicなしと同一結果、非決定実行はSEGV）

QRWells marked this pull request as ready for review

February 14, 2024 13:21

QRWells approved these changes

View reviewed changes

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

Labels

None yet