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_morph.c: fix typo
2010-06-25
S
ven Ve
r
doolaege
i
s
l
_morph
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoo
l
aege
isl_map
.
c: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
is
l
_map_simp
l
ify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verd
o
o
l
aege
isl_input
.
c: accept more general affine
e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
la
e
g
e
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_
v
e
c
_
s
c
ale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolae
g
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoola
e
ge
add isl_map_is_transl
a
tion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
olaege
e
xport
i
sl_q
p
olynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
V
e
rdoolaege
isl_polynomial
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-21
S
v
en Ve
r
doolaege
isl_map_t
r
ansitive
_
c
losure: check whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
ol
a
ege
add isl_str
e
am_fl
u
s
h_tokens
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoolae
g
e
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoolaege
add rudimentary e
r
ror reporting
m
echanism
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
V
e
rdoolaege
add
i
s
l
_
version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoo
l
aege
isl
_
p
o
i
n
t_a
l
loc: avo
i
d po
t
e
n
tial memory l
e
ak
o
n er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
Verd
o
olaege
doc:
d
ocument i
s
l
_map_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pip
.
c: co
m
pare all coeffi
c
ients
w
hen
c
h
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verdoolaege
is
l
_pw_qp
o
lynomial{,_fold}
_
gist: use sim
p
l
e hu
l
l instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
v
en
Verdoolaege
ad
d
i
s
l_s
e
t_set_dim_na
m
e
commit
|
commitdiff
|
tree
2010-06-14
S
ve
n
V
e
rdoolaege
add isl_s
t
ream_read_set
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
doc: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl
_
qpolynomial
_
lift: fix lifting in ab
s
en
c
e of
div
s
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
optionally (
a
nd by
d
efault) use
b
ernstein expansio
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
privat
e
ly ex
p
ort isl_
q
polynomial_fold_fold
_
o
n
_
domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_pw_
q
po
l
ynomial_
f
old_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
add isl_morph_dom_dim and isl_
m
o
rph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
dool
a
eg
e
a
d
d isl_ba
s
ic_map_i
s
_rational
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
priv
a
tely ex
p
ort i
s
l_
b
asic_
s
et_sort
_
constrain
t
s a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
isl_tab_detect_implicit_eq
u
alities: also
dete
c
t
m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
isl
_
tab: optionall
y
only mark
s
trictly r
e
dund
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
gene
r
alize isl_pw_qpolynomial_bound to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
ext
r
ac
t
ou
t
generi
c
part of isl
_
pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
isl_pw_
q
polynomial
_
bound_range: also set exact
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add i
s
l
_basic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doo
l
aege
export isl_pw_qp
o
l
y
nomial_f
o
l
d
_
d
rop_d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
export
isl_qp
o
lynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qpoly
n
omi
a
l_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpolynomial_f
r
om_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
export isl_qpo
l
y
n
omi
a
l_
a
d
d
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
isl
_
q
polynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qp
o
lynomial_degre
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
s
l
_
qpol
y
nomial_inse
r
t_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
ad
d
isl
_
qpolyn
o
mial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
g
e
isl_ctx: add t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab_detect_impli
c
it_e
q
u
alities: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
add i
s
l_t
a
b_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_sele
c
t
_
fac
e
t: r
e
turn i
n
t instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
aeg
e
add isl_basic_set
_
full_compression
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
pr
i
vat
e
ly export isl_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
l
a
ege
add isl_qpolyno
m
i
al
_
fold_f
o
rea
c
h_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_
p
w_qpo
l
y
nomial_fol
d
_foreach_lifted_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
export isl_pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
pri
v
a
t
ely export isl_
m
orph
_
alloc and isl_mor
p
h
_
ide
n
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
ad
d
isl_qpolyn
o
mial
_
fold
_
get_type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoo
l
a
e
ge
export is
l
_p
w
_qpolynomial
_
get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add
i
sl_ctx_pe
e
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
i
s
l_ran
g
e
.
c: f
i
x ty
p
o
i
n
commen
t
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
export isl
_
set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
bo
u
n
d: plug
m
em
o
ry l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
laege
fix is
l
_qpolynomial_fold_du
p
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
isl_pw_qpolynomial_bound_r
a
nge: fi
x
removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd bound_test
.
sh t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
r
doolaege
doc: docum
e
nt gist opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
S
ve
n
Verdoolae
g
e
doc: document isl_constraint
_
is_e
q
uali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
add isl_map_is_single_v
a
lue
d
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n V
e
rdool
a
ege
isl_basic_map_foreach
_
c
o
nstraint: mak
e
sure inpu
t
h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_
b
asic
_
m
a
p
_c
o
py: ma
r
k
d
uplicated copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
e
g
e
isl_basic_s
e
t_lift: final
i
ze re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
e
ge
isl_basic_ma
p
_move_dims:
always finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n V
e
rdool
a
ege
isl_bas
i
c
_
map_
f
rom
_
con
s
trai
n
t
: finalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
isl_acces
s
_inf
o
_com
p
ute_flow
:
hand
l
e may acce
s
ses
commit
|
commitdiff
|
tree
2010-05-31
Sven
V
e
rdoolae
g
e
isl_a
c
cess
_
info_compute_flow: handle mul
t
i
-v
a
l
u
ed sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
re
m
ove some unused vari
a
b
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
fi
x
some
icc warnings
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
doolaege
r
ename isl_pw
_
q
polynom
i
a
l_m
o
v
e
and add isl
_
pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ve
r
doolaege
isl
_
ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
i
m
p
rov
e
d argume
n
t pars
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven
Verdo
o
l
a
e
ge
isl_options_
p
arse: p
r
int help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl
_
bound test applica
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
a
d
d isl_pw_qp
o
lynomia
l
_b
o
und_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
l
a
eg
e
add isl_pw_qpolyno
m
ia
l
_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add ru
d
imentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
i
s
l_equali
t
ies
.
c: f
i
x typo
i
n
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl
_
mat_insert_
r
ows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
add
i
sl_ma
t
_
n
orma
l
ize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
o
ol
a
ege
add isl_mat
_
di
a
go
n
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
isl_mat_lin_to_aff:
f
ix error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_q
p
olynomial
_
opt_on
_
doma
i
n:
handle empt
y
input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_name_alloc: fix er
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
a
d
d
isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
dool
a
eg
e
is
l
_equalities
.
c
:
fix typos in c
o
mments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
ege
ad
d
isl
_
pw_qpolynomial
_
f
old_covers
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
lae
g
e
add
i
sl_qpolyn
o
mial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
privately export isl_s
e
t_is_bo
u
nd
e
d
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl
_
stream_read_
p
w_qpolynomial
commit
|
commitdiff
|
tree
next