index
:
chill.git
clang
Composable High-level Loop Transformation Framework
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
omega
/
examples
/
old_test
/
foo6
blob: 0b702cd0dc5601a07bc452619361d9f3a8c815b0 (
plain
)
1
approximate {[i,j] : exists (a,b : a,b >= 0 && i = -201a-3b && j = 103a+200b)};
