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_basic_map_move_dims: always finalize result
2010-06-03
Sven Verdoolaeg
e
isl_basic_map_move_dims:
always final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoo
l
aeg
e
isl_basic_map_f
r
om_co
n
strain
t
: fi
n
alize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaeg
e
isl_access_info_compute
_
flow:
h
a
ndle may acces
s
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verd
o
o
l
aeg
e
isl_acces
s
_info_compute_
f
low: handle
multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
do
o
laege
remove some u
n
used variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
ren
a
me isl_pw_q
p
olynomia
l
_move and
add isl_pw_qpoly
n
o
mial
_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdo
o
laege
i
s
l_ctx: keep t
r
ack of u
s
er
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaeg
e
improved argument par
s
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
isl_op
t
ions_parse: print
help message
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
add isl_b
o
und test application
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Ve
r
doolaege
add
isl_pw_q
p
ol
y
nomia
l
_bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdo
o
laege
ad
d
isl_p
w
_qpolynomial_fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add r
u
dime
n
ta
r
y
is
l
_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_equa
l
itie
s
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaeg
e
add
isl_mat_ins
e
rt_
r
ow
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
dd i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diago
n
al
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
rdoolaege
isl_m
a
t
_
l
i
n_to_aff: f
i
x error h
a
n
d
ling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
i
s
l_qpolyno
m
ial_opt_on_domain: ha
n
dle
e
mpty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_
a
lloc: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
ol
a
e
ge
add isl_dim_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl
_
equ
a
l
itie
s
.
c: fix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_
q
polynomi
a
l
_fo
l
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verd
o
olae
g
e
a
d
d is
l
_qpolynomial_le
_
cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pri
v
a
tely ex
p
ort isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_set_c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add
i
sl_stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_qp
o
lynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aege
a
d
d
is
l
_qpolyno
m
ial_from_c
o
n
s
t
raint
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_
b
asic_s
e
t_foreach_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add is
l
_qp
o
l
ynomial
_
as
_
po
l
ynomial_on_dom
a
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
q
polyno
m
ial_
s
ubstitute
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
ad
d
isl_basic_set_dims_get_s
i
gn
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
isl_ctx: add
z
ero
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
ool
a
e
g
e
add
isl_qpo
l
ynomial
_
neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
add is
l
_
basic_set_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n
Ve
r
doolaege
isl_qpol
y
nomial_fold_opt_on_
d
omain:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolae
g
e
is
l
_pw_
*
_eval: fix handling of empty input
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add isl_bas
i
c_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
ex
p
ort isl_qpolynomial_su
b
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ver
d
ool
a
e
g
e
ad
d
isl_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolaege
is
l
_
m
ap_transitive_closure: coale
s
ce input befor
e
checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
d
oolaege
add map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
V
erdool
a
ege
isl_map_lex_l
e
: use
one basic set
l
ess in re
s
ult
commit
|
commitdiff
|
tree
2010-05-01
S
v
e
n
V
erdoo
l
aege
isl_st
r
e
a
m:
a
ccept lexicogr
a
phic
o
perators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
ool
a
ege
isl_map_tran
s
itive_closure
:
c
heck if input
i
s closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add
i
sl_pri
n
ter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n
V
erdoola
e
ge
isl_map_
r
e
ad: pa
r
se parametric
O
mega i
n
p
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n V
e
rdoolae
g
e
isl_map
_
r
e
ad: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolae
g
e
is
l
_convex
_
hull
.
c: is_bound: any
inequal
i
t
y
is
a
b
o
und
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
conve
x
_hu
l
l
.
c: add_bou
n
ds
:
propagate error
s
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdool
a
ege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
r
d
oolaege
isl_stream_next_token: termi
n
ate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitiv
e
_clos
u
re: t
r
eat equality
a
s pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_map_transitive_closure, o
m
ega-lik
e
: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verd
o
o
laege
isl_map_
t
ra
n
sitive
_
closure:
us
e
s
imple hull in omeg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdo
o
laege
isl
_
map
_
transi
t
ive_closure
:
try
a
nd c
o
mpu
t
e clo
s
ur
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
isl
_
m
a
p_coalesce: allow w
r
apping in sets t
h
at
s
tick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolaege
isl_map_
c
oal
e
sce: allowing cutting equal
i
t
i
es i
n
adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add
s
ome
m
ore coalescing test cases
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ve
r
d
o
ol
a
ege
isl_basi
c
_map_gist: be more a
g
g
r
e
ssive in
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_stream: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_tab_rollb
a
c
k: res
t
ore rows that are no l
o
nger
mark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
d
oc: document
s
i
m
pl
e
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oo
l
aege
do
c
: emphas
i
ze
t
hat we are dealing with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdo
o
laege
isl
_
transitive_closure
.
c: path_along_delta:
on
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
isl_map_transitive_closure: compute divs of
input
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
isl
_
map
_
compute_divs: make
sure result is
gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_
printer_print_p
w
_qpolynomial:
p
r
o
perly p
r
int constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n
V
e
r
d
o
o
laege
isl_
p
ip and isl_cat:
t
erminate isl_arg array with ISL_AR
G
_
END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
o
c
:
d
o
cument setting and getting of dimension names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ve
r
d
ool
a
e
ge
doc:
document *_get_dim functi
o
ns
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_convex_hull: handle no
n
f
u
l
l
-
di
m
ensional
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
sl_convex_hull
.
c:
m
od
u
lo_affine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdo
o
l
a
ege
isl_convex
_
hull
.
c:
c
o
nvex_hull_
p
a
i
r: skip direct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdo
o
laeg
e
isl
_
pr
i
nter_print_basic_set: fix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_set_neg
an
d
isl_set_
s
um
commit
|
commitdiff
|
tree
2010-04-16
Sven
Verdoolaege
isl_tra
n
s
itive
_
closure
.
c
:
f
ix documentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdool
a
ege
isl
_
map
_
coalesce: mak
e
sure resul
t
s
t
ill contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_t
r
a
nsiti
v
e
_closure: Fl
o
yd-Warshall: prope
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaeg
e
isl_map_transitive_c
l
osure: use Floyd-Warsh
a
l
l
on d
i
s
j
o
i
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdo
o
laege
isl_transitiv
e
_closure
.
c: ext
r
act out isl_set_
o
verla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ver
d
oolae
g
e
i
s
l_map_transi
t
iv
e
_clo
s
ure: p
r
o
j
e
ct o
u
t length
on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdo
o
l
aege
isl_transitive_clo
s
ure
.
c:
c
onstruct_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
i
sl_map_t
r
a
nsitive_closure: don
'
t add length para
m
eter
commit
|
commitdiff
|
tree
2010-04-15
S
ve
n
Verdo
o
lae
g
e
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
i
sl_set_gist:
m
ake c
o
ntext argument
an
i
sl_se
t
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
isl_map_tr
a
nsitive_closure: coalesce i
n
put ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
erdo
o
laege
isl_t
r
ansitive_closure
.
c: cons
t
ruc
t
_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
do
c
: cite Omega libra
r
y
documentatio
n
on com
p
u
t
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolaege
add
i
sl_st
r
eam_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
isl_arg
.
h:
a
dd miss
i
n
g include
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
e
r
doolaege
isl_basic
_
ma
p
_move_di
m
s: normalize
equali
t
ies
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoolaege
r
ena
m
e isl_m
a
p_move to i
s
l_map_move_
d
ims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
doolaege
isl_op
t
ions_parse:
only
parse known optio
n
s b
y
default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl_ma
p
_
closure:
o
ptionally use
O
m
ega-like alg
o
rithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
l
aeg
e
isl_clos
u
re: take
optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Verdoolae
g
e
i
sl_map_af
f
ine_hull: handle non-
o
bv
i
o
u
sly
empty input
commit
|
commitdiff
|
tree
next