index
:
bcm5719-llvm
meklort-10.0.0
meklort-10.0.1
ortega-7.0.1
Project Ortega BCM5719 LLVM
Raptor Computing Systems
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
equality1.pwqp
blob: eb16a4ba7b85f07a938375c582a5081a3e545b3a (
plain
)
1
[n] -> { [x] -> 1 + [(x+1)/3] : exists a : x = 3a +1 && 0 <= x <= n }