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_pw_qpolynomial_morph
2010-06-12
Sve
n
Ver
d
oolaege
privately export
i
s
l
_pw_
q
p
olyno
m
ial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_
q
polyn
o
m
ial_fold_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
isl_pw_qpolyno
m
ial_fold_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaeg
e
e
x
port is
l
_pw_qpolynom
i
al_fold_is
_
z
e
r
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
privat
e
ly export isl_morph_al
l
oc and i
s
l_
m
o
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
i
sl_qp
o
lyn
o
mial_f
o
ld_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export i
s
l_pw_q
p
olynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
is
l
_ctx_peek_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_range
.
c
:
fix
t
y
po in commen
t
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doo
l
ae
g
e
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
isl_b
o
und:
p
lug
mem
o
ry leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
fix isl_qpolynomia
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
l
aege
isl_pw_qpolynomial_bound_range: fix removal o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add bound_test
.
sh
to distribu
t
ion
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
d
o
o
laege
doc: document g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
doc
:
document isl_constra
i
nt_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaeg
e
a
dd isl_map_is_singl
e
_
v
a
l
ued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basi
c
_
m
ap_foreach
_
co
n
straint:
m
ake su
r
e input
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
bas
i
c_map_copy: mark
d
u
p
l
i
cat
e
d
c
opy as fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
r
d
oolaege
isl_
b
asic_set_lift:
finalize r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_basic_m
a
p_m
o
ve_dims: alwa
y
s final
i
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaeg
e
isl_basic_map_from_constraint:
fin
a
li
z
e result
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verd
o
olae
g
e
isl_acce
s
s
_
info
_
c
o
mpute_flo
w
: hand
l
e may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sve
n
Verdoolaege
isl_acce
s
s_in
f
o_co
m
pute_flow: handle multi-valued
s
ink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
o
laege
remove some unused var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
olae
g
e
rename is
l
_pw_qpolynomial_m
o
ve and
add isl_pw_qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
e
ge
isl_ctx: keep track of u
s
er op
t
ions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
ola
e
ge
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
i
s
l_opti
o
ns_par
s
e: print he
l
p message
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erd
o
olaege
add isl_bound test applic
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doo
l
aege
add is
l
_
pw_qpolynomial_
b
ound_r
a
n
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
ad
d
isl_pw_qpoly
n
omial_fo
l
d
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
ad
d
rudimentary isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdool
a
ege
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
i
s
l_equalities
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add i
s
l_mat_insert
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erd
o
o
laege
add isl
_
mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
l
aege
add isl_mat_dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_m
a
t
_lin
_
to_af
f
:
fix error handling
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolaege
isl_qpolynomial_o
p
t_
o
n_domain:
handl
e
e
m
p
ty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
isl_name_
a
lloc: fix
e
rr
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add
i
sl_dim_o
f
fset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_eq
u
alities
.
c: fix typos i
n
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_pw_qpo
l
ynomi
a
l_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdoolaege
a
d
d
i
sl_
q
polyn
o
mial
_
le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
privately export isl_set_
i
s_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_se
t
_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl
_
set_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
s
l_stre
a
m
_
read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aege
add i
s
l_qpo
l
ynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add is
l
_qpolynomia
l
_fr
o
m_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_
b
a
sic_set_f
o
reach_
b
ound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_qpo
l
ynomia
l
_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
q
p
oly
n
omial
_
su
b
stitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_bas
i
c_set_dims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ve
r
doolaege
a
dd
isl_qpolynomia
l
_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verd
o
olaege
add isl_b
a
sic_se
t
_dr
o
p
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
rdoola
e
ge
isl_qpolynomial_fo
l
d_opt
_
o
n_dom
a
in:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verdoo
l
aege
i
s
l
_
p
w
_*_eval: fix ha
n
d
l
ing of
e
mpt
y
input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add i
s
l
_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoo
l
aege
exp
o
rt isl_qpol
y
nomial
_
sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add is
l
_
qpo
l
ynomial_get_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Ve
r
doolaege
isl_
m
ap_transitive_cl
o
s
ur
e
:
coalesce inpu
t
before
checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
ege
add
map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
ege
isl_map_lex_le: use one b
a
sic s
e
t less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven V
e
rdoo
l
aege
isl_str
e
am: a
c
cept lex
i
c
og
r
ap
h
ic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
isl
_
ma
p
_transitiv
e
_closure: check if inp
u
t is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oola
e
ge
add isl_pri
n
ter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rd
o
o
l
ae
g
e
isl_map_rea
d
:
p
arse
parametri
c
O
m
ega i
n
put
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verdoolaege
isl_map_
r
e
ad: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoo
l
aege
isl_convex_hull
.
c: is_bou
n
d: any inequ
a
l
ity is
a
b
o
und
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
e
r
d
oolaeg
e
isl_convex_hul
l
.
c: add_bounds: propa
g
ate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
docu
m
e
nt isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdool
a
e
g
e
isl_stream_next_token: terminat
e
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdool
a
ege
isl
_
map_t
r
ansitive_
c
losure: tre
a
t eq
u
ali
t
y
a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven V
e
rdo
o
laege
i
sl_map_
t
ransitive_closure, omega-li
k
e: only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_transitiv
e
_
closure: use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
e
n
Verdo
o
laege
isl_m
a
p_transi
t
iv
e
_closure
:
try and compute
cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verd
o
olaege
isl_m
a
p_
c
oa
l
esce: allow wra
p
pi
n
g in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_
map_coalesce: allowing c
u
tting equalitie
s
in
a
djacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some mor
e
coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl_ba
s
i
c_map_gis
t
: be m
o
re aggressive in
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erd
o
olaege
isl_stream: accept s
t
ring tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_rollback:
r
estore rows tha
t
are n
o
l
o
nger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
d
o
c:
emphasize that
w
e a
r
e
deal
i
ng w
i
th integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
o
laege
isl_trans
i
tiv
e
_closu
r
e
.
c
:
path_along_del
t
a: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_m
a
p_
t
r
ansitive
_
cl
o
su
r
e: compute
divs of
i
nput
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
i
s
l_ma
p
_
com
p
u
t
e_divs: make sure result
is g
a
ussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
dool
a
eg
e
isl_p
r
inter_print_pw_
q
polynomial
:
properly print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
i
sl_
p
ip and isl_cat: terminate isl_arg a
r
r
ay with ISL_ARG
_
E
N
D
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Verdoolaege
doc:
document setting and getting of
d
imension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
doc: document
*_get_dim f
u
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaeg
e
isl_map_convex_hull: han
d
le non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
i
s
l_conv
e
x_
h
ull
.
c: mo
d
ul
o
_affi
n
e_h
u
ll: d
r
op redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_convex_hul
l
.
c: con
v
ex_hull_pai
r
: ski
p
direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
e
n Verdoo
l
aeg
e
isl_p
r
in
t
er_print_ba
s
ic_set: fix up printing
t
o string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add
i
s
l_se
t
_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n
V
erdoolaege
isl_tran
s
itive
_
clo
s
ure
.
c: fix documentation of constr
u
c
t_com
.
.
.
commit
|
commitdiff
|
tree
next