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
Sv
e
n Ver
d
o
olaege
isl_map_compute_
d
ivs: handle
n
on-obv
i
o
u
sly
empty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_basic_set_p
r
ei
m
age:
a
dd
e
xtra sa
n
ity che
c
k
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
b
a
s
ic_map_
s
et_to_e
m
pty: a
d
d miss
i
n
g
assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaeg
e
isl_equali
t
ies
.
c: isl_mat_va
r
i
able_c
o
mpression: clarify
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdoolaege
is
l
_sample
.
c: initial_basis:
s
et n_unbounded and n_zero
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoolaege
isl_map_coalesce: only use
n
on-redundant c
o
nstraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
isl_map_p
r
in
t
:
a
llow
e
mpty co
n
straints
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
isl_o
p
tions
.
h: allow in
c
lusion fr
o
m C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
r
d
ool
a
ege
isl_arg
.
h
: allow
i
nclusion from C
+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdool
a
e
g
e
isl_ma
p
_transitive_
c
losure:
h
andle exi
s
ten
t
ia
l
s
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdo
o
l
ae
g
e
isl_map
_
deltas: preserve
d
imension na
m
es
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl_map_
p
rint: suppor
t
LaTeX output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaeg
e
is
l
_
m
ap_simplif
y
: don't
re
m
ove any
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolae
g
e
is
l
_map
_
i
n
t
ersec
t
: add special cases for empty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdo
o
laege
isl_tra
n
sitive_closure
.
c:
p
ath_along_delta
:
s
h
a
r
e co
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
isl_t
r
ansitiv
e
_clo
s
ur
e
.
c: pat
h
_
a
long_delta: try a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven
V
er
d
oo
l
aege
e
x
port isl_qpolynom
i
al_mo
v
e_d
i
m
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oola
e
ge
add isl_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaege
add
i
sl_pw_qpol
y
nomial_fo
l
d_get_dim
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Verdoolaege
add some
q
polynomial test
f
unction
s
commit
|
commitdiff
|
tree
2010-04-03
Sven Ve
r
do
o
laege
add isl_pw_qpolynomial_fol
d
_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven Verd
o
olaege
isl_tab_mi
n
_at_most_neg
_
one: res
t
ore sample va
l
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
v
en Ver
d
oolaege
i
sl_map_co
a
lesce: avoid reconsidering
p
airs consi
d
ered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
erdoolaege
i
sl_tab
.
c: up
d
ate
d
ebugging aid
c
heck_
t
able to presenc
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaeg
e
i
sl_
t
a
b_relax:
m
ake sure n
o
non-negative
r
ow
s
get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
do
o
laege
isl_tab_pip
.
c:
always set row sign
of found row t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ve
r
doola
e
ge
isl_printer_print_basic_{se
t
,map}: add cl
o
sing "}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaeg
e
e
x
port i
s
l_set_s
p
lit_
d
ims
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
add isl_set_rec
e
ssion_cone
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
r
doola
e
ge
add is
l
_
set_dim_is
_
bo
u
nde
d
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdo
o
l
a
ege
isl_map_transitiv
e
_closure: break early if inp
u
t
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
is
l
_map_transitiv
e
_closure: coalesce after eac
h
step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
export isl_pw_qp
o
lynom
i
al_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_tab
.
c: unrelax: res
t
ore
r
ow if variable
i
s
non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
i
s
l_tab
.
c:
cut
_
t
o
_hyp
e
rplane:
a
d
d
extra sani
t
y check
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n V
e
rdoolae
g
e
add isl_pw_qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verdoolaege
add
i
sl_pw_q
p
olynomial_
s
plit_dims
commit
|
commitdiff
|
tree
2010-03-30
Sven
Ve
r
doola
e
ge
isl_q
p
oly
n
omial_
m
ax: fix detectio
n
of inacti
v
e
v
ariables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
doc: fix t
r
ansit
i
ve closure
e
xampl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Ver
d
oolaege
isl_con
v
ex_hull
.
c
:
val
i
d_direction:
p
roperly
n
ormalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
isl_convex_hul
l
.
c: sim
p
li
f
y
comp
u
tation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
export isl
_
p
w_qpolyn
o
m
i
al_is_zer
o
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
a
d
d
i
s
l_pw_qpoly
n
omial_fol
d
_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
isl_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Verd
o
ola
e
g
e
add is
l
_pw_qpolynom
i
al_min
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
add i
s
l_pw_qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoolaege
a
dd isl_pw_q
p
olynomi
a
l_
a
d
d_
d
ims
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoo
l
aege
expor
t
isl_
d
im_move
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdo
o
laege
isl
_
pw_qp
o
lynomial_fo
l
d_ad
d
: rem
o
ve redundant quasipolynomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdoolaege
isl_qpolynomial_
a
lloc: take initi
a
l struct
i
sl_upo
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
i
sl_set_so
l
ve_l
p
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_poly
n
omial
.
c: separate
o
u
t fol
d
functi
o
nal
i
ty to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
isl_pw_qpolynomial_
{
fold_,}print: set
o
utput format
commit
|
commitdiff
|
tree
2010-03-21
Sven
V
e
rdo
o
laeg
e
improve isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sve
n
Ve
r
doolaege
a
d
d isl_
m
a
t_
m
ove_co
l
s
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
erdoolaege
isl
_
stream: accept "%" toke
n
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add
basi
c
i
sl_pw_qpolynomial_
f
ol
d
_coale
s
c
e
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add isl_pw_qpolynom
i
al_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
isl_printer_print_
p
w_qpolynomial{,_fold
}
: al
l
ow
p
r
i
n
ting
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
a
dd isl_qpolynomi
a
l_get_de
n
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verd
o
ola
e
ge
add
i
sl_pw_
q
p
o
lynomia
l
_
gist and isl_pw_qpolynomi
a
l_fol
d
_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
expo
r
t isl
_
map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
e
rdoolaege
ad
d
isl_map_inser
t
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoola
e
g
e
add isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doolaege
a
d
d isl_pw_qpolynomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
g
e
isl_q
p
olynomial
_
a
dd: replace 0-degree
p
olyn
o
mials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
r
dool
a
ege
a
dd isl_se
t
_eliminate
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
i
s
l_map_r
a
nge: optimize case where the
numb
e
r of input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
e
ge
isl_pw_qpolynomial
_
print:
fix prin
t
ing of u
n
named piecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
docum
e
nt tr
a
nsitive closure implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven V
e
r
d
oolaege
is
l
_strea
m
: accept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
S
v
en Verdoolaege
a
d
d i
s
l_p
w
_*_inte
r
s
e
c
t_domain
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoo
l
aege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
olaege
i
s
l
_
pw_templ
.
c: copy: f
i
x r
e
turn
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
isl
_
polynomial
.
c: qpol
y
nomial_fold_alloc: f
i
x up conditio
n
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
dool
a
ege
isl_
p
ip: use isl_set_print instead of i
s
l_set
_
dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolae
g
e
add s
o
me pip
tests from the piplib
d
i
stribut
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdo
o
laege
don't print newl
i
ne
i
n ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verd
o
olaege
u
s
e type
d
ef to ensure argu
m
ent to
m
p_get_
m
emor
y
_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_obj_pw_qp
o
lynom
i
al_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
r
doolaege
add
i
sl_pw_qpolynomial_fold
_
eval
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
o
laege
a
d
d isl_pw
_
qpolynomia
l
_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_
p
w_qpolynomial_foreach_lif
t
ed_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_set_li
f
t
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add
i
sl_set_from_p
o
int
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_mat_insert
_
co
l
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
a
d
d isl
_
pw
_
qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add isl_pw_qpolynomial_
f
o
r
e
a
c
h_
p
iece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_
p
w_qpol
y
nomial_ge
t
_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoolaege
add isl_div_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
ege
isl_st
r
eam: allow "
_
"
in
tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
isl_stream
:
acce
p
t "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
a
ege
isl_map_read:
accept
'
*' in af
f
ine
expressions
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doo
l
aege
i
s
l_qpolynomial_eval:
u
s
e
co
n
sis
t
ent dim
e
nsion
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
d
oc: upda
t
e to re
m
oval of pipli
b
as a su
b
m
odu
l
e
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
doc: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
isl_s
t
ream_read_obj: add support
fo
r
r
eading piec
e
w
i
se
.
.
.
commit
|
commitdiff
|
tree
next