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
doc: document isl_map_deltas
2010-06-18
Sven Verdoolaege
do
c
: document
i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdoolaege
isl_tab_pip
.
c
: co
m
p
a
re all coefficients when c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
olaege
isl
_
pw_qpolynomial{,_fold}_gist: use sim
p
l
e
hull inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdo
o
laege
add isl_set_set_dim_
n
ame
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
d
o
c:
fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
isl_qpolyn
o
mia
l
_
lift
:
fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoo
l
aege
o
p
tionally (and b
y
default) use berns
t
ein
e
xpans
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
privately
exp
o
rt is
l
_qpolynomial_fold_fold_o
n
_domain
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
o
laege
add isl_pw_qpolynomial_f
o
ld_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add param
e
tric
v
ertex enum
e
rat
i
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
a
dd
i
s
l_morp
h
_dom_
d
im and isl_m
o
rph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
a
e
ge
add
isl_
b
asic_map_is_ratio
n
al
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
privately expo
r
t i
s
l_basic_set_sort_constraints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ola
e
ge
i
s
l_
t
ab
_
detec
t
_
implicit_equalit
i
es
:
als
o
detect ma
n
ifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
: opt
i
o
nally only mark st
r
ictly
redun
d
a
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
generalize isl_pw_qpolynomial_bound to isl_
p
w_qpolynomial
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
extract out gene
r
i
c pa
r
t o
f
is
l
_pw_q
p
olynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolynomial_
b
ound
_
r
ange:
a
l
s
o set exa
c
t
n
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
add isl_basic_set_f
a
c
to
r
izer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
expo
r
t
isl_pw_qpolynomi
a
l_fold_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdo
o
lae
g
e
export isl_q
p
olynomi
a
l_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
add is
l
_qpo
l
y
n
omial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
s
l_qpol
y
n
o
mial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoola
e
ge
ad
d
isl_qpo
l
yn
o
mial_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
add isl_qpolynomial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
add isl_qpolynomial
_
insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
add isl_qpoly
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
a
ege
isl_tab_detect
_
implicit_equalities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd is
l
_
tab_si
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab_s
e
lect_
f
a
cet:
r
eturn
i
n
t instead of
i
s
l
_
tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic
_
s
e
t_
f
ull_compress
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priv
a
tely
export isl_p
w
_
q
polynomial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpolynomial_fold
_
foreac
h
_
qpo
l
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
a
dd isl_p
w
_
q
po
l
ynomi
a
l_
f
old_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
export isl_pw_q
p
o
l
ynomial
_
fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdool
a
ege
privately export is
l
_
m
orph
_
alloc and isl_
m
or
p
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpolynomial_fold
_
g
et_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl_pw_qp
o
ly
n
omial_get_
c
tx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
ool
a
e
ge
isl
_
range
.
c
:
f
i
x
t
ypo in com
m
en
t
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
export i
s
l_set
_
i
s
_bo
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
b
ou
n
d:
plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
fix isl_qpolynomial_fold
_
dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
rdoolaege
isl_pw_qpolyno
m
i
al_bou
n
d_rang
e
:
f
ix removal of
di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_tes
t
.
sh t
o
distr
i
b
uti
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n
V
erdoolaege
doc: document
gist operation
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: documen
t
isl_co
n
straint_is_
e
qualit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
add isl_map_is_single_
v
a
l
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
is
l
_
b
a
s
i
c
_map_foreach_
c
onst
r
aint: ma
k
e sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Ver
d
oolaege
isl_basic_map_c
o
py: mark dup
l
ic
a
ted
co
p
y as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_s
e
t_
l
ift:
f
ina
l
ize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_ba
s
ic_map_move_dims:
a
lway
s
fi
n
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdool
a
ege
isl_basic_
m
ap_
f
rom_con
s
tr
a
int
:
finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-01
S
ven V
e
rdoolaege
isl_
a
ccess_
i
n
f
o_
c
o
m
p
ute_flow: handle may ac
c
es
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
d
o
olaege
isl_acces
s
_info_co
m
p
u
te
_
flow:
h
andle multi-valu
e
d
s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ver
d
oolaege
re
m
ove som
e
u
n
used variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
erdool
a
ege
f
ix s
o
me i
c
c warnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ver
d
oolaege
rena
m
e
isl_pw
_
qpolynomial_mo
v
e and add isl_
p
w_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
isl_ctx: keep track
o
f us
e
r
o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
i
m
proved a
r
gum
e
nt
p
arsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verd
o
olae
g
e
i
sl_optio
n
s_parse: pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
add isl_bound
test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add isl_pw_qpolynom
i
al_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olae
g
e
add
i
sl_
p
w_qpolynomia
l
_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
rudimentary isl_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
oolaege
add isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
aege
ad
d
isl_mat_n
o
rmaliz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_di
a
gonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
isl_ma
t
_lin_to_aff: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomi
a
l
_
opt
_
on
_
domai
n
: han
d
le
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
aege
isl
_
n
a
me_alloc: fix
error han
d
ling
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoola
e
ge
add
is
l
_dim_
o
ffse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
ities
.
c
:
f
ix
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
add isl_pw_qpoly
n
omial_f
o
ld_c
o
v
e
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
p
o
l
y
nomia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
p
riv
a
tely ex
p
ort isl_set_
i
s
_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
add isl_set
_
coun
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olae
g
e
add isl_se
t
_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl
_
st
r
eam_read_pw_qpo
l
y
nomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
add
isl
_
qpol
y
n
o
mi
a
l_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
add i
s
l_qpolynomial_fro
m
_const
r
aint
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
ad
d
isl_basic_set_foreac
h
_bou
n
d
_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add
i
sl_
q
poly
n
omial_
a
s
_po
l
ynomial_on_doma
i
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
e
r
doolaege
add isl_qpo
l
y
nomial_su
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ve
r
doolaege
ad
d
i
sl_bas
i
c_set_dims_
g
et_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl_ct
x
:
a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
a
dd isl_
q
polynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
a
d
d isl
_
basic_set_dro
p
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
ege
i
sl_qpolynomi
a
l_fold_opt_on_do
m
ain: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
isl_pw_*_eval:
fi
x
handling of empt
y
inp
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doo
l
ae
g
e
add isl_basic_se
t
_m
o
v
e
_dim
s
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolaege
e
x
port isl_qpoly
n
omial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
isl_qpolyn
o
mial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
i
s
l
_map_transitive_closure: coalesce
input b
e
fore che
c
kin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
e
ge
add map_lex_
*
_first
commit
|
commitdiff
|
tree
next