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
privately export isl_qpolynomial_fold_fold_on_domain
2010-06-12
Sven Verdool
a
ege
privately ex
p
ort is
l
_qpoly
n
om
i
a
l
_
f
old_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oolaege
add
isl_p
w
_qpolynomial_fo
l
d
_
f
o
r
each_
p
iec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add p
a
rametric vertex enu
m
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
dool
a
ege
add isl
_
morph_do
m
_
dim and isl_morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
add isl_basi
c
_map_is_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Ve
r
doola
e
ge
p
r
iv
a
te
l
y export isl_basic_se
t
_sort_constrain
t
s and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
ola
e
ge
isl_tab_detect_
i
mplici
t
_
e
qualities: als
o
detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
isl_
t
ab: option
a
lly onl
y
mar
k
strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
g
e
n
e
ralize
isl_pw_qpolynomial_
b
o
u
nd to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
e
xtract out g
e
neric part o
f
isl_p
w
_qpolyn
o
mial_bo
u
nd_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoolaege
isl_pw_qpolynomial_bound_r
a
nge: also set
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
a
dd isl_basic_
s
et_factorizer
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
export
i
sl_pw_qpolynomial
_
fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
exp
o
rt
isl_qpolynomial_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d is
l
_
qpo
l
ynomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
ad
d
isl_qpolynomial_
f
rom
_
affine
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
exp
o
rt isl_q
p
oly
n
omial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
ad
d
isl_qpoly
n
o
m
i
al_homo
g
en
i
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
e
g
e
ad
d
isl_q
p
olynomial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add
i
sl_qpolynomial_inser
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoola
e
ge
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoo
l
ae
g
e
i
sl_
c
tx: add
t
w
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b_detect_implicit_equal
i
ties: r
e
turn in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
a
d
d
isl_tab_sign_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_select_facet: return int in
s
tead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
privatel
y
export isl_pw_qpo
l
ynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpoly
n
o
m
i
al_fold_foreach_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ad
d
isl_p
w
_qpolynomial_fold_for
e
ach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
ex
p
ort isl_pw_qpolynomi
a
l_fold_is_
z
er
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
ege
priv
a
te
l
y export isl_morph_alloc a
n
d
i
s
l_m
o
r
p
h_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpolynomial_fold_get_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
expor
t
isl_pw_qpolynom
i
al
_
get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdool
a
ege
add isl_ctx_peek_op
t
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: fix typo in comm
e
n
t
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
export isl_set_is_bou
n
ded
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
i
sl_bound:
p
lug memory
l
ea
k
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdoo
l
aege
fix isl_
q
polynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
isl_pw_qpol
y
no
m
ia
l
_
b
ound_range: fix re
m
ov
a
l of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
boun
d
_tes
t
.
sh to
di
s
t
ribution
commit
|
commitdiff
|
tree
2010-06-11
S
ven Verdoolaege
doc: document gi
s
t operation
s
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoo
l
aege
d
o
c: docu
m
ent isl_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
ola
e
g
e
add isl_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
isl_b
a
sic_map_foreach
_
constrain
t
: make
sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
rdoolaege
is
l
_basic_map_copy
:
mark duplicate
d
copy as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_basic_set
_
li
f
t:
finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
i
s
l_basic_map_move_dims: al
w
ays finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
i
sl_
b
asic_map_f
r
om_constr
a
int: finali
z
e
result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
a
ege
isl_
a
ccess_in
f
o_compute_f
l
ow: handl
e
may
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
d
o
ol
a
e
ge
isl_access_info_co
m
put
e
_flow: handle mu
l
ti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
r
d
oolaege
re
m
ove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verd
o
olaege
rename isl
_
p
w_qpolynomi
a
l_move
an
d
add
i
sl_pw_
q
pol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
isl_ctx: keep track of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument
p
arsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaeg
e
isl_opti
o
ns_pars
e
: pri
n
t help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
ege
add isl_bou
n
d
test ap
p
lic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
r
doolaege
add isl_pw_
q
polyno
m
i
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
ge
add isl_pw_qpolynomi
a
l_fold_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add ru
d
imentary is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
add
i
sl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdoolaege
i
sl_equali
t
ies
.
c: fix
t
ypo in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolaege
a
dd isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
aege
add isl_ma
t
_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
dool
a
ege
add isl_mat_
d
i
a
g
onal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
i
s
l
_
mat
_
lin_to_aff
:
f
ix er
r
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
o
olaege
is
l
_qpolynomial_opt
_
on_d
o
m
a
in: handle empty
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
do
o
laege
i
sl_name_all
o
c
:
fix er
r
or handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
isl
_
equalit
i
es
.
c
:
fix ty
p
os in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
i
sl
_
pw_qpoly
n
omial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_qpolynom
i
al_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
privately e
x
port isl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
dd isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add
i
sl_
s
tream_read_pw_qpo
l
y
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
dd isl_qpolyn
o
mial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolae
g
e
add i
s
l_qpolyno
m
ial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_set_fo
r
each
_
bound_pai
r
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
a
d
d
isl_qpolynomial_as_po
l
ynom
i
al_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
ola
e
ge
add i
s
l_
q
polynomial_substit
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolae
g
e
add isl_basic_set_
d
ims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdool
a
ege
isl_c
t
x: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
isl_qpolyno
m
ial_neg
i
nfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ver
d
oolae
g
e
add is
l
_basi
c
_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_q
p
olynomial_fold
_
opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoo
l
a
e
ge
isl_
p
w_*_eva
l
: fix handling of em
p
ty inp
u
t
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_
b
asic_set_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
e
x
port i
s
l_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoola
e
ge
add i
s
l_qpolyn
o
mial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl
_
map
_
transi
t
ive_closure:
c
oal
e
sce
i
nput
before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verd
o
olaege
add map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdoolaege
isl_map
_
lex_le: use o
n
e
b
asic
set les
s
in
r
esult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_stream: accept lex
i
cograph
i
c opera
t
ors
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_map_transitive_closure: check if input
i
s cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
add
i
sl_printe
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
sl_map_read: parse p
a
rametric Ome
g
a input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_read: fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
convex_hul
l
.
c
:
i
s_
b
ound: any ine
q
ual
i
ty is
a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oola
e
ge
i
s
l_
c
onvex_hul
l
.
c:
a
dd_bounds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
e
n
Ve
r
doolaege
documen
t
is
l
_
map_rever
s
e
commit
|
commitdiff
|
tree
next