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
S
ven Verdoolaeg
e
add isl_st
r
eam_fl
u
sh_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolae
g
e
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven
Ver
d
oo
l
a
e
ge
add rudime
n
tary error reporti
n
g mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdoolaeg
e
is
l
_
point_alloc: avoid potential memory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sve
n
Verdoolaege
doc: document isl_ma
p
_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven
V
e
rdo
o
laege
isl_ta
b
_pip
.
c: compare al
l
coefficients
when checking
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
laege
isl_pw_qpo
l
yno
m
ial
{
,_fo
l
d}_gist:
u
se
simp
l
e
hul
l
inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolaege
add isl_
s
e
t_set_d
i
m
_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verd
o
olaege
a
dd isl_stream_read_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoo
l
aege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
isl_qpolynomia
l
_
l
ift: f
i
x lifting in ab
s
ence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
p
t
i
onally (a
n
d by
d
efault) use be
r
ns
t
ein expansi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
privately export isl_
q
polynomial_fold_fold_on_do
m
ain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw_qpolynomial_fo
l
d
_
fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add parame
t
ric ver
t
ex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
a
d
d
isl_morph_
d
om_d
i
m a
n
d isl_morph_ra
n
_
dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven
V
e
r
d
o
ol
a
ege
add isl_basic_map_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdool
a
eg
e
privatel
y
export
i
s
l
_basi
c
_set_sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect_implicit_equalities: a
l
s
o detect manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl
_
tab: o
p
t
ional
l
y only
m
ark stri
c
tly redun
d
ant
r
ow
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
g
e
neralize
is
l
_pw_q
p
olynomial_bound to isl_pw_
q
polynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
t
ract
o
ut g
e
n
eric part o
f
isl_pw_qpolynomi
a
l_bo
u
nd_rang
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_pw_qpolynomial_bound_rang
e
:
also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_s
e
t_f
a
ctorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
port isl_pw_qp
o
lynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
oolaege
export isl_qpolyn
o
mial_is_ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
a
dd isl_qpolynomial_
c
o
eff
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
add isl_qpo
l
ynomial_from_
a
ffi
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
expo
r
t isl_
q
p
o
lynom
i
al
_
ad
d
_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpolynomial
_
hom
o
gen
i
ze
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
la
e
ge
ad
d
isl_
q
polynomial_degree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add isl
_
qpolynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpolyn
o
m
i
al_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
i
sl_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_tab_
d
etect_implicit_equal
i
tie
s
: retu
r
n int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_tab
_
sign_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_ta
b
_select_facet: return int inst
e
ad
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add i
s
l_basic_set_ful
l
_compression
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
privately ex
p
or
t
isl_pw_qpolynomia
l
_m
o
r
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
a
d
d
i
sl_qpol
y
n
o
m
i
al
_
f
o
ld_foreach_qpolynomi
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_pw
_
q
p
olynomial_
f
old_for
e
ach_lifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
expo
r
t isl_pw_qpolynomi
a
l
_
fold_is
_
ze
r
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
privately export isl
_
morph_alloc
a
nd isl_mo
r
ph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
a
dd isl_q
p
ol
y
no
m
ial_fold
_
get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
e
xport
i
sl
_
pw_qpolyn
o
mial
_
ge
t
_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
a
dd is
l
_ctx_peek_op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ola
e
ge
isl_range
.
c: fix t
y
p
o
i
n co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
e
xpor
t
isl_set_is_b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_bou
n
d
:
pl
u
g me
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
fix isl_
q
polynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
is
l
_
p
w
_
qpoly
n
omial_bound_
r
ange: f
i
x removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
a
dd bound_test
.
sh to distributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sv
e
n Verdo
o
l
aege
doc
:
document g
i
st operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolae
g
e
doc: docum
e
nt is
l
_c
o
nstrai
n
t
_
i
s
_
e
qu
a
lit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
add isl_ma
p
_
is
_
s
i
ng
l
e_valued
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdool
a
ege
isl_
b
asi
c
_map_foreach_constraint: make sure in
p
ut
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_b
a
sic_ma
p
_cop
y
: mark
d
u
plica
t
e
d
copy as f
i
nalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
aege
is
l
_ba
s
ic_s
e
t_lift:
f
in
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
i
sl_ba
s
i
c
_
map_move_dims: always
f
i
nal
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en V
e
rdoolaege
isl_basic_
m
ap_from_
c
o
nstraint: finali
z
e result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
isl_acc
e
ss_info_compute
_
flow:
handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sv
e
n Verdo
o
laeg
e
i
s
l_acce
s
s_
i
nf
o
_c
o
mpu
t
e_flow: handle
mu
l
ti-val
u
ed si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en V
e
rdoolaege
remo
v
e some u
n
used var
i
ables
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix som
e
icc warni
n
gs
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
rename isl_pw_qpol
y
nomial_move and add is
l
_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
isl_ctx:
k
eep tr
a
ck of
u
ser opti
o
ns
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoola
e
ge
improved ar
g
ument
p
arsi
n
g
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolae
g
e
isl_op
t
ions_par
s
e
:
print he
l
p messa
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verd
o
ol
a
ege
add
i
s
l_boun
d
te
s
t
a
pp
l
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
do
o
la
e
ge
a
d
d isl_pw
_
qpo
l
ynom
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
erdoolae
g
e
a
dd isl_pw_qpolynomi
a
l
_
fo
l
d_
m
orph
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add rudimen
t
ary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_equalit
i
e
s
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
add isl_mat_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_mat_normal
i
ze
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_mat_di
a
gonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
laege
i
s
l_mat_lin_to_aff: fix erro
r
handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doola
e
ge
is
l
_qpoly
n
omial
_
opt_
o
n_doma
i
n: han
d
le e
m
pt
y
input
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaeg
e
i
sl_name_alloc: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
d
im_
o
ff
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaeg
e
isl_equali
t
ies
.
c: fix typos
i
n com
m
ent
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
p
w
_q
p
olynomial
_
f
old_c
o
v
e
rs
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoo
l
a
e
g
e
a
d
d
i
sl_qpolyn
o
mia
l
_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
V
er
d
oolaeg
e
p
riva
t
ely
e
xport isl_set_is_b
o
u
n
ded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
dd
isl_stream
_
r
e
a
d_pw_qpolynom
i
al
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_qpo
l
ynom
i
al_
f
rom_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
a
d
d
isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolaege
add isl_b
a
sic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
S
ve
n
Verdoolaege
ad
d
i
s
l_qp
o
lynomial_as_pol
y
nomial_o
n
_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_qpolynomial_subs
t
itute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_ba
s
i
c_set
_
dims_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_ctx: add
zer
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ad
d
is
l
_
q
p
olyno
m
i
al_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
a
dd
isl_basic_set_d
r
op
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
isl_qpolynom
i
al_fold_opt_on_domain: fix
typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
isl_pw_*_eval:
fi
x
handl
i
ng of empty i
n
put
commit
|
commitdiff
|
tree
next