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 may accesses
2010-06-01
Sv
e
n Verdo
o
l
aege
isl_ac
c
ess_
i
nfo_compute_flow:
h
andle may access
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
oolaege
i
s
l_access_info_com
p
ute_
f
low: handle m
u
lt
i
-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdool
a
ege
remove
some unuse
d
variable
s
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n Verdoolaege
fix some icc w
a
rnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
rename isl
_
pw
_
qpolynomial_move a
n
d add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven
V
erdoolaege
isl_ctx: keep
t
r
ack of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdo
o
lae
g
e
i
sl_o
p
tion
s
_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
a
dd isl_bou
n
d test applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
d
ool
a
ege
add isl_pw_qpolynomial_
b
ou
n
d_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
add rudimen
t
ary is
l
_morph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
g
e
a
d
d
isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
i
s
l_equaliti
e
s
.
c: fix typo i
n
com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
a
dd isl_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
a
d
d
isl_mat_nor
m
a
l
i
ze
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoo
l
aege
a
d
d
i
sl_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_mat_lin_
t
o_aff:
f
ix
e
rror handlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
isl_qpolynom
i
a
l
_
opt_on_do
m
ain: han
d
le empty
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_allo
c
: fi
x
error hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
add
i
s
l
_dim
_
offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equal
i
ties
.
c: fix typo
s
i
n comments
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
add isl_pw_qpolynomial
_
fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d isl_qp
o
l
y
nom
i
al_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
privately
export is
l
_
s
e
t
_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
o
laege
a
d
d
isl_str
e
am_read_pw_qpo
l
yno
m
ial
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
i
sl_qpo
l
ynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_qpolynomial_from_constra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
laeg
e
a
d
d
i
s
l_basic_se
t
_foreac
h
_bou
n
d
_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doo
l
aege
add
i
s
l_qpolynomial_
a
s_polyno
m
ia
l
_on_dom
a
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
laeg
e
add isl
_
qpolynom
i
al
_
substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_set_dims
_
get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoo
l
aege
i
s
l_ctx: add z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaeg
e
add isl
_
qpo
l
ynom
i
al
_
neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
a
d
d i
s
l_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_
q
poly
n
o
m
ial_f
o
ld_
o
pt_on_domain: fix typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_p
w
_*
_
e
val:
fix ha
n
dling of
e
m
pty in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
ege
a
dd
i
sl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
l
aege
export
i
sl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
ad
d
isl_qpolyno
m
i
a
l
_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_map_transitive
_
closure: coalesce in
p
ut before ch
e
cking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add map
_
l
e
x_*_fi
r
st
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_map_l
e
x
_le: use on
e
ba
s
ic
s
et
l
ess in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
o
laeg
e
isl_stream: acce
p
t l
e
xicogr
a
phi
c
operator
s
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verd
o
olaege
isl_map_
t
ransitiv
e
_closu
r
e
:
c
he
c
k i
f
input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
a
d
d
i
sl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
map_
r
ead: parse parametric Omega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
i
s
l
_m
a
p
_
r
ead: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ve
r
d
oola
e
ge
is
l
_
convex
_
hull
.
c: is_bound: any inequality is a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
isl_c
o
n
v
e
x
_hul
l
.
c: add_bo
u
nds: p
r
opagate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ver
d
oolaeg
e
docum
e
nt isl_ma
p
_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoo
l
aege
isl_stream_next
_
token: ter
m
inate strin
g
toke
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
i
s
l_map
_
transitive
_
closure: treat equa
l
i
t
y
as
pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
isl_map_trans
i
tive_cl
o
sure,
omega-like: o
n
ly use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_map_t
r
a
nsitive_closure: use sim
p
le hull i
n
om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_transiti
v
e_
c
losure:
try and compute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
r
d
oolaege
isl_map_coalesce: a
l
low w
r
appi
n
g in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolae
g
e
isl_map_coalesce: allowing cutting equ
a
lities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
add some
more coal
e
scing test cases
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
isl
_
basic_map_gist:
b
e more aggress
i
v
e
in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdo
o
laege
isl
_
str
e
am: acce
p
t string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab_rollb
a
ck: restore row
s
t
h
at
a
re
n
o longer marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
Verdool
a
ege
doc: doc
u
me
n
t si
m
pl
e
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
d
o
c: emphasize
t
hat we are
d
ea
l
ing with integ
e
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive_closure
.
c:
path
_
a
lo
n
g_delta: only
a
void
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_map_transitiv
e
_closure: comp
u
t
e
d
iv
s
o
f
input
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdool
a
e
g
e
isl_ma
p
_compute
_
divs
:
ma
k
e sure r
e
s
ult is gaussed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
isl_printer_pri
n
t_
p
w_qp
o
lynomial: prop
e
rly print constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdool
a
e
g
e
is
l
_pip and isl_c
a
t: terminate isl_arg
a
rray with ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Ve
r
doolaege
d
oc: do
c
ume
n
t
se
t
ting and getting o
f
d
ime
n
sion
names
commit
|
commitdiff
|
tree
2010-04-19
S
v
en
Verdoo
l
aege
doc: document *_get_dim fu
n
ctions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_
map_convex_hull: h
a
n
dle non full
-
dimensional pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oola
e
ge
i
sl_con
v
ex
_
hull
.
c: modul
o
_affine_hull: drop redu
n
d
an
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hu
l
l
.
c: c
o
nv
e
x_hull_pair:
s
kip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolae
g
e
isl_printer_print
_
b
a
sic_set: fix u
p
printing to s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_set_n
e
g and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven Ver
d
oolaege
isl_transitive_clos
u
r
e
.
c: fix
documenta
t
ion of co
n
stru
c
t_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
map_coalesce
:
make sure
result
still
contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
isl_map_trans
i
tive_closure: Floyd-Warshall: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en V
e
rdoolaeg
e
isl_map_transitive_cl
o
sure: use Floyd-
W
arshall o
n
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
o
olaege
isl_transitiv
e
_closure
.
c
:
extract ou
t
isl_se
t
_over
l
aps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
isl_map_transitive_cl
o
sure: project out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_tr
a
nsitive_closure
.
c
: cons
t
ruc
t
_
compo
n
en
t
:
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_map_tr
a
nsitive_closur
e
: don'
t
add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
do
c
:
fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
sl_
s
et_g
i
st: make
c
ontext argument an i
s
l_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
isl_map_tr
a
nsitiv
e
_closure: co
a
lesce
i
nput m
a
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
isl_transitive_clo
s
u
re
.
c: constr
u
ct
_
co
m
ponent: a
l
ways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
erdoolaege
doc: cit
e
Omega
l
ibr
a
r
y
d
ocum
e
ntation on co
m
p
utation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
add isl_stream_read
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoo
l
aege
isl_arg
.
h: add missing incl
u
de
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
i
s
l
_
b
asic_map_mov
e
_dims: norm
a
l
i
ze eq
u
alities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
rename isl_ma
p
_move
to
isl
_
map
_
move_
d
ims
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaeg
e
isl_options_parse: only parse known optio
n
s by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
ae
g
e
isl_
m
ap_clo
s
u
r
e
: optional
l
y use Omeg
a
-like al
g
orithm
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
V
erdoolaege
i
sl
_
c
losure: take optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_affi
n
e
_
hull: han
d
le non-ob
v
iously
e
mp
t
y inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_compute_divs:
h
andle non-ob
v
iousl
y
empty in
p
ut
commit
|
commitdiff
|
tree
next