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: only use non-redundant constraints during wrapping
2010-04-09
Sven Ve
r
do
o
laege
isl_map_coalesce: only u
s
e n
o
n-redunda
n
t c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erd
o
ola
e
ge
isl_map_p
r
int: allow empty co
n
straint
s
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoola
e
ge
isl
_
opt
i
o
n
s
.
h: a
l
low inc
l
u
s
io
n
from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
er
d
oolaege
isl_arg
.
h: al
l
ow inclusion f
r
o
m
C
++
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
erdoolaeg
e
i
sl_map_transitiv
e
_closure
:
h
andle existent
i
als
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
is
l
_map_deltas:
preserve di
m
ension names
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoola
e
ge
isl_map_print
:
support LaTeX output
format
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoo
l
a
ege
isl_m
a
p_
s
implify: don't
r
emo
v
e
any div d
e
finiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
a
e
g
e
i
s
l_map_int
e
rsect: add s
p
e
cial
cases for e
m
pty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
i
s
l_transi
t
ive_
c
l
osure
.
c: path_along_de
l
ta: shar
e
co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
isl_t
r
ans
i
tive_
c
l
o
sure
.
c: p
a
t
h
_
a
long_delta: try
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdool
a
e
g
e
export isl_
q
polyn
o
m
i
al_mov
e
_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaege
add isl_qpol
y
nomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
add isl_p
w
_
q
pol
y
nomial_fold_get_
d
i
m
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaege
add s
o
me qpolynomial test
f
unctions
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Ve
r
d
oolaege
ad
d
isl_pw_
q
polynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoo
l
aege
i
s
l
_
tab_min_
a
t_most_neg_o
n
e: rest
o
re sample
v
al
u
e of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_co
a
lesce: avo
i
d reconsidering pairs conside
r
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
Verdoolaege
isl_tab
.
c
:
update debu
g
ging aid check_table to pres
e
nce
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
i
s
l_tab_relax: make sure no non-nega
t
i
v
e
r
ows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdo
o
laege
isl_ta
b
_
p
ip
.
c
:
always
s
et row
s
ign of found r
o
w t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaege
i
sl_prin
t
er_print
_
basic_{set,map}: add closing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
o
olaege
export is
l
_
set_split_d
i
ms
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaeg
e
a
dd isl_
s
e
t
_re
c
ession_con
e
commit
|
commitdiff
|
tree
2010-04-01
S
v
en Verd
o
olaege
add isl_set_dim_is_b
o
unded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
isl_map_tran
s
itive_cl
o
s
ure: break early if input map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
is
l
_map
_
transit
i
ve_clos
u
re: coal
e
sce
a
f
t
e
r each
s
tep
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
export isl_p
w
_qpolyn
o
mial_
c
oales
c
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl
_
tab
.
c: unrelax: restor
e
r
o
w if va
r
iable is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Verdoolaege
isl_tab
.
c: cut_to_hyperplane
:
add extr
a
san
i
ty chec
k
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
eg
e
add isl_pw_qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n Verd
o
ol
a
ege
add
i
sl_pw_
q
p
o
lynomial_
s
plit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpoly
n
omial_max
:
fix
detecti
o
n
of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
doc: fix transitiv
e
closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_convex_hull
.
c: v
a
lid_d
i
rection: prop
e
rly normali
z
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_convex_hull
.
c: simpl
i
f
y
com
p
utation of i
n
itial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n V
e
rdoola
e
ge
export isl_p
w
_
q
p
o
lyno
m
ial_
i
s_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
add isl_pw_qpolynomi
a
l_fold_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
add i
s
l_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add isl
_
p
w_qpolynomial_min
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
Ve
r
doolaege
add isl_pw_qpolynomi
a
l_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ver
d
oolaege
add is
l
_pw_qpolynomial_ad
d
_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
ex
p
or
t
is
l
_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
e
r
doolaege
isl_pw_qpolynomial_fold_add:
remove redundant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
isl_qpo
l
y
nom
i
al_all
o
c: take initial
struct isl_upo
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verdoo
l
aege
add isl_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
isl_pol
y
n
o
mial
.
c: sep
a
rate
out fold functiona
l
it
y
to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_qpolynomi
a
l_{fold_,}print: se
t
out
p
ut fo
r
mat
commit
|
commitdiff
|
tree
2010-03-21
Sven Verdoolaege
improve
i
sl_pw_
q
polynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven
V
erdoolaeg
e
a
dd isl_m
a
t_move
_
c
ol
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
a
d
d b
a
si
c
isl_pw_qpolyno
m
i
al_fold_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
add isl_p
w
_qpolynomial
_
fold_
g
et_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
is
l
_pri
n
t
er_print_pw_qpolynomial{,_fold
}
: allow printi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_qpo
l
ynomial_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_pw_qpolynomial_gist and isl_p
w
_qpoly
n
omial_fold_gi
s
t
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ve
r
do
o
la
e
ge
export isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add is
l
_map_inser
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
ad
d
isl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
add isl_pw_qpolynomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isl_qpolyn
o
mial_
a
dd: replace 0-degree
p
o
lynom
i
als by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
a
dd isl_set_elimina
t
e
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ver
d
oolaege
i
s
l_map_range: optimize case where t
h
e number of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
aege
isl_pw_qpo
l
y
n
omial_p
r
int: fix
p
rinti
n
g of unn
a
med piecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
document tr
a
nsitive
c
losure implementation
commit
|
commitdiff
|
tree
2010-03-13
Sv
e
n
Verdoolae
g
e
isl_stre
a
m
: a
c
cept "
.
"
t
oken
commit
|
commitdiff
|
tree
2010-03-12
S
v
en Verdoolaege
add is
l
_pw
_
*_in
t
ersect_d
o
main
commit
|
commitdiff
|
tree
2010-03-12
Sve
n
Verd
o
olaege
add isl_pw_
*
_d
o
mai
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
isl_pw_templ
.
c: copy: fix
return
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
ool
a
ege
isl_polynom
i
al
.
c
:
q
p
olyno
m
ial_fo
l
d
_alloc
:
fix
u
p condition
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoo
l
aege
u
pdate
AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
ool
a
ege
is
l
_pip: use isl_set_p
r
int
i
nst
e
ad of isl_set_
d
u
m
p
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
a
d
d
s
o
me pip tests from the p
i
plib
di
s
tribution
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
don't print newline in ISL_FORMAT_IS
L
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdool
a
e
ge
use
t
ypedef to ensure argument to mp_get_memory
_
f
u
nctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_
o
bj_pw_qpolynomial_fo
l
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
add
i
sl_pw_qp
o
l
y
n
omial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
add
isl_pw_qpoly
n
omial_fo
l
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_qpolynomia
l
_foreach_
l
ifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoolaege
add
i
sl_se
t
_lift
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
a
dd is
l
_
set_from_p
o
int
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
l
a
ege
add isl_mat_in
s
er
t
_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
g
e
a
d
d isl_pw_qpolyno
m
ial_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaege
add isl_pw
_
q
po
l
ynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_pw_qpolynomial_get_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add i
s
l_div_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
isl_s
t
r
eam: allow "_
"
in
tok
e
ns
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_str
e
a
m: accept "@"
t
oken
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaeg
e
i
s
l_m
a
p_read: a
c
cept '*' in affine
e
xp
r
e
s
sion
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
sl_qpolynomial_eval: use co
n
sistent
dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: up
d
a
t
e
to rem
o
val of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
doola
e
ge
doc
:
fi
x
ty
p
o
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdool
a
ege
isl_st
r
eam_read
_
ob
j
: add support
f
o
r reading piec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_str
e
am_
r
ead_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add support f
o
r (p
i
ecewise) qu
a
sipolynomials
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
a
dd isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: parse N
a
N
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_stream:
p
arse inft
y
commit
|
commitdiff
|
tree
next