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_compute_divs: handle non-obviously empty input
2010-04-10
Sven Ve
r
doolaege
i
sl_map_compute_divs: handle n
o
n-obviousl
y
empty input
commit
|
commitdiff
|
tree
2010-04-10
S
v
en
Ve
r
doolaege
isl_basic_se
t
_preimage: add e
x
tra sanity c
h
eck
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic_map_
s
et_to_empty
:
add miss
i
n
g
assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
equalities
.
c: isl_mat_
v
ariable_compre
s
sion: c
l
ari
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaeg
e
isl_
s
ample
.
c: initial_basi
s
:
s
et n_un
b
ounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoo
l
a
e
ge
isl_map_
c
o
alesce: only use n
o
n
-
r
e
du
n
da
n
t constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verd
o
olaege
isl_m
a
p_print
:
a
l
l
ow em
p
t
y constraints
commit
|
commitdiff
|
tree
2010-04-09
Sv
e
n Verdoolaege
is
l
_options
.
h:
a
l
low i
n
clusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdo
o
laege
isl_arg
.
h
:
allow inclu
s
ion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Ver
d
oolaege
i
sl_map_tra
n
siti
v
e_closure: handle existentials
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_delta
s
: preserve dime
n
si
o
n nam
e
s
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
rdoolaege
isl_map_print: s
u
pport LaT
e
X outp
u
t
forma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_
s
impl
i
fy
:
d
on'
t
remove
any
d
iv definiti
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ve
n
V
er
d
oo
l
aege
isl_m
a
p
_
intersec
t
: add s
p
eci
a
l
cases fo
r
empty
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaeg
e
is
l
_tran
s
itive_cl
o
sure
.
c: path_
a
long
_
delta:
s
hare code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_t
r
ansitive_clos
u
r
e
.
c: path
_
a
lo
n
g_d
e
lta: try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
erdoolaege
export isl_qp
o
lynomial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
lae
g
e
a
d
d isl_qpolynomial_get
_
ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolae
g
e
a
dd isl_pw_qpol
y
nomia
l
_f
o
ld_get_
d
im
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdool
a
ege
add som
e
qp
o
lynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n
V
e
rdoolaege
a
d
d
isl_pw
_
qpolynomial_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doo
l
aege
isl_tab_m
i
n
_at
_
most_neg_one: restore sample
value
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl_map_
c
oales
c
e: av
o
id reco
n
s
id
e
ring
p
airs
considered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
Ve
r
doola
e
ge
isl_
t
ab
.
c:
u
pdat
e
debuggin
g
aid check_
t
able to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
i
s
l_t
a
b_relax: make s
u
re no non-negat
i
ve
r
ows ge
t
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en
V
erdool
a
ege
i
s
l_tab_pip
.
c: alw
a
ys se
t
row
s
i
g
n of
f
ound row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
do
o
laege
isl_printer_print_bas
i
c_{set
,
map}: add closing
"
}"
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaeg
e
e
x
port isl_set
_
split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaeg
e
a
d
d isl_set_recessi
o
n_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdool
a
ege
add isl_set_dim_is_bo
u
nd
e
d
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_
m
ap_transitive_closure: bre
a
k early if inp
u
t
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
v
en V
e
r
doolae
g
e
isl_ma
p
_transi
t
ive_closure: coale
s
c
e
after ea
c
h
s
tep
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
export isl_pw_qpolynomial_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoola
e
g
e
isl_tab
.
c:
u
nrelax: restore row if vari
a
bl
e
is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Ve
r
doolaege
isl_tab
.
c: cut_
t
o_hyperp
l
an
e
: add e
x
t
r
a sani
t
y
check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
add isl_pw_q
p
olynomi
a
l_fold_s
i
ze
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolae
g
e
add isl_
p
w_qpolynomial_sp
l
it_
d
ims
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n Verdoolaege
isl_q
p
o
l
ynom
i
al
_
max: fix dete
c
tio
n
of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
doc:
fix
t
ransitive closure
exa
m
ple
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdo
o
laege
i
s
l_convex_hull
.
c: va
l
id_
d
i
rectio
n
: p
r
operly norm
a
l
ize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl_convex_hull
.
c: s
i
m
p
lify c
o
mputation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
export isl_pw_qpoly
n
omial_is_zero
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdoolaege
a
d
d
isl_pw_qpolynomial_fol
d
_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
add isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
add isl_pw_qpolyn
o
m
ial_min
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erd
o
olaege
ad
d
i
s
l
_
pw
_
qpo
l
ynomi
a
l_
f
ix_d
i
m
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
add isl_pw_
q
po
l
ynomial_
a
dd
_
dims
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
e
x
port isl_
d
i
m
_move
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Ver
d
oolaege
i
s
l_p
w
_qpolynomial_fold_add: remove redundant q
u
a
s
i
polynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
isl_qpolynomia
l
_alloc:
t
ake initial stru
c
t is
l
_
u
poly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
add i
s
l_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
lae
g
e
isl_polyno
m
ial
.
c: se
p
ara
t
e out fold functio
n
ali
t
y to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
isl_pw_qpolynomial_{fo
l
d
_
,}pr
i
nt: set output forma
t
commit
|
commitdiff
|
tree
2010-03-21
S
v
e
n Verdo
o
lae
g
e
improve isl_pw_qpolynomial_m
o
ve
commit
|
commitdiff
|
tree
2010-03-20
S
ve
n
Verdoolaege
add isl_mat_move_
c
ols
commit
|
commitdiff
|
tree
2010-03-19
Sven
V
erdoola
e
ge
add isl_pw_
q
p
olyno
m
ial_drop_dims
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoo
l
aege
a
dd isl_
s
e
t
_drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Ve
r
dool
a
ege
add isl_pw_qpolynom
i
al_invol
v
es_di
m
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
dool
a
eg
e
is
l
_
stream:
ac
c
e
p
t "%"
token
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
d
o
c
: fix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
doolae
g
e
add basic isl_pw_qpolyno
m
ia
l
_fold_coa
l
e
s
ce
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoola
e
ge
add isl_pw_qpo
l
y
n
omial_fo
l
d_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdool
a
e
g
e
is
l
_printer_print_pw_q
p
o
lyn
o
m
i
a
l
{,_fol
d
}: a
l
low p
r
inting
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
doolaege
add isl_qpolyno
m
i
a
l_get_den
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n Verdoo
l
aege
ad
d
is
l
_pw_qpol
y
nomial_gist and isl_pw_qpol
y
nomial_fo
l
d
_
gist
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
r
d
oolaege
ex
p
ort
i
sl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
a
dd
is
l
_map_in
s
e
r
t
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdo
o
l
a
ege
a
d
d isl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoola
e
g
e
a
d
d isl_pw_qpolynomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
ol
a
ege
is
l
_qpolynomial_add: r
e
p
l
a
c
e
0
-degree
polynomials
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
add isl_set
_
e
l
iminate
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ver
d
oolaege
isl_ma
p
_ra
n
ge: optimize case where the number of in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
isl_pw_qpolynomial_print:
f
ix
p
rint
i
n
g
of unnamed piecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oola
e
ge
d
ocument transitive cl
o
sure i
m
plementation
commit
|
commitdiff
|
tree
2010-03-13
Sven
Verdoolaege
isl_st
r
e
am: accept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven
V
erdool
a
ege
add isl_pw_*_in
t
ersect_d
o
main
commit
|
commitdiff
|
tree
2010-03-12
S
ven Verdoolaege
add is
l
_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
ge
i
sl_pw_templ
.
c: copy: fix
r
e
t
u
rn
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ve
r
doolaege
isl_pol
y
nomial
.
c: qpoly
n
omi
a
l_fol
d
_a
l
loc: fix
u
p condition
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
update AUT
H
ORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
isl_pip:
use isl_set
_
prin
t
in
s
te
a
d of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoo
l
aege
add som
e
pip t
e
sts from the piplib distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
d
on't print
newline
in
I
SL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Verdoolaege
use typed
e
f
to ensur
e
arg
u
m
e
nt to mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_
o
bj_pw
_
qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_fol
d
_e
v
al
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add
i
sl_pw
_
qpoly
n
om
i
al_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_pw_
q
polynomial_foreach_l
i
fted_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_
s
et_
l
ift
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
g
e
add isl_set_f
r
om
_
poi
n
t
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_mat_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
add
isl_pw_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_pw_qpolynomial_foreac
h
_pi
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_
p
w_qpolynomial_get_
d
im
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
d
o
olaege
add isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rd
o
olaege
isl_stream
:
allow
"
_"
i
n tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
l
a
e
g
e
i
sl
_
stream: accept
"@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_ma
p
_read: a
c
ce
p
t '*' in affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_qpolynom
i
al_
e
va
l
: use consistent dimension for
.
.
.
commit
|
commitdiff
|
tree
next