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
add isl_qpolynomial_fold_get_type
2010-06-12
Sven Ver
d
o
olae
g
e
ad
d
isl_qpolynomial
_
fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt
isl_pw_qpolynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_
c
tx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
sl_
r
ange
.
c: f
i
x
typo in comment
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
expor
t
i
sl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
V
e
rdo
o
laege
isl_bound: plug me
m
ory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
fix isl_qpo
l
ynomial
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
isl_pw_qpo
l
y
n
omial_
b
o
u
nd
_
range:
f
ix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
b
ound_test
.
sh t
o
distribut
i
on
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
rdool
a
ege
doc: d
o
cum
e
n
t gist oper
a
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rd
o
o
laege
d
oc: documen
t
i
s
l_constraint_
i
s_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
S
ve
n
Verdo
o
laege
ad
d
isl_map_
i
s_single_va
l
ue
d
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n V
e
rdo
o
l
aeg
e
i
sl_bas
i
c_map_f
o
reach_constrain
t
:
m
a
ke s
u
re inp
u
t
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
i
s
l_b
a
sic_map
_
c
o
py: mark duplic
a
t
ed copy as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
isl
_
bas
i
c_set_lif
t
: finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven
V
er
d
oolaege
isl_basic_m
a
p_mov
e
_dims: always
final
i
ze resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
eg
e
i
s
l_ba
s
ic_m
a
p_from_const
r
aint:
finalize
r
esu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
do
o
laege
isl_access_info_compute_flow: handle may
accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
s
l_access_info_co
m
put
e
_flow:
h
andle
m
ulti-va
l
ued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
o
laege
remove
s
ome
u
nused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
rename isl_pw_qpolynomial_move and ad
d
isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
isl_ctx: keep track of user o
p
ti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
i
mprove
d
argument
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
isl_opt
i
ons_pa
r
se
:
print
help message
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n V
e
rdoolae
g
e
add isl_boun
d
test
a
pplic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
add isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erd
o
olaege
add
i
sl_pw
_
qpo
l
yno
m
ial_fol
d
_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
add rudime
n
tar
y
isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_seq_se
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
isl_
e
qualitie
s
.
c: fix typo
in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add i
s
l_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
V
e
rdoolaege
add isl_mat_n
o
rmalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_mat_diagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
la
e
ge
isl_mat_lin_to_aff: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
isl
_
q
p
olyno
m
i
al_op
t
_on_do
m
ain: handl
e
empty inpu
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
isl_n
a
me_
a
lloc: f
i
x error hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add i
s
l
_
dim
_
of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
isl
_
equaliti
e
s
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
i
s
l
_
pw
_
qpolynomia
l
_fold_cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd
isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
privately export
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoola
e
ge
add isl_set_co
u
nt
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add is
l
_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
add isl_stream_read
_
pw_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add is
l
_q
p
ol
y
nomial_fr
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaeg
e
add
i
sl_qp
o
lynomial_from
_
c
on
s
traint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l_b
a
si
c
_set_f
o
r
eac
h
_b
o
und_pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl
_
qpolynomial_as_polynom
i
al_on_do
m
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add
i
sl_qpolynomial_substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_
b
a
sic_set_dims_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
isl_ctx
:
add ze
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
a
d
d
isl
_
qpo
l
ynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
ad
d
i
s
l
_
basic_
s
et_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdoo
l
aege
isl
_
q
polyno
m
i
a
l
_
fol
d
_opt_on_do
m
ain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
isl
_
pw
_
*
_eval: fi
x
h
a
n
d
ling of empty
input
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erd
o
olaege
add isl_basi
c
_set_mo
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
exp
o
rt i
s
l_qpolyn
o
m
i
al_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaeg
e
a
dd isl_qpolynomi
a
l
_
g
e
t_di
m
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
i
s
l
_
m
a
p_transit
i
v
e
_c
l
osure: coales
c
e inpu
t
befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl
_
map_lex_le: use one basic set l
e
ss in re
s
u
l
t
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verd
o
olaege
i
sl_st
r
eam: a
c
cept lex
i
cographic operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n Verdoolaege
isl_map_transit
i
v
e
_c
l
osure: check i
f
input is close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_printer_flus
h
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
Verdoolaege
i
s
l_map_read: p
a
r
se pa
r
ametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aeg
e
i
s
l_map_r
e
ad: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolaege
isl_con
v
e
x
_
h
ull
.
c: is_bound: any
inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoola
e
ge
isl_convex_hu
l
l
.
c: add
_
bo
u
nds: propagat
e
erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
docum
e
nt
i
sl_
m
a
p
_reve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
ol
a
e
ge
isl_str
e
am_n
e
xt_toke
n
: term
i
n
a
te string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl_map_transitiv
e
_
clos
u
re: treat equal
i
ty as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
i
sl_map_trans
i
tive_
c
losure, omega-
l
ike: on
l
y
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_t
r
ansi
t
ive_clo
s
ure: use si
m
p
le
h
ull in omeg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ve
r
doolaege
isl_map_transi
t
i
ve_c
l
osu
r
e:
t
ry
a
nd
c
ompute
c
losur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verd
o
olaeg
e
isl_m
a
p_coalesce
:
allow
wrappin
g
in sets that
s
tick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
s
l_map_coalesce: a
l
lowing cutting equalities
in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
add s
o
me more coalescing test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_basi
c
_
m
ap_gist: b
e
more aggressive in
r
emov
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_
s
t
ream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_t
a
b_rollback: r
e
store rows that are
no
l
onger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
la
e
ge
doc: document
s
im
p
le hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
ege
doc: emp
h
asize tha
t
we are dealing w
i
t
h
i
nteger set
s
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaege
isl
_
tra
n
s
i
tive_c
l
osure
.
c: path
_
a
l
ong
_
d
e
l
ta:
only
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
i
s
l_map_transitive_closure: compute
d
ivs of
input
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
do
o
laege
isl_map_comp
u
te
_
divs: make sure
r
esu
l
t is g
a
u
ssed a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl
_
printer_print_pw_qp
o
lyn
o
mial: p
r
operly p
r
int constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_p
i
p and isl_cat: termi
n
ate isl_arg a
r
ray with
ISL_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verd
o
olaege
doc:
d
o
cument settin
g
and
g
etting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rd
o
olaege
doc: docum
e
nt *_ge
t
_d
i
m functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Ve
r
doolaege
isl_map_c
o
nvex_hull: handle
n
on f
u
ll-dimensio
n
al pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_convex_hull
.
c
: modulo_affine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoolaege
isl_conve
x
_hull
.
c
:
conve
x
_hull_pair: ski
p
dire
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verd
o
ol
a
ege
isl_pri
n
ter_print_basic_s
e
t: f
i
x up printing to s
t
r
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
ge
a
dd isl_set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
V
erdoola
e
ge
isl_transitive_closure
.
c:
f
i
x
d
ocumentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
g
e
isl
_
m
a
p_coales
c
e: make sure resu
l
t
sti
l
l contain
s
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_map_transitiv
e
_
clo
s
ure
:
F
l
o
yd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ve
r
d
o
o
laege
isl_map_transitive_closur
e
: use
F
loyd-Warshal
l
on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oola
e
ge
isl
_
t
ran
s
itiv
e
_closure
.
c: extract out
isl_
s
et_over
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaeg
e
isl_map_
t
ra
n
sitive_cl
o
s
ur
e
:
pr
o
ject
o
ut length on ea
c
h
.
.
.
commit
|
commitdiff
|
tree
next