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.c: fix typos
2010-06-25
Sven Verdoolaege
isl_tab
.
c: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_polyno
m
ial
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
ven Verdool
a
e
g
e
is
l
_vert
i
ces
.
c:
fix
typ
o
s
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
olaege
is
l
_
m
orph
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verd
o
ola
e
g
e
isl_map
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_map
_
si
m
p
l
ify
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
e
r
doolaege
isl
_
in
p
ut
.
c: accept
m
o
r
e general
aff
i
ne ex
p
ress
i
ons
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
add isl_v
e
c_add
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ver
d
oolaege
add isl_vec_scale
commit
|
commitdiff
|
tree
2010-06-25
Sven
Ve
r
doolaege
add
isl_set_is
_
box
commit
|
commitdiff
|
tree
2010-06-24
Sven
Ver
d
oolaege
add isl_m
a
p_i
s
_translati
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoola
e
ge
e
x
port isl_qpolynomi
a
l_i
n
volv
e
s_dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
isl_polynomial
.
c: a
d
d missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-21
Sven
Ve
r
doolaege
i
s
l_m
a
p
_t
r
ansi
t
ive_closure: check whether
d
e
compo
s
it
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
add isl_stream
_
flush_tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven Verd
o
olaege
ad
d
isl_st
r
eam_skip_line
commit
|
commitdiff
|
tree
2010-06-19
S
v
en Verdo
o
laege
a
d
d r
u
di
m
ent
a
ry error rep
o
rting mechani
s
m
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
a
d
d i
s
l_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
Verdoolaege
isl_point_alloc: avoid p
o
tential memory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Verdoolaege
doc: docume
n
t
isl_map_delt
a
s
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pip
.
c: compare all co
e
fficients whe
n
check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven Verd
o
o
l
a
ege
isl_pw_qpolynomial{,_fold
}
_gist
:
u
se si
m
p
le hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoo
l
aege
a
d
d isl_set
_
s
et_dim_name
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoolae
g
e
add i
s
l_st
r
eam_
r
ead_set
commit
|
commitdiff
|
tree
2010-06-14
Sv
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
i
sl
_
qpoly
n
omial_l
i
ft:
fix lif
t
ing in absence
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
option
a
lly (and b
y
default)
use b
e
r
n
s
t
ein exp
a
nsion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
privately ex
p
ort is
l
_qpolynomial_fold_fold_on
_
domain
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolae
g
e
ad
d
isl_pw_qpolynomial_fold_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add p
a
ra
m
etric vertex enumer
a
ti
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add is
l
_morph_dom_dim and isl_morph_ran_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic
_
map
_
is_rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
privately expor
t
isl_ba
s
ic_set_s
o
r
t_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
is
l
_tab_detect_impl
i
cit_equalities: also
d
ete
c
t manifest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
isl_tab: o
p
tiona
l
ly only mark strictly
redunda
n
t
rows
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
generalize isl_pw_qpo
l
ynomi
a
l
_bo
u
nd to isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
extract out generic part of isl_pw_qpolyn
o
mial_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolae
g
e
is
l
_pw_qp
o
lynomial_bound
_
range: al
s
o set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
ad
d
isl_basic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaeg
e
exp
o
rt isl_pw_qpolyn
o
mial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
exp
o
rt isl_qp
o
lynom
i
a
l_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpoly
n
omial_coeff
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
a
ege
add isl_qpolynomial_f
r
om_
a
ff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export isl_qpolynom
i
a
l_add_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
add isl_qpolynomial
_
homogeni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_
q
po
l
ynomia
l
_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
a
dd isl_qpo
l
ynomial_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
add is
l
_qp
o
lynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaeg
e
i
sl_ctx: add tw
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
i
sl_tab_detect_i
m
plici
t
_equalit
i
e
s: re
t
urn i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
add isl
_
tab
_
s
i
gn_o
f
_ma
x
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdool
a
ege
isl_ta
b
_select_facet
:
retur
n
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doola
e
ge
add isl_basic_set_full_compre
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
r
ivat
e
ly export isl_p
w
_qpo
l
y
nomia
l
_mo
r
p
h
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ve
r
doolaege
add
i
sl_qpolynomial_fold
_
f
o
reach_
q
poly
n
omial
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolae
g
e
add isl_
p
w_
q
polynomial_fol
d
_fo
r
each_lifte
d
_pie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aeg
e
export
isl_pw_qpolynomial_f
o
ld_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oolaege
priv
a
tely export is
l
_morph_a
l
loc an
d
isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
e
xport isl_pw_q
p
olynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
add
isl_ctx_peek_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl
_
ra
n
ge
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export
i
sl_s
e
t_is_bounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
isl_bound
:
plug memory
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
fix isl_qpolynomial
_
fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_pw_qp
o
l
y
nomial_bou
n
d_
r
ange: fix r
e
moval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdool
a
ege
a
d
d bound_test
.
sh to d
i
strib
u
ti
o
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
d
o
c
: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
V
e
rdoola
e
ge
doc: do
c
um
e
nt isl_con
s
t
r
a
int_is_eq
u
ali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
add isl_ma
p
_
is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_
b
asic_
m
ap_foreach_constraint:
m
ake su
r
e i
n
put has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoolaege
isl_basi
c
_map_copy: mark d
u
p
l
icat
e
d copy as
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olaege
isl_basic_set_lift: fi
n
aliz
e
result
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdo
o
laege
isl_basic_map_mo
v
e_dims: a
l
w
ay
s
fina
l
i
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l_bas
i
c_map_
f
ro
m
_constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
isl_access_info_compute_flow:
handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdo
o
laege
isl
_
acc
e
ss_i
n
fo_compute_flow
:
handl
e
mu
l
ti-valued sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdo
o
laege
remove some unused vari
a
bles
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ver
d
oolae
g
e
rename isl_pw_
q
polyn
o
m
ial_move an
d
add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
isl_ctx:
k
e
ep track of
user options
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
erdo
o
laeg
e
i
mproved
argument
p
a
r
sing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse: print help me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
e
rdo
o
laege
add isl
_
bou
n
d test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
a
d
d is
l
_
p
w_q
p
olynomia
l
_bound_
r
ange
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_pw_qpolynom
i
al_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add rudim
e
ntary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
isl
_
equalities
.
c:
fix
t
ypo in comme
n
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
ad
d
isl_mat_ins
e
rt_r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl
_
m
at
_
n
o
r
m
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd is
l
_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdo
o
l
aege
isl_mat_lin
_
to_aff
:
fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl
_
qpo
l
ynom
i
al_opt_on_domain: ha
n
d
l
e empty
i
nput
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_name_alloc: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Verdoolaege
add isl_
d
i
m_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
ae
g
e
isl_equalities
.
c:
f
ix ty
p
os in commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
do
o
laege
ad
d
isl_pw_qpolynomial_
f
o
l
d_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
ad
d
isl_qpolyno
m
ial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoo
l
aege
privately export isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_set_count_upto
commit
|
commitdiff
|
tree
next