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
add isl_set_list_read_from_str
2021-07-08
Riccardo Mori
add i
s
l_set_list_read_fr
o
m_str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-06
S
v
en Verdoo
l
aege
doc/SubmittingPa
t
ches: men
t
ion l
i
mit on com
m
it
messa
g
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-07-02
S
ven Verdoolaege
isl
_
*
_
list_read_from_str:
s
u
ppo
r
t reading e
m
pty list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven Verdo
o
laege
expor
t
is
l
_
u
n
i
o
n
_m
a
p
_
g
e
t_map_l
i
st
commit
|
commitdiff
|
tree
2021-06-29
Sven Verdoolaege
export isl_map_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven Ve
r
doolaege
ad
d
isl_map_l
i
st_
r
ead_from
_
str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-29
Sven Verd
o
ola
e
ge
export isl_un
i
on_pw_multi_aff
_
get_pw_m
u
lti_aff_li
s
t
commit
|
commitdiff
|
tree
2021-06-29
Sven Verdoolaege
a
d
d
e
x
ported
i
s
l_*_list_r
e
ad_from_str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-28
Sven Verdoolaege
privately expose i
s
l_stream_read_*_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven V
e
rdoola
e
g
e
add isl_union_map_
p
r
eimage_ra
n
ge_multi_a
f
f test
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
Sven V
e
rdoo
l
aege
move preimage te
s
t
s
to a new C++ based test2 program
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-23
S
ven Verdoolaege
test isl_se
t
_preimage
_
m
u
lt
i
_aff
instead of isl_bas
i
c_set_pre
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-22
Sven Verdoo
l
ae
g
e
add e
x
p
o
r
ted isl_ma
p
_get
_
r
ange_
l
a
ttice_tile
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-22
Sven Verdoolaege
d
o
c:
add a note that
s
tride de
t
ection ma
y
not be able
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-10
Sven
V
e
r
d
o
o
l
aege
isl
_
map
.
c: extract out sha
r
ed check_convex_no
_
l
o
cal
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-10
Sv
e
n Verdoolaege
is
l
_m
a
p
.
c: extract out sha
r
ed is_
c
onvex_no_l
o
c
al
s
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-06-10
Sven Verdoolaege
isl
_
m
a
p
.
c: map
_
intersect_add_constra
i
nt: fix sanity
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-30
Sv
e
n Verdoolaege
add isl_polyhedron_re
m
ove_redun
d
a
nt_equali
t
ies test
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-29
Sven Verdoolaege
drop unused a
n
d l
o
ng deprecated isl_c
o
nstraint_set_coe
f
ficien
t
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
S
v
e
n
Verdo
o
laege
isl_set_
s
ubstitute:
implement in terms of isl_set_preim
a
ge_m
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven Verd
o
olaege
is
l
_set_substit
u
te: only allow se
t
di
m
ensio
n
subs
t
itut
i
o
n
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven Ver
d
oolaeg
e
mark isl_basic
_
set_substitute stat
i
c
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-25
Sven Verdoolaege
isl_p
w
_multi_aff_substi
t
ute
:
o
nly allow in
p
ut d
i
m
e
n
sion
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-23
S
ven Verdoolaege
i
s
l_v
e
rtice
s
.
c
: fix t
y
po
s
in
c
omment
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-15
Sven Verdoola
e
ge
isl_schedule_constraints_com
p
ute
_
schedule
:
dete
c
t
implicit
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-13
Sven Verdoolaege
a
dd
isl
_
multi_
p
w
_
aff_{is
a
,as}_multi_aff
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-08
Sven
Verdoolaege
isl_
t
e
st_python
.
py
:
sto
p
raising strings
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-05-05
Matt Whitlock
c
onfigure
.
ac:
avoid bash-specific
'==
'
c
o
mparison
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sven V
e
rdoolaege
isl 0
.
24
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-25
Sven Ve
r
doolaeg
e
u
p
d
at
e
AUTHOR
S
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaege
Merge bra
n
ch 'maint'
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaeg
e
i
sl_basic
_
s
et_compute_vertic
e
s: detect
i
mpl
i
cit
equalit
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sv
e
n Verdool
a
ege
i
s
l_basi
c
_set_
c
ompute_vertices:
k
eep t
r
ack o
f
original
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven V
e
rdoolaege
isl_vertice
s
.
c: lower_dim_
v
ertic
e
s: consume input
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolae
g
e
isl_bas
i
c_set_compute_vert
i
ces: add s
a
nity check
o
n
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-11
Sven Verdoolaege
i
s
l_basic_set_
m
ultipli
c
ati
v
e
_
call: detec
t
redundant
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
Sven V
e
rdool
a
ege
introduce t
e
m
plate
d
C++ int
e
rface
commit
|
commitdiff
|
tree
2021-04-10
Sven Ve
r
doolaege
inter
f
ace: make drop
_
suffix available a
s
generator
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
S
v
e
n Verdoolaege
class_pr
i
n
ter::print_m
e
thod_hea
d
er: p
a
s
s
a
rgument p
o
si
t
ion
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Ve
r
d
o
olaege
class_pri
n
ter
:
:pri
n
t_method_group:
m
a
k
e printing of
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven
V
erdo
o
laege
inte
r
face: Convers
i
o
nM
e
t
h
od: e
x
tract
out NoCop
y
M
eth
o
d
commit
|
commitdiff
|
tree
2021-04-10
S
v
e
n Verdoo
l
aege
clas
s
_p
r
int
e
r::print_met
h
od_header
:
v
i
rtualize c
l
ass
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoo
l
aege
cpp_type_pri
n
ter::isl_type: virtualize (na
m
espace)
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven
V
e
r
d
oolae
g
e
move cpp_generator to interface/cp
p
.
*
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaeg
e
EnumMet
h
od::print_pa
r
a
m_use: use
output
s
tre
a
m operator
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n Verdoolaege
Method:
:
print_para
m
_use:
u
s
e
ou
t
put stream ope
r
ator
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoo
l
aege
cpp_generat
o
r::class_printer::
p
ri
n
t_me
t
h
o
d_
h
ead
e
r:
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sv
e
n V
e
rdoolae
g
e
plain_c
p
p_generato
r
:
e
xtract out cpp_
g
e
n
e
r
a
tor
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
plain_
c
pp_generator: copy methods inherited from superclasse
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Ver
d
oo
l
aege
clas
s
_print
e
r:
:
p
r
i
nt
_
met
h
od_header: use type printer
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoola
e
ge
p
lain
_
cpp_genera
t
or::class_pri
n
ter: extr
a
ct
out plain_print
e
r
commit
|
commitdiff
|
tree
2021-04-10
Sven
Verdoolaege
rename cpp_
g
enera
t
or
to plain_cpp_gen
e
r
ator
commit
|
commitdiff
|
tree
2021-04-10
S
v
en Verdoolae
g
e
rename i
n
terfa
c
e/c
p
p
.
*
t
o
i
nterface/plain_cpp
.
*
commit
|
commitdiff
|
tree
2021-04-10
Sven Ver
d
oolaege
cl
a
s
s
_printer::prin
t
_m
e
tho
d
_header: extrac
t
out print_
f
ull_m
.
.
.
commit
|
commitdiff
|
tree
2021-04-10
Sven Verdoolaege
cpp_gene
r
ator::param2cpp: extra
c
t
out
cpp_
t
ype_printer
commit
|
commitdiff
|
tree
2021-04-10
Sven V
e
rdoolaege
interface: pass correct
4
t
h argument to Compile
r
Invocation
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-10
S
ven Verdo
o
la
e
g
e
Merge branch 'maint'
commit
|
commitdiff
|
tree
2021-04-06
Sven Verdo
o
la
e
g
e
isl_basic_map_set_to
_
empt
y
:
m
odify input ev
e
n if it
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-04-05
Sven Verdoo
l
aege
de
t
ect r
e
quired
f
l
a
gs for build compiler to support
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-03-04
Chi
e
lo Newctle
python interface: make rethrow
P
y
t
h
on 3 compatible
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-18
Sven Verdoolaege
re-export isl_pw_mu
l
t
i_
a
f
f_
r
ange_map as i
s
l
_
space_range_
m
ap_
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven Ver
d
oolaege
re-expor
t
is
l
_pw_multi_a
f
f_domain_map as isl
_
spa
c
e_
d
omain_ma
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven Verdoolaege
re-e
x
p
o
rt isl
_
multi_a
f
f
_ra
n
ge_map a
s
is
l
_
space_r
a
nge_ma
p
_mu
l
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven
V
e
rdool
a
ege
re
-
exp
o
rt isl_mult
i
_aff_
d
omain_map a
s
i
sl_sp
a
ce_d
o
main_map_m
.
.
.
commit
|
commitdiff
|
tree
2021-01-18
Sven Verd
o
ol
a
ege
re-export isl_multi_*_
f
rom
_
*_list as isl_space_multi_*
commit
|
commitdiff
|
tree
2021-01-18
Sven Verdoolaege
re-expor
t
i
sl_map_unive
r
se as isl_space_universe_map
commit
|
commitdiff
|
tree
2021-01-18
S
v
en Verd
o
olaege
r
e
-
expo
r
t isl
_
aff_zero_on_domain_space a
s
isl_sp
a
ce_zero_aff
.
.
.
commit
|
commitdiff
|
tree
2021-01-10
Sv
e
n Verdool
a
e
g
e
Merge branch 'ma
i
nt'
commit
|
commitdiff
|
tree
2021-01-10
Sven V
e
r
doo
l
aege
isl_basic_map_align_divs: do not align a
g
ainst mo
d
ified
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sven Ve
r
doolaege
merge t
e
st_plain_unshif
t
ed_si
m
ple_hull and test_
u
n
shifted_si
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-10
Sven Ve
r
do
o
laege
perfor
m
p
l
ain_
u
nshifted_simple_
h
ull t
e
sts
i
n terms
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Verdoolae
g
e
isl_p
w
_q
p
ol
y
n
o
m
ia
l
_
bo
u
nd: special case const
a
nt polynomials
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Ver
d
oolaege
isl_qpolynomial_bo
u
nd_on_domain_bernstein:
s
pecial
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sve
n
Verdool
a
e
g
e
ex
t
r
a
c
t out shared isl_qpo
l
ynomial_cst_bo
u
nd
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sve
n
Verdo
o
la
e
ge
extract
o
u
t shared isl_bound
_
add{,_t
i
ght}
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sv
e
n Verdoolaege
is
l
_qpolynomial_bound_on
_
d
o
main
_
bernstein: proper
l
y
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Verdo
o
laege
a
d
d minimum reduction parsing te
s
t
c
a
se
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven Verdoola
e
ge
streamline isl_pw_qpolynomial_bound tests
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
S
v
en Verdoolaege
add
isl_pw_qpolynom
i
al_fold_
r
ead_
f
ro
m
_str
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-05
Sven
Ver
d
oolaege
i
sl_st
r
e
am_r
e
ad_o
b
j: handle mini
m
um re
d
uctions
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-04
Sven
V
erdoo
l
ae
g
e
conside
r
reductions equal as soon
a
s
they ha
v
e t
h
e
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2021-01-04
S
v
en Verdoolaege
isl_qpol
y
nomial_fold_plain_is_equal: extract
o
u
t
*
_li
s
t
_plai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sven
V
erdool
a
ege
isl_qpolynom
i
al_fold:
u
s
e isl_qpolynomial_list t
o
repr
e
s
e
nt
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sven Verdool
a
ege
isl_qp
o
lynomial_fold_fold_on_
d
om
a
in: ex
t
ract out m
e
rge_folds
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sve
n
V
e
r
doolaege
privatel
y
export isl_qpol
y
nomial_lis
t
_peek
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-31
Sven
V
erd
o
olae
g
e
a
d
d isl_qpolynomial_list
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Ve
r
doolaege
ext
r
act out sh
a
re
d
isl_qpolynomial_fold
_
check_equal_
s
pace
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdool
a
ege
ext
r
a
ct out sh
a
red isl_
q
po
l
y
n
o
mi
a
l_fold_check
_
equal_type
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdool
a
e
ge
extract out shared i
s
l_morph_check_app
l
ies
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verd
o
olaeg
e
isl_morph_get_dom_space
:
ex
t
ract ou
t
isl_mo
r
ph_peek_dom_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoo
l
aege
i
s
l_qpolynomi
a
l
_
m
o
rph_domain:
u
se isl_qpolynomial_peek_domai
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Ver
d
oolaege
i
sl_qpolynomial_fo
l
d_mor
p
h
_domain: use isl_qpoly
n
omial
_
fold_
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_qpolynomial_fold_g
e
t_domain_
s
pac
e
: extract o
u
t
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
S
v
en Verdoolaege
extract o
u
t
shared isl_q
p
olynomial_fold
_
{
t
ake,restore
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sve
n
Verdool
a
e
g
e
isl_qp
o
ly
n
omial_fold_morph_domain: u
s
e
i
s
l_morph_ge
t
_ran_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sv
e
n Ve
r
doolaege
is
l
_qpolynomial_
f
old_alloc
:
use isl_qpol
y
nomial
_
get_dom
a
in_space
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sve
n
Verdoo
l
a
e
ge
i
s
l_q
p
olynomi
a
l
_
morph_
d
omain:
use isl_qpolynomial_
g
e
t_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
S
v
en Verdoolae
g
e
i
s
l_fo
l
d
.
c: qpoly
n
omial_fold_alloc:
u
se isl_space_get_ctx
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-30
Sven Verdoolaege
isl_bound
.
c: com
p
resse
d
_guarded_poly_bound
:
use isl_
b
asic
_
se
.
.
.
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
2020-12-29
Sven Verdoolaege
isl_q
p
o
l
ynomia
l
_fold_plain_is_equal: return isl_bool
Signed-off-by: Sven Verdoolaege <
sven.verdoolaege@gmail.com
>
commit
|
commitdiff
|
tree
next