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
rdoolaege
add isl_strea
m
_f
l
ush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
ad
d
i
s
l_stream_skip_
l
ine
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
a
dd r
u
dimenta
r
y erro
r
repor
t
i
ng
mecha
n
ism
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
d
oolaege
a
dd isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
i
s
l_point_all
o
c: avo
i
d p
o
ten
t
i
al memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n Verdoo
l
aege
do
c
:
document isl
_
map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l
_tab_pip
.
c: compare all coeff
i
cients
when c
h
ecking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_pw_qpolyn
o
m
ial{,_fold}_gist: us
e
simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add isl
_
set_
s
et
_
dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
o
l
a
e
ge
a
dd isl
_
st
r
e
am_
r
ea
d
_set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
ola
e
g
e
is
l
_qpol
y
no
m
i
al_lift: fix l
i
fting
i
n absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
optionally (and
b
y
d
e
fault)
u
se bernstei
n
expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdool
a
ege
p
rivately
e
xport isl_q
p
oly
n
omial_fold_
f
ol
d
_on_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_pw_qpolynomial_fol
d
_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add parametric vertex enum
e
ration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
e
ge
add isl_morph_dom_dim and isl_mor
p
h
_
r
an_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d
isl_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
privately ex
p
or
t
i
s
l_b
a
sic
_
set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_
t
ab_det
e
c
t_implici
t
_equalities: also dete
c
t m
a
nife
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
isl_tab:
optionally only
m
a
rk st
r
i
c
t
l
y redu
n
d
a
nt rows
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaeg
e
generalize isl_pw_qpolynomi
a
l
_
bound to i
s
l_pw_qpol
y
nomi
a
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
extract out gene
r
ic part
o
f i
s
l_pw_qpolynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
isl_pw_qpo
l
ynomial_bound_r
a
n
g
e: also set
exactn
e
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
ad
d
isl_basic
_
set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
p
w
_
qpolynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomial
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add i
s
l_qpo
l
ynomial_coef
f
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
l
a
ege
add isl_qpolynomial
_
from_affin
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
e
g
e
e
xport isl_qpolynomial_add_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
a
dd isl_qpo
l
ynomial_
h
omogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
ege
a
dd isl_q
p
o
lynomial_de
g
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
e
ge
add
i
sl
_
qpol
y
no
m
ia
l
_
i
n
ser
t
_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
add isl_qpolyn
o
mial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoo
l
aege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_t
a
b_detect_implicit_equalities: return intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add isl_tab_
s
ign
_
of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_ta
b
_selec
t
_facet: return
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set
_
fu
l
l_co
m
p
r
ession
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
private
l
y ex
p
ort
i
s
l_pw_qpolynomial_m
o
rph
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_
q
polynom
i
al_f
o
ld_foreach_qpolyn
o
mial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add is
l
_p
w
_qpolynomi
a
l_f
o
ld
_
foreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
olaege
export
i
s
l_pw_qpolynomial_fold
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oo
l
aege
priva
t
e
l
y export isl_morph_alloc and isl_morph_identit
y
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
add isl_qpolynomia
l
_fold_get_t
y
pe
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
export
i
sl_pw_qpol
y
n
omial_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_pee
k
_
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl
_
r
ange
.
c
: fi
x
typo in
comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
exp
o
rt isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdo
o
laege
isl_bound: plug me
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
fix isl_q
p
olyn
o
mial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
isl_pw_qpol
y
n
o
m
ial_b
o
u
n
d
_
ra
n
ge: fix
r
em
o
val
of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
ad
d
bound_tes
t
.
sh t
o
d
istribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoo
l
aeg
e
d
oc: documen
t
gist
o
perations
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoo
l
aege
doc:
d
o
c
ument isl_co
n
s
traint_is
_
equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdool
a
e
ge
a
d
d is
l
_map_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verd
o
olaege
isl_ba
s
ic
_
map_for
e
ach_constraint:
make sure i
n
put h
a
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoola
e
g
e
isl_
b
asi
c
_
m
a
p
_copy: mark duplicated
copy as final
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
o
l
aege
isl_ba
s
ic_set_lift: finalize
r
esult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
i
s
l_
b
asic_map_move_
d
ims: always finaliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
ege
isl_basic_map_
f
ro
m
_constraint:
fin
a
lize r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
isl_access_info_compute_flow: handle may access
e
s
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verdoolae
g
e
isl_access
_
in
f
o
_compute_f
l
ow
:
handl
e
mu
l
ti-val
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdool
a
ege
remo
v
e som
e
unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
r
e
name
i
s
l
_p
w
_qp
o
lynomia
l
_move
a
nd add isl_p
w
_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
isl_ctx: ke
e
p track of user options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoo
l
aege
improved
argu
m
ent parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse: print
help messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add i
s
l_
b
ound test ap
p
lication
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
a
d
d
isl
_
pw_qpolynomial_
b
ound_
r
a
ng
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_
p
w_qpolynomi
a
l_fold
_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimen
t
ary isl_morp
h
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoo
l
a
ege
add is
l
_se
q
_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolae
g
e
isl_equal
i
ties
.
c: fi
x
typo in
comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_ma
t
_in
s
ert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d
i
s
l_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_mat
_
diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oola
e
ge
isl_mat_lin_to_aff: f
i
x error
handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
isl_
q
polynomial_op
t
_on_domai
n
: handl
e
emp
t
y input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name
_
a
lloc: fi
x
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdo
o
laege
isl_equalities
.
c: fix typos
in comment
s
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
e
rdoolae
g
e
add
i
sl_pw_qpo
l
y
nomial_
f
old_covers
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_q
p
olynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdoolaege
privat
e
ly e
x
port isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaeg
e
a
d
d isl
_
s
e
t_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
eg
e
add
isl_set_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
o
o
laege
add isl
_
stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
add isl_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_
q
polynomial_fr
o
m_co
n
strain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolaeg
e
a
d
d isl_
b
asic_
s
et_foreach_bo
u
nd_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add
isl_
q
po
l
ynomial_as_polynomial_on_dom
a
in
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolaege
ad
d
is
l
_q
p
olyno
m
ial_substit
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
aege
add isl_basi
c
_set
_
dims_get
_
sig
n
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
e
g
e
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add isl_qp
o
l
ynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdo
o
lae
g
e
add i
s
l_basic_se
t
_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
i
sl_qp
o
ly
n
o
m
ial_fold_opt_on_do
m
ain: fix typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ol
a
ege
i
s
l_pw_*_e
v
al: fix handling of em
p
ty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoo
l
aege
add is
l
_
basic_set
_
move_dims
commit
|
commitdiff
|
tree
next