Atomic Types Challenge#82

Merged

feliperodri merged 11 commits into

model-checking:mainfrom

carolynzech:atomic-challenge

Oct 30, 2024

Commits on Sep 9, 2024

add challenge
Carolyn Zech
committed
add link to issue
Carolyn Zech
committed
Merge branch 'main' into atomic-challenge
Carolyn Zech
authored

Commits on Sep 13, 2024

address (some) feedback
Carolyn Zech
committed
remove intrinsics paragraph
Carolyn Zech
committed

Commits on Sep 14, 2024

part 1 uses methods instead of helpers
Carolyn Zech
committed

Commits on Sep 19, 2024

contracts for unsafe helpers and intrinsics
Carolyn Zech
committed

Commits on Sep 25, 2024

address PR feedback
Carolyn Zech
committed
safe abstractions
Carolyn Zech
committed

Commits on Oct 30, 2024

update date and add link
Carolyn Zech
committed
Merge branch 'main' into atomic-challenge
Carolyn Zech
authored