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_stream.c: fix typo
2010-06-25
Sven Ver
d
oo
l
aege
isl_str
e
am
.
c:
f
ix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
is
l
_tab_pip
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaege
isl_t
a
b
.
c: fix
typos
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Ve
r
doolaege
is
l
_polynomial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven V
e
rdoolaege
isl_ver
t
ices
.
c: fi
x
typos
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaege
isl
_
m
o
rph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolaeg
e
isl_map
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdoolaege
is
l
_map_simplify
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
is
l
_
input
.
c: accept more general affine expr
e
ssions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
r
doola
e
ge
add i
s
l_vec
_
add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoola
e
ge
add
i
sl_vec_sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sven
Verdoolae
g
e
add isl_set_
i
s_box
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
do
o
laege
add isl_m
a
p_is_t
r
an
s
lation
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
eg
e
expo
r
t isl
_
qpolynomial_inv
o
lves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven
Ve
r
d
oolaege
is
l
_polynomial
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n
V
erdo
o
laeg
e
isl_m
a
p
_
transi
t
ive_c
l
osure: check whether de
c
omposi
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoola
e
ge
add i
s
l_stream_flush_to
k
ens
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdoolaege
add isl_stream_skip_lin
e
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
ad
d
r
udimentary error reporting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n
Ve
r
doolaege
ad
d
is
l
_ve
r
s
ion
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Ve
r
doolaeg
e
isl_p
o
int_alloc:
avoid
p
otent
i
a
l
memo
r
y
leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sv
e
n V
e
rdoolaeg
e
doc:
document isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
Verdo
o
laeg
e
isl_tab
_
pip
.
c:
compare al
l
coefficients when check
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Ve
r
d
o
o
l
a
ege
isl_pw_
q
polynomial{,_fold}_gist: use
simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl
_
set_set_di
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Ver
d
oolaege
add i
s
l_str
e
am_read_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoola
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdo
o
laege
isl_qpolynomial_lif
t
: fix lif
t
i
ng in absence o
f
d
ivs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
opti
o
n
ally (and by default)
u
se bernstein expansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately export isl_qpolynomial_fold_fol
d
_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add i
s
l_pw_qpolynomial_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add par
a
metric verte
x
enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_
m
orph_dom_d
i
m and isl_morph_r
a
n_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
a
d
d isl_basic_map_is_ratio
n
al
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoo
l
ae
g
e
pr
i
vately
export isl_basic_set
_
s
o
r
t
_con
s
traints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
isl_t
a
b_dete
c
t_i
m
plicit_equalities: a
l
so detect manifes
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
isl_tab: optio
n
a
lly only mark st
r
ic
t
l
y redun
d
ant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
dool
a
ege
generali
z
e isl_pw_qpolynom
i
a
l
_bound
t
o i
s
l_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ext
r
act out generic part
of isl
_
p
w
_qpolynomial_
b
ound_range
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
laege
isl_pw_qpolyn
o
mial_bound_
r
a
nge: also
s
et
exactn
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add i
s
l_basic_set_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
e
g
e
export isl_pw
_
qpolynomial_fold_drop_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export
isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
o
laege
ad
d
i
s
l_qpolynom
i
al_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
l
a
ege
add isl_qpolynomial_
f
rom_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
exp
o
rt is
l
_
q
pol
y
nomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_
q
polyno
m
i
al_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add
i
sl_qpolyn
o
mial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
add isl_qpol
y
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl
_
t
ab_detect_impl
i
cit_equ
a
l
i
t
ies
:
re
t
u
r
n integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
add isl_tab_
s
i
gn_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
dool
a
e
g
e
i
s
l_tab_select_facet: return i
n
t in
s
tead of
isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
i
sl_basic_s
e
t_full_com
p
r
e
ssio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
privately
e
xport isl_pw_
q
polynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
ad
d
isl_qpo
l
ynomial_fol
d
_foreach_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
laeg
e
a
d
d is
l
_pw_qpolyn
o
mia
l
_fold_foreach_li
f
t
e
d_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laeg
e
e
x
port isl
_
pw
_
qpolyno
m
ial_fold
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
privately
export isl_morph
_
alloc and isl_mor
p
h_i
d
entity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qpo
l
ynomial
_
fold_get
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_p
w
_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
a
d
d
isl_ctx_pe
e
k_opt
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_rang
e
.
c
:
fix typo in commen
t
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
e
rdool
a
eg
e
e
x
p
ort i
s
l_set
_
is_bo
u
n
ded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
isl_b
o
und: pl
u
g memory
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl_qpolynomial_fo
l
d_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
isl_p
w
_qpolynomi
a
l_boun
d
_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
a
dd
b
ound_t
e
s
t
.
sh
t
o
di
s
tributio
n
commit
|
commitdiff
|
tree
2010-06-11
S
v
e
n
Verdoolaege
doc: doc
u
ment gist opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoola
e
g
e
doc: document isl
_
cons
t
raint_is_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
Sven Ver
d
o
o
laege
a
d
d isl_map_is_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n Verdoolaege
is
l
_ba
s
ic_map_for
e
ach_c
o
nstraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_bas
i
c
_map_copy: m
a
rk duplicated copy as fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolaege
isl_ba
s
ic_set_li
f
t
:
finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verd
o
olae
g
e
isl_basic_ma
p
_mov
e
_dims
:
always
finalize resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erd
o
ola
e
g
e
isl_bas
i
c_map_from_const
r
aint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdool
a
ege
i
s
l_access_info_
c
ompute_flow: handle
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl_access_inf
o
_c
o
mpute_flow: h
a
ndl
e
multi-
v
a
l
u
ed sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
a
e
ge
rem
o
ve some u
n
used
v
ar
i
a
b
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
Verdoolaege
rename isl_pw_
q
pol
y
n
omial_move and ad
d
isl
_
pw_qp
o
lynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
i
sl_ctx: keep trac
k
of
user options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ver
d
oolaege
i
m
p
r
oved argument par
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolae
g
e
isl_options_pa
r
se: p
r
int help message
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoola
e
g
e
ad
d
isl_b
o
und test appl
i
ca
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
add isl_pw_qpoly
n
omial_b
o
und_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdool
a
ege
add
i
s
l
_pw_q
p
olyno
m
ial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
e
g
e
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oola
e
ge
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c:
f
ix
typo
i
n
c
omme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ola
e
ge
a
d
d i
s
l_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
la
e
ge
ad
d
isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_mat_diag
o
n
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl_ma
t
_
li
n
_
t
o_af
f
:
fix er
r
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpoly
n
omial
_
opt_on_domain:
handle
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_nam
e
_alloc: fix er
r
or handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_
d
im_offs
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l
_equ
a
lities
.
c: fi
x
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
a
d
d isl_pw_qpolyno
m
ial_fol
d
_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
er
d
oolae
g
e
add isl_qpolyn
o
mia
l
_
le_
c
st
commit
|
commitdiff
|
tree
next