search

loonwerks / AGREE

Assume-Guarantee REasoning Environment
BSD 3-Clause "New" or "Revised" License
13 stars 5 forks source link

Issue 46 projection exprs #103

Open kfhoech opened 2 years ago

kfhoech commented 2 years ago

Resolves #46.

Combines the ArraySubExpr and SelectionExpr into a clique that allows them to be interleaved.

Since this involves a (minor) change to the grammar, it triggers a major version roll which will affect plugins that depend on AGREE.