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_access_info_compute_flow: handle multi-valued sink access relations
2010-05-31
Sv
e
n
Verdoolae
g
e
isl_access_info_c
o
m
pu
t
e_f
l
ow:
handle m
u
lti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
r
e
move s
o
me
u
n
u
se
d
var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
fix so
m
e i
c
c warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
o
olaege
rename isl_pw_qpolynomia
l
_move a
n
d
a
dd isl
_
pw_qpolyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
isl_ctx: keep
tra
c
k of user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Verdool
a
ege
improve
d
argument p
a
rsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_optio
n
s_
p
arse: p
r
int he
l
p
mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
add isl_bound
t
es
t
appli
c
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add isl_pw_qpol
y
nomial_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl
_
pw
_
qpolyn
o
mial_f
o
ld_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
ege
add ru
d
ime
n
tary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rd
o
olaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_equali
t
ies
.
c
: fix
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_ma
t
_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
mat_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdool
a
ege
add is
l
_m
a
t
_
dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl
_
mat
_
lin_to_aff
:
fi
x
error ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
isl_qpolynomial_o
p
t_on_d
o
main:
handle empty
input
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
e
ge
isl_name_
a
l
l
oc
:
fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
a
dd isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
is
l
_equ
a
lities
.
c
: fix t
y
pos in commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpo
l
yno
m
ial
_
fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_qpol
y
nomial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
p
rivately export isl_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
ad
d
isl_set_coun
t
_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoola
e
ge
add isl_s
e
t_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_stre
a
m_
r
ea
d
_
p
w_
q
polynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d
i
s
l
_qpolynomi
a
l_from_te
r
m
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_qpolyno
m
ial_from_constra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_basic_s
e
t_foreach_bound_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
ola
e
ge
add isl_qpolynomial_as_polynomial_on_
d
o
m
ain
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
a
d
d is
l
_qpolyno
m
ial_subs
t
itute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add is
l
_
b
as
i
c_set_dims_get
_
sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdo
o
l
aege
a
dd i
s
l_qpolynom
i
a
l
_neg
i
nfty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verd
o
olaege
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
isl_qpolynomial
_
fo
l
d_o
p
t_o
n
_domai
n
: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laeg
e
is
l
_pw_*_eval
:
fix handling of e
m
pty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
a
dd isl_
b
asic_set_
m
o
ve_dims
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
e
xport isl_qpoly
n
omial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
i
s
l_qpolynomial_
g
e
t
_
d
im
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
i
s
l_map_transitive_c
l
o
sure: coalesce input befo
r
e checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
e
ge
ad
d
map_lex_*_f
i
rst
commit
|
commitdiff
|
tree
2010-05-01
Sv
e
n Verdoolaeg
e
isl_map_lex_le: use
one
basic s
e
t
less in r
e
s
u
lt
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolae
g
e
is
l
_
s
tr
e
a
m:
a
c
cept lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oo
l
aege
isl
_
map_transiti
v
e_closure: check
i
f input i
s
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
ve
n
Verdoo
l
aege
ad
d
isl_printer_fl
u
s
h
commit
|
commitdiff
|
tree
2010-04-28
S
v
en V
e
rdoolaege
i
sl
_
map_read:
parse parametric Omeg
a
in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_
m
ap_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
i
sl_c
o
n
vex
_
hull
.
c
:
is_bound: any inequ
a
lity
i
s a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
laege
isl_conve
x
_hull
.
c: add_bo
u
nd
s
: propagate errors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en
Verdoolae
g
e
d
o
c
u
ment
isl_map_
r
everse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
lae
g
e
is
l
_
s
tream_
n
e
x
t
_token: ter
m
i
nate str
i
ng tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
olaege
i
s
l_map_
t
rans
i
tive_clo
s
ure
:
treat eq
u
ali
t
y as
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
i
sl_map_
t
ransi
t
i
v
e_cl
o
s
ure,
omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_map_transitive_clo
s
ure
:
use simple hull in o
m
ega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_transitive_closure:
try a
n
d compu
t
e
c
l
osure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aege
isl
_
map_coalesce: allow
wrappin
g
in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
is
l
_map_coa
l
esce: a
l
lowing c
u
t
t
i
ng equalities in adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoo
l
aege
add so
m
e
m
ore coale
s
cing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
o
olae
g
e
isl_basic_map_gist: be
m
ore ag
g
re
s
sive
i
n
removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoola
e
ge
i
sl_stream:
a
ccept s
t
ring
t
o
kens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_ta
b
_rollback: restore rows that
a
re
n
o
longer mark
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoo
l
aege
d
oc: document
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdoolaege
doc: em
p
h
asiz
e
that we are
d
ealing with in
t
eger sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaeg
e
isl_transitiv
e
_clos
u
re
.
c: path_along_delta
:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
isl_map_transitive_closure: co
m
p
u
te divs of input
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
i
s
l_map_compute_divs: make sure res
u
lt is
g
aussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printe
r
_print
_
pw_qpoly
n
omial: p
r
o
perly prin
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaeg
e
i
sl_pip and i
s
l_cat:
t
er
m
ina
t
e isl
_
arg
array w
i
th I
S
L_ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verd
o
olaege
doc: d
o
c
u
ment se
t
ti
n
g and getting of d
i
mension n
a
mes
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdool
a
ege
doc: document *_get_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
S
ve
n
Verdoola
e
ge
isl_map_c
o
nvex
_
hul
l
:
ha
n
dle non f
u
ll-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_conve
x
_
hull
.
c
: modulo_affine_hull: dro
p
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoola
e
ge
i
s
l_convex_
h
ull
.
c: convex_hull_pair: sk
i
p
dire
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
en Ver
d
o
olaeg
e
isl_p
r
inter_print_basic_set:
f
ix up pri
n
ting to st
r
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ver
d
oolaege
add isl_set_neg
a
nd isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolaege
i
sl_tra
n
sitive_closur
e
.
c:
f
ix
d
ocumenta
t
ion of construct
_
com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl_map_co
a
l
e
sce: make
s
u
r
e result st
i
ll c
o
ntains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
r
do
o
laege
isl_map_transitive_
c
l
o
s
ur
e
:
Floyd-Warshall:
properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
r
doolaege
is
l
_map
_
transitive_clo
s
ur
e
: use Floy
d
-W
a
rshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_
t
ransit
i
ve_closure
.
c: extract
o
u
t isl_set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
ae
g
e
isl
_
map_t
r
ansit
i
ve_cl
o
sure: pr
o
ject
out lengt
h
on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
g
e
isl_
t
ran
s
itive_clo
s
ure
.
c:
c
on
s
tru
c
t
_
c
o
m
ponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
V
er
d
o
o
laege
isl_map_transitive
_
closure:
d
on't add length parame
t
er
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
d
oc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
e
r
d
oolaege
isl_set
_
gist: mak
e
context ar
g
ument an is
l
_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
V
e
rdoolaege
isl_map_trans
i
t
i
ve_c
l
o
sure: c
o
alesce inpu
t
map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oo
l
aege
isl_tra
n
sitive_c
l
os
u
re
.
c:
c
o
n
struct_c
o
mponent: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
doc: cite Omega library docu
m
entatio
n
on com
p
utation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
add is
l
_stream_rea
d
_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n Ve
r
doolaege
isl_arg
.
h
:
add missi
n
g include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
isl_basic_map_move_di
m
s:
no
r
mal
i
ze e
q
ual
i
t
i
e
s
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdool
a
ege
re
n
ame i
s
l_map_
m
ove to i
s
l_map_move_dim
s
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
is
l
_
o
p
tions
_
parse: only pa
r
s
e
known opti
o
n
s by
default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
i
s
l_map_
c
l
os
u
re: op
t
ionally use Omeg
a
-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaeg
e
isl_closur
e
: take optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Ver
d
oola
e
ge
isl_map_
a
f
fine_hull: handle non-
o
bviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aeg
e
isl_map_compute_divs:
handle non-obviously e
m
pty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic_set_preimage
:
add extra sani
t
y check
commit
|
commitdiff
|
tree
next