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_full_compression
2010-06-12
S
v
en
V
e
rdool
a
ege
add is
l
_
b
asic_set_full_com
p
r
e
s
s
ion
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
privately ex
p
o
r
t isl_p
w
_qpol
y
nom
i
al_morph
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
add isl_qpolynomial_fold_foreach_qp
o
lynomial
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_pw_qpolynomial_fold
_
foreach
_
li
f
ted_piece
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
export isl_pw_
q
po
l
ynomi
a
l_
f
old
_
is_zero
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
doolaege
private
l
y export
i
sl_morph_alloc and isl_morph_ide
n
t
i
ty
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_qp
o
lynom
i
al_
f
old_ge
t
_type
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
g
e
e
x
p
o
r
t
isl_pw_qpolynomi
a
l_get_ct
x
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl_ctx_peek
_
options
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
isl_
r
ange
.
c: fix t
y
po in c
o
mment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoo
l
aege
exp
o
rt isl_s
e
t_is_bo
u
nded
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
is
l
_bound
:
pl
u
g memory leak
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
fix isl_q
p
olynomial_fold_
d
up
commit
|
commitdiff
|
tree
2010-06-12
S
ve
n
Verdoolaeg
e
isl_pw_
q
polyno
m
ia
l
_bound
_
r
a
n
ge: fix removal of d
i
ms
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
ad
d
bound_test
.
sh to
d
istributio
n
commit
|
commitdiff
|
tree
2010-06-11
Sven Verdool
a
ege
doc:
documen
t
gist op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verdoolaege
doc: document isl_
c
o
n
straint_is_equali
t
y
commit
|
commitdiff
|
tree
2010-06-04
Sv
e
n Verd
o
o
l
aege
add i
s
l_ma
p
_is_single_valu
e
d
commit
|
commitdiff
|
tree
2010-06-04
Sven V
e
rdo
o
laege
isl_basic_map_foreach_con
s
t
r
a
int: make sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoo
l
ae
g
e
isl_basic_map_cop
y
: mar
k
duplicated
c
op
y
as finalized
commit
|
commitdiff
|
tree
2010-06-03
Sven Ve
r
doolaege
i
sl_bas
i
c
_set_lif
t
:
f
inalize result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
erdoolaege
i
s
l
_
b
a
sic_map_mo
v
e
_dims: al
w
ays fi
n
ali
z
e result
commit
|
commitdiff
|
tree
2010-06-03
Sven
V
er
d
oolaege
isl
_
bas
i
c_map_from_constraint:
finalize
re
s
ult
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
isl_acc
e
ss_info
_
compute_flow: handl
e
may accesses
commit
|
commitdiff
|
tree
2010-05-31
Sven Verdoolaege
isl
_
ac
c
ess_info_comput
e
_flo
w
: handle multi-value
d
sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven Ve
r
doolaege
remove so
m
e u
n
used variable
s
commit
|
commitdiff
|
tree
2010-05-30
Sven Ve
r
doolaege
fix so
m
e
icc
warnings
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoola
e
ge
r
e
nam
e
is
l
_
p
w_
q
poly
n
omial_move
a
n
d add i
s
l_p
w
_qpo
l
yn
o
m
ial_fo
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
isl
_
ctx: kee
p
track
o
f user opt
i
ons
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved argument pa
r
s
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
isl_opt
i
o
ns_parse: print help message
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoola
e
ge
add isl_b
o
und test
a
pplicat
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
add isl_pw_qpolyno
m
ial_bou
n
d_r
a
nge
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Ver
d
oo
l
a
e
g
e
add isl
_
pw_qpolynomia
l
_fo
l
d
_m
o
rph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add rudimentary isl_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
olaege
add isl_s
e
q_set
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
i
sl_equ
a
l
ities
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add
i
s
l_mat_
i
nser
t
_rows
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
a
d
d isl_mat_normali
z
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
la
e
g
e
add isl_ma
t
_d
i
a
gona
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
isl_mat
_
lin_to_aff: f
i
x error hand
l
i
ng
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
isl_qpolyn
o
m
ial_opt_on_doma
i
n:
h
an
d
le
e
m
p
ty input
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
o
l
aege
isl_name_alloc
:
fix erro
r
handling
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n Ver
d
oolaege
add isl_d
i
m_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalitie
s
.
c:
f
ix typos in comments
commit
|
commitdiff
|
tree
2010-05-13
Sven Verd
o
olaeg
e
a
dd i
s
l_pw_qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
V
e
rdo
o
laege
add isl_
q
polynomial_le_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
private
l
y export isl_s
e
t_is_bounde
d
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoo
l
aege
add isl_set
_
c
o
unt_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdool
a
e
ge
add isl_se
t
_s
c
an
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_stream_rea
d
_pw_
q
pol
y
nomial
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
o
laege
a
d
d isl_
q
poly
n
omial_from_term
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
ad
d
is
l
_qpolynomia
l
_fr
o
m_c
o
n
straint
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdoolaege
add
i
sl_basic_set_for
e
ach
_
bound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolyn
o
m
i
al_as_p
o
l
y
nomial_
o
n_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl_
q
p
olynomi
a
l_substit
u
t
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoolaege
add
i
sl
_
b
asic_s
e
t_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
is
l
_
ctx: add
zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Ver
d
oolaege
add i
s
l_qpolyn
o
mi
a
l_negin
f
ty
commit
|
commitdiff
|
tree
2010-05-04
S
v
en Ver
d
ool
a
ege
add isl_basic
_
set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
g
e
i
s
l_qpolynomia
l
_
fold_
o
pt_
o
n_domain: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoola
e
ge
isl_pw_*_eval: fix
h
a
n
dling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
la
e
ge
add isl_basic_set_move_d
i
m
s
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
export isl_qpoly
n
om
i
al_
s
ub
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
ad
d
isl_qpolynomial_ge
t
_dim
commit
|
commitdiff
|
tree
2010-05-04
S
v
en V
e
rdoolaege
i
s
l_m
a
p
_transiti
v
e_closure
:
coalesc
e
input before check
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdo
o
laege
add map_lex_*_first
commit
|
commitdiff
|
tree
2010-05-01
S
ven
Verdoolaege
isl_map_lex
_
le: use one basic set
l
e
ss
i
n r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
i
sl_
s
tream:
a
ccept lexico
g
raphic op
e
rators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl_map_transitive_closure: check if
i
npu
t
is c
l
o
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Verdoolaege
add
i
sl_printer_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaeg
e
i
sl_map_r
e
ad: parse parametric
O
mega input
commit
|
commitdiff
|
tree
2010-04-28
Sve
n
Verdoolaege
is
l
_map_read:
fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaege
isl_con
v
ex_h
u
l
l
.
c: is_boun
d
: any inequa
l
ity
is a
bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl_convex_hull
.
c: add_bo
u
nds:
p
ropagate e
r
rors fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven Verdoolaege
document isl_
m
ap_reve
r
se
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdool
a
e
g
e
i
s
l_stream_next_token: terminate stri
n
g tokens
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Verdoolae
g
e
i
s
l
_map_tr
a
nsitive_closure: tre
a
t equ
a
lity as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en Verdoo
l
a
e
ge
isl_map_tran
s
itive_closure,
omega-l
i
ke
:
onl
y
us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
la
e
ge
isl_ma
p
_transitive_c
l
o
sure: use
simp
l
e
hu
l
l
i
n omega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n
Verdoolaege
is
l
_map_
t
ransi
t
ive_closure: try and c
o
mpute
closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
er
d
o
o
laege
isl_map_coal
e
sce:
allow
w
rapping in sets t
h
at stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_coa
l
esce: allowing c
u
tting eq
u
alities
i
n adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sve
n
Ve
r
do
o
lae
g
e
add
some more coalescin
g
t
e
st cases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoo
l
aeg
e
i
sl_basic_map_gist: be mo
r
e
a
ggressi
v
e
in r
e
moving
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
i
sl_stream: accep
t
strin
g
tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
t
ab_
r
ollback: restore rows that a
r
e no
long
e
r
marked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
doc: document simple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
oolaege
doc:
e
mphas
i
z
e
that we are dealing with intege
r
sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
is
l
_
t
r
ansitive_cl
o
sure
.
c:
path_alon
g
_delta
:
only avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_map_transitive_
c
losure
:
compu
t
e
divs of i
n
put
commit
|
commitdiff
|
tree
2010-04-21
Sven Ver
d
o
olaege
i
sl_map_compute_d
i
vs: make sure result is
g
a
u
ssed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
isl_pr
i
n
t
er_print_pw_q
p
o
lynomi
a
l: properly
p
rint c
o
nstrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoola
e
ge
is
l
_pi
p
and isl_cat: termina
t
e
i
sl_arg ar
r
ay with ISL_ARG_
E
ND
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoo
l
aege
d
o
c:
doc
u
ment
s
ettin
g
and
getting
of
d
imens
i
on
n
ames
commit
|
commitdiff
|
tree
2010-04-19
S
v
e
n Verdoolaege
doc
:
do
c
u
m
ent *_
g
et_d
i
m functions
commit
|
commitdiff
|
tree
2010-04-19
Sven Ver
d
oolaeg
e
isl_map_convex
_
hull: handle non full-dimens
i
onal
pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ver
d
oo
l
a
e
ge
isl_conv
e
x_hull
.
c: modulo_affine_h
u
ll: drop re
d
undan
t
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
l
a
e
g
e
isl_convex_h
u
ll
.
c: conv
e
x_hull_p
a
ir: skip dir
e
ction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Ve
r
d
o
ol
a
ege
is
l
_printer
_
print_basic_set: fix up
printing to
s
tring
.
.
.
commit
|
commitdiff
|
tree
next