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
export isl_qpolynomial_add_dims
2010-06-12
Sven Verdoolaege
expor
t
isl
_
qpolyno
m
ial_add_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
d
o
o
l
aege
add is
l
_
qpolynom
i
a
l
_
homo
g
enize
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolaege
ad
d
isl_qpolynomial_degr
e
e
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
i
s
l
_qpoly
n
omia
l
_i
n
sert_dims
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
add isl_qpoly
n
omial
_
d
i
m
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
ege
is
l
_ctx
:
ad
d
two
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
isl_tab_de
t
ec
t
_impl
i
cit
_
eq
u
alities: return int
e
ger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
add isl_tab
_
sign_o
f
_max
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
i
s
l
_
ta
b
_select_facet
:
return int ins
t
e
a
d of i
s
l_tab *
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add
i
sl_ba
s
ic_set_full_
c
omp
r
ession
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
privately export is
l
_pw
_
qp
o
l
ynomial_morph
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_
q
poly
n
o
m
ia
l
_fold
_
foreach_qpol
y
nomial
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
o
olaege
add isl_pw_qpolynomial_f
o
ld_foreach_lif
t
ed
_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
export isl_pw
_
qpolynomial_fold_
i
s_zero
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
p
rivat
e
ly
e
xp
o
rt isl_morp
h
_
alloc and is
l
_mor
p
h_ide
n
ti
t
y
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add
i
sl_qp
o
lyno
m
ial_f
o
ld_get_type
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
ol
a
ege
export
is
l
_pw_q
p
olynomial_get_ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add
is
l
_ctx_peek_
o
p
t
ions
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdoolaege
isl
_
r
a
nge
.
c: f
i
x ty
p
o in comment
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
e
x
p
o
rt isl_s
e
t
_i
s
_bou
n
d
ed
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
la
e
ge
i
s
l_boun
d
:
plug memo
r
y leak
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoo
l
aege
f
ix isl_qpolyno
m
ia
l
_fol
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_pw_
q
poly
n
omial_bound_r
a
nge: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
bound_test
.
sh to distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdo
o
l
ae
g
e
doc: docum
e
nt gist operations
commit
|
commitdiff
|
tree
2010-06-04
Sven
V
erdoolae
g
e
doc: docum
e
nt isl_constraint_i
s
_e
q
uality
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
add isl_map_is_sin
g
le_valued
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Ve
r
doolaege
is
l
_basi
c
_map_fore
a
ch_constraint: make sure
i
nput has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdool
a
e
ge
is
l
_basic_map_copy: mark duplica
t
ed cop
y
a
s
finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven
Verdoolaeg
e
isl_
b
asic_set_lift:
f
in
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolae
g
e
isl_basic
_
map_move_dims: al
w
ays
f
inalize re
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sven Verd
o
olae
g
e
i
s
l_basic_ma
p
_fr
o
m
_
constraint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doola
e
ge
i
sl_access_in
f
o_compute_flow:
h
a
ndle
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sve
n
V
erdoolaege
i
s
l_access_info_compute_flow: handle mult
i
-valued si
n
k
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remo
v
e some unused
v
a
ri
a
bles
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
fix
so
m
e
i
cc warnin
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoo
l
aege
r
e
name is
l
_pw_
q
p
o
lynomial_move and add isl_pw_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n
Verdoolae
g
e
isl_ctx: keep track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-30
Sven
Verdoolaege
i
m
proved
a
rgument par
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
isl_options_parse:
p
rint help message
commit
|
commitdiff
|
tree
2010-05-14
S
ven Ve
r
doolaege
add
isl_bound test application
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdool
a
ege
add isl_p
w
_qpol
y
nomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
add isl_pw_qpolynomial_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaege
a
dd rudimentary isl_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add i
s
l_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equa
l
ities
.
c:
f
ix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Ver
d
oolaege
add isl
_
m
a
t
_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolae
g
e
add is
l
_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaege
ad
d
isl_mat_d
i
agon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
aege
isl_
m
at_lin_to_aff: fix error
handling
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolae
g
e
isl_qpol
y
nom
i
a
l
_opt_on_dom
a
in: han
d
le empty in
p
ut
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdool
a
ege
i
sl_name_alloc: f
i
x er
r
or handli
n
g
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolae
g
e
a
d
d isl_dim_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
l
aege
isl_equalities
.
c: fix typos in
c
omm
e
nts
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verdoolaege
add isl_pw_qpolynomial_fold_c
o
vers
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oolaege
a
dd isl_
q
polynomial_le
_
cst
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
privately
e
x
p
ort is
l
_s
e
t_
i
s_bo
u
nded
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
a
dd
i
s
l
_
se
t
_coun
t
_
upto
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
dd isl_
s
et_s
c
a
n
commit
|
commitdiff
|
tree
2010-05-13
S
v
en V
e
rdoolaege
add isl_stream_r
e
ad_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoo
l
aeg
e
ad
d
isl_
q
polynomial_from_term
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n Verdoolaege
add
i
sl_qp
o
l
ynom
i
al_from_cons
t
rain
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
add isl_basic_set_foreach_bo
u
nd_pa
i
r
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verd
o
o
laege
add isl_qpolynomial_as_p
o
lyno
m
ial
_
o
n_domain
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
doola
e
ge
add is
l
_
q
polynomial_
s
u
bstitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_basic_se
t
_dim
s
_g
e
t_sign
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoola
e
ge
i
s
l
_ct
x
:
add z
e
ro
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
add isl_qpolynomial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
a
dd isl_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
isl_qpolyno
m
ial_f
o
l
d
_
o
pt_on_domain:
f
ix typo
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoo
l
aege
isl_pw_*
_
eval: fix
h
andli
n
g of emp
t
y in
p
ut
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolae
g
e
add isl_basic_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n Verdoolaege
export
i
s
l_qpoly
n
omi
a
l_sub
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Verdoolaege
add
i
sl_qp
o
lynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
d
oolaege
i
sl_map_t
r
ansitive_closure: coalesce input before
c
hecking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
do
o
laege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en Verdool
a
ege
isl_map_le
x
_le: use one
b
asic set l
e
ss in result
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
olaege
isl
_
stream: accept lexico
g
raphic operators
commit
|
commitdiff
|
tree
2010-04-28
S
v
e
n
V
e
rdoolae
g
e
isl_map_transi
t
i
v
e_closure: check if input is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_pri
n
ter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verd
o
olae
g
e
isl_
m
ap
_
re
a
d:
p
arse
p
arametric Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolae
g
e
isl_map_read:
f
ix typo
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Ver
d
oolaege
isl_convex_
h
ull
.
c: i
s
_bou
n
d
:
any ineq
u
ality is a b
o
und
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoola
e
ge
isl_convex_hu
l
l
.
c
:
add_bounds: pr
o
pagate erro
r
s from
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoo
l
aeg
e
d
ocument isl_
m
a
p
_re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
rdoolaege
isl_s
t
ream_next
_
t
oken: termin
a
te string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
erdoolaege
i
sl_map_tr
a
nsitive_closure
:
treat equa
l
ity
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ve
r
doolaege
isl_map_tr
a
n
s
i
tive_cl
o
sure, o
m
ega-
l
ike:
o
nl
y
use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolae
g
e
isl_map_t
r
ansi
t
ive_closur
e
: use simple hull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
e
rdoolaege
isl
_
m
ap_trans
i
tive_closure: try and
c
ompute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
V
e
rdo
o
laege
isl
_
map_coalesc
e
:
allow wr
a
pping in sets th
a
t stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolaege
isl_map_coalesce
:
allowing
cutt
i
n
g
equalities in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
a
dd some more coalescing test cas
e
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_basic_map_
g
ist: be mo
r
e
ag
g
ressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
V
e
rd
o
o
laege
isl_stream:
accept st
r
ing token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
sl_tab
_
r
ollback: r
e
st
o
re rows t
h
a
t
are no longer m
a
rked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verdoolaege
doc: docu
m
e
n
t simple hu
l
l
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
o
laege
do
c
: emphasize that we are de
a
ling with
i
nte
g
e
r
s
e
ts
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
isl_transitive
_
clo
s
ure
.
c: pa
t
h_along_del
t
a
: onl
y
avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_
t
r
a
nsi
t
ive_closure
:
compute divs of
input
commit
|
commitdiff
|
tree
next