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_transitive_closure.c: fix documentation of construct_component
2010-04-16
Sven Verdoolaege
isl_t
r
ansitive_clos
u
re
.
c: fix d
o
cumenta
t
ion
o
f construct_co
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdool
a
eg
e
isl
_
map_coalesc
e
:
m
ake sure
result still c
o
nt
a
ins set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
e
n Verdoolaege
isl_map_
t
r
a
nsitive_closure:
F
l
o
yd-Warshall:
p
r
o
pe
r
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_ma
p
_transi
t
ive
_
c
l
o
sure: use Floyd-Warshall on disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verd
o
olaege
isl_tr
a
nsitive_closure
.
c: extract o
u
t is
l
_set_overlap
s
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoola
e
ge
i
s
l
_
m
ap_transiti
v
e_
c
losure
:
proje
c
t out length on
each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
l
a
e
ge
isl_transi
t
iv
e
_closure
.
c
: constru
c
t
_component: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Ver
d
oolaege
isl_map_transit
i
ve_cl
o
sure: don't ad
d
l
e
ngth p
a
r
a
m
e
ter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
isl_set_gist: make cont
e
xt argum
e
nt an isl_set f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ve
n
Verd
o
olaege
i
s
l_map_tr
a
nsitive_c
l
osure: coalesce input ma
p
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdool
a
eg
e
isl_transiti
v
e_closure
.
c: construct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
doc: cit
e
Omega library
documentation on comp
u
t
a
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en
Ve
r
doolaege
add isl_str
e
am_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
is
l
_
arg
.
h: add missin
g
in
c
lude
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erd
o
ola
e
g
e
i
s
l
_b
a
sic_
m
ap_move_dims: normalize equaliti
e
s
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n
V
erdoolae
g
e
rena
m
e isl_map
_
move
t
o isl_
m
a
p
_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
isl_o
p
tio
n
s_pa
r
se: only parse k
n
own options by defa
u
l
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
olaeg
e
is
l
_map_closur
e
:
optionally
use Omega-like algor
i
t
h
m
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_clo
s
ure: ta
k
e options
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
isl_map_aff
i
n
e
_hull: h
a
ndle no
n
-o
b
viously
e
mpty
i
n
put
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map
_
compute_di
v
s
: handle no
n
-
ob
v
iou
s
ly empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
isl_basic_se
t
_preimag
e
: add ex
t
ra sanity
ch
e
ck
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl
_
bas
i
c_map_
s
et_to_empty:
add mi
s
sing assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
o
laege
i
s
l_equalities
.
c: isl_mat_variable_compression:
cl
a
rify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_sample
.
c:
initial_basi
s
:
s
et n_unb
o
u
nded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Ve
r
d
o
olaege
i
s
l
_
map_
c
o
a
l
e
sce: only use n
o
n-redundant constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
e
g
e
is
l
_map
_
print: allow em
p
ty constraints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaeg
e
isl_options
.
h
: allo
w
inc
l
usion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Ver
d
oolaeg
e
i
s
l
_arg
.
h: allow incl
u
sion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
o
l
aege
isl_map_tra
n
sitive_closure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_ma
p
_
d
eltas: p
r
eserve dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_
m
a
p_prin
t
: support LaT
e
X output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
i
sl_map_
s
im
p
l
ify: d
o
n't
r
emove any div definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verd
o
olaege
isl_map_intersect: add
s
pe
c
ial cas
e
s for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
l
_
transitive_closure
.
c: path_along_
d
elt
a
: sha
r
e code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl_transit
i
ve_closure
.
c: pat
h
_
along_
d
elta:
try
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaeg
e
export isl_qp
o
lynomial_
m
ove_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdool
a
e
g
e
add isl_
q
p
o
l
ynomial_
g
et_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
doolaege
add isl_pw_
q
polyn
o
mial_fold_get_di
m
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verd
o
o
l
aege
add
some qpolynom
i
al test
f
unctions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_pw
_
q
p
oly
n
omi
a
l_
f
ol
d
_
{
max,min}
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolae
g
e
isl_tab_min_at_most_neg_o
n
e: restore sam
p
le value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdo
o
la
e
ge
isl_ma
p
_coalesce: avoi
d
r
e
considering pairs considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab
.
c: update debugging aid check_tab
l
e to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n V
e
r
doolaege
isl_tab_rel
a
x: make sure no non-negat
i
ve rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Ver
d
o
o
laege
isl
_
tab_pip
.
c
:
always set row
s
i
g
n of found row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_printer_
p
r
i
n
t_basic_{set,map}: add
closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
export isl_set_split_di
m
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolae
g
e
a
dd
isl_set_recess
i
on
_
con
e
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doolae
g
e
add isl_set_dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoo
l
aege
i
s
l
_map_transi
t
ive_closure:
br
e
ak early if
input m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoo
l
aege
isl_map_transi
t
ive_
c
l
osu
r
e: coalesce aft
e
r each step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
a
e
ge
exp
o
rt isl
_
p
w
_q
p
olynomial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
e
rdoolaege
isl
_
t
a
b
.
c: unrelax: restore
r
ow if
v
ariable
i
s non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdo
o
la
e
ge
isl_t
a
b
.
c: cut_to_hy
p
erp
l
ane: add
e
xtra
s
anity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
add isl_p
w
_qp
o
lynom
i
al
_
fol
d
_
s
ize
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add is
l
_pw
_
qpol
y
nomial_s
p
lit_dims
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Ver
d
oola
e
g
e
isl_qpolynomial
_
max:
fix detection of inactive variabl
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolae
g
e
doc:
f
ix
t
r
an
s
itive closure
example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_convex_hull
.
c: valid_dire
c
tion: properly
n
orm
a
lize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoo
l
aeg
e
isl_convex_hull
.
c: simpl
i
fy comp
u
t
at
i
on
of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ver
d
oolaege
ex
p
ort isl_pw_qpo
l
yn
o
m
i
a
l_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoolaege
add isl_pw_qpolynomial_fold_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
a
dd
i
sl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdo
o
laege
add
i
sl_
p
w_qpo
l
ynomia
l
_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
i
sl_pw_qpolynomial_fix_d
i
m
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
add isl_pw
_
qpolynomi
a
l
_
a
dd
_
dim
s
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
e
x
port
isl_dim_mo
v
e
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
is
l
_
p
w
_qpolynomial_fold_add:
r
emove redundan
t
quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doo
l
aege
isl_qp
o
lynomial_all
o
c: ta
k
e initial struct isl_up
o
ly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
add isl_s
e
t
_
s
o
l
ve_
l
p
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
isl_polynomial
.
c
:
s
e
parate
out fold functiona
l
ity to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven V
e
rdoolaege
i
s
l_pw_
q
polyn
o
m
ial_
{
fold_,}pr
i
nt: s
e
t output for
m
at
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaeg
e
i
m
prove
isl_pw
_
qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sv
e
n Verdoolaege
add isl_mat_move_cols
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolae
g
e
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ve
r
doolaege
add basic
i
sl_pw
_
qpolynomi
a
l_fold_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
add isl_pw
_
qpolynomial_fold_
g
e
t_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdool
a
e
g
e
isl_printer_print
_
p
w
_
q
p
o
l
y
n
o
mial{,_
f
old}
:
a
llow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaeg
e
add isl_qpolynomial_get_
d
e
n
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
r
d
oolae
g
e
add isl_pw_qpolynomial_gist an
d
isl_pw_qp
o
lynom
i
al_fold
_
gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olae
g
e
expor
t
is
l
_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
g
e
add isl_m
a
p_i
n
ser
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaeg
e
add isl
_
printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add i
s
l_pw_qpolynomi
a
l_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
isl_qpo
l
ynomia
l
_a
d
d: r
e
pla
c
e 0-degree pol
y
nomi
a
l
s by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdo
o
laege
ad
d
isl_s
e
t_
e
liminate
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oolaege
isl_ma
p
_r
a
ng
e
:
optimize cas
e
where
the numbe
r
of
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
sl_pw_
q
p
o
lynomial_
p
rint: fix printing of unnamed pie
c
ewi
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoo
l
aege
document transitive closure i
m
plementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
isl_stream: accept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdo
o
laege
add
isl_pw_*
_
intersect_
d
o
m
ai
n
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolae
g
e
ad
d
isl_pw_*_dom
a
in
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
oolaege
isl_pw_temp
l
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
o
laege
isl_po
l
y
nomi
a
l
.
c: qpolynomial_fold_alloc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
oolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_pip: u
s
e isl_set_
p
rint instea
d
of
isl_set_du
m
p
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add some pip tests from the piplib distribution
commit
|
commitdiff
|
tree
next