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
doc: document simple hull
2010-04-21
S
ven
Verdoolaege
doc: document
simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
doc:
e
mphasize that we
ar
e
d
e
aling with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive_clos
u
re
.
c:
p
a
th_along_del
t
a: only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
i
s
l_map_transitive
_
closure: compute
d
i
v
s of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erd
o
ola
e
ge
isl_
m
ap_comp
u
te_di
v
s:
m
ake su
r
e resul
t
i
s gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doolaege
i
s
l_printer_p
r
int_pw_qpo
l
ynomial
:
properly print co
n
strain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl_
p
ip and is
l
_cat: t
e
rmi
n
ate
i
sl_ar
g
a
rr
a
y with
ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
oc
:
d
o
cument settin
g
and
g
etting of di
m
e
nsion names
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
d
oc: document
*
_get_di
m
functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolae
g
e
isl_map_convex_hull: hand
l
e no
n
full-dimensio
n
al
pair
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ve
r
dool
a
ege
i
sl_conv
e
x_
h
ull
.
c: modulo_af
f
ine_hull: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoo
l
aege
isl_con
v
ex_hull
.
c: convex_hull_pair: skip directio
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
ven Ver
d
oolaege
isl_printer_prin
t
_basic_set:
fix up
p
rinting to string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
add isl_s
e
t_neg and isl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
S
ve
n
Verdoolaege
isl
_
t
rans
i
tive_
c
losure
.
c: fix documentation of construct_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
e
rdoolaege
isl_map
_
coalesce: m
a
ke s
u
re result still contains s
e
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
l
aege
isl_map_
t
ransitive_closure: Floyd-Warsh
a
ll
:
p
ro
p
erly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
isl_map_transitive_closure: use Floyd-Wa
r
shall o
n
disj
o
int
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl_
t
ransitive_closure
.
c: extract
o
ut isl_se
t
_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoolae
g
e
isl_map
_
t
rans
i
t
ive_closure: proje
c
t ou
t
length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoo
l
ae
g
e
isl_t
r
ans
i
tive_
c
l
osure
.
c: c
o
ns
t
r
uc
t
_component: do
n
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven V
e
rdoo
l
aege
isl_map_tra
n
sitive_clo
s
ure: don't add l
e
ngth p
a
ra
m
eter
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
doc: fix typos
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_set_gist
:
make
c
onte
x
t argume
n
t
an isl_s
e
t
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
i
s
l_m
a
p_transi
t
ive_clo
s
ure
:
coalesc
e
i
n
put map
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n V
e
rdool
a
ege
isl_transi
t
ive_closure
.
c
:
construct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaege
doc: cite Omega library documentation on
c
omputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven Verdoolaege
add isl_s
t
rea
m
_
read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolae
g
e
isl_arg
.
h: add missing i
n
cl
u
de
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
isl_basic_map_mov
e
_dims: no
r
mal
i
ze equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
erdo
o
laege
ren
a
m
e
isl_m
a
p_move to
i
s
l_map_move
_
dims
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
isl_options_pa
r
se: only
p
arse known options by defaul
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
isl_map_clo
s
u
r
e
: optional
l
y use
O
mega-like algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_closure: tak
e
opti
o
ns
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_affine
_
hull: handle non
-
obviously
e
mpt
y
input
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
o
olaege
i
s
l_map_comput
e
_divs: handle non-
o
bviously empty in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdoolaege
is
l
_bas
i
c_set_p
r
eima
g
e: add extra
s
anity check
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n
V
erdoolaege
isl
_
basic_map_
s
et_to_empt
y
:
a
dd
missi
n
g
ass
i
gnment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
i
s
l_equalities
.
c: isl_mat
_
v
a
riabl
e
_comp
r
essio
n
:
clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Verdoolaege
isl_sampl
e
.
c:
i
nit
i
al_bas
i
s: set
n_un
b
o
u
n
ded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoolaege
isl_ma
p
_
coalesce: only use
n
on-redund
a
n
t
cons
t
rai
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_map_prin
t
:
allow empty c
o
nst
r
aints
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verdoolaege
isl
_
option
s
.
h:
a
llow in
c
lusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_arg
.
h: allow inclusion
from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
isl
_
m
ap_transitive_closure: handle exis
t
enti
a
ls
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_d
e
ltas: pre
s
erve dim
e
nsi
o
n names
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ve
r
d
o
olae
g
e
isl_map_print: support LaTeX o
u
tput for
m
a
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_
m
a
p
_sim
p
lify: do
n
'
t
r
emove any
div
d
efinition
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
ae
g
e
isl_
m
a
p
_inte
r
s
e
ct: add special c
a
ses for e
m
pty inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
d
o
olae
g
e
isl_transitive_
c
losure
.
c: path_along
_
delta
:
share
c
ode
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
rdoola
e
ge
isl_transitive_closure
.
c: path_along_delt
a
: try
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdo
o
laege
export isl_qpolynomial_move_dim
s
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdool
a
ege
add isl_qpolynomial_get_ct
x
commit
|
commitdiff
|
tree
2010-04-03
Sven
V
erdoolaege
add isl_
p
w_
q
polynom
i
al
_
f
old_g
e
t_dim
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdo
o
laege
add
some q
p
o
lynomial t
e
st
fun
c
tions
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
laeg
e
a
dd isl_
p
w
_qpolynomia
l
_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
isl_t
a
b_min
_
a
t
_most_neg_one: re
s
tor
e
sample value
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoo
l
aege
isl_map_
c
oalesce: a
v
oi
d
reco
n
s
i
der
i
ng pa
i
rs con
s
ider
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_tab
.
c: update deb
u
gging aid
c
heck_tabl
e
to presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
ege
isl_
t
ab_
r
elax: make s
u
re no non-
n
egative rows
get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
sl
_
t
a
b_pi
p
.
c: a
l
w
a
ys set row sign of fo
u
nd row t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
o
l
ae
g
e
is
l
_printer_print_b
a
sic_{set,map}:
a
dd closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n V
e
rd
o
olaege
export isl
_
se
t
_
s
plit
_
d
ims
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
V
er
d
oola
e
ge
add is
l
_set_
r
eces
s
ion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
doola
e
g
e
add i
s
l_set
_
dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl
_
m
a
p
_transitive_clo
s
u
r
e: br
e
ak
ea
r
ly if inp
u
t map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
ege
isl_ma
p
_transitive_cl
o
sure: coalesce
a
f
t
er
e
ach step
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
do
o
la
e
g
e
expor
t
isl_pw_qpol
y
nom
i
al_c
o
alesc
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
a
e
ge
isl_tab
.
c: unrelax: restore row if va
r
iable
i
s
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verd
o
olaege
i
sl_tab
.
c:
cut_to
_
hyperp
l
ane: add extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoola
e
ge
add isl_pw_qpolynomial_f
o
ld_size
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
Verdoolaege
add
i
sl
_
p
w_qpolynomial_spl
i
t_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolae
g
e
isl_qpolynomial_m
a
x: fix
d
etectio
n
of
i
n
a
ctive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
doc: fix
t
ransitive closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_convex_hul
l
.
c: va
l
id_direction: properly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl
_
co
n
v
e
x_hull
.
c: s
i
mpli
f
y
comp
u
tation o
f
initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
e
ge
export is
l
_pw_
q
polynomial_is_z
e
ro
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doo
l
aege
ad
d
isl_pw_
q
po
l
ynomial_
f
old_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verd
o
olaege
ad
d
isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
add i
s
l
_pw_qpo
l
ynomial_m
i
n
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laeg
e
add isl_pw_qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
a
ege
add isl_pw_
q
polynomi
a
l_add_d
i
ms
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
export isl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verd
o
o
lae
g
e
i
s
l_pw_qp
o
lyn
o
mia
l
_fol
d
_add: remo
v
e
r
edu
n
dant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoo
l
a
e
ge
isl_qpolynomia
l
_a
l
loc: tak
e
initial struct
is
l
_up
o
ly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
add
isl_set_
s
olve_
l
p
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoola
e
ge
isl_polyno
m
ia
l
.
c
:
se
p
a
rate o
u
t fold fun
c
tional
i
ty
to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
o
o
laege
isl_p
w
_qpolynomi
a
l
_
{fo
l
d_,}print:
set
output format
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaege
improve isl
_
pw
_
q
p
olyn
o
mial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdool
a
ege
add i
s
l_mat_move
_
cols
commit
|
commitdiff
|
tree
2010-03-19
S
v
en Verdoolaege
a
d
d isl
_
pw_q
p
olynomial_drop_d
i
ms
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add
i
s
l_se
t
_drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdool
a
ege
add isl_pw_qpolyn
o
mial_invo
l
v
e
s_dims
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_stre
a
m: accept "%" token
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ve
r
doolaege
d
o
c
:
fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoola
e
ge
add basic
i
sl_pw_qpoly
n
omial_fold
_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_pw_
q
polynomial_fo
l
d_ge
t
_
c
t
x
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
a
e
g
e
i
sl_printer_print_pw_qpolynomi
a
l{,_
f
old}: allow printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_qpolyno
m
ial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
e
ge
add is
l
_pw_qp
o
lynomial_
g
is
t
and isl_pw_qpolynom
i
al_fo
l
d
_gist
commit
|
commitdiff
|
tree
next