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_vec_add
2010-06-25
Sven Verdoolaege
add isl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
d
o
o
laege
a
d
d isl_ve
c
_scale
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
a
dd isl_set_is_
b
ox
commit
|
commitdiff
|
tree
2010-06-24
Sven
V
erdo
o
laege
add isl_map_is_transla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Ver
d
o
olaege
expo
r
t
i
sl_qp
o
ly
n
omial_invol
v
es_dims
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n
Verdoo
l
a
e
ge
isl_polyn
o
m
i
al
.
c
:
add
miss
i
n
g i
n
clude
commit
|
commitdiff
|
tree
2010-06-21
Sven
V
er
d
oolaege
i
sl_ma
p
_transiti
v
e_clo
s
ure:
c
heck
w
hether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add is
l
_stream
_
flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
o
l
aege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add rudim
e
n
t
a
r
y error repor
t
ing me
c
hani
s
m
commit
|
commitdiff
|
tree
2010-06-19
S
ve
n
Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoola
e
ge
isl_po
i
nt_allo
c
: avoid potenti
a
l mem
o
r
y leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdo
o
l
a
ege
doc: document isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdoolaeg
e
isl_tab
_
pip
.
c:
c
ompare a
l
l coe
f
ficients w
h
e
n
checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
i
s
l_pw_q
p
olynomial{,_fold
}
_gist: use simpl
e
hull
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaeg
e
add isl_set_
s
et_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven V
e
rdoolaege
add i
s
l_stream_r
e
ad_
s
et
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erd
o
olaege
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
l_qpolyno
m
ial_lift: fix lifting in abs
e
nce
of
di
v
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
opti
o
nally (a
n
d by default)
use b
e
rnstein ex
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoola
e
g
e
private
l
y
e
x
port i
s
l_qpolynomial_fold_fold_o
n
_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_pw_qp
o
l
y
n
o
m
ial
_
f
old
_
foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd parametric vertex enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_morph_dom_dim a
n
d
i
sl_mor
p
h
_
r
an_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolae
g
e
add isl_b
a
sic_map_is
_
rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
priva
t
ely export
isl_basic
_
se
t
_sor
t
_
constra
i
nts
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
isl_tab_detect_
i
mplicit_equalities: a
l
so detect
manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl
_
tab: optionally
o
n
l
y ma
r
k st
r
ictl
y
redun
d
ant row
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
generalize isl_pw_qpolynomial_bound t
o
isl_pw_q
p
olynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
e
x
tract out
g
eneric pa
r
t
o
f
isl_pw_qpolynomial_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_pw_qpolynomia
l
_boun
d
_
range:
a
lso set
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_basic_set_
f
actorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
export isl_pw_qpo
l
y
n
o
mial_fold_d
r
op_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
ort isl
_
qpo
l
y
n
omi
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add i
s
l
_qpolyn
o
m
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
a
dd
isl_qpolynomial_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
la
e
ge
export
i
sl
_
qpolynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_qpolynomial_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add is
l
_
qpolynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
dd isl_qp
o
lynomial_inse
r
t
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_q
p
olynomi
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oola
e
ge
is
l
_c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
s
l_
t
ab_d
e
t
e
c
t
_implicit_equalities: retu
r
n int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_t
a
b_sig
n
_
o
f_m
a
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_tab
_
select_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d i
s
l_basic_
s
et_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
privately
e
xpo
r
t i
s
l_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
add is
l
_qpoly
n
omial_
f
old_f
o
reach_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
a
dd isl_pw_qpolynomial
_
fold_foreach_lifted_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
l
a
e
g
e
export isl
_
pw_qpolynomial_fold_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
privately exp
o
rt isl_morph_alloc
a
nd isl_morph_id
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpoly
n
omial_fol
d
_
get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_q
p
olynomial_g
e
t
_
c
t
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_ctx_pee
k
_options
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
oolaege
isl_range
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_set_is_bou
n
d
e
d
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n V
e
rdoolaege
f
i
x
i
s
l
_qpolyno
m
i
al_fold_d
u
p
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
isl_pw_qpoly
n
omial_bound_rang
e
: fix remov
a
l
of di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
s
h
t
o distri
b
u
t
ion
commit
|
commitdiff
|
tree
2010-06-11
Sven V
e
r
doolaeg
e
doc: docu
m
en
t
gist operations
commit
|
commitdiff
|
tree
2010-06-04
S
v
en
Ver
d
ool
a
ege
doc:
do
c
u
m
ent isl
_
constraint_is
_
e
quali
t
y
commit
|
commitdiff
|
tree
2010-06-04
S
ven Verdoo
l
aege
add
i
sl_m
a
p_is_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
o
l
aege
isl_basic
_
map_foreach_const
r
aint: make su
r
e i
n
put has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_ba
s
ic_ma
p
_copy: mar
k
dupli
c
ated cop
y
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_set_
l
ift: finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
is
l
_basic
_
map
_
move_dims: always fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoola
e
ge
is
l
_ba
s
i
c
_map_from
_
constraint: f
i
n
a
lize
result
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
isl_access_
i
nfo_compute_flow: hand
l
e may accesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verd
o
olaege
isl_access_info_
c
o
m
pute_fl
o
w:
h
andle m
u
lti-v
a
l
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verd
o
olaege
rem
o
ve so
m
e unused varia
b
les
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
f
ix some
i
c
c
w
a
rnings
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
V
erdoola
e
g
e
renam
e
isl_
p
w_qpoly
n
omial_move and add isl_p
w
_qp
o
lyn
o
mial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
isl_ctx: keep track of
use
r
option
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
improved
argument pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
V
erdoolaege
isl
_
options_
p
arse: print help mes
s
a
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
doolaege
a
d
d
isl_bou
n
d
t
est applica
t
io
n
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verd
o
olaege
add isl_pw_
q
polynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdool
a
e
ge
add isl_pw
_
qpolynom
i
al_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add r
u
d
i
mentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_seq_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
isl
_
equaliti
e
s
.
c:
f
ix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doolaege
add isl_mat
_
insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaeg
e
add
isl_mat_nor
m
alize
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
ad
d
i
s
l
_m
a
t_d
i
agonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
i
sl_mat_lin
_
to_aff:
f
ix e
r
ror han
d
l
in
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_qpoly
n
omial_opt_on_dom
a
in:
handle empty
i
n
put
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
isl_name_alloc: fix er
r
o
r ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoo
l
aege
add isl_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl
_
equaliti
e
s
.
c: fix typos
i
n
comm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
ad
d
is
l
_pw_qpolynomi
a
l_fo
l
d
_
c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolyn
o
m
i
al
_
l
e_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
privately expo
r
t isl_se
t
_is_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl
_
s
e
t_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
r
d
oo
l
aege
add
i
sl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven V
e
rdoolaege
a
dd
i
sl_st
r
eam_read_pw_qpo
l
ynomi
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
ad
d
i
sl_qpolynomial_f
r
om_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
dd isl_q
p
olynom
i
a
l
_from_constrai
n
t
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add isl_basic_s
e
t_for
e
a
ch_bound
_
pair
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
i
sl_qpolynomia
l
_as_polynomi
a
l_on_domain
commit
|
commitdiff
|
tree
next