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_affine_hull.c: equalities_in_underlying_set: avoid NULL pointer dereference
2010-04-16
Sven Ver
d
ool
a
ege
isl_transit
i
ve_cl
o
s
ure
.
c: fix documentati
o
n o
f
constr
u
ct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sv
e
n V
e
r
d
o
olaege
isl
_
m
ap_co
a
lesce: make sure result still co
n
tains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
Verdoolaege
isl_
m
ap_transitive_closure: Floyd-Warshall: pro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_map_trans
i
tive_closur
e
: use Fl
o
y
d-Warshall on
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sve
n
Ve
r
doola
e
ge
isl_t
r
ansiti
v
e_clo
s
ure
.
c: extr
a
ct out isl_set_overl
a
ps
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
r
d
oolae
g
e
i
sl_map_transitive_closure:
project out l
e
ngth on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdool
a
ege
isl_transitive_clos
u
re
.
c: construct_co
m
ponent:
d
on
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoola
e
ge
is
l
_
m
ap_tra
n
si
t
iv
e
_
c
l
osure: don't add length parameter
commit
|
commitdiff
|
tree
2010-04-15
Sven Ve
r
doolaege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oola
e
ge
isl_
s
et_gist: m
a
ke context a
r
gument
an isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl
_
map_transitive_closu
r
e
:
coalesce in
p
ut map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
i
sl_transi
t
ive
_
clo
s
ure
.
c: construct_com
p
on
e
nt: alway
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
doc: ci
t
e
Omega l
i
br
a
r
y documentation on computati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
laege
add is
l
_str
e
am_read
_
map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
is
l
_arg
.
h
:
a
d
d missing in
c
lude
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verdoolaege
isl_basic_map_move
_
d
im
s
:
n
or
m
alize equali
t
i
e
s
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
ren
a
me isl_map_move to
isl_map_move
_
dims
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verd
o
olaege
i
s
l
_
opti
o
n
s
_
p
arse:
o
nly p
a
rse know
n
options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
g
e
isl_
m
ap_clos
u
re: optio
n
ally use
O
m
e
ga-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_closu
r
e: take opt
i
ons
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verd
o
ola
e
ge
is
l
_m
a
p_affine
_
hull: handle non-obviousl
y
empty
input
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolaeg
e
isl_map_compute_divs: handle non-obviously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
d
oolaege
is
l
_bas
i
c_
s
et_preima
g
e: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_basic_map_set_to_empty
:
a
dd missing a
s
si
g
nment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_equaliti
e
s
.
c
: isl_
m
at_va
r
i
a
b
le_com
p
ression:
c
l
a
rify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven Ve
r
do
o
l
a
ege
isl_sample
.
c: initial_b
a
sis: set
n
_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
i
s
l_
m
a
p_coale
s
ce: only
u
se no
n
-redundant
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_print:
a
llow
e
mpt
y
constraints
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
V
e
rdoolaege
isl_options
.
h: all
o
w
i
nclusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_
a
r
g
.
h: allow in
c
lusion
f
r
om C++
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdool
a
ege
isl_map_tra
n
s
i
t
ive_clo
s
ure: han
d
le e
x
istenti
a
ls
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olae
g
e
isl_map_de
l
tas: pres
e
rve dimension names
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
rdoolaege
isl_map_print: s
u
p
port LaTe
X
output
f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolaege
isl_map_simpl
i
fy:
d
on
'
t
r
em
o
v
e any d
i
v definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdo
o
laege
isl_map_in
t
erse
c
t
:
a
dd special cases
for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolaege
isl_t
r
ansitive_c
l
osure
.
c:
p
a
t
h_along_delta: share
c
o
de
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
i
s
l_tr
a
nsiti
v
e_closure
.
c:
path_
a
lo
n
g_delta
:
tr
y
and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verd
o
olaege
e
xport isl_qpolynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven V
e
rdoolaege
add isl_qpolynomial_ge
t
_c
t
x
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Ve
r
doolaege
add isl_pw_
q
p
o
lynomial_fo
l
d_ge
t
_dim
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add som
e
q
p
o
l
ynomi
a
l
te
s
t
f
unct
i
ons
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaege
add isl_pw_
q
polynomial_fol
d
_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_min_at_m
o
st_neg_one:
restore sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
e
n
V
erd
o
olaege
is
l
_
m
ap_c
o
alesce:
avoi
d
reconsidering pai
r
s conside
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
V
erdool
a
ege
isl_ta
b
.
c
: update debugging aid ch
e
ck_t
a
ble
t
o pr
e
sence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
a
e
ge
isl_tab_relax: m
a
ke sur
e
no n
o
n-
n
egative
r
ows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab_
p
ip
.
c: alwa
y
s
set row sign of found row
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Verdoolaege
i
s
l_printer_print
_
b
asic_{set
,
ma
p
}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doolae
g
e
expor
t
isl_set_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aeg
e
add isl_set_recession_cone
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verdoola
e
ge
a
d
d
i
s
l
_
se
t
_dim_
i
s_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olae
g
e
isl
_
m
a
p_transiti
v
e_
c
losure: br
e
a
k
early if
input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_trans
i
tive
_
closu
r
e: coales
c
e after eac
h
step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
expo
r
t isl
_
pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: unrelax:
r
e
store
r
ow if v
a
riable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: cut_t
o
_hyperplane: ad
d
extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
o
o
laeg
e
add
isl_
p
w_qpol
y
n
omial_fold_s
i
ze
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolaege
add isl_pw_qpo
l
ynomial_split_dim
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
is
l
_qp
o
ly
n
om
i
al_m
a
x: fix detection of inactive var
i
ables
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoo
l
aege
doc:
f
ix trans
i
tive closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
isl_co
n
vex_hull
.
c: vali
d
_direction: properly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolae
g
e
isl_
c
onvex_
h
ull
.
c: simp
l
ify com
p
utation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven
V
erdoolaege
export isl_p
w
_
q
polynomial_is_zer
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
a
dd
i
s
l_pw
_
q
p
o
ly
n
omial_
f
o
l
d_dim
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdo
o
laege
a
d
d isl_i
n
t_
g
et_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
i
sl_
p
w_qpo
l
y
nom
i
al_min
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
ad
d
i
sl_pw
_
qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
add isl
_
pw_q
p
olynomi
a
l_add_dim
s
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export isl_d
i
m_move
commit
|
commitdiff
|
tree
2010-03-23
S
ven Verdoo
l
aege
i
s
l
_pw_qp
o
lynom
i
al_fold_add: remov
e
r
edundant qu
a
sipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
ven Ve
r
doo
l
ae
g
e
isl
_
qpolynom
i
al_alloc: take initial s
t
r
u
ct isl_u
p
oly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oola
e
ge
ad
d
isl_s
e
t_so
l
ve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_polyno
m
ial
.
c
:
s
e
parate out fol
d
functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
is
l
_pw_qpoly
n
omial_{fo
l
d_,}prin
t
: set out
p
ut forma
t
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaeg
e
improve isl_pw_qpolyn
o
m
i
a
l
_move
commit
|
commitdiff
|
tree
2010-03-20
S
ven
V
erdoola
e
ge
add isl_mat_move_co
l
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rd
o
ola
e
ge
add
basic
i
sl_pw_q
p
olynomial
_
f
o
ld_coalesce
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ver
d
oo
l
a
e
g
e
add isl_pw_
q
polynomia
l
_fold
_
get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoolaege
isl_print
e
r_pr
i
n
t
_
p
w_qpoly
n
omial{,_fold}: allow p
r
inting
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
add isl_qpolynomial_g
e
t
_
den
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolae
g
e
add isl_pw_qpoly
n
omial_gist and isl_
p
w_qpolyn
o
mi
a
l
_
fold
_
gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
expo
r
t i
s
l_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
add i
s
l_
m
ap_insert
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoola
e
ge
a
dd
i
sl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
g
e
a
d
d
isl_pw_
q
polynomial_m
a
x
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
do
o
laege
isl_
q
polynomial_add: repl
a
ce 0
-
degre
e
polyn
o
m
ials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
add
i
sl_set_eliminate
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
isl_map_
r
a
nge: optimize
case where
the number of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
eg
e
is
l
_pw
_
qpolynomial_print: fi
x
p
r
in
t
ing of
unnamed piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
dool
a
ege
document transitive closure implem
e
ntation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
i
sl_stream:
accept
"
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoo
l
aege
a
d
d i
s
l_pw_*_inters
e
ct_domai
n
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoo
l
aege
isl_pw_t
e
mpl
.
c: co
p
y
: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
isl_
p
o
lynomial
.
c: qp
o
l
y
nomial_fold_alloc: fix up
condition
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
erdoolaege
upda
t
e AUTHO
R
S
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoo
l
a
e
ge
isl_pip: use isl
_
set_p
r
int instead of isl_set
_
dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olae
g
e
a
d
d some
pip tests from the pipl
i
b di
s
t
ribut
i
on
commit
|
commitdiff
|
tree
next