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_pw_qpolynomial{,_fold}_gist: use simple hull instead of convex hull
2010-06-15
S
v
en Verdoolaege
i
s
l_pw_q
p
olynomial{,_fol
d
}_gist: use simple hull
inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
Sve
n
Verdoolaege
a
dd isl_set_set_d
i
m_n
a
m
e
commit
|
commitdiff
|
tree
2010-06-14
Sven Ve
r
doolaege
add isl_
s
trea
m
_read
_
set
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdo
o
laege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
isl
_
qp
o
lynomia
l
_
l
ift: fix lif
t
i
ng
in abs
e
n
c
e of divs
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verd
o
olaeg
e
opt
i
on
a
lly (and by defaul
t
)
use ber
n
ste
i
n ex
p
ansion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
privately ex
p
o
rt isl_qpolynomial_fo
l
d
_
fol
d
_
o
n_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
add
i
sl
_
p
w_qp
o
lynomia
l
_fold_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
ad
d
pa
r
amet
r
ic vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add
is
l
_mo
r
p
h_dom_dim and is
l
_morph_ran
_
dim
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
ad
d
is
l
_b
a
sic_
m
ap_
i
s_ration
a
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
priv
a
tely export isl_basic_set_sort_constraints
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab_
d
etec
t
_i
m
plicit_equalities: also detect man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
a
e
ge
isl_tab: opt
i
onally only mar
k
s
trictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
generali
z
e isl_p
w
_qp
o
lyn
o
mial_bound to isl_pw
_
qpol
y
nomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
extract out
g
ener
i
c pa
r
t
o
f isl_pw_qpolynomial_bound_ra
n
g
e
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
erdoo
l
aege
isl_pw_
q
pol
y
nomial_bound_range:
a
lso set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_
b
asic_se
t
_factor
i
zer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ex
p
or
t
isl_pw_q
p
olynom
i
al_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolae
g
e
ad
d
isl_qpolynomial
_
coeff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpoly
n
omial_fro
m
_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_qpolynomi
a
l_add_dims
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
add isl_qpolynomial
_
homogeniz
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
add isl_qp
o
lynom
i
al_degree
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add i
s
l
_qpol
y
no
m
ial_insert_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
is
l
_ct
x
: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_tab_detect_implicit_e
q
ualitie
s
: return integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
add isl_tab_
s
ign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaeg
e
isl_ta
b
_s
e
lec
t
_facet: ret
u
rn int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
d
o
olaege
add isl_ba
s
ic_set_full
_
c
o
m
p
ress
i
on
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
privately
e
xport isl_pw_qpol
y
nomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
polynomial_fold_f
o
reac
h
_qpolynomial
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoolaege
ad
d
isl_pw_qpolynomial_fold_foreach_lifted_piec
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
ex
p
ort isl_pw_qpol
y
n
omial
_
fold_i
s
_zer
o
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
privately exp
o
r
t
isl_morph_alloc and
isl_morph_id
e
nti
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add isl_qpolynomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export i
s
l
_
p
w_qpolynom
i
al_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add isl_ctx_pee
k
_optio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: f
i
x
typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
expo
r
t
i
sl_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
is
l
_bound
:
plug
me
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
la
e
ge
fix isl
_
qpol
y
nomial_f
o
l
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaege
isl_pw_qpolynomial_bound_rang
e
: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
add
bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: document gist
o
p
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
g
e
doc: do
c
ument isl_co
n
s
t
raint_is_equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven
Ve
r
doolaege
a
dd isl_map_is_single_va
l
ued
commit
|
commitdiff
|
tree
2010-06-04
S
v
e
n Verdool
a
eg
e
is
l
_basic_ma
p
_forea
c
h_
c
onstraint: make s
u
re input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoo
l
aege
isl_basic
_
map_co
p
y
: mark duplicated copy as fi
n
alized
commit
|
commitdiff
|
tree
2010-06-03
Sven V
e
rdoolaege
isl_bas
i
c
_set_lift: finalize
r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map_mo
v
e_dims:
a
lways
finali
z
e re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
V
e
rdoola
e
ge
isl_basic_map_from_cons
t
r
a
int: final
i
z
e
result
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
is
l
_access_info_comput
e
_flow: handl
e
may
accesse
s
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verdoolaege
isl_a
c
cess_inf
o
_compute
_
flow
:
handle multi-v
a
l
u
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven
V
erdoo
l
aege
re
m
ove some unused
varia
b
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
fix some icc warn
i
ngs
commit
|
commitdiff
|
tree
2010-05-30
Sven
Ver
d
o
o
laege
rena
m
e isl_pw_qpolynomial_move an
d
add
i
sl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verdoolaege
isl_ctx
:
keep track o
f
u
s
er o
p
tion
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaeg
e
improved argum
e
nt parsing
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
erdoolaege
isl_
o
ption
s
_parse: print
h
elp messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ad
d
isl_bound test
a
pplicati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
add isl_pw_qpolynomial_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaege
a
d
d isl_pw_qpolynomial_fold_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add rud
i
m
e
n
t
a
r
y isl
_
m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl_seq_
s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olae
g
e
isl_equalities
.
c: fi
x
typ
o
in comm
e
nt
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd is
l
_mat_ins
e
rt
_
rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdo
o
l
aeg
e
add isl_m
a
t_nor
m
alize
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl
_
mat_lin_to_a
f
f: fix error handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
is
l
_q
p
olynomia
l
_opt_on_domain:
h
a
ndle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaeg
e
i
sl_nam
e
_
a
lloc: fix
e
rror handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
r
d
oolaege
ad
d
isl_di
m
_
o
ffset
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_eq
u
alities
.
c: fix typos
i
n c
o
mment
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
add isl_pw_qpoly
n
omial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
a
d
d
isl_qpolynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
privately
e
xport isl_set_is
_
bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven
Ve
r
doolaege
add is
l
_
s
et_co
u
n
t
_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
a
dd isl_stream_read_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_qpolynomial_from_
t
erm
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
is
l
_qpo
l
ynomial_from
_
co
n
straint
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_
b
asic_set_foreach_b
o
u
n
d
_pair
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoo
l
aege
add isl_qpolynomial_a
s
_polynomial_o
n
_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_qpo
l
ynomial_substi
t
ute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
oolaege
ad
d
isl_basic_s
e
t_d
i
m
s
_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl
_
ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_qpolynomial_ne
g
infty
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verd
o
ol
a
e
g
e
add isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
isl_qpolyn
o
mial_fold_o
p
t_on_domain
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
o
o
laege
isl_pw_
*
_eva
l
: fix handling o
f
empty inpu
t
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verd
o
olaege
add isl_bas
i
c_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl
_
qpolynom
i
al_sub
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Ve
r
doolaege
add isl_qpolynomial_g
e
t
_
d
im
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ver
d
oolaege
isl_map_transitive_closure: co
a
lesce input b
e
fore che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add map_
l
ex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven
V
erdoolaege
isl_m
a
p_lex_le: use o
n
e
basic set less
i
n
result
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
ool
a
e
g
e
i
s
l_
s
tream: ac
c
ept lexicographic operators
commit
|
commitdiff
|
tree
next