zkincaid / duet

Duet: static analysis for unbounded concurrency
http://duet.cs.toronto.edu
MIT License
23 stars 17 forks source link

arrays as first order types #24

Closed JakeSilverman closed 3 years ago

JakeSilverman commented 3 years ago

This PR adds arrays as a first order type to srk.

Two things are notable missing from this PR

1) We discussed including select atoms in coordinate_systems. This changes seems like it might greatly complicate current code given coordinate_systems reliance on QQVectors.

2) No current support for interpretation of arrays