WIP: Adding linearization checker
requested to merge jdsteve2/loopy:adding-linearization-checker into new-dependency-and-nest-constraint-semantics-development
Don't add any NEW discussions here (old discussions will still be continued), this merge request will be split into multiple smaller merge requests that can be discussed individually
(replaces WIP Adding program outline checker merge request)
Edited by James Stevens