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 is
l
_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
oolaege
add is
l
_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Ver
d
oolaege
add
i
sl_set_is_box
commit
|
commitdiff
|
tree
2010-06-24
Sven
Ver
d
oola
e
ge
add
i
s
l_map_is_t
r
a
n
slat
i
on
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoola
e
ge
e
xport isl_q
p
olynomial_involves_di
m
s
commit
|
commitdiff
|
tree
2010-06-21
Sven Ve
r
doolaege
i
sl_polynomial
.
c:
add missing
i
n
clude
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
Ve
r
d
o
olaege
isl_map
_
trans
i
tive_cl
o
sure: check whether decomp
o
sition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaeg
e
add isl_str
e
am_f
l
ush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d
i
sl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n V
e
rdool
a
ege
ad
d
rudime
n
tary error reporti
n
g mechanis
m
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoolaege
ad
d
isl_versi
o
n
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoola
e
ge
isl_poin
t
_alloc: avoid p
o
t
e
nt
i
a
l
memory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
Verdool
a
ege
doc: d
o
c
ument
isl_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
S
ven
Verdoolaege
isl_tab_pip
.
c: compare all coe
f
ficients when ch
e
c
k
ing
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_
p
w_qpolyno
m
ial
{
,_fold}_gist: use simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolaeg
e
ad
d
isl_set_set_dim_name
commit
|
commitdiff
|
tree
2010-06-14
S
ven
V
erdoolaege
add
i
s
l_stream_rea
d
_set
commit
|
commitdiff
|
tree
2010-06-14
S
v
en Verdoolaege
doc
:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
isl_qpolynomial_l
i
ft: f
i
x li
f
ting in
a
bse
n
ce
o
f
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaeg
e
optionally (and by default)
u
se bernstein
expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
ely exp
o
rt isl
_
q
p
olynomial_fold_fold_on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_pw_qpolynomial_fold_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add
parametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_morph_dom_dim
and isl_mor
p
h_ran_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_basic_
m
ap_is_rationa
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_basic
_
set_sort
_
constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
s
l_ta
b
_d
e
tect_implicit
_
equali
t
ies: also
d
e
t
e
ct manifes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
isl_tab: optionally
only mar
k
stric
t
ly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
generaliz
e
isl_pw_qpolynomial_bound to isl_pw
_
qpo
l
ynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
extract
o
ut
generic part of isl_p
w
_
qpolyn
o
mial_bou
n
d_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
isl_
p
w_qpol
y
nomial_bound_range: also set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
d
oolaege
add isl_
b
asic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
olaege
expo
r
t isl_pw_qpolynomial_fold_
d
rop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
e
xport isl_qpolynomial_is_
z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
a
dd isl_qpolynomial_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_
f
rom_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomial_add
_
dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolae
g
e
add isl_qpolynomial_homo
g
en
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpoly
n
omial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
a
dd is
l
_qpo
l
y
n
o
mial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
add isl_qpolyno
m
ial_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_ct
x
: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_de
t
ect_implicit_equalities: ret
u
r
n
i
nte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add
isl_tab_s
i
gn_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_tab_select_facet: return
int instea
d
of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add isl_basi
c
_s
e
t_full_compression
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
p
r
ivately export isl_pw_qp
o
lynomi
a
l_morph
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
add isl_qpolyn
o
mial_fold_foreach_qpo
l
ynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aeg
e
add
i
sl_
p
w_
q
p
o
lyno
m
i
a
l
_
f
old_foreach_l
i
ft
e
d
_
piece
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
export isl_p
w
_qpolynomial_fo
l
d_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdool
a
ege
pri
v
ately ex
p
ort isl_morph_alloc a
n
d is
l
_morp
h
_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
add isl_qpolynomial_fold_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
export isl_
p
w_qp
o
lyno
m
ial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
add isl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_r
a
nge
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
ex
p
ort isl_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_bo
u
nd: plug me
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
fix isl
_
q
polynomi
a
l_f
o
ld
_
dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolyn
o
mial_bou
n
d
_range:
f
ix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
ad
d
bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Ver
d
oolaege
doc: document gist opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
a
ege
doc: document isl
_
constr
a
int_is_equal
i
ty
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
ad
d
isl_map_is_s
i
ng
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
e
rd
o
olaege
isl_basic_
m
a
p
_foreach_co
n
straint: mak
e
sure
i
nput
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
isl_bas
i
c_map_cop
y
: mark duplicated
copy a
s
f
inali
z
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_bas
i
c
_
s
et_li
f
t: fi
n
a
l
ize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoo
l
aeg
e
isl_
b
asic
_
map_mo
v
e
_
d
ims:
a
l
w
ays finaliz
e
r
e
s
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_basic_map_from_constraint: finalize
r
esul
t
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
isl
_
acces
s
_i
n
f
o
_
compute_flow: handle may
a
cce
s
ses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verdoolaege
isl_access_i
n
fo_c
o
mput
e
_
f
low: han
d
le multi-value
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
re
m
ove
so
m
e unused variables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
l
a
ege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
rename
isl_pw_qp
o
lynomial_mov
e
a
nd add isl_pw_qp
o
lynomi
a
l
_
fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ve
r
doolaege
isl_ctx: keep track of user
options
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Ver
d
o
olaege
improved a
r
gument
parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
isl_
o
pt
i
ons_parse: print he
l
p message
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add
isl_boun
d
test applicatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
add isl_pw_qpolynomial_bo
u
nd_rang
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add isl_pw_qpol
y
nomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
dd isl
_
seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_
equalities
.
c
:
f
ix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add
isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_d
i
ago
n
al
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
isl_m
a
t_lin_to_af
f
: fix
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
a
eg
e
i
s
l_qpolynomi
a
l
_opt_on_domain: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
isl_name_a
l
lo
c
: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_d
i
m_
o
ffset
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
o
olaege
isl_
e
qualities
.
c: fix
t
ypos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add i
s
l
_pw_q
p
o
l
ynom
i
al_fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
add isl
_
qp
o
lynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ver
d
o
o
laege
privately exp
o
rt
i
s
l
_set_i
s
_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
ge
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
isl_set
_
scan
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
doola
e
g
e
add isl_stre
a
m_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qp
o
lynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_qpo
l
yno
m
ia
l
_fro
m
_const
r
aint
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
d
d isl_basic_set_forea
c
h_bou
n
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verd
o
olaeg
e
add i
s
l_qpolyno
m
ial_as_po
l
ynom
i
a
l_on
_
domai
n
commit
|
commitdiff
|
tree
next