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_copy: mark duplicated copy as finalized
2010-06-03
Sven Verdoolaege
isl_basic_
m
ap_co
p
y: mark duplic
a
t
ed
c
o
py as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n
Verdoolaege
isl_basi
c
_set_lif
t
: finalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
ege
isl_
b
asic_ma
p
_move_dim
s
: alw
a
ys finaliz
e
res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoo
l
aege
isl_basic_map_from_c
o
nst
r
aint
:
final
i
z
e
result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdoolaege
is
l
_access_i
n
f
o_comp
u
t
e_flow: h
a
ndle
m
a
y
a
c
c
esses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_info
_
c
ompute_flow:
h
a
ndle multi-v
a
lue
d
s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some unuse
d
va
r
iab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
fix some icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdo
o
laege
rename isl_pw_qp
o
lynomial_move and add isl_pw_qpolynomi
a
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep track of us
e
r o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
e
rdool
a
ege
impr
o
ved argument par
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
i
sl
_
options_parse: pri
n
t help m
e
ssage
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
add isl_bou
n
d te
s
t application
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaege
add isl_pw_q
p
olyn
o
mial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
isl_pw_
q
pol
y
nomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add rudim
e
ntar
y
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoola
e
ge
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
ge
add i
s
l_mat_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_
m
at_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
mat_lin_to_a
f
f: fix erro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
o
olaege
i
sl
_
qpolynomial_
o
pt
_
o
n
_domai
n
:
handle emp
t
y in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolaege
is
l
_na
m
e_alloc: fi
x
erro
r
ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl_e
q
ualities
.
c: fix typos in
c
omments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w_q
p
olynomial
_
fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdool
a
ege
add
isl_qpolyno
m
ial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
p
r
ivately export isl_set
_
i
s
_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add
isl_set_count
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
laege
add isl_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
dool
a
ege
add isl_stream_read_
p
w_qpo
l
yn
o
mial
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
ge
add isl_qpolynomial_from
_
term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoola
e
ge
a
dd isl_qpolynomial_fro
m
_
constr
a
int
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verd
o
ol
a
ege
a
d
d
isl_basic_set_foreach_bou
n
d_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
ae
g
e
add isl_q
p
olynomial_as_polynomial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_q
p
olynomia
l
_subst
i
t
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_ba
s
ic_set_
d
ims
_
get_s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verd
o
olaege
isl_ctx: add
z
ero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qpolynomial_ne
g
i
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Ver
d
oolaege
a
dd isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
isl_qpolynomial_fold_opt_on_dom
a
in: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
l
aege
is
l
_pw_*_e
v
al: fix handling of
e
m
pty
i
nput
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
isl_basic_set_move_di
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
export i
s
l
_qp
o
lyn
o
mi
a
l_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
o
o
laege
a
d
d
i
sl_qp
o
lynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
isl_
m
ap_transit
i
ve_closur
e
: coalesce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
add
m
ap_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Ve
r
doolaege
isl_map_lex
_
le: use o
n
e basi
c
set less in resul
t
commit
|
commitdiff
|
tree
2010-05-01
S
v
e
n Ve
r
d
oolaege
isl_stream: accept lexicogr
a
phi
c
ope
r
ators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_map_transitive_cl
o
sure: check if i
n
put
i
s close
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolae
g
e
add isl_print
e
r_f
l
ush
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ver
d
oolaege
isl
_
map_r
e
ad: pars
e
p
arametric Omeg
a
i
nput
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verd
o
olaege
isl_
m
ap_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verd
o
olaege
isl_convex_hul
l
.
c: is_bound: any in
e
quality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erd
o
olaege
isl_convex_hul
l
.
c: add_
b
o
u
nds: propagate errors
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Verdoolaege
document isl_map_
r
everse
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
i
s
l_
s
tream_nex
t
_token: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
s
l_map_transit
i
ve_closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
map_tr
a
nsitiv
e
_closure, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map
_
tr
a
nsi
t
i
ve_closure:
use simple
hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
d
o
ola
e
g
e
isl
_
map_tr
a
nsitive_clos
u
re: try and compu
t
e closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laeg
e
isl_map_coalesce: allo
w
wrapping in sets that
s
tick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
la
e
ge
isl_map_coal
e
sce: allowing
c
utting equ
a
l
ities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolaege
add som
e
m
o
re coalescin
g
test ca
s
es
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_basic_map_gist: be
more
a
g
gressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
d
o
olaege
is
l
_stream: accep
t
string tok
e
n
s
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
erdoolaege
isl_tab_rollback: restore rows that a
r
e no lo
n
ger mar
k
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
doc: d
o
cument simple
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
oolaege
d
o
c
:
emp
h
asize that
w
e are deal
i
n
g
wit
h
i
n
tege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoola
e
ge
isl_t
r
ansitive_closure
.
c: path_
a
long
_
delta: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
isl_map_tran
s
itive_c
l
osure: c
o
mp
u
te
d
ivs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaeg
e
i
s
l_map_compute_divs: ma
k
e
sure result is gaus
s
ed an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_printer_print_pw_qpolyno
m
ial: properl
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
s
l
_
p
i
p and isl_cat: ter
m
inate isl_arg array with
ISL_
A
RG_END
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Verdoolae
g
e
doc
:
do
c
ument set
t
in
g
and ge
t
ting of dim
e
nsion na
m
es
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
doc: docume
n
t *_get_dim
f
un
c
ti
o
n
s
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_map_convex_hull:
h
andle non full-dimension
a
l pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_conve
x
_hull
.
c:
modulo
_
affine_h
u
l
l
:
drop re
d
undant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaege
isl_
c
onvex_hull
.
c: convex
_
hull_p
a
i
r
: skip dire
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
rdoolaege
isl_p
r
inter_print_basic_s
e
t:
f
ix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoo
l
aeg
e
add is
l
_set_neg and isl_
s
et_s
u
m
commit
|
commitdiff
|
tree
2010-04-16
Sven Verdoolae
g
e
i
s
l_transi
t
ive
_
clos
u
re
.
c: fix docu
m
en
t
ati
o
n
of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
erdoo
l
aege
is
l
_ma
p
_coalesce: make sure r
e
sult still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
d
o
ol
a
eg
e
i
s
l_map_t
r
ansitive_cl
o
su
r
e: Floyd
-
Warshall: pro
p
e
r
ly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
r
doo
l
a
eg
e
isl_map_tra
n
sitive_
c
los
u
r
e
: use Floyd
-
War
s
h
a
ll on
d
isj
o
in
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_transitive_closure
.
c: extract
o
ut isl_se
t
_
o
verlaps
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n V
e
rdoolaege
isl_m
a
p_transitive_closur
e
:
project
o
ut length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven V
e
rdoo
l
ae
g
e
i
sl_transitive_closure
.
c: constr
u
ct_componen
t
:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoo
l
aege
is
l
_map_transi
t
ive_closure: don't add
l
en
g
th param
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ve
r
doo
l
aeg
e
do
c
: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
s
l_s
e
t_gist:
m
ake co
n
text a
r
gument an is
l
_set fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_ma
p
_transitive_clos
u
re: coalesce inp
u
t map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
isl_transit
i
ve_closure
.
c: construct_co
m
ponent: alw
a
ys
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
l
a
e
ge
doc: cite Om
e
ga lib
r
ary
d
o
cumentation on computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
d
o
olaeg
e
add is
l
_
s
tream_read_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verd
o
olaege
isl_a
r
g
.
h: add missing include
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
isl
_
basic_map_move_
d
ims: normali
z
e
e
qualities
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoo
l
aege
rename isl_map_m
o
ve to isl
_
map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rd
o
olaege
isl_options_par
s
e:
o
nly parse kn
o
wn o
p
t
ions b
y
default
commit
|
commitdiff
|
tree
next