New challenges for Rc, Arc, and related Weak implementations#367

Open

AlexLB99 wants to merge 6 commits intomodel-checking:mainfrom

AlexLB99:new_challenge

Commits on May 27, 2025

New Rc and Arc challenges
AlexLB99
committed
410ae1d
Copy full SHA for 410ae1d
Merge branch 'model-checking:main' into new_challenge
AlexLB99
authored
5ef062f
Copy full SHA for 5ef062f
Grammar and clarification
patricklam
authored
4ba145f
Copy full SHA for 4ba145f
Similar changes to -rc.
patricklam
authored
759c6c3
Copy full SHA for 759c6c3

Commits on Jun 6, 2025

several updates to both challenges
AlexLB99
committed
4e2d709
Copy full SHA for 4e2d709
discussed interaction with challenge 7
AlexLB99
committed
fa6b84e
Copy full SHA for fa6b84e