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_flow.c: avoid accessing dim field directly
2010-06-04
Sven Ve
r
doolaege
doc: document
isl_const
r
aint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
add isl_ma
p
_is_sin
g
le_
v
al
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
ege
is
l
_
b
asic_
m
ap_foreach_
c
onstraint: make sure
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_copy: mark duplicated co
p
y as
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
asic_
s
et_lift: final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n
Verdoolae
g
e
isl_
b
asic_map_
m
o
ve_dims: a
l
ways final
i
ze r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoola
e
ge
i
s
l_ba
s
ic_map_fr
o
m_constr
a
int:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access_
i
nfo_compu
t
e
_flo
w
: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
sl_ac
c
ess
_
info_
c
ompute_flow:
h
andl
e
multi-valued
s
ink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolaege
remo
v
e
some
u
nused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oo
l
ae
g
e
f
i
x
some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
re
n
a
m
e isl_pw_q
p
olynomial_
m
o
ve
an
d
add isl
_
p
w
_qpo
l
ynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdo
o
l
aege
isl_c
t
x: keep
trac
k
of user
options
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdoolae
g
e
im
p
roved argu
m
ent
p
arsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
isl_options_pa
r
se: print h
e
lp mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d isl_b
o
und te
s
t
application
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
doo
l
a
e
ge
add isl_pw_q
p
oly
n
omial_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
olaege
add is
l
_pw_qpolynomia
l
_fold
_
morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
ege
add rudime
n
tary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_mat_ins
e
rt_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l_ma
t
_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add is
l
_
m
at_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
a
e
ge
isl_mat_l
i
n_to
_
a
ff:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoo
l
aege
isl_qpolynomial_opt_on_
d
omain: hand
l
e
e
mpt
y
input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
is
l
_name_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdo
o
laege
add isl_dim_offs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_equaliti
e
s
.
c: fi
x
typos in
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add isl_
p
w
_qpol
y
nomial_fol
d
_
covers
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
e
g
e
ad
d
isl_qp
o
lynomial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
p
r
iva
t
e
l
y expor
t
isl_set_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_se
t
_
c
ount_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaeg
e
add isl_
s
et
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl
_
stream_re
a
d
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
i
s
l
_
qpolyno
m
i
al_f
r
om_term
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdoolaege
add isl_qpolynom
i
al
_
from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_b
a
sic
_
set
_
fo
r
each_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_as_polyn
o
mi
a
l_on_do
m
ain
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
add isl_qpolyno
m
ial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_basic
_
se
t
_dims_
g
et_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
i
sl_ctx: a
d
d zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add isl_q
p
olynomial_neg
i
n
f
t
y
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verd
o
o
laege
add isl_basic_set
_
drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaeg
e
i
s
l_qpolynomial_fo
l
d
_opt_o
n
_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oola
e
g
e
isl
_
pw
_
*_eva
l
: f
i
x handling of em
p
ty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_bas
i
c_set_mov
e
_
dim
s
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
erdo
o
laege
export i
s
l_qp
o
l
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoolaege
add isl
_
qpoly
n
omi
a
l_g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_m
a
p_tr
a
nsit
i
ve_clo
s
u
r
e: coales
c
e input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add
m
ap_lex_*_
f
i
r
st
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdo
o
l
ae
g
e
i
sl_map_
l
ex_le: use
o
ne b
a
sic set less in result
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoolaege
is
l
_stream: accep
t
l
exic
o
graphi
c
operators
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdo
o
laege
isl_ma
p
_transitive_closure: che
c
k
if input i
s
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olaege
add isl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaeg
e
isl_map
_
read: parse parametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
V
erdoolaege
isl
_
map_rea
d
: f
i
x typo
commit
|
commitdiff
|
tree
2010-04-28
S
ve
n
Verdool
a
ege
isl_c
o
n
v
e
x_hull
.
c: is_bo
u
nd: any ineq
u
alit
y
is a
b
ound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolae
g
e
i
sl_
c
onvex_hull
.
c: add
_
bounds: propagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
v
en Ver
d
oolaege
document i
s
l_ma
p
_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
eg
e
isl_s
t
ream_nex
t
_
t
o
ken: terminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map
_
transiti
v
e_closure:
treat equality as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
m
ap_transitive_
c
losur
e
, om
e
g
a-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdo
o
laege
isl_map_
t
r
ansitive_
c
l
o
sur
e
:
u
se s
i
mpl
e
hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl
_
m
a
p_transiti
v
e_closure: t
r
y
a
n
d comp
u
te
c
los
u
re
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
e
ge
isl_map_coalesce
:
a
l
low
w
rappi
n
g
in set
s
t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_coal
e
sce:
a
l
l
o
wing cut
t
ing equalities in adjacen
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
ad
d
some more coal
e
scing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
s
l_basic_map_gist: be more agg
r
essive i
n
remov
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoo
l
aege
i
sl_stream: accept
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olae
g
e
i
sl_
t
ab_rollback:
rest
o
r
e rows
that
a
re n
o
longer marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
doc: docu
m
en
t
simp
l
e hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doolae
g
e
doc: emphasiz
e
that we
are d
e
alin
g
with integer set
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
g
e
isl
_
tran
s
i
t
ive_closure
.
c: path_
a
long_d
e
l
ta
:
o
n
ly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_map_trans
i
tive_cl
o
s
u
re: compute
divs
of input
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
lae
g
e
isl_map_co
m
pute_divs: make
s
ur
e
result is
g
auss
e
d and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
i
s
l
_
printer_print
_
p
w
_qpolynomial: pro
p
erly print constrai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
i
sl_pip and isl_cat:
t
erminate isl_ar
g
arr
a
y
with IS
L
_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verd
o
olaege
doc: doc
u
ment setting and g
e
tt
i
ng of
d
imension names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: document *
_
get_dim func
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
isl_
m
a
p
_convex_hul
l
: handle
non full-dimensional
p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
c
onvex_h
u
ll
.
c: m
o
dulo_affine_hull
:
drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_convex_hull
.
c
: conve
x
_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven V
e
rd
o
olae
g
e
i
sl_printer_prin
t
_ba
s
ic_set: fix up printing to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
e
n V
e
rdoolaege
add isl_
s
et_neg a
n
d isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
v
en Verdoo
l
aege
is
l
_tr
a
nsitive_clo
s
ure
.
c
: fix documentation of c
o
nstruct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl
_
ma
p
_coale
s
ce: make s
u
re
resu
l
t still contains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_closure: Floyd
-
Wa
r
shal
l
:
p
roperly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
isl_map_transitive_closure: us
e
Floyd-Warshall on di
s
joint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doo
l
aege
isl_transitive_clos
u
re
.
c: extract o
u
t isl_se
t
_ov
e
rla
p
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
is
l
_map_tran
s
itive_closure: project
out l
e
n
gth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Ve
r
doolaege
isl_tr
a
nsitive_clo
s
ur
e
.
c
: co
n
st
r
uc
t
_co
m
ponent:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_map_transiti
v
e_c
l
osu
r
e: do
n
'
t add le
n
g
th
parameter
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n
V
e
rdo
o
laege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
i
s
l_set_gist: make context arg
u
ment an isl
_
set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
isl_m
a
p
_
transitive_closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaeg
e
isl_tr
a
nsitive_closure
.
c:
c
onstruct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
Ve
r
doolae
g
e
doc: cite
O
mega librar
y
docume
n
tation
o
n compu
t
ation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolae
g
e
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaeg
e
isl_a
r
g
.
h: add mis
s
ing include
commit
|
commitdiff
|
tree
next