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_morph.c: fix typo
2010-06-25
Sven V
e
r
doolaege
i
s
l_morph
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Ve
r
doola
e
ge
isl_map
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-25
Sven V
e
rd
o
olaeg
e
i
sl
_
ma
p
_simplify
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolaeg
e
i
s
l
_i
n
put
.
c: accept
m
ore general af
f
i
n
e e
x
pres
s
ions
commit
|
commitdiff
|
tree
2010-06-25
S
v
en Verdoolaege
add isl_
v
ec_add
commit
|
commitdiff
|
tree
2010-06-25
Sven Verdoolae
g
e
add isl_vec
_
sca
l
e
commit
|
commitdiff
|
tree
2010-06-25
Sv
e
n
Ve
r
doolaege
add
i
sl_set_is_b
o
x
commit
|
commitdiff
|
tree
2010-06-24
Sven Ve
r
doolaege
add is
l
_map_is_translation
commit
|
commitdiff
|
tree
2010-06-21
Sve
n
V
erd
o
olaege
export isl_qpolynomial_involves_
d
ims
commit
|
commitdiff
|
tree
2010-06-21
S
v
e
n Verdoo
l
aege
i
sl_polynomial
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-21
Sven Verdoola
e
ge
isl_m
a
p_transitive_closu
r
e: check
whet
h
er deco
m
position
.
.
.
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
add isl_stream_flush
_
tokens
commit
|
commitdiff
|
tree
2010-06-19
Sven V
e
rd
o
olaege
add
i
sl
_
s
t
r
eam_
s
kip
_
line
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolae
g
e
add rudimentary error
reporting me
c
hanis
m
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ve
r
doolaege
add isl_version
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
e
r
doolaege
i
sl_point_alloc: avo
i
d potential
m
emory leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-06-18
Sven
V
e
rd
o
olaege
doc: document
i
s
l_map_deltas
commit
|
commitdiff
|
tree
2010-06-15
Sven Verdo
o
laege
isl
_
t
a
b_pip
.
c
: compare all
c
oeffici
e
nts when che
c
king
.
.
.
commit
|
commitdiff
|
tree
2010-06-15
S
ven Verdoolaege
isl_pw_qpoly
n
omial{,
_
fold}
_
gist: use
simple hull instead
.
.
.
commit
|
commitdiff
|
tree
2010-06-14
S
ven Verdoolaege
add isl_s
e
t_set_
d
im_name
commit
|
commitdiff
|
tree
2010-06-14
Sven Verdoolaege
add isl_st
r
e
a
m
_r
e
ad_set
commit
|
commitdiff
|
tree
2010-06-14
Sven
Verd
o
o
l
ae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
o
o
laege
isl_qpolynomial
_
lif
t
: fix lifting in absence
o
f divs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
optio
n
a
l
ly (and by
def
a
u
l
t)
use berns
t
ein expan
s
ion
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
privately export isl_
q
polynomial_fol
d
_
fol
d
_
o
n
_
domai
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_p
w
_qpolynomial_f
o
ld_foreach_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdoola
e
ge
add param
e
tric verte
x
enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
add isl_morph_d
o
m_di
m
and isl_morph
_
ran_d
i
m
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olae
g
e
add isl_basic_map_is_ra
t
io
n
al
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
priv
a
te
l
y e
x
port isl_basic_set_sor
t
_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_detect
_
implicit_equalities: a
l
so detect mani
f
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_t
a
b: optionally only mark strictly
r
edundant rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ge
n
e
ralize isl_pw_qpolynomial_bound to
i
sl_pw_qpoly
n
omial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
ex
t
ract ou
t
generic part of
isl_pw_
q
polyn
o
mial_
b
ou
n
d_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oola
e
ge
is
l
_
p
w_qp
o
lynom
i
al_bound_range:
a
lso set exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
d
d isl_
b
asic_set_factorizer
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
export isl_pw_qpolynomial_fo
l
d_drop_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
export isl_qpolynom
i
al_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add is
l
_qpo
l
ynomia
l
_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
add
isl_qpolyn
o
m
i
al_
f
rom_aff
i
n
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
export isl_qpolynomial
_
a
d
d_
d
ims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doo
l
aege
a
dd isl_
q
polyn
o
mial_homo
g
eni
z
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add isl_qpolynomial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
a
e
ge
ad
d
isl
_
qpolynomi
a
l_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdo
o
lae
g
e
a
d
d
i
sl_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolae
g
e
isl_ctx: a
d
d
two
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
isl_tab_detect_
i
mplicit_
e
qualit
i
es:
r
etu
r
n intege
r
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
olaege
add isl_tab_sig
n
_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aeg
e
i
s
l_tab_
s
elect
_
facet: return int in
s
tead
o
f isl_ta
b
*
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl
_
bas
i
c_s
e
t_full_c
o
m
p
r
e
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
oo
l
ae
g
e
privately export
i
sl_pw_qpolyno
m
ial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qpolynomial
_
fold_fo
r
ea
c
h_
q
polynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_p
w
_
q
poly
n
omial_fo
l
d_fo
r
each_lifte
d
_pi
e
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
export isl_pw_qpolynomi
a
l_fo
l
d_is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoola
e
ge
privately export isl_morph_
a
lloc and
i
sl_
m
orph_identity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoo
l
a
e
ge
add isl_qp
o
l
y
n
om
i
a
l_fold_g
e
t_type
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
ae
g
e
export is
l
_pw
_
qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
add is
l
_
c
tx_pe
e
k_o
p
tions
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
export isl_set
_
is_b
o
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
is
l
_bou
n
d
:
pl
u
g me
m
ory leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
i
sl_qpolyn
o
mia
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl_
p
w_q
p
olyno
m
ial_boun
d
_range:
f
ix
r
em
o
val of
di
m
s
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound_test
.
sh to
distribu
t
ion
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdoolaege
doc: do
c
ument g
i
st opera
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sve
n
Verdoo
l
aege
doc:
d
ocument is
l
_constraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
add isl_
m
ap_is_single_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdool
a
e
ge
isl_ba
s
ic_m
a
p_
f
ore
a
c
h
_const
r
aint
:
make sure inpu
t
has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laeg
e
isl_
b
asic_map_copy:
mark duplica
t
ed copy as
finali
z
ed
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaeg
e
i
sl_basic_set_lift: final
i
z
e r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
i
s
l
_basic_map_move_d
i
ms: always fi
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdo
o
laeg
e
isl_basic_map_from_constr
a
int: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_access_in
f
o_compute_flow: han
d
le
may a
c
cess
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoo
l
aege
isl_access
_
info_compu
t
e_flow:
handle multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
r
e
m
ove some unused v
a
riab
l
es
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
rename is
l
_p
w
_qpolynomial_move and
add isl_pw_q
p
olynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolae
g
e
is
l
_ctx: keep
track of user options
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoolaege
improve
d
argum
e
nt pars
i
ng
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verd
o
olaeg
e
isl_options_parse: print help me
s
sage
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
a
dd
isl_bound test app
l
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ad
d
isl_pw_qpolyno
m
ia
l
_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
add i
s
l
_
pw_
q
poly
n
omial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
r
doolaege
add ru
d
imentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
a
dd isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
i
s
l_equalities
.
c: fix typo
in c
o
mment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
laege
add i
s
l
_mat_ins
e
rt_r
o
w
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolae
g
e
add isl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
ad
d
isl_m
a
t_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
isl_m
a
t_
l
in_to_aff: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl_
q
polynomial_opt_on_domai
n
: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaeg
e
isl_name_al
l
o
c: fix e
r
ror ha
n
dlin
g
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add isl_di
m
_of
f
set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
a
ege
i
s
l_equalities
.
c: fix
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdo
o
laege
ad
d
i
sl
_
pw_q
p
olynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolae
g
e
add
i
sl_qpolynom
i
al_le_cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
pr
i
vately expor
t
isl_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
a
d
d
isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ve
r
d
oolaege
ad
d
isl_
s
e
t
_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add isl_stream_read_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
a
dd
i
sl_
q
polynomial_from_term
commit
|
commitdiff
|
tree
next