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
export isl_pw_qpolynomial_get_ctx
2010-04-15
S
v
en Verdoolaege
i
sl_t
r
a
n
sitive_clo
s
ure
.
c: constru
c
t_component:
don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoolaege
isl_map_transitive_closure:
d
on't
a
d
d le
n
gth paramete
r
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoo
l
aege
d
oc: fi
x
typos
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoo
l
a
e
ge
isl_set_gist:
m
ake context arg
u
m
ent
an isl_set
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
isl
_
m
a
p
_transit
i
ve_closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
dool
a
ege
isl_transitive_closure
.
c
:
construct_
c
ompon
e
n
t:
always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
o
l
aege
do
c
: cite Omega librar
y
doc
u
men
t
ation on c
o
mputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
e
r
d
ool
a
e
ge
add isl_str
e
a
m_read_
m
ap
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdool
a
ege
isl_arg
.
h: add missin
g
include
commit
|
commitdiff
|
tree
2010-04-11
Sven
Ver
d
ool
a
ege
isl_ba
s
ic_map_m
o
v
e
_dims: nor
m
a
l
ize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
renam
e
i
s
l_map_move to isl_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
isl_o
p
t
i
ons_parse: only pars
e
known option
s
b
y default
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ver
d
o
o
laege
isl_map_
c
losur
e
: optionally use Ome
g
a-li
k
e algorithm
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rdoolaege
i
sl_closure
:
take optio
n
s
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map_affine_hul
l
: handle non-ob
v
iously empt
y
inpu
t
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl
_
map_compute_divs: handle non-obviously
e
m
p
ty input
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolaege
isl_basic_set_preimage
:
add extra sani
t
y
check
commit
|
commitdiff
|
tree
2010-04-10
S
v
e
n Ver
d
o
o
laege
isl
_
basic_ma
p
_set_
t
o_empty: add missing assignme
n
t
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
r
d
o
olaege
isl_equa
l
ities
.
c: isl_mat_
v
ariable
_
compression: cl
a
ri
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoola
e
ge
isl_
s
ample
.
c:
i
nitial_basis: set n_unbound
e
d a
n
d
n_zero
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Ve
r
doolaege
is
l
_map_coa
l
esce: only use n
o
n-redu
n
d
a
nt
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven Verd
o
ola
e
ge
isl
_
map_pr
i
nt
:
a
l
l
ow e
m
pty
const
r
ain
t
s
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Ve
r
doolaege
i
s
l_opti
o
ns
.
h
:
allow inclusi
o
n
f
rom C++
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdool
a
ege
i
s
l_arg
.
h: allow inclusion from C+
+
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolaege
is
l
_ma
p
_transitive_closur
e
: h
a
nd
l
e existentials
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Ver
d
oola
e
ge
isl_map_deltas: preserve dimension nam
e
s
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map
_
print: support LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_map_sim
p
lif
y
: don't r
e
m
ove any div def
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en
V
erdoolaege
i
s
l_map_intersect: add special cas
e
s for e
m
pty input
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoo
l
aege
isl_transitive_c
l
osure
.
c:
path_along_delt
a
:
share
c
o
d
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
e
r
doolaege
i
sl_t
r
ansitiv
e
_closure
.
c
:
path_along
_
d
e
l
t
a: try and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoola
e
ge
e
x
port isl_qpolyn
o
mial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoolaege
add isl_qpolynomia
l
_
g
et_c
t
x
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdoolaege
add isl_pw_q
p
olynomial
_
fold_get
_
dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdoola
e
ge
ad
d
some qp
o
lynomial test functions
commit
|
commitdiff
|
tree
2010-04-03
Sven Ver
d
oolaege
add isl_pw_qpol
y
nomial_fo
l
d_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sven
Verdoolaege
isl
_
tab_min_at_mos
t
_neg_one:
restore sample
value
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_map
_
coa
l
esce: avoid reconsideri
n
g
p
airs co
n
sidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n V
e
rd
o
olaege
isl_
t
ab
.
c: updat
e
d
e
bu
g
g
ing aid check_table to presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
r
d
o
ola
e
ge
isl_tab_relax: make
sure no non
-
negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
S
ven Verdoolaege
isl_tab_pip
.
c
:
always set row sig
n
of fo
u
nd row to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolae
g
e
isl
_
p
rin
t
er_pr
i
nt_basic_{set,map}:
a
d
d
closing
"
}"
commit
|
commitdiff
|
tree
2010-04-01
S
v
en V
e
rd
o
olaege
expor
t
isl
_
set_spl
i
t_
d
ims
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdo
o
laege
add isl_se
t
_recessio
n
_cone
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
add isl_set
_
dim_is_bounded
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
l_map_transitive_closure
:
break early if input m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolae
g
e
isl_map_tran
s
i
t
ive_closure:
coalesce after e
a
ch step
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laege
expo
r
t isl_p
w
_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
erdoolaege
isl_
t
ab
.
c: unrelax: re
s
tore
row if
v
aria
b
le is n
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolaege
isl
_
ta
b
.
c:
cut_to_h
y
perp
l
ane: add extra sanity check
commit
|
commitdiff
|
tree
2010-03-30
Sven
Ve
r
d
oola
e
ge
add is
l
_pw_qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaege
a
dd is
l
_pw_
q
polynomia
l
_
split_dim
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdool
a
ege
is
l
_qpolynomial_m
a
x:
fix detection of inactive variables
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
doc: fix tran
s
itive closure exampl
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
is
l
_con
v
ex_hull
.
c: val
i
d_
d
irection:
p
roperly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
dool
a
ege
isl_convex_hull
.
c: simplify computation of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en Verdo
o
laege
export isl_pw_q
p
olynomial_i
s
_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
d
o
olaege
add isl_pw_qpolynomial_fold_
d
im
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rdo
o
lae
g
e
add isl_i
n
t
_
g
e
t_d
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
V
e
rdoolaeg
e
add isl_pw_qpolyno
m
ial_
m
in
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaeg
e
add isl_pw_qpolynom
i
al_fi
x
_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sve
n
Ve
r
doolaege
add isl_pw_qpolynomial_ad
d
_dim
s
commit
|
commitdiff
|
tree
2010-03-23
Sven Ve
r
doolae
g
e
export
i
sl_dim_mo
v
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_
q
p
olynomial_fold_add
:
remov
e
redu
n
dan
t
quasipol
y
nomia
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl_qpolynomial
_
alloc: take initial
s
t
r
u
c
t i
s
l_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
a
d
d
is
l
_set_solv
e
_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
rd
o
ola
e
ge
is
l
_p
o
l
yn
o
m
ial
.
c: s
e
p
a
r
ate out
fold functi
o
nality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en V
e
rdo
o
l
a
e
ge
isl_pw_qpolynomial_
{
fold_,}print: set
o
utput format
commit
|
commitdiff
|
tree
2010-03-21
Sven Ver
d
oolaege
improve isl_pw_qp
o
lynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven
V
erdoolae
g
e
add isl_mat_
m
ove_cols
commit
|
commitdiff
|
tree
2010-03-19
Sve
n
V
erdoolaege
add i
s
l_pw_qpoly
n
omial_drop
_
d
i
ms
commit
|
commitdiff
|
tree
2010-03-19
Sven Ver
d
ool
a
e
g
e
ad
d
isl_set_drop
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
a
dd i
s
l_pw
_
qpol
y
nomi
a
l_i
n
volves_dims
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
isl_st
r
ea
m
: accept "%
"
token
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolae
g
e
d
oc:
f
ix ty
p
o
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
add ba
s
i
c
isl
_
pw_qpol
y
nomial_fold_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
a
d
d
isl_pw_
q
polynomi
a
l_fold_g
e
t_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdo
o
laege
isl_p
r
i
nter
_
print_pw_qp
o
lynomial{,_fold}: allow pr
i
nting
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verd
o
olaege
add i
s
l_qpolynomial_get_d
e
n
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
add isl_pw_
q
po
l
ynom
i
al_
g
ist and
i
s
l_pw_qpolynomial_fol
d
_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ver
d
ool
a
ege
ex
p
o
rt isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolae
g
e
add i
s
l_map_
i
nsert
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
V
erdoolaege
add isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erd
o
o
l
aege
add
isl_pw_qpolyn
o
mial_m
a
x
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
isl_qpolyn
o
mial_
a
dd: replace 0-degree polynomial
s
by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
laege
add isl_
s
et_elimin
a
te
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
is
l
_map_range: optimize case where the n
u
mber of inp
u
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
dool
a
ege
i
s
l
_pw_qp
o
l
y
nomial_print:
f
ix
p
rinting of unnamed pie
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
d
ocument t
r
ansitive closure implem
e
ntation
commit
|
commitdiff
|
tree
2010-03-13
Sven
Verdoolaege
isl_stre
a
m: accept "
.
"
t
oken
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoola
e
ge
add
isl_pw_*_intersect_dom
a
in
commit
|
commitdiff
|
tree
2010-03-12
Sven Ver
d
oolaege
add
i
sl_
p
w_*_dom
a
in
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
l
a
ege
isl_pw_templ
.
c
:
c
o
py: fix re
t
urn
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
l
_
polynomial
.
c
:
qpoly
n
omial_fold_alloc: fix up condition
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
laege
u
pdate AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_p
i
p: use isl_set_print
i
nstead of
i
s
l
_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
add some
p
ip tests from t
h
e piplib distr
i
bution
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolae
g
e
d
o
n't print
n
ewl
i
n
e
i
n
ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
laege
use typedef to
e
n
sure argument t
o
mp_get_memory_fu
n
c
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
next