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_basic_set_factorizer
2010-06-12
Sven
Verdool
a
ege
add isl_basic_set_f
a
cto
r
izer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
eg
e
export
isl_pw_
q
polynomial_fold_drop_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
export isl_
q
polynomial_is_zer
o
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doolae
g
e
add isl_q
p
olynomial_coeff
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
rdoo
l
aege
ad
d
isl_qpoly
n
o
mial_from_
a
ffine
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
export isl_qp
o
lynomi
a
l_add_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaeg
e
add isl_qpolyn
o
m
ial_ho
m
ogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add
isl_qpolynomia
l
_degree
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
laege
ad
d
isl_q
p
olynomial_in
s
ert_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdo
o
la
e
ge
add isl_qpolynomi
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
isl_tab
_
detect_implicit_equal
i
tie
s
: return
inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
t
ab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_selec
t
_f
a
cet: retur
n
int i
n
stea
d
of isl
_
tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
laege
add isl_basic_set_
f
ull_compre
s
sion
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdo
o
la
e
ge
p
riva
t
ely export i
s
l_pw_q
p
o
l
ynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
a
d
d isl_
q
polynomial_fold_f
o
reach
_
q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd isl_
p
w_
q
p
o
lynomia
l
_
f
old_foreach_lifted_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
e
x
por
t
isl
_
pw_qpolynomia
l
_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
priv
a
te
l
y export isl_morph_all
o
c
and isl_morph_i
d
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
add isl_
q
polynomial_f
o
ld_get_typ
e
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
export
i
sl_pw_qpolynomia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_ctx_peek_op
t
ions
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_ran
g
e
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
la
e
ge
e
xport isl_se
t
_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoola
e
ge
isl_bound: plug me
m
ory
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
fix
i
sl
_
qpolynom
i
al_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
isl_pw
_
qp
o
lynomial_bou
n
d_range: f
i
x
r
emoval of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add bound_test
.
sh
to distr
i
b
ution
commit
|
commitdiff
|
tree
2010-06-11
S
v
en
Ver
d
oolaege
doc: do
c
ument g
i
st
operations
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoola
e
ge
doc: document isl_con
s
t
r
aint_is_equalit
y
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
er
d
oolaeg
e
add isl_map_is_si
n
gle_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_basic
_
map_fore
a
ch_constr
a
int:
m
ake sure input
h
as
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
i
sl_basic_map_copy: mark
d
up
l
icat
e
d copy as fin
a
lized
commit
|
commitdiff
|
tree
2010-06-03
S
v
en
V
erd
o
olaege
isl_
b
asic_set_lift
:
final
i
ze result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaeg
e
isl_b
a
sic_map
_
move_dim
s
: a
l
ways f
i
nalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
S
v
en Verdo
o
laege
isl
_
basic_m
a
p_f
r
om_
c
onstraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaeg
e
isl_access_info_compu
t
e_flow
:
ha
n
dle may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven V
e
rdoolae
g
e
is
l
_
access_info_compute_
f
low
:
ha
n
d
l
e multi-valued s
i
nk
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
r
e
move some u
n
u
sed
v
ari
a
bles
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ver
d
o
olaege
rename i
s
l_pw
_
q
p
olynomia
l
_move and add isl_pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
isl_ctx: k
e
ep track of user option
s
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaeg
e
impro
v
ed ar
g
ument parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
d
o
olaege
isl_option
s
_parse: pr
i
nt
h
elp messag
e
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
a
d
d
isl_bound test
a
pplication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
add isl_pw_qpolynomial_bound
_
ran
g
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
a
d
d isl_
p
w_q
p
olynomial_
f
ol
d
_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
dd r
u
dimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
add
isl
_
seq
_
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_equ
a
l
ities
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl
_
mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_mat_norm
a
lize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
olaege
add i
s
l_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
isl_mat_lin_
t
o_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
eg
e
isl_qpolynomial_opt_on_doma
i
n
:
han
d
le empt
y
input
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
s
l_
n
ame_all
o
c:
fix error hand
l
in
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_
d
im_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
isl_equalities
.
c: fi
x
typos i
n
comme
n
ts
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add i
s
l_pw_
q
polynomial_fo
l
d_co
v
er
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaeg
e
add isl_q
p
o
l
yn
o
m
i
al_l
e
_
cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
privat
e
ly exp
o
rt
isl_set
_
is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoola
e
g
e
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
a
dd isl_stream_read_pw_qpo
l
y
nomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
a
d
d isl_qp
o
l
y
nomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
ad
d
isl_
q
polynomi
a
l_from_const
r
aint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
o
o
laege
ad
d
i
s
l_basic_set
_
fo
r
each_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add isl_qpol
y
n
o
mial_as_polynomial_on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
ol
a
ege
ad
d
isl_qpolynomial_substitute
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add i
s
l
_
basic_set_dims
_
ge
t
_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
ad
d
is
l
_qpolyno
m
ial_negi
n
fty
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoola
e
g
e
add isl_
b
asic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpolynomia
l
_
f
old_opt_on_domain: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
o
olaege
i
s
l_pw_*_eval: fix
h
an
d
ling
o
f
emp
t
y input
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n V
e
rd
o
olaege
a
dd is
l
_basic_set_m
o
ve_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
export isl
_
qpo
l
y
n
omial_su
b
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoo
l
aege
a
d
d isl_qp
o
lynomi
a
l
_
g
e
t_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
ege
isl_map_transitiv
e
_
c
losure: coalesce
i
nput before
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add map_
l
ex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
isl_map_
l
e
x_le:
u
se one basic set
less in resul
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_
s
tream: a
c
c
ept lexicog
r
aphic
o
per
a
to
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_t
r
an
s
itive_closure: check
if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
add isl_pr
i
nte
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
e
rdoolaege
i
s
l
_
m
a
p_re
a
d
: parse parametric Omega in
p
ut
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdo
o
laege
isl_m
a
p_read: fix typ
o
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: is
_
bound:
a
ny inequality is a bou
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
laege
isl_co
n
vex_hull
.
c:
add_
b
ounds:
propagate errors fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
ae
g
e
doc
u
ment isl_map_
r
everse
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdo
o
la
e
g
e
isl_
s
t
r
eam_next_toke
n
: t
e
rmina
t
e string tok
e
ns
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoo
l
a
eg
e
isl_map_t
r
ansit
i
v
e
_closure: treat equality
a
s p
a
ir
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven V
e
rdoolae
g
e
isl_m
a
p_transitive_closure, omega-like: on
l
y us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl_map_t
r
ansiti
v
e_closu
r
e
: use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_
m
ap_transitive_c
l
osu
r
e
:
try and com
p
ut
e
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_coalesce: allow wr
a
pping in sets
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_map_coa
l
es
c
e: al
l
owing cutting equali
t
ie
s
in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
a
d
d some more coales
c
ing test case
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_basic_map_g
i
s
t
: be more aggressive
i
n
r
em
o
vin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
a
ege
isl_stream:
a
c
c
ept string to
k
ens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_tab_rollback: restore rows
th
a
t are no longer marked
.
.
.
commit
|
commitdiff
|
tree
next