Commit 37e5f1aa authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

preliminary scalarset support

We now recognise scalarsets as a separate type from ranges. Code generation for
them still works the same as ranges; that is, there's no support for actual
symmetry reduction yet.

This commit fixes a misunderstanding where scalarsets were actually mapped to a
larger range than they should have been previously. That is, the scalarset bound
was considered an upper bound rather than one beyond the upper bound.

Github: Related to #12 "symmetry reduction"
parent e72d65e1
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment