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_set_is_bounded
2010-04-13
Sve
n
Verdoolaege
isl_map_transitive_cl
o
sure: coale
s
ce input map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_transit
i
ve_closu
r
e
.
c: construct_component: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
do
c
:
c
i
te Omeg
a
library docume
n
tation on comp
u
tation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven
V
e
r
doolaege
ad
d
is
l
_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
isl_arg
.
h: add miss
i
ng
i
nclude
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
isl_basic_map_m
o
v
e_dims:
normalize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
rename isl_m
a
p_move
t
o isl_map_move_dims
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
isl_op
t
i
ons_parse: only parse known o
p
t
i
o
n
s by default
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_map_
c
losure: option
a
ll
y
u
s
e O
m
ega-like alg
o
rithm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoo
l
aege
isl_
c
losure: take option
s
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
isl_map
_
af
f
ine_hull: handle non-obv
i
ously empty input
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n
Verdool
a
e
g
e
i
s
l_
m
ap_co
m
pute_
d
iv
s
:
handle non-obviously empty
inp
u
t
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n V
e
rdoolaege
isl
_
basic
_
set_preimag
e
: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoola
e
ge
isl_b
a
sic_ma
p
_set_to_empt
y
: add missing
assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
rd
o
o
l
aege
isl_
e
q
u
alities
.
c: isl_mat_variable_compression: c
l
ar
i
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Verdo
o
laege
isl_sample
.
c
:
initi
a
l_basis
:
set n_unbounded and n_ze
r
o
commit
|
commitdiff
|
tree
2010-04-09
S
ven Verdoolaege
isl_map_coalesce: only use non-r
e
dund
a
nt constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
S
v
en Verdoolae
g
e
isl_ma
p
_prin
t
: allow empty con
s
traints
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_o
p
tions
.
h:
allow i
n
c
lusion from C++
commit
|
commitdiff
|
tree
2010-04-09
Sven
V
erdoolaege
isl
_
arg
.
h:
a
llow
incl
u
s
ion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erd
o
ol
a
ege
isl_map_t
r
ansitive_closur
e
:
h
andle
e
xis
t
ential
s
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdo
o
l
a
eg
e
i
sl_m
a
p_deltas: preserve
di
m
e
ns
i
on na
m
es
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
isl_map_pr
i
nt:
s
u
p
port LaTeX output format
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
V
erdoolaege
isl_map_simp
l
ify: don't
r
e
move
any d
i
v d
e
finitio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
isl
_
m
ap_intersect: add speci
a
l cases for
e
mpty in
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isl_transiti
v
e
_closure
.
c: path_along_delta
:
sha
r
e code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olae
g
e
isl_tr
a
nsitive_closure
.
c: path_a
l
ong_delta:
t
ry and
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verd
o
o
l
aeg
e
export isl_qpolyn
o
mial_move_dims
commit
|
commitdiff
|
tree
2010-04-03
S
ven Verdool
a
eg
e
add
isl_qp
o
lynomial_
g
et
_
c
tx
commit
|
commitdiff
|
tree
2010-04-03
S
v
en Verdoolaege
add is
l
_pw_qpolynomia
l
_fold
_
g
et_dim
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdo
o
l
ae
g
e
add some qpolynomial tes
t
functions
commit
|
commitdiff
|
tree
2010-04-03
Sve
n
Verdo
o
laege
add isl_pw_q
p
o
lynom
i
al_fold_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n
V
er
d
oolae
g
e
is
l
_tab_m
i
n_at_most_
n
eg_one: r
e
st
o
re sample value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l_map_coalesc
e
: avoid reconsidering pa
i
rs
c
on
s
id
e
red
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven V
e
rdoolaege
isl_tab
.
c: up
d
ate deb
u
gging
ai
d
che
c
k_table to presence
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdo
o
laege
isl_tab_relax:
m
ake sure no non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verdoolaege
i
sl_tab_pip
.
c
:
a
l
w
ays
set
r
ow s
i
gn of foun
d
r
ow
t
o
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Ver
d
oolaege
isl_
p
r
inter_
p
r
i
nt_basic_{s
e
t,
m
ap}: add clos
i
ng
"}"
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
Verdoolaege
export i
s
l_s
e
t_split_dims
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n
V
erdoo
l
aege
add isl_set_rec
e
ssion_c
o
ne
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoo
l
aege
add isl_set_d
i
m_is_bounde
d
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaeg
e
isl_map_transitive_clo
s
ure: brea
k
early if inpu
t
map
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transitive_c
l
osure: coalesce a
f
te
r
each ste
p
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
export isl_pw_
q
polynomial_c
o
a
l
esc
e
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl
_
t
ab
.
c: unrelax: restore row
i
f variable is
n
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sv
e
n
V
e
rdoolaeg
e
isl_tab
.
c: cut_to_hyperpla
n
e: add extra sa
n
ity check
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoo
l
a
e
ge
add i
s
l_pw_qpolynomial_fold_size
commit
|
commitdiff
|
tree
2010-03-30
S
v
en
V
erdoola
e
ge
a
d
d isl_pw_qpolynom
i
al_split_
d
ims
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
rdoo
l
aege
isl_qpolynomial_max: fix detection of inacti
v
e var
i
ab
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
d
o
o
laege
doc: fix transi
t
ive c
l
osure example
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
r
doo
l
aege
i
s
l_conve
x
_hul
l
.
c: valid_d
i
rec
t
i
on: pr
o
perly normalize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
i
sl_convex_hull
.
c: sim
p
lif
y
co
m
putation
of initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export isl_pw_qpol
y
nom
i
a
l_is_zero
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdo
o
laege
a
d
d isl_pw_qpolynomial_fold_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sven
Verdoo
l
aege
add
i
sl_int_g
e
t_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
add
isl_pw_qp
o
lynomial_m
i
n
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n V
e
rdoo
l
aege
add isl
_
pw_qpo
l
yno
m
ial_f
i
x_di
m
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdo
o
laeg
e
add isl_pw_q
p
olynomial_add_dims
commit
|
commitdiff
|
tree
2010-03-23
S
ven Ve
r
doolae
g
e
e
x
por
t
isl_dim_mo
v
e
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw_qpoly
n
o
m
i
al_f
o
ld_add: remove redundant
q
uasipoly
n
omi
a
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdool
a
ege
i
s
l
_qpolynomial_alloc: take initial
s
truct is
l
_upoly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven
V
erdoolaege
add isl_set_so
l
ve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoola
e
ge
i
s
l_polynomi
a
l
.
c: separate out fold fun
c
tionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Ver
d
oolaege
i
sl_
p
w_qpolynomial_{fo
l
d_,}print: set output format
commit
|
commitdiff
|
tree
2010-03-21
S
v
en Verdo
o
l
a
ege
i
mpro
v
e i
s
l_pw_qpolynom
i
al_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolaege
add isl_
m
at_move_cols
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
doc
:
fix typ
o
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
add basic isl_pw
_
qp
o
lynomial_
f
old_coales
c
e
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
add isl_pw_qpolynomial_fold_get_ctx
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ver
d
oolaege
isl_prin
t
er_print_pw_qpoly
n
omial
{
,_fol
d
}: a
l
low printing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
do
o
laege
add
i
s
l
_qpolynomi
a
l_get_den
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
ad
d
isl_pw_qpolynomial_gist
a
n
d
i
s
l
_
p
w_
q
polynomial_f
o
ld_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
export
i
sl
_
map_g
i
st
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
add isl_map_inse
r
t
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
add isl_printer
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
a
d
d
isl_p
w
_qpolynomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isl_qpolynomi
a
l
_
add
:
repl
a
ce 0-degree po
l
ynomia
l
s by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
a
dd isl_s
e
t_elimin
a
te
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
i
sl_
m
ap_range:
o
ptim
i
ze case where the number
o
f input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
isl_p
w
_qpolynomial_print:
f
i
x
p
r
i
n
t
i
ng of u
n
na
m
ed p
i
ecewis
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdoolaege
doc
u
ment
transitive closure implementation
commit
|
commitdiff
|
tree
2010-03-13
Sven Verdoolaege
isl_stream: ac
c
ept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaeg
e
add isl
_
pw_
*
_intersec
t
_dom
a
in
commit
|
commitdiff
|
tree
2010-03-12
S
v
en Verd
o
ol
a
ege
add isl_pw_*_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
a
e
g
e
is
l
_pw_templ
.
c:
c
opy: fix return
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
is
l
_polynomia
l
.
c: qpolynomial_f
o
l
d_alloc
:
fix up conditi
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rd
o
olaeg
e
up
d
ate AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
isl_pip
:
use i
s
l
_
s
et
_
print
inst
e
ad of isl
_
set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
add some pip
t
ests
f
r
o
m the
piplib d
i
strib
u
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
don't
pr
i
nt
ne
w
l
i
ne in ISL_FORMAT_I
S
L
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
use typedef to ensur
e
arg
u
ment t
o
mp_get_memory_func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erd
o
olaege
a
dd isl_
o
bj_pw_q
p
olynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ve
r
doolaege
ad
d
isl_pw_qp
o
ly
n
o
mial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
a
dd isl_
p
w_qpolyno
m
ial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoo
l
aege
a
dd isl
_
pw_qpolynomial_f
o
reach_
l
ift
e
d_pi
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
o
o
lae
g
e
add is
l
_set_fro
m
_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_mat
_
ins
e
r
t_cols
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
add
isl_pw_qpo
l
ynomi
a
l_dim
commit
|
commitdiff
|
tree
next