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 Ver
d
oolaege
add isl_basic_set_factor
i
zer
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw_qp
o
lynom
i
al_f
o
l
d
_drop_di
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdo
o
lae
g
e
export is
l
_qpolynomial_is_z
e
ro
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd i
s
l
_qpolynomi
a
l_c
o
e
ff
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ver
d
ool
a
ege
add isl_
q
p
o
l
y
n
omial_from_aff
i
ne
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaeg
e
e
x
port isl_q
p
olynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
isl_q
p
oly
n
o
m
ial_homog
e
nize
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
add isl_qpolynomial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdool
a
ege
add
i
sl_qpolynomi
a
l_insert_d
i
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_
q
poly
n
omi
a
l_dim
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
is
l
_ctx: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
isl
_
tab_detect_implicit_equalit
i
es: r
e
t
urn inte
g
er
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_tab
_
s
i
gn_of
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_tab_se
l
ect_facet
:
ret
u
rn in
t
instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_basic_set_full_co
m
pressi
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
privately export is
l
_pw_qpolynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
olaege
add isl_qpolyno
m
i
a
l_fol
d
_
foreach_q
p
olynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
isl
_
pw_
q
polynomial_fold_f
o
reach_l
i
fted_p
i
ece
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
o
o
la
e
ge
export isl_pw_qp
o
l
ynom
i
al_fold_
i
s_
z
er
o
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
pri
v
ately export isl_m
o
rph_alloc and
i
sl_m
o
rph_id
e
ntity
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolae
g
e
add isl_qpol
y
nomial_fold_get_type
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
ge
e
xport isl
_
pw_qpolynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
ad
d
i
s
l
_
ct
x
_peek_options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
rd
o
ol
a
ege
i
s
l_range
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl
_
s
et_is_bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_bound: plug memory
leak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
fix isl_qpo
l
ynomial_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isl_pw_qpolynomial_bound_r
a
nge: f
i
x r
e
m
o
val o
f
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add bound
_
test
.
sh to dist
r
ibution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdool
a
ege
do
c
: document gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven
Verdoolaege
doc: doc
u
ment isl_constrai
n
t_is_equ
a
lity
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ve
r
d
o
olaege
a
dd is
l
_m
a
p
_is_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
isl_b
a
sic_ma
p
_
f
oreach_con
s
traint: mak
e
s
u
re input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
S
ven Verdoolaege
is
l
_basic_map_copy: mark du
p
licated copy as
f
inal
i
zed
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
e
rdoolaege
isl_bas
i
c_set
_
lift: fi
n
alize r
e
sult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_ba
s
ic_ma
p
_move_dims: always finalize resul
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
laege
isl_bas
i
c_map_from_con
s
tra
i
nt: fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
i
sl_access_info_compute_flow: h
a
n
d
l
e may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sve
n
V
erdoolaege
isl_a
c
cess_info_comput
e
_flow: handle
multi-valued sin
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verd
o
olaege
remov
e
some unused v
a
r
i
a
bles
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
fix some icc warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven V
e
rdoola
e
ge
rename isl_pw_q
p
o
lynomial_move a
n
d add isl_p
w
_qpolynomial_
f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en
V
e
rdoolaege
i
s
l
_ctx: keep track of
user
options
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verdoolaege
im
p
rov
e
d argum
e
nt p
a
rsing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
isl
_
options_parse: print help me
s
s
age
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
add isl
_
boun
d
t
es
t
app
l
ication
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolae
g
e
add
i
sl_pw_qp
o
ly
n
o
mi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
i
sl_pw_q
p
olynomial_fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaege
i
s
l
_
equalities
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_mat_in
s
ert_rows
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
Verdoolaege
add isl_mat_normaliz
e
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
add isl_m
a
t_diagona
l
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_mat_li
n
_to_aff: fix
erro
r
h
andling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdoolaege
isl_qpoly
n
omia
l
_opt_o
n
_domain: hand
l
e empty input
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl
_
n
a
me_a
l
loc
:
fix er
r
or h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olaege
ad
d
isl_dim_off
s
et
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
isl_equali
t
ies
.
c: fix typos
in
c
o
m
ments
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
dd isl_pw_qpolynomial_fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpo
l
ynomial_le_cst
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
r
doolaege
privately expor
t
isl_set_is_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_set
_
cou
n
t_u
p
to
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_set_sca
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
ad
d
is
l
_s
t
ream_read_pw_
q
polynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl
_
qpolyn
o
mial_from_t
e
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial_from_constraint
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
olaege
add i
s
l_basic_s
e
t_foreach_bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
a
d
d
isl_qp
o
l
y
no
m
ial_
a
s
_polynomial_on_d
o
ma
i
n
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
ege
add isl
_
qpo
l
y
n
omial_subs
t
itu
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoo
l
a
e
ge
add
i
sl_basi
c
_set_di
m
s
_ge
t
_s
i
g
n
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
is
l
_ctx: add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
add i
s
l_
q
polynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doo
l
aege
add is
l
_
b
a
sic_set_dr
o
p
commit
|
commitdiff
|
tree
2010-05-04
S
v
en
V
er
d
oolaege
isl_qpol
y
nomial_fold_opt_on_doma
i
n: fix typ
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoola
e
ge
is
l
_
p
w_*_eval: fix handling of empty
input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l
_
basi
c
_
s
e
t
_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl
_
qpol
y
nomial_sub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add isl_q
p
ol
y
nomial_get_di
m
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
i
s
l_map_
t
r
a
ns
i
tive_closure:
coalesce input befo
r
e
c
heckin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdool
a
e
ge
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
isl_map
_
lex_
l
e: use one basic set les
s
in
resul
t
commit
|
commitdiff
|
tree
2010-05-01
S
ven Verdoolaege
isl_st
r
e
a
m: accept lexi
c
ograph
i
c op
e
rators
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
isl_m
a
p
_trans
i
tiv
e
_clo
s
ure: check if input is clos
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolaege
add is
l
_prin
t
er_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
o
o
laeg
e
isl_map
_
rea
d
: parse parame
t
ric Omega inp
u
t
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
i
sl_ma
p
_re
a
d: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
isl_convex_hull
.
c: i
s
_bound: any
ineq
u
ality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_c
o
nvex
_
hull
.
c: add_bounds: propaga
t
e erro
r
s
from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verd
o
olaege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoola
e
ge
i
sl_stream_next_tok
e
n:
t
ermina
t
e strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
S
v
en V
e
rdoolaege
isl_map_transitive_closure: treat equality as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Ver
d
oolaege
isl_map_transitive_clos
u
re, omega-like:
onl
y
us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaeg
e
isl_map_trans
i
tive_cl
o
sur
e
: use s
i
mp
l
e hull in
omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verd
o
o
l
a
e
g
e
isl_map_transitive_closure: try and com
p
ute clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Verdoolaege
isl_
m
ap_coalesce: allow wrapping in
sets that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oolaege
i
sl_map_coalesce:
al
l
ow
i
ng cu
t
tin
g
e
q
u
a
lities in
a
d
j
acent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
ad
d
some m
o
re coal
e
s
c
in
g
test cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdo
o
la
e
g
e
isl
_
basic_map_gist: be more ag
g
ressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_strea
m
: acc
e
pt string to
k
ens
commit
|
commitdiff
|
tree
next