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
privately export isl_basic_set_sort_constraints and isl_basic_set_fast_is_equal
2010-06-12
Sve
n
Verdoolaege
privately export isl_basic_s
e
t
_
sort_constraints and
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
la
e
ge
is
l
_ta
b
_detec
t
_imp
l
ic
i
t_equalities:
a
lso detect man
i
fe
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ver
d
oolaege
isl_tab: optionally o
n
ly mark
s
trictly redundant
rows
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
generalize isl_p
w
_qp
o
lynomial_bound to
i
sl_pw_qpolyno
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
extract out gener
i
c part o
f
isl_
p
w_qpolynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_p
w
_qpolynomial_bound_range:
a
l
s
o set exactness
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
ool
a
ege
add isl_basic_set_factori
z
er
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_p
w
_qp
o
lynomial_f
o
ld_dro
p
_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
export
i
s
l
_
qpolynomial_i
s
_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rdoolaege
add
is
l
_qpolynomial_coe
f
f
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdo
o
l
aege
add i
s
l_qpolynom
i
al_from_affine
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
e
xpor
t
isl_q
p
ol
y
nomial_
a
dd
_
d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
lae
g
e
a
dd
isl_qpolynomial_h
o
mogenize
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oolaeg
e
ad
d
isl_qpolyn
o
mial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolae
g
e
add isl_qpolynom
i
al_insert_dims
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
add
i
sl_qp
o
ly
n
omial_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
ctx: ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
isl_tab_
d
etect_implicit_
e
qualities: r
e
turn integer
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_tab_sign_of_max
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
isl_
t
ab_sel
e
ct_fa
c
et: re
t
u
rn i
n
t instead
o
f isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
a
dd isl_basic_set_full_compres
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
privately expo
r
t isl_pw_
q
polynomial_mor
p
h
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
add
isl_qpolyno
m
i
a
l
_fold_f
o
rea
c
h_qpolynom
i
a
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
ol
a
ege
add isl
_
pw_
q
polynomial_fold_fo
r
each_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
export isl_pw_qpolynomial_fold_is
_
z
ero
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaeg
e
privately export i
s
l
_
mo
r
ph_alloc and i
s
l_morph_identity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
a
d
d
isl_qpolyn
o
mial
_
f
o
ld_get_
t
ype
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qpolyno
m
ia
l
_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_ctx_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl_range
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolae
g
e
e
xpor
t
i
s
l_set
_
is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
l
a
e
ge
i
sl_bo
u
nd: p
l
u
g
memo
r
y leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix
isl_qpol
y
n
o
mial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdoolae
g
e
isl_pw_q
p
olynomial
_
bound_range: fix
remo
v
al
o
f dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add bou
n
d_tes
t
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdool
a
ege
doc:
document
g
is
t
oper
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdo
o
laege
do
c
: document isl
_
c
o
nstraint_is_equality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
ad
d
isl_map_
i
s_single_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven
Ver
d
oolaege
isl_bas
i
c_map_foreach_con
s
traint: make
s
u
r
e input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_
b
a
s
ic_
m
a
p_copy: mark duplicated
c
o
py as
final
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
e
g
e
isl_bas
i
c
_
set_lift
:
f
i
n
alize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic
_
m
a
p_mo
v
e_dims: always f
i
nali
z
e r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
S
v
e
n V
e
rdoolaege
i
sl_b
a
sic_map_from_
c
on
s
train
t
: finaliz
e
r
e
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
isl
_
acce
s
s_
i
nfo_
c
o
m
p
u
te_fl
o
w: handle may accesse
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
i
sl_ac
c
ess_info_compute_flow:
handle multi-valued
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoo
l
aege
r
e
m
o
ve
s
ome unus
e
d
variables
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Ve
r
doolaege
rena
m
e i
s
l
_
pw_qpolynomial_move and a
d
d isl_
p
w
_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Verd
o
o
laege
isl_ctx:
k
eep tr
a
ck of user
o
ptions
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaeg
e
improved
a
rgu
m
ent parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaeg
e
isl_opti
o
n
s_parse: prin
t
help message
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
aege
add
isl_
b
ound test
applic
a
tion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaeg
e
add isl_pw_qpolyn
o
mial_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_
p
w
_qpolynomial
_
fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
add rudime
n
tary i
s
l_mo
r
ph
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
a
dd isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
a
ege
isl_eq
u
al
i
ties
.
c:
f
ix typo in
c
omment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
a
ege
add isl_mat_inser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoola
e
ge
a
d
d isl_mat_norm
a
l
i
ze
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
a
dd isl_mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laeg
e
isl_mat_lin_to_aff: fix e
r
ror handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_q
p
olynomial_opt_on_doma
i
n: handle empty input
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
i
sl_na
m
e_alloc: fix er
r
or
h
a
n
dling
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
ege
a
dd i
s
l_dim
_
offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
ae
g
e
isl_equa
l
itie
s
.
c: fi
x
typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
laege
add isl_pw_qpol
y
nomial_fold_cover
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd
i
sl_q
p
olynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdo
o
laege
privately export i
s
l_set_is_bounded
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaege
add
i
s
l
_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_stre
a
m_rea
d
_p
w
_q
p
ol
y
nomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_qpo
l
ynom
i
al_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doolaege
add isl_qpo
l
ynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
a
dd
i
sl
_
b
asic_set_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l
_qpolynom
i
al
_
a
s_polyn
o
mial_on_domai
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
a
d
d isl_qpolynomia
l
_substitu
t
e
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoola
e
g
e
ad
d
isl
_
basic
_
set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doolaege
isl_ctx: add
z
e
r
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add isl_
q
p
olynomia
l
_
neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_b
a
sic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdo
o
laege
isl_qpolynomial_fold_opt_on_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
r
d
oolaege
is
l
_pw_*_eva
l
: fix
ha
n
dling
o
f empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
ad
d
isl_bas
i
c_set_mov
e
_
dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
a
e
g
e
expor
t
isl_qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_qp
o
l
y
nomial_
g
et_dim
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ver
d
o
o
lae
g
e
isl_map_t
r
an
s
itive_cl
o
sure:
coale
s
ce input before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add
m
ap_l
e
x
_
*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoola
e
ge
i
sl_map_lex_l
e
: use one basic set l
e
s
s
in result
commit
|
commitdiff
|
tree
2010-05-01
Sve
n
Verd
o
ola
e
ge
isl_stre
a
m: accep
t
l
e
xicographic o
p
erato
r
s
commit
|
commitdiff
|
tree
2010-04-28
S
ven Verdoolaege
isl_map_transit
i
ve_closure: check
i
f i
n
put i
s
closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
r
d
oolaeg
e
a
d
d
i
s
l_
p
rinte
r
_flu
s
h
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_map_read:
parse parame
t
r
i
c Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdo
o
la
e
ge
i
sl_
m
ap_re
a
d: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
c
onv
e
x_hull
.
c:
i
s_bound:
a
n
y in
e
quality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
conve
x
_hu
l
l
.
c:
a
dd_b
o
u
n
d
s
: pro
p
agate
e
rr
o
rs
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Ve
r
doolaeg
e
d
o
cument isl_map_revers
e
commit
|
commitdiff
|
tree
2010-04-24
S
v
e
n Verdoolaege
isl_stream
_
next_token: termin
a
te
strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoolaege
isl_map_
t
ransitive_c
l
osur
e
: treat e
q
uali
t
y as pai
r
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laege
isl_ma
p
_transitive_closure, omega-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olaege
isl_map_
t
ra
n
sitiv
e
_closure: use simple
h
ull in
om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erd
o
olaege
i
sl_map_transitive_closure: try and compute closure
.
.
.
commit
|
commitdiff
|
tree
next