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_constraint_is_div_constraint
2010-06-14
S
v
e
n
Verdoolaege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl
_
s
t
r
e
a
m_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdo
o
laeg
e
d
oc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_qpolynomial_l
i
ft: fix
l
ifti
n
g i
n
absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
ptiona
l
l
y
(and
b
y default)
u
s
e bernstein exp
a
ns
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
privately e
x
port isl_qpo
l
y
n
omial_fold_fold_on_
d
omain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
la
e
g
e
add isl_pw
_
qpolynomial_f
o
ld
_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
add p
a
r
a
metric ve
r
t
e
x
e
numera
t
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl
_
morph_dom_dim
an
d
isl_morph_ran_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
a
e
ge
ad
d
i
sl_basic_
m
ap_is
_
rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
l
aege
pri
v
atel
y
e
xp
o
rt isl_basic_set_sort_constr
a
ints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab_detect_implicit_equalities:
a
l
so detect man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
isl_tab: optionall
y
o
n
ly mark stri
c
tly re
d
un
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
generalize i
s
l_pw_qpo
l
ynom
i
al
_
b
o
und to
i
sl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
ext
r
act out g
e
ne
r
ic part
of isl_pw_qpol
y
no
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl
_
p
w
_qpolynomial_bound_ran
g
e: a
l
so set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d
i
s
l_b
a
sic_s
e
t_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ex
p
ort isl_pw_qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
o
l
ae
g
e
e
x
port isl_qpo
l
ynomial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
add
i
s
l
_qpo
l
y
nomi
a
l_
c
oeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
a
d
d
isl_qpolyno
m
ial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oo
l
aege
add
isl_qpolyno
m
ial_
d
e
g
re
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add
i
sl_qpolynomi
a
l_ins
e
r
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
a
d
d isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_ctx
:
add two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
aege
is
l
_tab_
d
e
t
ect_implicit_equalities: return int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_tab_sign_of_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
olaege
is
l
_ta
b
_select_fa
c
et: ret
u
rn int
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
ad
d
isl_basic_set_f
u
ll_compr
e
ssion
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
p
r
ivately e
x
port
i
sl_pw_qpolynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpoly
n
omi
a
l_fol
d
_fo
r
each_
q
p
o
l
ynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add isl_
p
w_qpolynomial_fold_fo
r
each_
l
ifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
e
xport
isl_pw_qpolyno
m
ial_fold_is_
z
er
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
pr
i
v
a
t
ely expo
r
t isl_mor
p
h_alloc and isl_morph_iden
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
add is
l
_qpoly
n
omial_fold_get_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
e
xport i
s
l_pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
oolaeg
e
add isl
_
ctx_
p
eek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
isl_
r
ange
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export
isl_set_i
s
_
b
ounded
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_bound: plu
g
m
e
mory le
a
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
fix isl_qpolynomial_fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_bound_range: fix rem
o
val of
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
bound_test
.
sh to distributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: doc
u
ment
g
ist o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoolaege
doc
:
do
c
ument
isl
_
c
o
nstraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
ve
n
Verdo
o
la
e
ge
add
i
sl_
m
ap_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verd
o
olaege
i
sl
_
basic
_
map_foreach_constra
i
nt: make su
r
e
in
p
u
t
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
isl_basic_map_copy:
m
ark duplicated
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
r
d
oolae
g
e
i
sl_basic_s
e
t_lif
t
:
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_bas
i
c_map_m
o
ve_dims: always
fina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_from_constraint
:
fi
n
a
li
z
e resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
is
l
_access_
i
nfo_compute_flow: handle may a
c
cesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoola
e
ge
isl_acce
s
s_info
_
compute_flow: hand
l
e multi-v
a
lu
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
e
ge
r
emove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoo
l
aege
r
ename
i
sl_pw_q
p
olynomia
l
_move and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
isl_ctx
:
keep
tra
c
k of
u
ser options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
i
mproved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse:
p
r
int
help messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoolaege
add isl
_
bound test appli
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Ve
r
d
o
o
laege
a
d
d
isl_
p
w_
q
polynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_pw_qp
o
lynomi
a
l
_
fold_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdo
o
laege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
aege
a
d
d isl
_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
isl_equalitie
s
.
c
:
fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
m
at_insert_row
s
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
l
a
ege
ad
d
is
l
_mat_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
add i
s
l_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
isl_
m
at_lin_to_aff: fix error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
i
s
l_qpoly
n
omial_opt_on_do
m
ain: handl
e
empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_all
o
c: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oo
l
aege
isl_equalities
.
c
:
fix t
y
pos
i
n com
m
ents
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial
_
fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
add
i
sl_qpolyno
m
ia
l
_l
e
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
p
r
ivately expor
t
i
sl
_
se
t
_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaeg
e
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_set
_
sca
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add
isl_strea
m
_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdoolaeg
e
ad
d
isl_qpo
l
ynomial_fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
a
d
d
i
sl_qp
o
lynomia
l
_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
erdool
a
ege
a
dd isl_
b
a
sic_se
t
_
forea
c
h
_
bound_p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
rdoolaege
add
i
sl_qpolynomial_a
s
_polynom
i
al_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
add isl_qpolynomia
l
_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
ola
e
ge
add isl
_
basic_set_dim
s
_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_
c
t
x: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add
i
sl_qpol
y
nomi
a
l_neginft
y
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rdo
o
la
e
ge
add is
l
_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl
_
q
p
olynomial_f
o
ld_opt_on_domain: f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
isl_pw_*_eva
l
: fix hand
l
ing of
e
mpty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
e
ge
ad
d
isl_basic_
s
e
t_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
e
x
port isl_qpol
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verd
o
olaege
add isl_q
p
o
lyno
m
ial_get_
d
im
commit
|
commitdiff
|
tree
2010-05-04
S
ve
n
Verdoola
e
ge
isl_ma
p
_t
r
a
n
sitive
_
closure
:
coales
c
e in
p
u
t befo
r
e
c
hec
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ver
d
oolaege
add map_lex_
*
_firs
t
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdoolaege
isl_map_lex_le: use one basic se
t
less in result
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verd
o
olae
g
e
isl
_
stream: accept l
e
xi
c
ographic
o
pera
t
ors
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_map_tr
a
ns
i
tive_c
l
osure: check
i
f input is c
l
o
s
ed
.
.
.
commit
|
commitdiff
|
tree
next