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_polynomial.c: fix typo
2010-06-25
Sven Verdoolaege
isl_polynomial
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
rdoola
e
ge
isl_vert
i
ces
.
c: f
i
x typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
isl_morph
.
c:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Ver
d
oo
l
aege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaege
isl
_
map_s
i
mplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
g
e
i
s
l_
i
nput
.
c:
a
cc
e
pt more g
e
neral affin
e
exp
r
essions
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oo
l
aege
add isl_ve
c
_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
d
d
i
sl_vec_
s
c
a
le
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaege
add is
l
_
set
_
is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaeg
e
a
dd isl_m
a
p_is_tran
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolae
g
e
e
xport isl_qpolynomial_involve
s
_dims
commit
|
commitdiff
|
tree
2010-06-21
S
ven Verdoo
l
aege
isl_
p
ol
y
n
omia
l
.
c: add missing in
c
l
u
de
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n V
e
rdoo
l
aege
i
s
l_map
_
trans
i
t
i
v
e
_
c
losure:
c
h
eck whether d
e
composition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
a
dd isl_stream_flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
r
d
o
olaege
add isl_st
r
e
am_ski
p
_
l
i
ne
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaege
ad
d
rud
i
mentar
y
er
r
or reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
isl_point_al
l
oc: avoi
d
potent
i
al
memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
d
oc: document isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoola
e
ge
isl_tab_pip
.
c: c
o
mpare all coeff
i
c
ien
t
s
w
hen
c
he
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
erdoolaege
isl_pw_qpolynomia
l
{,_
f
o
ld}_gist:
u
se
s
i
mple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
o
o
l
aege
add isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
a
dd isl_st
r
eam_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
do
c
: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_qpol
y
nomi
a
l_lif
t
: fix
l
ifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdool
a
ege
optionally (an
d
by default) use ber
n
stein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
private
l
y
export
i
sl_qpolyn
o
mial_fold
_
fold_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
i
sl_pw_qpolynomial_fold_for
e
a
ch_p
i
ec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
o
l
aege
a
d
d isl_morph_dom_dim a
n
d isl
_
morph_ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
ad
d
isl_basic_ma
p
_
is
_
rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
pr
i
v
ate
l
y
e
xport
isl_b
a
sic_set_sort_const
r
aints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
dool
a
ege
isl_t
a
b
_
detect_implicit_equalit
i
es: also d
e
tect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
sl_
t
ab: optionally only ma
r
k strictly re
d
undant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
gen
e
ralize i
s
l_p
w
_qpolynomial_b
o
und to isl_
p
w_
q
polynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
ex
t
r
act out
g
eneric part of isl
_
pw_qpolynomial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw_qp
o
lynomial_
b
ound_range: also s
e
t exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Ve
r
doolaege
add isl_basic
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
ex
p
ort is
l
_pw_qpoly
n
o
mial_fold_d
r
op_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export i
s
l
_
qpol
y
nomi
a
l_is
_
zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
a
e
ge
add isl_qpolyno
m
ial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpolynom
i
al_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oolaege
e
xport i
s
l
_
q
polynomi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ver
d
oolaege
ad
d
is
l
_qpolyno
m
ial_homogen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
add i
s
l_qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
add
isl_qpoly
n
omial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add isl_qpo
l
ynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
isl_ctx:
add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
i
sl_tab_detect_imp
l
icit_equalities: return integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
ad
d
isl_t
a
b_si
g
n_of_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_sele
c
t_facet: ret
u
r
n
in
t
i
nstead
o
f
i
sl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
isl_b
a
sic_
s
et_
f
u
l
l_
c
o
mpres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
oolaege
privately export isl_pw_qpolyno
m
ial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_qpolynomia
l
_fold_foreach_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
add isl_pw_qpolynomial_f
o
ld_
f
oreach_
l
i
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
expo
r
t isl_pw_qpolynomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdool
a
ege
privately
e
xp
o
rt isl_m
o
r
ph_a
l
loc and
i
s
l_mo
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpolynomial_fold_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
expo
r
t
isl_
p
w_qpolynomia
l
_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
c
tx
_
p
e
ek_options
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
export is
l
_set_is
_
bound
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_bo
u
nd: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoola
e
ge
fi
x
isl_qpolynomial_
f
ol
d
_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_pw_qpolynom
i
a
l
_
bound_rang
e
: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
b
ound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
doo
l
aege
doc: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
oolaege
doc
:
docu
m
ent is
l
_
c
o
nstra
i
nt_is_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
Verdoolaeg
e
add isl_map_is_single_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
is
l
_
b
asic_map_foreach_
c
onst
r
a
int: make
s
ure in
p
ut ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_cop
y
:
mark du
p
licated copy as f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
S
ve
n
Verdoolaege
isl_ba
s
ic_set_lift
:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoo
l
a
e
ge
i
s
l_
b
asi
c
_
map_mov
e
_dims:
a
l
w
ays f
i
n
a
lize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdool
a
ege
i
sl_basic_map
_
from_constraint: fina
l
iz
e
result
commit
|
commitdiff
|
tree
2010-06-01
S
ven
Verdoolaeg
e
isl_access
_
inf
o
_compute_flow: handle may a
c
c
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_info_compute_flow: hand
l
e mul
t
i-
v
alued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some unused
v
ariables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl
_
p
w_qpoly
n
omial
_
move an
d
add isl_pw_qpolynom
i
al
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rd
o
olaege
isl_ctx: keep trac
k
of user o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verd
o
olaege
improved argument parsin
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdo
o
laege
isl_options_parse: p
r
i
nt hel
p
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
a
d
d
isl_bo
u
n
d
test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
d
d i
s
l_p
w
_
qpolyn
o
mia
l
_bound_
r
a
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add i
s
l_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
rudimentary i
s
l_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
do
o
l
a
ege
add
isl_
s
eq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
isl_equalities
.
c: f
i
x t
y
po
i
n c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
a
dd
i
s
l
_mat_insert_
r
ows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ve
r
doolae
g
e
add isl
_
mat_no
r
mali
z
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verd
o
o
laege
add isl_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_
m
at_lin_to_aff: f
i
x error h
a
ndling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl_qpoly
n
omial_opt_
o
n
_
domain
:
handle
empt
y
in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
is
l
_n
a
m
e
_alloc: f
i
x er
r
or handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoo
l
aege
add
isl_
d
i
m_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
equalities
.
c: fi
x
typos
in c
o
mments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_pw_
q
polynomial_fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpol
y
nomial_le_cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolae
g
e
privately e
x
port i
s
l_se
t
_i
s
_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
ad
d
i
sl_
s
et_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_set_
s
can
commit
|
commitdiff
|
tree
next