Code for POPL 2018 tutorial

alias cc0 ~/programs/c0/cc0-concur/bin/cc0 -r concur  
cc0 -d -x primes.c1
cc0 -d -x queue.c0 lbuffer.c1 lbuffer-test.c1
cc0 -d -x queue.c0 sbuffer.c1 sbuffer-test.c1

primes.c1 - prime sieve using finite lists

queue.h0  - imperative queues (not concurrent or shared)
queue.c0
queue-test.c0

lbuffer.c1 - linear concurrent buffer (not shared)
lbuffer-test.c1

sbuffer.c1 - shared concurrent buffer
sbuffer-test.c1 

dining_philosophers1.c1 - dining philosophers, may deadlock
dining_philosophers2.c1 - dining philosophers, deadlock-free version