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_basic_map_intersect: avoid NULL pointer dereference
2010-04-15
S
v
en
V
erdoolaege
d
o
c:
fix t
y
po
s
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doolaege
is
l
_s
e
t_gist:
m
ake context ar
g
ument an isl_se
t
for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verd
o
o
laege
isl
_
map_transitiv
e
_closure: coalesce input map
commit
|
commitdiff
|
tree
2010-04-13
S
ven
V
e
rdoolaege
isl
_
tra
n
si
t
i
v
e_closure
.
c: co
n
s
t
ruct_compon
e
nt: a
l
ways
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Ver
d
oola
e
g
e
doc:
cite Ome
g
a library documentation on c
o
m
putation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdool
a
ege
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
Sven
Verdoolae
g
e
i
sl_
a
rg
.
h
:
add m
i
s
sing includ
e
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
isl_b
a
sic_map_mo
v
e_di
m
s: normalize equalities
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaeg
e
r
ename isl_ma
p
_m
o
v
e
to
i
s
l
_m
a
p_move_dims
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaeg
e
isl_opti
o
ns_parse: only pars
e
known opt
i
o
n
s
by d
e
fault
commit
|
commitdiff
|
tree
2010-04-10
S
ven Verdoolae
g
e
i
s
l_map_closure: optionally use Omega-l
i
ke al
g
o
r
i
thm
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_closure: take
op
t
i
ons
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
i
s
l_map_affin
e
_hull: handle non-
o
bvio
u
sly empty in
p
ut
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdo
o
laege
i
s
l_map_compute_divs: handle non-obviously em
p
ty input
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
i
s
l_basic_set_
p
reimage: add extra sanity check
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
e
rdoolaege
isl_basi
c
_map
_
s
et_to_empty: add miss
i
ng assignment
commit
|
commitdiff
|
tree
2010-04-10
Sven
Verdo
o
laege
isl
_
equalities
.
c: isl_mat
_
variable_c
o
mpression: clari
f
y
.
.
.
commit
|
commitdiff
|
tree
2010-04-10
Sven V
e
r
doolaege
isl_sample
.
c: i
n
itial_basi
s
: set n_unbounded and n_zer
o
commit
|
commitdiff
|
tree
2010-04-09
Sven V
e
rdoolae
g
e
i
s
l_map_
c
oalesce: onl
y
use non-redundant const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-04-09
Sven
Verdo
o
l
a
ege
isl_map
_
print:
allow empty co
n
st
r
a
i
nts
commit
|
commitdiff
|
tree
2010-04-09
Sven Verdoolaege
isl_options
.
h:
a
llow inclusion
fr
o
m C+
+
commit
|
commitdiff
|
tree
2010-04-09
Sve
n
Verdoo
l
aege
isl_arg
.
h
:
allow
i
nc
l
usion from C++
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doo
l
aege
isl
_
map_
t
r
a
nsi
t
ive_
c
losure: h
a
ndle e
x
istent
i
als
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoo
l
aege
isl_map_deltas: prese
r
v
e dimension names
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl_ma
p
_print: support LaT
e
X o
u
tpu
t
forma
t
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
isl_map_sim
p
l
ify: don't
r
emove any d
i
v defini
t
ion
s
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven V
e
rdoolaege
isl_
m
ap_intersec
t
:
a
dd special c
a
ses for empty
i
nput
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
isl_transitive_closure
.
c: path_along_delta: sha
r
e code
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdo
o
laege
isl_
t
rans
i
tive_cl
o
sure
.
c
: pa
t
h_alon
g
_delta: try an
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
export isl_qpolynom
i
al_move_dims
commit
|
commitdiff
|
tree
2010-04-03
Sv
e
n Verdoola
e
ge
add isl_qp
o
l
y
nomi
a
l_get_ctx
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
olaege
add
isl_pw_qpo
l
ynomial_fold_get_d
i
m
commit
|
commitdiff
|
tree
2010-04-03
Sven Verd
o
ol
a
ege
add some qpolynomial
test f
u
n
c
ti
o
ns
commit
|
commitdiff
|
tree
2010-04-03
Sven Verdool
a
e
g
e
add isl_
p
w_qpol
y
nomial_f
o
ld_{max,min}
commit
|
commitdiff
|
tree
2010-04-02
Sv
e
n Verdoolaege
is
l
_ta
b
_min_at_most_ne
g
_one: r
e
store sample
value of
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
isl
_
map_coal
e
s
ce: avoid r
e
considering p
a
irs
c
o
n
sidered
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sve
n
Verd
o
olaege
i
sl_tab
.
c: update
d
e
b
ug
g
ing ai
d
check_table to presen
c
e
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdoolaege
i
s
l
_
tab_relax: m
a
ke sur
e
n
o non-negative rows get a
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven Verdool
a
eg
e
isl_tab_pip
.
c
:
a
lways set row sign of found ro
w
to
.
.
.
commit
|
commitdiff
|
tree
2010-04-02
Sven
V
e
rdoo
l
aege
i
s
l_printer_print_basic_{set,m
a
p
}: add clo
s
in
g
"
}"
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
e
r
doolaege
expor
t
i
sl_set_spl
i
t_dims
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
add
i
s
l_set_reces
s
i
on_co
n
e
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
ol
a
ege
a
d
d isl_set_dim_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-04-01
S
ven V
e
rdoolaege
isl_map_transitive_closure: break early if inpu
t
m
a
p
.
.
.
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
isl_map_transitive_closu
r
e: c
o
alesce after each st
e
p
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
V
erdoolaege
ex
p
ort isl_pw_q
p
olyno
m
ial_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verd
o
olaege
isl_
t
ab
.
c: unrelax: rest
o
re
r
ow if
v
a
ri
a
ble is non
.
.
.
commit
|
commitdiff
|
tree
2010-03-30
Sven
Verd
o
olaege
isl_
t
ab
.
c: cut_to_hyperplane: ad
d
extra
san
i
ty check
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oola
e
ge
a
dd isl_pw_qpolynomial_fo
l
d_size
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
d
o
ola
e
ge
add isl_pw_q
p
olyno
m
ial_split_dim
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
isl_qpolynom
i
al_max:
fix det
e
ction
o
f i
n
active variables
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
doc:
f
ix transitiv
e
closure example
commit
|
commitdiff
|
tree
2010-03-23
Sven
Ve
r
doo
l
a
e
ge
is
l
_conve
x
_hul
l
.
c: valid_
d
irection: p
r
oper
l
y no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
S
v
en
V
e
rdo
o
lae
g
e
i
sl_convex
_
hull
.
c: simplify
c
o
mputation
o
f initial
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
export isl_pw_qpolynomial
_
is_ze
r
o
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
add isl_pw_
q
p
o
l
ynomi
a
l_
f
old_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaege
add i
s
l_int_get_d
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
add
i
sl_
p
w_qpoly
n
om
i
al
_
m
i
n
commit
|
commitdiff
|
tree
2010-03-23
S
v
e
n
Verdoolaege
add isl_pw_qpolynomial_fix_dim
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
o
l
aege
a
d
d isl_pw_qpolynomial_a
d
d_dims
commit
|
commitdiff
|
tree
2010-03-23
Sven V
e
r
dool
a
ege
export
i
sl_dim_move
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
isl_pw
_
q
p
o
lyn
o
mial_fold_add: remove redund
a
nt quasipoly
n
omi
a
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verd
o
olaeg
e
is
l
_qpolynomial_alloc:
take initial str
u
ct is
l
_
u
poly
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sven Verdoolaege
ad
d
isl_set_solve_lp
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n Verdoolaege
isl_polynomia
l
.
c
: separate out fold functionality to
.
.
.
commit
|
commitdiff
|
tree
2010-03-23
Sv
e
n
V
erdoolaege
isl_pw_qpolyno
m
ial_
{
fold_
,
}pr
i
n
t
:
set ou
t
p
u
t fo
r
mat
commit
|
commitdiff
|
tree
2010-03-21
Sven V
e
rdoolaege
i
mprove
isl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-03-20
Sven Verdoolae
g
e
ad
d
isl_m
a
t_move_cols
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add i
s
l_pw_qpolynom
i
al_drop_dims
commit
|
commitdiff
|
tree
2010-03-19
Sv
e
n Verdo
o
laege
a
d
d
isl_set_dro
p
commit
|
commitdiff
|
tree
2010-03-19
Sven Verdoolaege
add isl_pw_qpoly
n
om
i
a
l
_invol
v
es_dim
s
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
is
l
_
s
tream: accept "%" token
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaeg
e
add basi
c
isl_pw_qpolynomial_
f
old_coa
l
e
sc
e
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oo
l
aege
add i
s
l_pw_q
p
olynomi
a
l_fold_ge
t
_ctx
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
i
s
l
_
p
r
i
n
t
e
r_print_pw_qpol
y
no
m
ial
{
,_f
o
l
d
}: allow prin
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
add isl
_
qp
o
lynomial
_
ge
t
_den
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaeg
e
add
i
sl_pw_qpolynomial_
g
ist and is
l
_pw_qpolynomia
l
_fold_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
export isl_map_gist
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
add isl_
m
ap_insert
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
a
d
d is
l
_printer
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
add is
l
_pw_q
p
ol
y
nomial_max
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
aege
isl_q
p
olyno
m
ial_a
d
d
:
replace 0-
d
egr
e
e
po
l
ynomials by
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
a
dd isl_set_eliminate
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
e
g
e
isl_m
a
p_range
:
optimiz
e
case where the num
b
er of
input
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
i
s
l
_
pw_qpo
l
ynomial_print:
f
i
x prin
t
ing of unna
m
ed
p
iecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
l
a
ege
document
t
ransitive
c
losu
r
e implementat
i
on
commit
|
commitdiff
|
tree
2010-03-13
Sven V
e
rdoola
e
g
e
i
s
l_str
e
am: accept "
.
" token
commit
|
commitdiff
|
tree
2010-03-12
Sven Ver
d
oolaege
a
d
d isl_pw_*_intersect_
d
omain
commit
|
commitdiff
|
tree
2010-03-12
Sven Verdoolaeg
e
add isl_pw_
*
_domain
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaeg
e
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdool
a
eg
e
isl_pw_templ
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoolaege
isl_poly
n
omial
.
c: qpolynom
i
al_fold_al
l
oc: f
i
x u
p
condition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
updat
e
AUTHOR
S
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
do
o
l
a
e
ge
is
l
_pi
p
: use isl_set
_
pr
i
nt
in
s
tead of isl_set_
d
ump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
a
dd some pip tests fr
o
m the pi
p
lib d
i
stribution
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdoolae
g
e
d
o
n't
p
rint newline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
o
ola
e
ge
use ty
p
edef to ensur
e
argument to
mp_get_memory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_o
b
j
_
pw_qpolynomi
a
l_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
dd isl_pw_qpolynomial_fold_eval
commit
|
commitdiff
|
tree
next