repo.or.cz
/
barvinok.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
summate.c: add_unbounded_guarded_qp: update to change in isl_pw_* space
[barvinok.git]
/
tests
/
tree
4b47b4652e84aac75097cb2dee801d0848694aae
drwxr-xr-x
..
-rw-r--r--
15
0D
blob
|
blame
|
history
|
raw
-rw-r--r--
20
0D-2
blob
|
blame
|
history
|
raw
-rw-r--r--
414
andreas
blob
|
blame
|
history
|
raw
-rw-r--r--
110
decomposition1
blob
|
blame
|
history
|
raw
-rw-r--r--
91
decomposition10
blob
|
blame
|
history
|
raw
-rw-r--r--
91
decomposition11
blob
|
blame
|
history
|
raw
-rw-r--r--
91
decomposition12
blob
|
blame
|
history
|
raw
-rw-r--r--
128
decomposition13
blob
|
blame
|
history
|
raw
-rw-r--r--
145
decomposition14
blob
|
blame
|
history
|
raw
-rw-r--r--
145
decomposition15
blob
|
blame
|
history
|
raw
-rw-r--r--
145
decomposition16
blob
|
blame
|
history
|
raw
-rw-r--r--
145
decomposition17
blob
|
blame
|
history
|
raw
-rw-r--r--
163
decomposition18
blob
|
blame
|
history
|
raw
-rw-r--r--
181
decomposition19
blob
|
blame
|
history
|
raw
-rw-r--r--
180
decomposition2
blob
|
blame
|
history
|
raw
-rw-r--r--
181
decomposition20
blob
|
blame
|
history
|
raw
-rw-r--r--
145
decomposition21
blob
|
blame
|
history
|
raw
-rw-r--r--
180
decomposition3
blob
|
blame
|
history
|
raw
-rw-r--r--
180
decomposition4
blob
|
blame
|
history
|
raw
-rw-r--r--
180
decomposition5
blob
|
blame
|
history
|
raw
-rw-r--r--
143
decomposition6
blob
|
blame
|
history
|
raw
-rw-r--r--
90
decomposition7
blob
|
blame
|
history
|
raw
-rw-r--r--
181
decomposition8
blob
|
blame
|
history
|
raw
-rw-r--r--
129
decomposition9
blob
|
blame
|
history
|
raw
-rw-r--r--
766
dependence
blob
|
blame
|
history
|
raw
-rw-r--r--
395
e16
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
ehrhart
tree
|
history
drwxr-xr-x
-
ehrhart_e
tree
|
history
-rw-r--r--
374
empty
blob
|
blame
|
history
|
raw
-rw-r--r--
567
empty2
blob
|
blame
|
history
|
raw
-rw-r--r--
968
empty3
blob
|
blame
|
history
|
raw
-rw-r--r--
496
empty4
blob
|
blame
|
history
|
raw
-rw-r--r--
189
empty5
blob
|
blame
|
history
|
raw
-rw-r--r--
613
empty6
blob
|
blame
|
history
|
raw
-rw-r--r--
230
empty7
blob
|
blame
|
history
|
raw
-rw-r--r--
65
equality
blob
|
blame
|
history
|
raw
-rw-r--r--
68
equality2
blob
|
blame
|
history
|
raw
-rw-r--r--
42
equality3
blob
|
blame
|
history
|
raw
-rw-r--r--
22
equality4
blob
|
blame
|
history
|
raw
-rw-r--r--
77
equality5
blob
|
blame
|
history
|
raw
-rw-r--r--
124
equality6
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
euler
tree
|
history
-rw-r--r--
103
example2
blob
|
blame
|
history
|
raw
-rw-r--r--
65
example6
blob
|
blame
|
history
|
raw
-rw-r--r--
65
example7
blob
|
blame
|
history
|
raw
-rw-r--r--
41
infinite
blob
|
blame
|
history
|
raw
-rw-r--r--
31
infinite2
blob
|
blame
|
history
|
raw
-rw-r--r--
448
infinite3
blob
|
blame
|
history
|
raw
-rw-r--r--
590
infinite4
blob
|
blame
|
history
|
raw
-rw-r--r--
436
infinite5
blob
|
blame
|
history
|
raw
-rw-r--r--
260
infinite6
blob
|
blame
|
history
|
raw
-rw-r--r--
170
infinite7
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
iscc
tree
|
history
-rw-r--r--
720
kristof
blob
|
blame
|
history
|
raw
-rw-r--r--
280
kristof2
blob
|
blame
|
history
|
raw
-rw-r--r--
249
kristof3
blob
|
blame
|
history
|
raw
-rw-r--r--
67
kristof4
blob
|
blame
|
history
|
raw
-rw-r--r--
608
kristof5
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
lattice_width
tree
|
history
drwxr-xr-x
-
lexmin
tree
|
history
-rw-r--r--
91
lll1
blob
|
blame
|
history
|
raw
-rw-r--r--
91
lll2
blob
|
blame
|
history
|
raw
-rw-r--r--
92
lll3
blob
|
blame
|
history
|
raw
-rw-r--r--
91
lll4
blob
|
blame
|
history
|
raw
-rw-r--r--
91
lll5
blob
|
blame
|
history
|
raw
-rw-r--r--
91
lll6
blob
|
blame
|
history
|
raw
-rw-r--r--
128
lll7
blob
|
blame
|
history
|
raw
-rw-r--r--
389
long_4D
blob
|
blame
|
history
|
raw
-rw-r--r--
65
non-integer
blob
|
blame
|
history
|
raw
-rw-r--r--
79
non-integer2
blob
|
blame
|
history
|
raw
-rw-r--r--
119
non-simplicial
blob
|
blame
|
history
|
raw
-rw-r--r--
1014
product
blob
|
blame
|
history
|
raw
-rw-r--r--
203
product2
blob
|
blame
|
history
|
raw
-rw-r--r--
203
product3
blob
|
blame
|
history
|
raw
-rw-r--r--
1228
product4
blob
|
blame
|
history
|
raw
-rw-r--r--
212
product5
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
pwqp
tree
|
history
-rw-r--r--
110
rays
blob
|
blame
|
history
|
raw
-rw-r--r--
161
rays2
blob
|
blame
|
history
|
raw
-rw-r--r--
143
rays3
blob
|
blame
|
history
|
raw
-rw-r--r--
110
rays4
blob
|
blame
|
history
|
raw
-rw-r--r--
110
rays5
blob
|
blame
|
history
|
raw
drwxr-xr-x
-
sample
tree
|
history
-rw-r--r--
129
supporting1
blob
|
blame
|
history
|
raw
-rw-r--r--
129
supporting2
blob
|
blame
|
history
|
raw
-rw-r--r--
65
triangle
blob
|
blame
|
history
|
raw
-rw-r--r--
234
union
blob
|
blame
|
history
|
raw