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
add isl_stream_flush_tokens
2010-06-19
Sven V
e
r
d
oolaege
add isl_stream_f
l
ush_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoo
l
aege
add isl_
s
tre
a
m_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdoolaege
add rudimentary error reporting m
e
chanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add isl
_
v
e
rsion
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
i
s
l_poi
n
t_alloc: avo
i
d poten
t
ial memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaeg
e
doc: docu
m
e
nt
isl
_
map_
d
e
l
t
as
commit
|
commitdiff
|
tree
2010-06-15
Sv
e
n Verd
o
olaege
isl_t
a
b_pip
.
c: compare all coeff
i
cient
s
w
h
en checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qpolynomial{,_f
o
ld}
_
gist: use simp
l
e h
u
ll
inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoo
l
ae
g
e
add isl
_
set_s
e
t_d
i
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
ge
add isl_stream_read_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdool
a
e
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_qpoly
n
omial_lift: fix lif
t
ing in absence
o
f
di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
o
ptionally (and b
y
default) use
b
ern
s
t
e
in expa
n
sion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
privately exp
o
rt isl_q
p
o
l
y
nom
i
al_fold_fold_on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add isl_pw_qpolynomial_fo
l
d_fo
r
ea
c
h_piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
o
o
lae
g
e
add param
e
tric vertex
enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdool
a
ege
add isl_morph_dom_
d
i
m
and isl_morph
_
ra
n
_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
ae
g
e
a
d
d isl_ba
s
i
c
_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
ely ex
p
o
r
t isl_
b
as
i
c_set_sort_constraints
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
i
s
l_tab_detect_im
p
licit_
e
qualiti
e
s:
a
lso det
e
c
t
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
l_tab: optionally onl
y
mark st
r
ictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize isl_pw
_
q
polyno
m
ial_bound to isl_
p
w_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
ex
t
ract out generic part of isl
_
pw_qpolynom
i
al_bound_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw_qpoly
n
omi
a
l_bound_range:
a
lso set ex
a
ctne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_basic_se
t
_factori
z
e
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
e
x
port i
s
l
_
p
w_qpolynomial_fold
_
drop
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
ex
p
ort isl_qp
o
lynom
i
al_is
_
ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaeg
e
add isl_qpolynom
i
a
l
_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl
_
q
po
l
ynom
i
al_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
export isl_qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
a
d
d isl_qpolyno
m
ial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
isl_qp
o
ly
n
o
m
i
a
l_de
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d isl_qp
o
l
ynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
add is
l
_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
er
d
o
o
l
aege
isl_ctx: add
two
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doolaege
is
l
_tab_detec
t
_implicit_equalities:
r
eturn integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoo
l
aege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_tab_sel
e
ct_facet:
r
e
t
urn int inst
e
ad of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl
_
b
a
s
i
c
_
set_full_
c
ompression
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
privately e
x
port isl_pw
_
qp
o
lynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_qpolynomial_
f
old_foreach_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
add isl_p
w
_q
p
olynomial_
f
old_f
o
reach_lifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl_pw
_
qpol
y
nomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
d
o
olae
g
e
privately export is
l
_morp
h
_al
l
oc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add isl_
q
polynomial_
f
old_get_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
la
e
ge
e
x
port
isl_pw_qpoly
n
omial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_ctx_peek_option
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
oolaege
isl_ra
n
ge
.
c:
f
i
x
t
ypo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort
isl_set_
i
s_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
is
l
_boun
d
:
p
l
ug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
fix isl_qpolynomi
a
l_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doo
l
aege
isl_pw_qpolynomial
_
bound_range: fix removal of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
add boun
d
_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ve
r
doola
e
g
e
doc: document gist o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
doc:
d
ocument isl
_
c
o
n
s
t
rain
t
_i
s
_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erd
o
olaege
add isl
_
map_is_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
isl
_
basic_map
_
foreac
h
_constraint:
m
a
k
e sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_basic_
m
ap_copy: mark du
p
licated copy
as fina
l
ized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl_basic_se
t
_lift: f
i
nalize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl_basic_map_move_dims: alway
s
finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaege
is
l
_basic_map
_
from_constraint:
finalize
re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
a
e
ge
is
l
_acc
e
s
s_in
f
o_c
o
mpute_fl
o
w: handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verdo
o
laeg
e
isl_access_info_compute_flow: h
a
n
dle mu
l
ti-valued sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
d
oolaege
r
emove some unused
v
ariables
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
f
ix
s
ome ic
c
w
arnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
o
olaege
rename isl_pw_qpolynomial_mo
v
e and add isl_pw
_
qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl
_
ctx: ke
e
p track of
u
s
e
r options
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved a
r
g
u
ment pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
isl_options_parse: pr
i
nt
he
l
p me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
doolaege
ad
d
isl_bo
u
nd test applica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rd
o
olaege
add isl_pw_qpolynomial_bo
u
nd_ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
eg
e
ad
d
isl_p
w
_
qpo
l
yn
o
mia
l
_fold_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verd
o
ol
a
e
g
e
add r
u
dim
e
n
t
ar
y
isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_se
q
_set
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doolaege
isl_equalities
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
add i
s
l_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
ad
d
i
s
l
_ma
t
_
normaliz
e
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_mat_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
isl_ma
t
_lin_to_
a
f
f
:
f
i
x er
r
or
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
i
sl_q
p
olynomi
a
l_opt_
o
n_domain: han
d
l
e
empty input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
i
sl_
n
ame_a
l
loc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix
typos in c
o
mmen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add is
l
_
p
w_
q
polynom
i
al_f
o
ld
_
c
ove
r
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d i
s
l_
q
polynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
priv
a
tely expo
r
t isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add i
s
l_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
d
d is
l
_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
add isl
_
stream_read_pw_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Ver
d
oolaege
a
d
d is
l
_
qpolyn
o
mia
l
_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doo
l
aege
ad
d
isl_basic
_
set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
a
d
d i
s
l_qpolynomia
l
_
a
s_polynomial_on_d
o
main
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
add i
s
l_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_basi
c
_set
_
d
ims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
er
d
oolaege
i
sl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
V
erdoolaege
add isl_qp
o
lynomi
a
l
_
negin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
S
ven V
e
rd
o
ol
a
eg
e
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdo
o
la
e
ge
i
s
l
_qpoly
n
omial_fold_opt_on_domain:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ve
r
doolaege
i
s
l_
p
w_*_eval: f
i
x
h
a
n
dling of empty inp
u
t
commit
|
commitdiff
|
tree
next