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_stream_read_set
2010-06-14
Sven
V
er
d
oolaege
a
dd isl_
s
tr
e
am_r
e
ad_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven
Ver
d
oolae
g
e
doc: fix
t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
i
s
l_q
p
olynomial_lift: fix li
f
ting in abs
e
n
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
optiona
l
l
y
(and
by default) us
e
bernstein
e
xpansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
privately export isl_qpoly
n
omial_fold_fold_on_do
m
a
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_pw_q
p
olynom
i
a
l
_f
o
ld_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
add parame
t
ri
c
ve
r
tex enu
m
era
t
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
a
d
d
isl_morph_
d
o
m
_
d
im and isl
_
morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_ma
p
_is_r
a
tional
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
p
r
i
v
ately export isl_basic_
s
et_
s
ort_
c
onstraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdo
o
laege
isl_
t
ab_detect_imp
l
icit_equalities: a
l
so detect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
sl_tab: optionally only mark
s
trictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
la
e
ge
g
e
ne
r
al
i
ze i
s
l_
p
w_qpoly
n
omial_b
o
und
t
o
is
l
_p
w
_qpol
y
nomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out generic part of
isl_pw
_
qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolae
g
e
isl_pw_qpolynomial_bound_r
a
nge: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl
_
basic_set
_
fac
t
orizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
export isl_pw_qpolynomial_
f
old_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
ex
p
ort isl_
q
polynomial
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpoly
n
o
m
ial_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
ad
d
i
s
l_qpolynom
i
al_from_af
f
ine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
e
xport isl_q
p
olynomi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
o
l
ae
g
e
a
d
d
i
sl_qpo
l
ynomial_hom
o
ge
n
ize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_q
p
olynomial_
d
egree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
isl_qpolynomial_in
s
er
t
_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add isl_qpolynomial_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
do
o
lae
g
e
isl_tab_detect_i
m
pl
i
cit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
dd isl_tab_sign
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab_select_face
t
:
return int instead
o
f is
l
_tab
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
g
e
a
dd i
s
l_basic_set_full
_
compression
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaeg
e
p
rivatel
y
expo
r
t isl
_
pw_qp
o
lyno
m
ial
_
m
orp
h
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdo
o
laege
ad
d
isl_qpolynomial_
f
old_forea
c
h
_
qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add isl_pw_qp
o
lynomial_f
o
ld_fo
r
each_li
f
t
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
r
doolaeg
e
e
x
port isl_
p
w_qpolynomial_fold_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
p
rivately export isl_mo
r
ph_
a
lloc an
d
isl_morph_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
a
dd isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
e
x
port i
s
l_pw_qpolyn
o
mial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ad
d
isl_ctx_pee
k
_o
p
tions
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
isl_range
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaege
e
xport i
s
l_set_is_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_bound: plu
g
memory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
f
i
x
isl_
q
p
o
lynomial_fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_pw_qpoly
n
omial_boun
d
_rang
e
: fix
r
e
moval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
ad
d
b
o
u
nd_test
.
sh to distri
b
u
t
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdo
o
l
a
e
ge
doc: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
doc: docu
m
en
t
isl_constraint
_
is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaeg
e
add isl_map_is
_
single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
is
l
_basic_map_foreach_co
n
straint: mak
e
sure
i
nput
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
i
s
l_basic_map_copy:
mark dup
l
icate
d
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl
_
basic_set_
l
if
t
: finalize
r
e
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_basic_map_mo
v
e_dims:
always fina
l
ize resul
t
commit
|
commitdiff
|
tree
2010-06-03
S
ven Ve
r
doolaege
isl_
b
a
s
ic_ma
p
_f
r
om_con
s
trai
n
t:
fin
a
lize
r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoola
e
ge
isl_access_info_compute_flow
:
handle
m
ay accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolae
g
e
isl_access_info
_
c
o
mpute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remov
e
some unus
e
d variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
fix some icc warn
i
n
g
s
commit
|
commitdiff
|
tree
2010-05-30
S
ven V
e
rd
o
olaege
renam
e
i
s
l_pw_q
p
olynom
i
al_mov
e
and
add
i
sl_pw
_
q
polynomial
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
i
sl_ctx: keep
track of user
op
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argu
m
ent pa
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaeg
e
isl_opti
o
ns_parse:
pr
i
nt help
m
essage
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
add isl_bound
t
est a
p
plicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaege
add isl_pw
_
qpo
l
ynomial_b
o
und_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaeg
e
add is
l
_pw_qpolynomia
l
_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d rudiment
a
ry is
l
_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
r
doolaege
isl_equal
i
tie
s
.
c:
f
ix t
y
po in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl_mat
_
i
n
sert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl
_
m
at_norma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
r
doolaege
a
dd
isl_mat_di
a
gon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
laege
isl_mat
_
lin_to_aff: fix error h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_q
p
olynomial_opt
_
on_do
m
ain: handle
e
m
p
t
y input
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl_name_alloc: fix
error
han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
a
d
d isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix ty
p
os in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_pw_
q
polynomia
l
_fold
_
c
overs
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
ad
d
is
l
_
qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
private
l
y export isl_set_is_bou
n
d
e
d
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add i
s
l_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
stream_read
_
pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
laeg
e
a
d
d
isl_qpolynomial_fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
o
o
laege
add
isl_qpol
y
no
m
ial_from_con
s
traint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoola
e
ge
add isl_basic_set_foreach_
b
ound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_qpolynomial
_
a
s
_polyno
m
ial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
erdoolaege
add
isl_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdo
o
laege
a
d
d isl
_
b
asic_set_dims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_c
t
x: add
zero
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
add i
s
l
_
qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
a
d
d isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoo
l
a
e
ge
isl_qpolynomial_fol
d
_o
p
t_on_domain:
f
ix
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_pw_*_eva
l
: fix handling o
f
empt
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add isl_basic_set_move
_
dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export
i
s
l
_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oo
l
ae
g
e
add isl_q
p
olynomi
a
l
_
get
_
d
i
m
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaeg
e
isl
_
map_transit
i
ve_c
l
osure: coalesc
e
input before check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verd
o
olaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_m
a
p
_le
x
_le: use on
e
basic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_stre
a
m: accept lexi
c
ogra
p
hic operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdool
a
e
ge
i
sl_map_transitive_
c
losu
r
e:
c
h
eck i
f
input is clo
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
d
oo
l
a
e
ge
add
i
sl_printer_fl
u
sh
commit
|
commitdiff
|
tree
next