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_pip.c: fix typos
2010-06-25
Sven Verd
o
o
l
a
e
g
e
isl_tab_p
i
p
.
c:
fix typo
s
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n Verdoo
l
a
ege
isl_tab
.
c:
f
ix t
y
pos
commit
|
commitdiff
|
tree
2010-06-25
Sven
V
erdoolae
g
e
isl_polynomial
.
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sve
n
Verdool
a
ege
i
sl_vertices
.
c
: fix typos
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doolaege
isl_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
isl_map
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
S
v
e
n Verdool
a
eg
e
isl
_
map_s
i
m
pli
f
y
.
c
:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-25
Sven Ver
d
ool
a
ege
isl_in
p
ut
.
c: accep
t
mo
r
e gen
e
r
al affine
e
xpressions
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rdoolae
g
e
add
i
sl_vec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaege
a
dd isl_v
e
c_sc
a
l
e
commit
|
commitdiff
|
tree
2010-06-25
S
ven
Verdoolaege
add isl_set_is_bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Verdo
o
laege
add
i
sl_map
_
is_tr
a
nsla
t
ion
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoolaege
export i
s
l_qpolyn
o
mial_i
n
v
o
lves_dims
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Ve
r
do
o
laege
isl_polynom
i
al
.
c
:
add missing inc
l
ude
commit
|
commitdiff
|
tree
2010-06-21
Sv
e
n Verdoola
e
ge
isl_map_transitive_closure: check
w
h
ether decomposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
add isl_stream_flush_token
s
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaeg
e
add isl_stream_
s
ki
p
_line
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
d
o
ol
a
ege
add r
u
dimentary error
r
eporti
n
g
mec
h
anism
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Verdoolaege
add isl_v
e
rsi
o
n
commit
|
commitdiff
|
tree
2010-06-19
S
ven
V
erdoolaege
i
s
l_point_alloc: avoid poten
t
ial memory
l
eak
on erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven Ve
r
doo
l
aege
doc: document is
l
_map_de
l
tas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdoolaege
isl_tab_pip
.
c
:
compare
all coe
f
ficients w
h
en checki
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sven V
e
rdoolaege
isl_pw_qpolynomial
{
,_fold}_gist:
u
se s
i
mple
hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sven
V
erdoola
e
ge
a
d
d
isl_set
_
set_dim_n
a
me
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_st
r
e
a
m
_rea
d
_s
e
t
commit
|
commitdiff
|
tree
2010-06-14
Sven
Ver
d
oolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
isl_
q
polynomial
_
lift
:
fix lifting in absenc
e
of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
o
ptionally
(
and
by defa
u
lt) use bern
s
tein e
x
pansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Ver
d
ool
a
ege
pr
i
vately
e
xpo
r
t isl
_
qpolynomial_f
o
ld_fold_on_dom
a
in
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
o
olaege
add isl_pw_qp
o
l
ynomial_fol
d
_fore
a
c
h
_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoola
e
g
e
add para
m
etric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ver
d
o
o
laege
a
d
d i
s
l_morp
h
_dom_dim and
i
sl_morph_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
a
d
d
isl_basic_map_is
_
rati
o
nal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
p
rivately export isl
_
basic_se
t
_sort_constra
i
nts and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
ol
a
eg
e
i
s
l_tab
_
detect_i
m
plic
i
t_equali
t
i
es: also detect man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
isl_tab
:
optionally only mark
strictly red
u
n
dant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
gene
r
aliz
e
is
l
_
p
w
_
qpolynomial_bound t
o
isl_pw_qpolynomi
a
l_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doola
e
ge
extract
out ge
n
eric part
of isl_pw_qpo
l
ynomial_bou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
i
s
l_pw_qpol
y
nomial_bound_range: al
s
o set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_ba
s
ic_se
t
_fa
c
torizer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l_pw_
q
polynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
eg
e
exp
o
r
t
isl
_
qpolynomial_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
a
dd isl_qpolyn
o
mial_
c
o
e
ff
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolae
g
e
add
isl_qpolyno
m
i
al_from_a
f
fine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
lae
g
e
e
xport isl_qpolyn
o
m
ial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add
i
sl_qpolynomial_homogeniz
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaege
add i
s
l_qpolyno
m
ial_
d
e
g
r
ee
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
l
aege
add i
s
l_qp
o
ly
n
omial_inse
r
t_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdool
a
ege
a
d
d
i
sl_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
do
o
l
a
ege
isl_
c
tx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
isl_ta
b
_det
e
ct_impli
c
it_equ
a
l
ities: return inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d
is
l
_
t
ab
_
sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
ol
a
eg
e
isl_tab_selec
t
_facet:
r
e
t
u
rn
int i
n
stead of isl_t
a
b *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
dool
a
ege
add isl_ba
s
ic_s
e
t
_
full_compressi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
pri
v
at
e
l
y
expor
t
i
s
l_
p
w_qpolynomial
_
morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_q
p
oly
n
omial_f
o
ld_forea
c
h_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add isl_pw_qpoly
n
o
mi
a
l_fold_fore
a
ch_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export
is
l
_
p
w_qpol
y
nomial_fold_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
privatel
y
export isl_morph_alloc and isl_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaeg
e
export isl
_
pw
_
qpolynomi
a
l_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx
_
pee
k
_
options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_rang
e
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
export isl_s
e
t_is
_
b
ounde
d
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_bound: plug memory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
olaege
fix
i
sl_qpolynomial_f
o
ld_du
p
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
i
sl_pw_qpo
l
yn
o
mial_bound_range
:
fix rem
o
val of dim
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd
bound_test
.
sh t
o
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
e
rdoolaege
doc:
d
ocum
e
n
t
gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: doc
u
m
e
n
t
isl_
c
on
s
train
t
_i
s
_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olae
g
e
add isl_ma
p
_i
s
_
si
n
gle_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
isl_basic_map_foreach_const
r
aint: make sur
e
input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
g
e
is
l
_basic_map_
c
op
y
: mark duplic
a
t
ed co
p
y as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoo
l
aeg
e
isl_b
a
s
ic_set_l
i
ft: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Ve
r
doolaege
isl_basic_map_move_dims: al
w
ays fina
l
i
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
aege
isl_basic_map_f
r
om
_
c
on
s
traint: finaliz
e
resu
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
i
sl_access_info_compute_flow:
handle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Ver
d
ool
a
ege
i
sl_
a
ccess_info_co
m
put
e
_flow: handle mu
l
ti-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolae
g
e
remove
s
ome unused variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
ve
n
Verdoo
l
aege
r
e
name isl_pw_qpolynomi
a
l_move and add i
s
l_
p
w_qpolyn
o
m
i
a
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl_
c
tx: keep track of us
e
r options
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
im
p
roved argumen
t
pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
V
erdoo
l
a
ege
isl_
o
ptions_pa
r
se: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
ad
d
isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add
isl
_
pw_qpo
l
ynomial_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl
_
pw
_
q
p
olynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_equaliti
e
s
.
c
:
f
ix
typo in
comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
ge
add isl_ma
t
_i
n
sert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doola
e
ge
add isl_mat_normal
i
ze
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
isl_mat_lin_to
_
aff: f
i
x error
hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_qpolynomial
_
o
p
t
_
o
n_domain: handl
e
empty inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
ola
e
ge
i
s
l_name
_
alloc: fix erro
r
handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
e
ge
add
i
s
l
_d
i
m_offset
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
is
l
_equ
a
l
ities
.
c
:
f
i
x typos in
c
om
m
e
n
ts
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Ver
d
oolaege
add isl_pw
_
qpolynomial
_
f
old_co
v
ers
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
add isl_qpolynomial
_
le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
g
e
privatel
y
export isl_set_is_b
o
und
e
d
commit
|
commitdiff
|
tree
next