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_morph_alloc and isl_morph_identity
2010-06-12
Sven Verdoolaege
pr
i
vately e
x
port is
l
_morph_a
l
loc and
i
sl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpo
l
ynom
i
a
l
_
f
o
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
d
o
o
la
e
ge
export isl
_
pw_qpolynomial_get_c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_ctx_pe
e
k_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
isl_range
.
c: fix ty
p
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
erdoolaege
export i
s
l_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_bo
u
nd:
plug m
e
m
o
ry
l
eak
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
fix
i
sl_qpolynomia
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
isl_pw
_
q
p
olynomial_bound_range: fix
removal of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d bo
u
nd_test
.
s
h to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaeg
e
doc:
document g
i
st operation
s
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laeg
e
doc:
d
o
cument
isl_constraint_is_equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verd
o
olaege
a
dd isl_map_i
s
_s
i
ngle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
o
laege
is
l
_basic_ma
p
_foreach_cons
t
raint: m
a
ke
s
ure
input ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
l
a
e
ge
isl_b
a
sic_map_c
o
py
:
mark
d
up
l
i
cate
d
cop
y
as
f
i
n
ali
z
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_
s
et_lif
t
: final
i
ze resul
t
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoola
e
ge
isl_bas
i
c
_map_move_d
i
m
s: al
w
ays f
i
nalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_ma
p
_
from_co
n
straint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verd
o
olaege
is
l
_
access_i
n
fo_com
p
u
t
e_flow
:
h
an
d
le
m
ay
acces
s
es
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_info_compute_flow
:
handle multi-v
a
lued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdool
a
ege
remove som
e
unused
v
a
r
i
ables
commit
|
commitdiff
|
tree
2010-05-30
S
ven
Verdoolaege
fix some icc w
a
rni
n
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdool
a
ege
rename isl_pw_qpolynomial
_
move and a
d
d
isl_p
w
_qpolynomia
l
_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
is
l
_ctx:
k
e
ep
t
r
a
ck of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
o
l
aege
improved argu
m
ent parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
d
oo
l
aege
isl_options_
p
a
rse: print h
e
lp m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Ve
r
doo
l
aege
add i
s
l
_
bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
add is
l
_pw_qpolyn
o
mial
_
bou
n
d
_
range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d is
l
_p
w
_
qp
o
lyno
m
ial_
f
old_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add isl_seq_
s
et
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaeg
e
isl_equalities
.
c: fix t
y
po in
com
m
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_mat_no
r
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
add isl
_
mat
_
d
iagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl
_
mat_lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_qpolynomial_opt_on_domain: h
a
ndle
emp
t
y input
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
aege
isl_n
a
me_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_
d
i
m_offs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_equalities
.
c
:
fix t
y
p
o
s i
n
commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
is
l
_pw_qpolyno
m
ial_fo
l
d_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
la
e
ge
a
dd is
l
_qpolynomial_le
_
cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
pr
i
va
t
ely export isl
_
set_is_
b
ou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
add
i
s
l
_s
e
t_c
o
unt_
u
pto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
g
e
add isl_se
t
_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add is
l
_str
e
am_read_
p
w_qpoly
n
om
i
al
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
ad
d
isl_qpolynomial_f
r
om
_
ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_qpolynom
i
al_
f
rom_
c
onstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
b
asic_set_for
e
ach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
a
e
ge
add isl_
q
p
olyno
m
i
a
l_a
s
_polynomial
_
o
n
_
dom
a
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
add isl_qpoly
n
omial_subst
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add i
s
l_bas
i
c_set_dims_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_c
t
x: add ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add
i
sl_qpol
y
n
omial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdo
o
laege
add isl_basic_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
i
s
l
_
q
polynomial_fold_
o
pt_o
n
_domain: fi
x
typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
isl_pw_*
_
ev
a
l: fix handl
i
ng of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven
Ver
d
o
olaege
a
d
d is
l
_basic_set_move_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ol
a
ege
export isl_qpolynomial_s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
la
e
ge
add
i
sl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Verd
o
olaeg
e
isl_map_tra
n
sitive
_
clo
s
u
re:
coalesce input bef
o
re c
h
ecki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven
Verdoolaege
a
d
d m
a
p_lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl
_
map_lex_le
:
u
s
e one basic set
l
ess in re
s
ult
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n
Verdoo
l
aege
isl_stream: accept l
e
xicographic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_tr
a
nsitive_clo
s
ur
e
: che
c
k if i
n
put is cl
o
sed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
add isl_pri
n
ter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolae
g
e
isl_map_read: parse parame
t
ric Ome
g
a
input
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdo
o
laege
isl_map_r
e
ad: fi
x
typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_co
n
ve
x
_hul
l
.
c: is_b
o
und: any inequality i
s
a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_c
o
n
v
ex_hull
.
c: add_
b
ounds: propagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdo
o
lae
g
e
document isl_
m
ap_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
laege
isl_stream_next_tok
e
n
:
terminate
s
t
ri
n
g t
o
k
e
ns
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
e
r
d
o
o
laege
isl_map_tran
s
i
t
ive_closure: treat equality a
s
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_
m
ap_transitive_closure, omega-like: only use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
is
l
_
m
ap
_
t
r
ansitive_closure: use
s
imple hu
l
l in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
e
rd
o
olaege
i
sl_map_tr
a
nsitive_c
l
osure: try
a
n
d
co
m
pu
t
e
cl
o
sure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl
_
map_coalesce: allow
wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_m
a
p_coalesc
e
: al
l
owing
cutting equalities
i
n
ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
ool
a
ege
add some mor
e
coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
d
o
o
laeg
e
isl_
b
a
si
c
_
map_gist
:
be
m
ore
a
ggressive in remov
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ver
d
oolaege
isl_stre
a
m:
accept
s
tring t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoola
e
ge
is
l
_tab_rollbac
k
: resto
r
e rows th
a
t are no longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
r
doola
e
ge
doc:
document
simple hul
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc:
emphasize
that we a
r
e dealin
g
with integ
e
r se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_tran
s
i
tive_closure
.
c
: path_along_delta: only avoi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
e
ge
isl_ma
p
_transitive_closure: c
o
mpute divs of
in
p
ut
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl
_
map_compute_
d
ivs: ma
k
e sure result is gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
is
l
_printer_print_pw_qpolynomial: properly print cons
t
rai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_pip and isl_cat: terminate isl_arg array
with ISL_A
R
G_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: d
o
c
ument setting and getting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaeg
e
d
oc: doc
u
me
n
t *_get_dim
function
s
commit
|
commitdiff
|
tree
2010-04-19
S
ven
V
er
d
oolaege
isl_map_
c
onvex_hull: han
d
le non full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c: m
o
dulo_affi
n
e_h
u
l
l
:
d
rop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Verdoolaege
isl_convex_hu
l
l
.
c: co
n
vex_hul
l
_pair: s
k
ip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ver
d
o
olaege
i
s
l_
p
rinter_print_b
a
sic_set: fix u
p
p
rinting
to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
add isl_set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdool
a
eg
e
isl_transiti
v
e_closure
.
c:
fix documentation of construct
_
com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdo
o
laege
isl_map_co
a
le
s
ce:
m
a
k
e
sure r
e
s
ult still
cont
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verd
o
olaege
isl_m
a
p_transitive_closu
r
e:
F
l
o
yd-W
a
rshall
:
properl
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolae
g
e
isl_map_trans
i
tive
_
clo
s
ure: use
F
loyd-Warshall o
n
d
i
sjoint
.
.
.
commit
|
commitdiff
|
tree
next