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
doc: document isl_constraint_is_equality
2010-06-04
Sve
n
Verdoolaege
doc: doc
u
m
e
nt isl_constra
i
nt_is_equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolaege
add isl_ma
p
_
is_
s
ingle_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
isl_basic_map_foreach_cons
t
rai
n
t
:
make sure in
p
ut
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_basic_map_c
o
py: mar
k
duplicate
d
co
p
y as
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_
b
asic
_
set_lift: fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
ege
isl_b
a
si
c
_map_move_dims: a
l
ways finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Ve
r
doolaege
isl_basic_map_f
r
om_cons
t
raint: fin
a
l
i
ze re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
isl_acce
s
s
_inf
o
_
compute_flow: handle
m
a
y accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verd
o
olaege
isl_access_info_compute_flow: handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Ver
d
o
o
laege
remo
v
e som
e
unused va
r
iables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
f
i
x so
m
e icc
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
rename is
l
_pw_qpolynomial_move and add isl_pw
_
qpolyn
o
mial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
e
ge
isl_ctx: keep track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdo
o
laege
improved argumen
t
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
is
l
_
options_parse: p
r
in
t
help message
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
add isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ve
r
doo
l
aege
add isl_
p
w_
q
polynom
i
a
l
_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
e
r
doolaege
add isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimen
t
ary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl
_
s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
isl_equalities
.
c: fix ty
p
o
i
n
comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
a
d
d i
s
l_mat_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
add isl_mat_no
r
malize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_dia
g
onal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdo
o
l
a
ege
isl
_
mat
_
lin_t
o
_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
e
g
e
isl_qpolynomial_opt_o
n
_domain
:
handle empty
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
i
s
l_name_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add is
l
_d
i
m_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
isl_equalities
.
c: fix ty
p
os
in
c
omme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoo
l
aege
add isl_pw_qpolynomial_
f
old_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
p
r
i
va
t
ely export
isl
_
set_
i
s_bou
n
ded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d isl_s
e
t_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl
_
set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
add
isl_stre
a
m_r
e
ad_pw_qpoly
n
o
m
ial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
add isl_qpol
y
n
om
i
a
l_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_qpol
y
n
o
m
i
al_f
r
om_co
n
str
a
int
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
a
dd isl_b
a
sic_s
e
t_fore
a
ch_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
ge
add isl_qpol
y
nomial_as_polynomia
l
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
a
dd
i
s
l_qpolynomial_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_basi
c
_set_
d
ims_ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add
z
ero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_neginft
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
ae
g
e
a
d
d isl_basic_se
t
_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
dool
a
e
g
e
is
l
_qpolynomial_fold_opt_o
n
_
domain: f
i
x typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoo
l
aege
i
sl_
p
w_*_eval
:
fix
h
andling of empty
input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_basic_set_mo
v
e_
d
ims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
export isl_qpolyn
o
m
i
al_su
b
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oola
e
ge
ad
d
i
sl_qpolynom
i
al_ge
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_map_tra
n
sitive_clos
u
r
e:
coalesce input be
f
ore checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add map_lex
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdoolaege
is
l
_map_lex_l
e
: use one basic set less in r
e
s
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verdo
o
l
aege
isl_stream: accept le
x
icograph
i
c operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdo
o
l
aeg
e
is
l
_map_
t
ra
n
sitive_clo
s
ure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoo
l
aege
add isl_pr
i
n
t
e
r_flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoo
l
aege
isl_map_read: pa
r
se parametric Omega
i
nput
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdool
a
ege
isl_map_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolae
g
e
isl
_
c
o
nvex_hul
l
.
c: is_bound: any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
S
v
en
V
erdo
o
l
aege
isl_conve
x
_hu
l
l
.
c: add_bounds: pro
p
a
gate errors from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdo
o
laege
docum
e
nt isl_
m
ap_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
Verdool
a
ege
is
l
_stream
_
ne
x
t_token: ter
m
inate string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_
t
ransitive_
c
los
u
re
:
treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Ver
d
oolaege
isl_
m
ap_transit
i
ve_closure,
o
mega
-
like: o
n
ly use
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
i
s
l_map_transitive_
c
losur
e
: use s
i
mp
l
e
h
ull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
i
sl_map_transitive
_
c
l
osure: try and
co
m
pute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdool
a
ege
is
l
_map_
c
oa
l
es
c
e: allo
w
wrapping in sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
isl_map_coa
l
es
c
e
:
all
o
wing cuttin
g
equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
g
e
add
some more co
a
l
e
scing test
c
a
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoo
l
aege
isl_basic_m
a
p
_gist:
b
e more aggressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
is
l
_s
t
ream: accept s
t
rin
g
token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_tab
_
rollback
:
r
estore row
s
that are no
long
e
r
m
a
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document simple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdo
o
laeg
e
d
oc: emphasize that we are dealing
with integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive_closure
.
c:
p
ath_a
l
o
n
g_del
t
a
:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoola
e
g
e
is
l
_map_transitive_closure: compute
d
ivs of
input
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaeg
e
isl_m
a
p_co
m
pute_divs: m
a
ke sure r
e
sult is gaussed
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
isl_printer_
p
rint_
p
w_qpoly
n
omial: properly
prin
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Ve
r
doolaege
isl_pi
p
and isl_cat: term
i
nate
i
sl_arg
array
w
ith ISL_AR
G
_EN
D
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
aeg
e
doc: document setting
a
n
d
g
etting of
d
imens
i
on na
m
es
commit
|
commitdiff
|
tree
2010-04-19
S
ven Ver
d
oola
e
ge
doc: docum
e
nt *_ge
t
_di
m
functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_ma
p
_c
o
nve
x
_hull: handl
e
non full-dim
e
nsional
p
airs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ve
r
doo
l
aege
i
sl_c
o
nv
e
x
_hull
.
c
:
mo
d
ulo_affine_h
u
ll: dro
p
redund
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
ven Verdoolaege
isl_convex_h
u
ll
.
c: convex_hull_p
a
ir: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoola
e
ge
isl
_
p
rinter_
p
rint_basic_set: fix up printing
to str
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ve
n
Verdoolaege
add isl_
s
e
t
_ne
g
and isl_set_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
S
ve
n
Ve
r
d
oolaege
i
s
l
_transitive_closur
e
.
c
:
fix
docum
e
ntation
o
f
c
o
n
str
u
ct_c
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_map_coalesc
e
: mak
e
sure result still
contai
n
s set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verd
o
o
laege
isl_ma
p
_transitive_closure: F
l
oyd-Warshall: pr
o
perly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ver
d
oolaege
i
sl_map_transitive_closure
:
use Floyd-Warsh
a
ll on dis
j
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
isl_trans
i
tive_closur
e
.
c: extract out isl_
s
et_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l
_map_transi
t
i
v
e_closure: projec
t
out
l
ength on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
Verdool
a
ege
isl_tr
a
nsitiv
e
_closure
.
c: construct_comp
o
nent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
is
l
_map_tr
a
ns
i
tiv
e
_c
l
osure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
doc:
f
i
x ty
p
os
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verd
o
olaege
isl_set_gist: ma
k
e context argum
e
nt an
i
s
l_set
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
isl_map_transitive_closure:
co
a
l
e
sc
e
inpu
t
map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoo
l
aege
isl
_
tra
n
sitive
_
closure
.
c: construct_compone
n
t: al
w
ays
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven V
e
rdoola
e
ge
d
oc: cite Omeg
a
library docu
m
entati
o
n
o
n
c
o
mputa
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Verdoolaeg
e
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdo
o
laege
isl_arg
.
h: add missing inc
l
ude
commit
|
commitdiff
|
tree
next