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_map_coalesce: allow wrapping in sets that stick out in different directions
2010-04-23
Sven V
e
rdoolaege
isl_m
a
p_coalesce
:
allow
w
rappin
g
i
n
se
t
s that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_co
a
lesce: allowing cut
t
ing equalities
in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
l
a
ege
add
some more coalescing
te
s
t cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
o
o
laege
i
s
l_basic_m
a
p
_
gist: be mo
r
e aggress
i
ve in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_st
r
eam: accept string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_tab_
r
ol
l
back: restore
r
ows that are no lo
n
ger
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoo
l
aege
doc: document sim
p
l
e
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
doc:
e
mphasize tha
t
we a
r
e dealing with integer se
t
s
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
isl_
t
ransiti
v
e_clos
u
re
.
c:
p
ath_along_d
e
lta: o
n
ly
a
voi
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_transitive_closure
:
comp
u
te divs of
in
p
ut
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdo
o
laege
isl_
m
ap_co
m
p
ute_divs: mak
e
sure
resul
t
is
g
aus
s
ed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isl_printer_pri
n
t_pw_qpolynomia
l
: proper
l
y
print c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
V
erdoolaege
isl_pip
a
nd
isl_
c
at: terminat
e
i
s
l
_arg array with IS
L
_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoo
l
a
ege
doc: docu
m
e
n
t settin
g
and gettin
g
of dime
n
si
o
n names
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdool
a
ege
doc: docu
m
ent *_get_
d
im function
s
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n
V
erd
o
olaege
isl_map_
c
onvex_hu
l
l: handle non ful
l
-dimen
s
ional p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_con
v
ex_hull
.
c: modulo_
a
ffine_hull:
d
rop
redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sve
n
Verdoo
l
aege
i
s
l_co
n
vex_hull
.
c: convex_hull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven
V
erdoolaege
isl_print
e
r_
p
rint
_
b
a
sic_s
e
t: fix up p
r
i
n
ting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n
Ve
r
doolaege
add isl_set_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
Verdool
a
ege
isl_transiti
v
e_
c
losure
.
c: f
i
x
documentation of constr
u
ct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n Verdoolaege
isl_map_coalesce: make sure
r
esult still contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_map_transitive_clo
s
ure: Floyd-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl
_
map_transitive_closur
e
: use
F
loyd-Warshall on disjo
i
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolaege
i
s
l
_transiti
v
e_closur
e
.
c: extract
out isl
_
set_ove
r
laps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_ma
p
_
t
r
ans
i
t
i
ve_closure: project out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven V
e
r
d
oola
e
ge
i
sl_transitive_closure
.
c:
c
onstruct_
c
omponent:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Verdoolaege
isl_map_tran
s
itive_closure: don't add length par
a
meter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
doc
:
f
i
x typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
isl_set_gist: make
c
ontext argument an isl_set
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaeg
e
isl_map_trans
i
tive_closu
r
e:
coa
l
esc
e
input
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdo
o
laege
isl_tra
n
sitive_clo
s
ure
.
c: constr
u
ct_c
o
m
p
onent: alw
a
ys
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolae
g
e
doc:
c
ite O
m
ega library
d
o
cumen
t
a
t
ion o
n
computation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
do
o
laege
ad
d
isl_stream_rea
d
_ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
isl_arg
.
h:
add
miss
i
ng include
commit
|
commitdiff
|
tree
2010-04-11
S
v
e
n
Verdoolaege
isl_basic_ma
p
_move_
d
ims: normal
i
ze
eq
u
alit
i
es
commit
|
commitdiff
|
tree
2010-04-11
S
ve
n
Verdool
a
ege
rename i
s
l_m
a
p_move
to is
l
_map_
m
o
v
e_dim
s
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdo
o
laege
isl
_
options_parse: on
l
y parse known op
t
ions by de
f
ault
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_cl
o
su
r
e: optionally
u
se Omega-l
i
k
e
a
l
go
r
ithm
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n V
e
r
d
oo
l
aege
i
sl_
c
los
u
re:
take opti
o
ns
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl
_
map_affine_hu
l
l
:
handle non-obvio
u
sly empty
i
n
put
commit
|
commitdiff
|
tree
2010-04-10
S
v
en V
e
rdoolae
g
e
isl_map
_
compute_divs: h
a
ndle non-
o
b
viously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaege
isl_basic_set_preim
a
ge: add extra san
i
ty check
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rd
o
olaege
isl_basic_map_set_to_empt
y
: ad
d
m
i
s
s
ing a
s
signment
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
ool
a
ege
isl_equalities
.
c: isl
_
m
at_variable_compression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoo
l
aege
isl_sample
.
c: initial_
b
asi
s
:
set n_unbounded and
n_z
e
ro
commit
|
commitdiff
|
tree
2010-04-09
S
v
e
n Verd
o
olaege
isl_map_coal
e
sce: only use non-redun
d
an
t
cons
t
r
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolae
g
e
is
l
_map_prin
t
: allow empty constrai
n
ts
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdo
o
laege
isl_op
t
ions
.
h: allow i
n
clus
i
on
f
rom C++
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
V
e
rdoo
l
aege
i
s
l_arg
.
h: all
o
w inclusio
n
fr
o
m C++
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
er
d
o
o
laeg
e
isl_
m
ap_
t
ransitiv
e
_closure
:
handle e
x
i
s
tentials
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl_map_del
t
as: p
r
eser
v
e
dimensi
o
n names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_map_pr
i
nt: support LaTeX
o
utput form
a
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaeg
e
isl
_
map_simplif
y
:
don't
r
emove any d
i
v definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_intersect: add
s
pecial ca
s
es for
empty
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transitive_clo
s
ure
.
c: path_along_delta: shar
e
c
ode
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaege
isl_transitive_c
l
osure
.
c: path
_
along_del
t
a: tr
y
an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoo
l
aege
expo
r
t
isl_qpolyn
o
mial_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add
i
sl_qpol
y
nomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_p
w
_
qp
o
ly
n
o
mi
a
l_fold_get_
d
im
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoo
l
a
e
g
e
add some
q
polynomial test
f
u
n
ctions
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
a
d
d isl_pw_qpolynomia
l
_fo
l
d_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
sl_tab_min_at_mos
t
_neg_one:
r
estore
s
ampl
e
value
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
is
l
_map_co
a
lesce: a
v
oid reconsidering
p
a
i
r
s
c
ons
i
dered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ve
n
Verdoolaeg
e
isl_tab
.
c: up
d
a
t
e debugging a
i
d check_table to p
r
ese
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doolaege
isl_tab_re
l
ax: make s
u
re no non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab
_
p
i
p
.
c: always set row sign
o
f found ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
isl_printer_
p
rint_basic_{
s
et,
m
a
p}: add
c
losing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Ver
d
oolaege
export isl_s
e
t_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaeg
e
add isl_
s
et_recession_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add is
l
_s
e
t_dim_i
s
_b
o
unded
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdoola
e
ge
isl_map_transitive
_
closure: break
early
if
input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oolaege
isl_m
a
p_tran
s
i
t
i
v
e_closure: coalesce after each step
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ver
d
oola
e
ge
e
xp
o
rt isl_pw_qpolynomi
a
l
_
c
o
a
lesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
isl_tab
.
c: u
n
relax: restore row if varia
b
le
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
isl_ta
b
.
c: cut_to
_
h
y
perp
l
ane
:
ad
d
extra
s
anity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add
isl_pw_qpolynomi
a
l_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ol
a
ege
add isl_pw_qp
o
lynomial_sp
l
it_
d
im
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
la
e
g
e
i
sl_qpolyn
o
mial
_
max: fix
d
ete
c
tion of i
n
active variabl
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ver
d
oolaege
do
c
: fix tra
n
sitive closure exampl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdool
a
eg
e
isl_
c
onvex_hull
.
c: valid_directi
o
n: p
r
operly no
r
mal
i
ze
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoo
l
aege
isl_convex_hull
.
c: s
i
m
plify c
o
mputat
i
on of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export
is
l
_p
w
_qp
o
l
y
n
omial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verd
o
olaege
add isl_
p
w
_
qp
o
l
yn
o
mial_f
o
ld_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
ola
e
ge
add
i
sl_pw_qpoly
n
omial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
ool
a
e
g
e
add i
s
l
_
pw_qp
o
lynomial_fix_
d
i
m
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
add isl_
p
w_qpoly
n
omial_add_di
m
s
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
export isl_dim
_
m
ove
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
s
l_p
w
_qpolynomial_fold_add: remov
e
redundant
qua
s
ipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oo
l
a
e
g
e
isl_qpolyno
m
i
a
l_
a
l
l
oc:
t
ake initial struct isl_u
p
oly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
add
isl_se
t
_s
o
lve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_polynomi
a
l
.
c:
sep
a
rate out
fol
d
f
unctio
n
alit
y
to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoolaege
is
l
_pw_q
p
oly
n
omial_{fold_
,
}print: set
output format
commit
|
commitdiff
|
tree
2010-03-21
Sven
V
erdoolaeg
e
i
mp
r
o
v
e
isl_pw_q
p
olyn
o
mi
a
l_mov
e
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolaege
add isl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
a
dd ba
s
ic
i
s
l
_
pw_q
p
olynomi
a
l_fold_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
d
o
ola
e
ge
add isl_pw_
q
p
olynomial_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
isl_p
r
i
n
ter_print_pw_qpolyn
o
mial{,_fold}: allow
p
r
i
n
t
ing
.
.
.
commit
|
commitdiff
|
tree
next