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_vertices.c: fix typos
2010-06-25
S
v
en Ve
r
doolaege
isl_v
e
rtices
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolae
g
e
isl_mor
p
h
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl_
m
ap
.
c: f
i
x t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_map_simplify
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdoolaege
isl_input
.
c: a
c
cept more genera
l
a
f
fine e
x
pressions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolaege
add
isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoolae
g
e
add isl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
laeg
e
add isl_map_is_transla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
e
x
port isl_qpolynomial_involves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
Verdoolaege
isl_pol
y
n
omia
l
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_
m
a
p_
t
r
ansitive_cl
o
sur
e
: check whether decomp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oo
l
aege
add isl_stream_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaeg
e
add isl_str
e
am
_
skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ver
d
o
o
laege
add r
u
dimentary error reporting
m
ec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoola
e
ge
a
d
d isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_
p
oint_alloc:
avo
i
d potentia
l
memory
leak
o
n erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
Verdo
o
laege
do
c
:
d
ocument isl_map_del
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pi
p
.
c: co
m
pare
a
ll coeff
i
cients when
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdool
a
ege
isl_
p
w
_qpoly
n
o
mi
a
l
{,_fold}_gist:
u
s
e simple h
u
l
l inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_set_set_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_
s
tream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_qpolynomial_lift: fix
l
ifting i
n
absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
opti
o
na
l
ly (a
n
d by
default) use bernstei
n
e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
o
o
laege
p
r
iva
t
ely expo
r
t isl_
q
p
olynom
i
a
l
_fold_fold_on_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_pw_
q
po
l
y
n
omial_fold_for
e
ach
_
p
i
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add pa
r
ame
t
r
i
c
v
e
r
t
ex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
ad
d
isl
_
morph_dom_dim and isl
_
morph_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
add isl_basi
c
_
m
ap_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately
export isl_b
a
si
c
_set_sort_constraints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
isl_
t
ab_de
t
e
ct_im
p
licit_equalities: also detect
manife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_tab: opti
o
nally only mark
st
r
ictly re
d
u
ndant r
o
ws
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
gen
e
ralize is
l
_pw_qpo
l
ynomial_
b
ound to isl_pw_qpol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
extract out generic
part of isl_pw_
q
poly
n
omial_bound_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
isl_pw_qpolynomi
a
l
_
bound_range: also
s
et
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verd
o
olaege
a
dd i
s
l
_
basi
c
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
e
x
port isl
_
pw_qpoly
n
o
m
ial_fo
l
d_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
p
o
rt isl_qpolynom
i
a
l
_
is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpolynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
ad
d
isl_qpolyn
o
m
i
a
l_fro
m
_aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expor
t
i
s
l_qpoly
n
omial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
add is
l
_
qpolyn
o
mial_ho
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
er
d
oolaege
add isl_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add isl
_
qpolynomial_insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_qpol
y
nomial_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
isl
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
eg
e
isl_tab_de
t
e
ct_imp
l
ici
t
_equa
l
ities:
r
eturn in
t
eger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolae
g
e
a
d
d
i
s
l_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_select_fa
c
et: r
e
turn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oola
e
ge
add
isl_basi
c
_set_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
privat
e
ly export isl_pw_qp
o
lynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
a
dd i
s
l
_qpolynomial_fol
d
_foreach_qp
o
ly
n
o
m
ial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaeg
e
a
d
d
isl
_
pw_qpol
y
nomial_
f
old_foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
export isl
_
pw_
q
po
l
ynomial_f
o
ld_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
ola
e
g
e
privately export i
s
l_morph_alloc and isl_morp
h
_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
s
l
_
qpolyno
m
ial_fold_get_ty
p
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verd
o
olae
g
e
export isl
_
pw_
q
polynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
add isl_ctx_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_rang
e
.
c: fix t
y
po in c
o
mment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
e
x
por
t
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
i
s
l_b
o
u
n
d: p
l
ug memory
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
f
i
x
i
sl_qpol
y
nomia
l
_fold_du
p
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
d
oo
l
aege
i
sl_p
w
_qpolynomial_bound_range: f
i
x removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
add bound_test
.
sh
t
o dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ver
d
oolaege
d
o
c: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n
V
erdo
o
laege
do
c
:
d
o
c
u
m
ent isl_
c
onstraint_is_equa
l
ity
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verdoolae
g
e
a
d
d
isl_map_
i
s_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doolaege
isl_basic_map_fore
a
ch_constr
a
i
nt:
mak
e
su
r
e
i
nput h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
is
l
_basic_m
a
p_copy: mark duplicated co
p
y a
s
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
is
l
_basic_set
_
lift:
f
inalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_move_dims: always finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
S
v
en V
e
rd
o
ola
e
ge
isl
_
basic_map_from
_
c
onstraint: finalize r
e
sult
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaege
isl_access_info_com
p
ute_flow: hand
l
e
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoola
e
ge
isl_access_
i
nfo_
c
o
m
p
ute_flow: handle
m
ulti-valued
s
in
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
V
er
d
oo
l
aege
rem
o
ve so
m
e unu
s
ed
variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
fix s
o
me icc war
n
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
V
erdoolae
g
e
r
ename isl_p
w
_qpolynomial_move and add
isl_p
w
_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_ctx: keep t
r
a
c
k
o
f
u
ser
options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaeg
e
improved argument
p
arsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
add
i
sl_bound
t
e
s
t applicat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
a
e
g
e
add isl_pw_qpolynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
erdoolaege
add
isl_pw_
q
polynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add rudimen
t
ary isl
_
m
orp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolae
g
e
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
isl
_
e
qual
i
ties
.
c: fix
typo in
comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_mat_inse
r
t_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add isl_mat_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_mat_lin_to_aff: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_q
p
o
lynomial_opt_on_domain: handle empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
ol
a
ege
isl_name_
a
lloc: fi
x
e
rror h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_equal
i
t
ies
.
c: fix typos in com
m
e
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_pw_
q
polynom
i
a
l_fold
_
cove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpolynomia
l
_l
e
_
c
st
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
priv
a
tely exp
o
rt is
l
_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add is
l
_
s
et_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
g
e
add isl_
s
et_sca
n
commit
|
commitdiff
|
tree
next