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_set_is_box
2010-06-25
Sven
V
erdool
a
ege
add isl_set
_
i
s_bo
x
commit
|
commitdiff
|
tree
2010-06-24
Sven V
e
r
do
o
laege
add isl_map_is_tran
s
lati
o
n
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdool
a
ege
export isl_qpolynomial_involves
_
dims
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdo
o
la
e
ge
i
sl_polynomial
.
c:
add miss
i
ng include
commit
|
commitdiff
|
tree
2010-06-21
Sven V
e
rdoolaeg
e
isl_map_transitive
_
c
losu
r
e
: check whether dec
o
mposition
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n
Verdoolaege
ad
d
i
sl_str
e
am_fl
u
s
h
_tok
e
ns
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdo
o
laege
add isl_stream_skip_line
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rdo
o
laege
add rudimentary erro
r
repo
r
ting mechanism
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ve
r
doo
l
aege
is
l
_point_allo
c
:
a
void potential memory
l
e
ak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
S
ven Ver
d
oolae
g
e
doc: doc
u
m
ent isl_m
a
p_del
t
a
s
commit
|
commitdiff
|
tree
2010-06-15
S
v
en Verdo
o
l
aege
i
s
l_
t
a
b
_pi
p
.
c: co
m
pare all coefficien
t
s w
h
en check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
Sve
n
Verdoolaege
isl_pw_qp
o
lynomial{,_
f
old}_g
i
st:
u
se sim
p
l
e
hul
l
instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ve
n
Verd
o
o
laege
add isl_set_se
t
_d
i
m_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl
_
stream_read_se
t
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaeg
e
d
o
c: fix ty
p
o
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_qpo
l
ynomial_li
f
t: fix lifting in absence of divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
opt
i
onally (a
n
d
b
y def
a
ult) us
e
bern
s
tein exp
a
ns
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privately export isl
_
qpolynomial_fold_fold_on_domain
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolaege
add is
l
_pw_
q
p
o
lynomial_fold
_
foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
ol
a
e
g
e
a
d
d parametric vertex enumer
a
tio
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
add is
l
_morph_dom_dim and isl_mor
p
h
_ran_di
m
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl
_
basic_
m
ap_is_rat
i
onal
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
priva
t
el
y
e
xport isl_b
a
s
ic
_
set_sort_c
o
nstrai
n
t
s
and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
l_tab_de
t
ec
t
_implici
t
_equalities: also det
e
ct man
i
fest
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
is
l
_
t
a
b
:
optional
l
y only mark strictly redundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
l
a
ege
generalize isl_pw_qpolynomi
a
l_bound to
isl
_
pw
_
qpolynomia
l
_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolaege
extr
a
c
t out gen
e
r
i
c part of isl_pw_
q
polyno
m
ial_boun
d
_r
a
ng
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
e
ge
i
sl_pw_qpolynomi
a
l_bound_r
a
n
ge: also set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl
_
basic_set_facto
r
izer
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoo
l
aege
export isl_pw_qpol
y
no
m
ia
l
_
fold_
d
rop_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
exp
o
rt isl_qpolynomial_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpo
l
ynom
i
al_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add isl_qpol
y
nomial_f
r
om_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
e
xport isl_q
p
oly
n
omial_add_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
add isl_qpolynomial_
h
omogenize
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd isl
_
q
p
olynomi
a
l_
d
e
g
ree
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
ad
d
isl_q
p
olynomia
l
_ins
e
rt_
d
i
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add isl_qpolynomial
_
dim
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl
_
c
tx:
a
dd two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_det
e
ct_i
m
pli
c
it_equalities:
return
integ
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
add isl_tab_si
g
n_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_tab_sel
e
c
t
_
f
ace
t
: re
t
ur
n
int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add is
l
_
basic_se
t
_fu
l
l_compression
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
private
l
y export
is
l
_pw_qpolynomia
l
_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_qpolynomial_fold
_
foreach_
q
polynomia
l
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Ver
d
oo
l
ae
g
e
add
i
s
l_pw_qpolyno
m
ial_fold_foreach_l
i
fted_pi
e
ce
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
expo
r
t i
s
l_pw_qpolynomial_fold_is_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
rdoolaege
priv
a
te
l
y export
isl_morp
h
_alloc and
i
sl_
m
orph_id
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
s
l_
q
pol
y
nomia
l
_
fo
l
d_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
export isl
_
pw
_
qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
a
dd isl_
c
t
x
_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
is
l
_
r
ang
e
.
c
:
fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
erdoolaege
e
xport
i
s
l_set_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_bound: pl
u
g memory lea
k
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
fix isl_qpolynomial_f
o
ld
_
du
p
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qpolyn
o
m
i
al_bound_range: fix r
e
m
o
v
al
o
f di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
add bound
_
test
.
sh to
d
istribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: do
c
ument gis
t
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoo
l
aege
d
o
c: doc
u
m
e
nt is
l
_con
s
t
r
a
int_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
ve
n
Ver
d
oolaege
add
i
sl_map_i
s
_single_
v
alued
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
isl_
b
asic_ma
p
_foreach_constra
i
nt: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdoo
l
aege
isl_basic
_
map_copy: mark
d
upli
c
ated co
p
y as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoola
e
ge
isl_ba
s
ic_set_lift: finalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_
b
asic_map_mo
v
e_dims: always finalize result
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
isl
_
basic_m
a
p_from_constraint: f
i
nalize res
u
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
isl_access_info
_
compute_fl
o
w: handle ma
y
a
ccesses
commit
|
commitdiff
|
tree
2010-05-31
S
v
en Verd
o
olaege
isl_
a
ccess_info_compute_flow: handl
e
multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
re
m
ove some unused var
i
abl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
fix so
m
e
icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
do
o
la
e
ge
rename is
l
_pw
_
qpolynomi
a
l_m
o
ve and ad
d
i
sl_
p
w_q
p
olynomi
a
l_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoola
e
ge
isl
_
ctx: k
e
ep
t
rack
of user
o
p
tions
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argumen
t
p
a
rs
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoo
l
aege
isl_options_par
s
e: p
r
i
nt hel
p
message
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdo
o
laege
add i
s
l_bound test application
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add
i
sl_p
w
_qpoly
n
omi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoola
e
ge
a
d
d isl_pw_qpolynomial_fo
l
d_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
a
d
d rudim
e
ntary isl_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
a
dd
isl_seq_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdool
a
ege
isl_equa
l
ities
.
c: fi
x
typo in com
m
ent
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
a
dd
i
sl_mat_insert_
r
o
ws
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
o
l
aege
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
ola
e
ge
a
d
d isl_m
a
t_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoola
e
ge
isl_mat_lin_to_aff: fi
x
er
r
or
h
andlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_qpolyn
o
mi
a
l_opt_
o
n_do
m
ai
n
: h
a
n
dle empty i
n
put
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
i
s
l
_name_alloc:
fix err
o
r handling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
erdoolae
g
e
isl_equal
i
ti
e
s
.
c: fix
t
yp
o
s in
comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_qpolynom
i
a
l
_
fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdool
a
ege
ad
d
isl_qp
o
lynomial_l
e
_cst
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doola
e
ge
privately export isl_set
_
i
s
_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_count_upt
o
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add is
l
_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
a
dd
i
sl_s
t
ream_read_pw_qpolyn
o
mia
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaeg
e
add i
s
l_qpolynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
l
ae
g
e
ad
d
is
l
_q
p
oly
n
o
mial
_
from_const
r
aint
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
ad
d
isl_basic_set_
f
oreach_bound
_
p
air
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
add isl_qpoly
n
omial_as_polyn
o
mial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
a
dd isl_qpolyn
o
m
i
al_subst
i
tute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
ae
g
e
add isl_basic_se
t
_dims_
g
et_sign
commit
|
commitdiff
|
tree
next