Skip to content

Loop bound codegen fixes

Matt Wala requested to merge loop-codegen-fixes into master

Three somewhat unrelated fixes.

  1. Uses PwAff.is_equal() to check if lbound = ubound
  2. Gists against implemented domain when finding bounds
  3. Keeps track of implemented bounds more accurately

Merge request reports