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
V
e
r
dool
a
eg
e
export isl_qp
o
l
ynomial_add_dims
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
a
dd isl_qpolynomial_homogenize
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoo
l
aege
add isl
_
qpol
y
nomial
_
degree
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ve
r
doolaege
add isl_
q
polynomial_insert_dim
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add i
s
l_qpoly
n
omi
a
l_
d
im
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
lae
g
e
isl_c
t
x: add two
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
isl_ta
b
_detect_impl
i
c
it_
e
qua
l
ities
:
return i
n
teger
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaeg
e
add isl_tab_sign_o
f
_
max
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
lae
g
e
isl_
t
a
b
_sel
e
ct_facet: return int instead of isl_tab *
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
ad
d
i
sl_basic_set_full_compr
e
s
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
privately
exp
o
rt
i
sl_
p
w_qpolynomial_morp
h
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
add isl_qp
o
lynomial_fold_fore
a
ch_qp
o
lynomia
l
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
ad
d
is
l
_pw_qpolynomial_f
o
l
d_
f
oreach_lifted_piece
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
r
d
oolaege
e
xp
o
rt
i
sl
_
pw_qpol
y
nomia
l
_fold
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
privately e
x
port isl_morph_alloc
and isl_morph_ide
n
t
ity
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qpo
l
ynomial_fold_get
_
type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
e
x
port isl
_
pw_qp
o
lynomial
_
get
_
ctx
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_
p
e
ek_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_range
.
c
: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdo
o
laege
export isl_set_is
_
bounded
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
isl_b
o
und: plug
memory
leak
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdo
o
l
aege
fix is
l
_qpoly
n
omia
l
_fold_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl_pw_qp
o
lynomial_
b
ound_range: fix removal of dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
dd bound_tes
t
.
sh to distrib
u
tion
commit
|
commitdiff
|
tree
2010-06-11
Sven
V
erdoolaege
doc: document gist o
p
erations
commit
|
commitdiff
|
tree
2010-06-04
Sven Ve
r
doo
l
aege
doc:
d
o
c
umen
t
isl_const
r
a
int
_
is
_
equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdoolaege
add isl_map
_
is_
s
ingle_value
d
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoo
l
a
ege
is
l
_basic_m
a
p_foreach_constraint: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdool
a
eg
e
isl
_
basi
c
_map_cop
y
:
m
ark duplicate
d
copy
as
f
inalized
commit
|
commitdiff
|
tree
2010-06-03
Sve
n
Verdoolae
g
e
isl_
b
asic_
s
et_lift
:
finali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolae
g
e
i
s
l_
b
asic_map_move_d
i
ms: alw
a
ys finalize res
u
lt
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl
_
basic_ma
p
_from_const
r
aint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoo
l
aeg
e
i
s
l_access_
i
n
fo_comp
u
te_flo
w
: handle may acc
e
sses
commit
|
commitdiff
|
tree
2010-05-31
Sven
Verdoolaege
i
sl_acce
s
s_inf
o
_
compute_flow:
h
an
d
le multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove
some unus
e
d variab
l
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n
V
erdoo
l
a
e
ge
f
ix some icc warning
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdoolaege
rena
m
e isl_pw_qpoly
n
o
m
ial_mov
e
a
n
d add isl_p
w
_qpolynomial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven
V
e
rdoolaege
isl_ctx:
k
eep track of
u
ser opti
o
n
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verd
o
olae
g
e
i
m
pro
v
ed argument p
a
rs
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
o
l
a
ege
i
s
l
_
o
ptio
n
s
_
pars
e
: print help mess
a
ge
commit
|
commitdiff
|
tree
2010-05-14
S
ve
n
V
erdo
o
la
e
g
e
add
isl
_
bound tes
t
a
p
p
l
ica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add
i
sl_pw_q
p
olynomial_fold
_
morph
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ve
r
doo
l
aege
a
d
d rudimenta
r
y isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
a
d
d isl_seq_set
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
erdoolaege
isl
_
equalities
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_mat_insert_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
lae
g
e
add isl
_
mat_
n
ormalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl
_
mat_diagonal
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
isl_
m
at_lin_to_
a
ff: fix
error handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdo
o
laege
isl_qpolynomial_opt_on_doma
i
n: handle em
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
ool
a
ege
isl_
n
ame_alloc:
fix
err
o
r
hand
l
ing
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_
d
im_offse
t
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Verdoolaege
isl_e
q
u
a
lities
.
c:
f
ix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
d
o
o
laege
add isl_pw
_
q
p
oly
n
omial_f
o
l
d_cov
e
rs
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add is
l
_qpol
y
nomial_le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
p
r
ivat
e
ly export isl_se
t
_
is_bounded
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
aege
a
d
d
isl_set
_
cou
n
t_upto
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
isl_set_
s
can
commit
|
commitdiff
|
tree
2010-05-13
S
v
e
n
Verd
o
olaege
add
i
sl_stream_re
a
d_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add isl_qpo
l
ynomial_
f
rom_
t
e
r
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoola
e
ge
add i
s
l_qpolynomial_from_constra
i
nt
commit
|
commitdiff
|
tree
2010-05-13
S
ven
V
er
d
oo
l
a
e
ge
add isl_basic_set_fore
a
c
h_bound_
p
a
i
r
commit
|
commitdiff
|
tree
2010-05-13
S
v
en
V
erdoolaege
add is
l
_qp
o
lynomial_a
s
_pol
y
nomial
_
on_domain
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oolaege
add
i
sl
_
q
polynomial_s
u
bsti
t
ute
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
laege
add isl_basic_set_
d
ims_get_
s
ign
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaege
isl_ctx
:
add zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
add i
s
l_qpolynomial_
n
eginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven Ve
r
doola
e
ge
add isl_basic_set_dr
o
p
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
o
laege
isl_qpo
l
ynomial_fold_opt_o
n
_
d
omain: fix t
y
p
o
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdool
a
e
g
e
isl_pw_*_eval: fix
h
andling
o
f empty
i
nput
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdool
a
ege
add isl
_
bas
i
c_
s
et_m
o
v
e_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
e
xpor
t
i
s
l_q
p
olyn
o
mial_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
add is
l
_
qpo
l
ynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdoolaege
isl_map_transitive_cl
o
sure: coa
l
esce
i
nput
b
ef
o
re checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolaeg
e
ad
d
map_lex_*
_
first
commit
|
commitdiff
|
tree
2010-05-01
S
v
en V
e
rdoola
e
ge
is
l
_map_lex_le: use on
e
basic set less in res
u
lt
commit
|
commitdiff
|
tree
2010-05-01
Sven Ve
r
doolaege
i
sl_stream: accept lexicogra
p
hic operators
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
isl
_
map_t
r
ansitiv
e
_closure: check if input is c
l
os
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n V
e
rdoolaege
add isl_
p
rinter_
f
lush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_
m
a
p
_
r
e
a
d
: parse parametric Omega
i
np
u
t
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_map_r
e
ad: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sv
e
n Verdoolae
g
e
i
s
l_convex
_
hull
.
c: is_bound:
any
i
nequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
is
l
_convex_hull
.
c: add_bounds: p
r
opagate errors fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven
V
e
rdoolaege
docume
n
t isl_map_re
v
erse
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
ege
isl_stream_next_token
:
t
e
rminate string tokens
commit
|
commitdiff
|
tree
2010-04-23
S
ven V
e
rdo
o
laege
isl_map_transi
t
ive_closure: treat equali
t
y
as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_transitive_cl
o
sure,
o
mega-like: only us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
is
l
_m
a
p
_
t
r
a
nsitive_
c
l
o
sure: use simple
h
ull in omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolae
g
e
isl_map_transi
t
iv
e
_
c
losure: try and compute clo
s
ure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
isl
_
map_coa
l
esce: allo
w
wrappin
g
in set
s
t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
isl_map_coalesce:
a
llo
w
ing cutting equalit
i
es in adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some mor
e
co
a
lesci
n
g test cases
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_basi
c
_map_gist
:
b
e
more aggre
s
sive
in r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoolaege
i
s
l_stream: acc
e
pt s
t
ring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_
t
a
b_rollback:
r
estore rows that a
r
e no
l
onger marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
doc: docu
m
ent
si
m
ple
hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
doc: emphasize th
a
t
we a
r
e
d
eal
i
ng
with integer sets
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
isl
_
transitiv
e
_cl
o
sure
.
c: pat
h
_alo
n
g_delta:
o
n
ly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
Verdoola
e
g
e
i
s
l_map_tran
s
i
tive_clo
s
ure:
compu
t
e divs of input
commit
|
commitdiff
|
tree
next