This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

Make the notion of valid parallel programs less strict #190

Open

stevana opened this issue Dec 12, 2017 · 0 comments

Labels

Collaborator

stevana commented Dec 12, 2017

@Danten pointed out that the current way validParallelProgram is implemented doesn't accept programs such as:

x <- new
y <- new
---------------------
write x 0 | read y 
          | delete y

The text was updated successfully, but these errors were encountered:

stevana added the enhancement label

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.