repo.or.cz
/
isl.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
isl_basic_map_gist: allow existentially quantified variables
2019-11-14
Malh
a
r Thakkar
export
i
sl_{u
n
io
n
_
,
}map_range_r
e
ve
r
se
commit
|
commitdiff
|
tree
2017-07-03
Ma
l
har Thakkar
add missing
a
nnot
a
t
ions to isl_
b
asic_se
t
_c
o
mpute_divs
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add missin
g
a
n
notation to
i
s
l_vec_
a
lloc
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Ma
l
har Thakk
a
r
add
m
issing
an
n
otatio
n
s to is
l
_bas
i
c_set_drop_dims
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malh
a
r Thak
k
ar
add missing annotati
o
ns to is
l
_vec_
c
eil
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
k
kar
add missing annota
t
ions to isl_basic_map_drop
_
redundant_div
s
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
add
m
is
s
ing annot
a
t
i
ons to
i
sl_mat_dup
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malh
a
r Thakk
a
r
add
miss
i
ng annotati
o
ns to
i
s
l
_
m
at_cow
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Mal
h
ar Thakkar
add missin
g
anno
t
ation
s
t
o
isl_bas
i
c_set
_
s
e
t_to_empty
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thak
k
ar
add
m
issi
n
g a
n
n
o
tations to isl_set_eliminate_
d
ims
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
M
alhar Thakkar
add missing ann
o
ta
t
io
n
s to isl_basic_ma
p
_align_divs
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
kkar
add missing annotation t
o
isl_basic_set_alloc_spa
c
e
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
kk
a
r
ad
d
missing annotations to isl
_
basic_set_ext
e
nd
_
space
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malha
r
Thakkar
add missing annotations
t
o isl_s
e
t_preimage
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thak
k
ar
add mi
s
s
i
ng annotations
to isl_basic_map_ov
e
rlying_
s
e
t
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Tha
k
k
a
r
a
d
d
missing annotati
o
ns to
i
sl_map_underlying_se
t
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malha
r
Thakkar
add missing a
n
nota
t
io
n
s
to isl_bas
i
c
_
map_u
n
d
erlying_set
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar
T
hakkar
a
d
d
m
issing an
n
otations
to isl_mat_dro
p
_rows
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
M
a
lh
a
r
Thakkar
add
m
i
ssing anno
t
atio
n
s
to isl_mat_dr
o
p_c
o
ls
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakka
r
add m
i
ssing annotations to i
s
l_basic_set
_
pr
e
image
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Thakkar
a
dd missing annotations
t
o isl_b
a
sic_set_gaus
s
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
Malhar Th
a
kkar
add missing annotations to isl_
b
as
i
c_
s
et_normalize
_
constra
i
nts
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-07-03
M
a
lhar Thakkar
ad
d
miss
i
ng anno
t
ations
to
isl_set_union_dis
j
oint
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-06-30
Malhar Th
a
kkar
add missing annota
t
ions to
declara
t
ion
o
f isl_ma
p
_union_disjoint
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree
2017-06-28
Malhar Thak
k
a
r
add missing annotations to declarati
o
n of isl_basic_set_s
e
t_
.
.
.
Signed-off-by:
Malhar Thakkar
<malhar1910@gmail.com>
commit
|
commitdiff
|
tree