Add example programs using condition variables from pldi23#10

Open

andrew-chang-dewitt wants to merge 15 commits intosmuller:condvarfrom

andrew-chang-dewitt:condvar/examples

Commits on Jun 24, 2025

feat(cv_inv_err): create example target for cv priority inversion as type error
andrew-chang-dewitt
committed
feat(cv_inv_err): translate c example to PriML
andrew-chang-dewitt
committed
feat(fig_3): begin adding example of ill-typed producer-consumer
andrew-chang-dewitt
committed
fix(cv_inv_err): correct syntax error
andrew-chang-dewitt
committed
feat(fig_3): translate c example to PriML
andrew-chang-dewitt
committed
fix(fig_3): correct whitespace & syntax
andrew-chang-dewitt
committed
feat(fig_4): add example of correctly typed prod/cons using promote
andrew-chang-dewitt
committed
fix: apply suggestions from code review
andrew-chang-dewitt
authored
fix(examples): correct syntax in cmd blocks
andrew-chang-dewitt
authored

Commits on Jun 25, 2025

Commits on Jul 13, 2025

Commits on Jul 16, 2025