Skip to main content
Product
Technology
Discover
Solutions
Docs
Downloads
Pricing
Search
/
Sign in
Sign up
brintos
/
llvm-project-archived
public
Read only
Watch
0
Star
0
Fork
0
Files
Commits
Issues
2
Discussions
0
Wiki
0
Insights
llvm-project-archived
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
philippeNeg.pwqp
Text
·
81 B
·
24dc805
Raw
2 lines · plain
1
[N] -> { [i, j] -> ((1/2 * i + 1/2 * i^2) + j) : i <= N and j >= -1 and j <= i }
2