·
810 commits
to main
since this release
This release references the last commit involving the bachelor thesis titled "Automated Testing of Atomic Instructions (LR/SC) Implementations in Selfie" by Luis Thiele.