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_tab_pip.c: fix typos
2010-06-25
S
v
e
n Ver
d
oolaege
isl_tab_pip
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolaege
isl
_
t
a
b
.
c: fi
x
typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_polynomi
a
l
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_vertices
.
c
:
fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolaeg
e
i
s
l_m
o
rph
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdo
o
laege
is
l
_
map
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Verdoolaege
isl_
m
ap_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
isl_i
n
put
.
c: accept mo
r
e general affine
expressi
o
ns
commit
|
commitdiff
|
tree
2010-06-25
S
v
en
Verd
o
olaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n V
e
rdo
o
laeg
e
add i
s
l
_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdo
o
laeg
e
add isl_s
e
t_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdoolaege
add
isl
_
map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
e
x
port isl_qpolynomial_involves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Verd
o
ol
a
eg
e
isl_
p
olynom
i
al
.
c: add missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoo
l
aege
isl_map_transiti
v
e
_closur
e
: check w
h
ether decomp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdoolaege
add isl_stream_flush_t
o
k
e
ns
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oola
e
g
e
add is
l
_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
o
o
l
aege
a
dd rudimentary
e
rror reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
add is
l
_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolae
g
e
isl_point_alloc: avo
i
d pot
e
ntial memory
le
a
k on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
e
r
d
oolaege
doc: docu
m
ent
i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
doo
l
aege
isl_tab
_
pip
.
c
: c
o
mpare all coefficient
s
w
h
en che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdoolaege
isl_pw
_
qpolynomial{,
_
fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
ol
a
ege
add isl_s
e
t
_
set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven V
e
rdoolaege
add
i
sl_str
e
am_re
a
d_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_qpolynomial
_
lif
t
: fix lifting in absence
of d
i
vs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
optionall
y
(and by default)
u
se bernste
i
n expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdo
o
l
aege
p
rivate
l
y export isl_qpo
l
yn
o
mial_fold_fo
l
d_on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
a
d
d
isl_pw_qpolynomia
l
_f
o
ld_foreach
_
p
iece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add par
a
metric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
e
g
e
add isl_morph_dom_dim a
n
d isl_m
o
rph
_
ran_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
lae
g
e
ad
d
is
l
_basic_map_is_rational
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
privately export isl_basic_set_sort_constr
a
ints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
i
s
l_tab
_
detect_implic
i
t_equ
a
li
t
ies: also detect m
a
nifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
is
l
_tab: o
p
t
io
n
a
lly only
m
a
r
k
s
t
r
ictl
y
redunda
n
t rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
generalize isl_pw_qpolynomial_bound to is
l
_pw_qp
o
lynom
i
al_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
extract out gener
i
c
part of
i
sl_p
w
_qpolynomial
_
boun
d
_
r
ange
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
s
l
_pw_qpo
l
ynomial_bound_range: a
l
so set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
i
s
l
_
b
a
si
c
_set_f
a
ctorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
isl_pw_q
p
olynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
exp
o
rt
i
sl_
q
p
o
lyn
o
mial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
aege
add i
s
l_qpol
y
nomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add isl
_
qpo
l
y
nomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
export isl_qpolynomial_add
_
dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
dd
is
l
_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_qpolynomial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
e
ge
add
i
sl_qp
o
lynom
i
al_in
s
e
r
t_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
i
s
l_ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
tab_detect_implicit_equalities: return inte
g
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_ta
b
_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
e
ge
isl_tab_select_facet: r
e
turn int
i
nstead
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_bas
i
c_set_full_compressio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
privately export isl_pw_qpolynomia
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_fold_fo
r
each_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
add
i
sl_pw_qpolyno
m
ial_fold_forea
c
h_li
f
t
ed
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_
p
w
_q
p
olyn
o
mial_fol
d
_i
s
_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
privately export
i
sl_morph_alloc and i
s
l_morph_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
i
sl_qpolynomial_fol
d
_
g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
ex
p
or
t
isl_pw_qpo
l
ynomi
a
l_
g
et_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add is
l
_ctx_peek
_
options
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
isl_range
.
c
: fix t
y
po in
comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
eg
e
export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bo
u
nd: plug memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
f
i
x isl_qpolyn
o
mial_fo
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_pw_qpolynomi
a
l
_bound_range: fix re
m
oval
o
f
d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
add
bound_test
.
sh t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n
V
e
r
doolaege
d
oc:
d
ocument gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doo
l
aege
doc: documen
t
isl_con
s
traint_is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolaege
add isl_map_is_sing
l
e_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
aege
isl_bas
i
c
_ma
p
_for
e
ac
h
_
con
s
trai
n
t: make
s
ure i
n
p
ut ha
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l
_ba
s
ic_map
_
copy: mark d
u
pli
c
at
e
d
c
opy
a
s finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_basic
_
set_lift: finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
asic_map_move_dims: always finalize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_ma
p
_
from_constra
i
nt: fin
a
l
ize result
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
is
l
_access_inf
o
_
c
ompu
t
e_flo
w
:
h
an
d
le
m
ay accesse
s
commit
|
commitdiff
|
tree
2010-05-31
Sven V
e
rdoolaege
is
l
_access_in
f
o
_compute_flow: handl
e
multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
olaeg
e
remove some unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
olae
g
e
fix some icc wa
r
nings
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdo
o
lae
g
e
r
e
name
isl_pw_qpolynomial_move and
add isl_pw_qpolynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
Verdoola
e
g
e
is
l
_ctx:
k
eep t
r
a
ck
o
f user optio
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoo
l
aege
improv
e
d a
r
g
u
ment parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_o
p
t
i
o
n
s
_parse: p
r
int h
e
l
p
message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_bound te
s
t
a
pplicatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
a
dd isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verd
o
olaege
add i
s
l_
p
w_qpolynomia
l
_fold_mor
p
h
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
i
s
l
_equalities
.
c:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
do
o
laege
add
isl_m
a
t
_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_mat_diag
o
n
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
ge
isl_mat_lin
_
to_af
f
: fix error handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_qpolyn
o
mia
l
_opt_on_domain: handle e
m
pty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_
n
ame_all
o
c: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laeg
e
add
i
sl_dim_o
f
fset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl_eq
u
alities
.
c: fix typos
in comments
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
ad
d
isl_pw_q
p
olyn
o
m
i
a
l
_fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ve
r
doolae
g
e
a
d
d isl_qpolynomial_
l
e_cst
commit
|
commitdiff
|
tree
next