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
isl_basic_set_lift: finalize result
2010-06-03
S
v
en Verdoolaeg
e
i
s
l_basic
_
set_li
f
t
:
f
inalize
result
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoo
l
a
ege
isl_
b
asic_map_move_dims: alway
s
fin
a
lize result
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaege
isl_basic_map
_
from_co
n
st
r
aint: finalize result
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
isl_access_info_compu
t
e_
f
low: handle may access
e
s
commit
|
commitdiff
|
tree
2010-05-31
Sven Ve
r
doolaege
isl_access_info_compute_flow: ha
n
dle multi-valu
e
d sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
remove some unused variab
l
es
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolae
g
e
rename isl_pw_qpolynomial_m
o
ve
and add isl_pw_qpolynomial_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
en Verdoolaege
isl_ct
x
: ke
e
p track of us
e
r options
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n Verdool
a
ege
i
mprove
d
a
rgument
parsing
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoolaeg
e
i
s
l
_
o
p
tions_par
s
e:
p
rint he
l
p me
s
sag
e
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
add isl_bou
n
d test
a
p
plica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add i
s
l
_pw_q
p
ol
y
nomia
l
_bound_ra
n
ge
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_pw_
q
po
l
ynomi
a
l_fold_morph
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
r
d
oola
e
ge
add rudimentary
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolaeg
e
a
d
d isl_seq_s
e
t
commit
|
commitdiff
|
tree
2010-05-13
Sven V
e
rdoolaege
isl_equ
a
lities
.
c: fix ty
p
o in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aeg
e
add isl_ma
t
_insert_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
isl_mat_norm
a
liz
e
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_mat_diago
n
al
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdo
o
laege
i
sl_mat
_
lin_to_aff: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdool
a
e
ge
isl_qpolynomial_opt_
o
n_doma
i
n: handle
e
mpty input
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdool
a
ege
i
s
l_na
m
e_
a
l
loc: fix error ha
n
dling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verd
o
olaege
is
l
_
equalities
.
c:
f
ix typos in c
o
m
men
t
s
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
a
d
d isl_pw
_
qpolynomial_fold_covers
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
erdoolaege
add isl_qpolynomial_l
e
_cs
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
privatel
y
export isl_set_is_
b
ounded
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add isl_set_count_upto
commit
|
commitdiff
|
tree
2010-05-13
Sven
V
e
rdool
a
eg
e
add isl_set_scan
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
Verdoolaege
add isl
_
s
t
ream_re
a
d_pw_qpol
y
no
m
ial
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoo
l
aege
add isl_qpolynomi
a
l
_
f
r
o
m_term
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add
i
sl_qp
o
ly
n
omial_
f
ro
m
_
c
onstraint
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oolaege
add isl_
b
asic_set_foreach_
b
ound_pair
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qpolynomial
_
as
_
p
o
l
y
nomial_
o
n_
d
omain
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
a
dd isl_qpolyno
m
ial
_
substitut
e
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verdoo
l
a
e
ge
ad
d
is
l
_basic
_
set
_
dims_get_sig
n
commit
|
commitdiff
|
tree
2010-05-04
Sven
Verdoolae
g
e
i
s
l_ctx
:
add zero
commit
|
commitdiff
|
tree
2010-05-04
S
ven
V
e
r
doolaege
a
d
d isl_qpolyno
m
ial_ne
g
in
f
t
y
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolae
g
e
add i
s
l_basic_set_drop
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
r
doolaege
isl_qpolyno
m
i
a
l
_
fold
_
opt_
o
n_domai
n
: fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sve
n
Verdo
o
laege
isl_pw_*_eval:
f
i
x h
a
ndling of empty input
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoo
l
aege
a
dd i
s
l_basic_set_move
_
dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
ex
p
ort isl
_
qpolynomial_sub
commit
|
commitdiff
|
tree
2010-05-04
S
ven Verdoola
e
ge
add is
l
_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
ola
e
ge
is
l
_
ma
p
_
t
ran
s
itive_
c
losur
e
: coalesce input before checkin
g
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
erdoolaege
ad
d
m
a
p_lex_
*
_
f
irst
commit
|
commitdiff
|
tree
2010-05-01
Sven Ver
d
oolaege
isl_m
a
p
_
lex_le: use one
b
as
i
c set less in r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdool
a
e
g
e
is
l
_stream:
accep
t
lexicographic o
p
erators
commit
|
commitdiff
|
tree
2010-04-28
Sven Ve
r
doolaeg
e
isl_map_transitiv
e
_closure:
check if i
n
pu
t
is closed
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_
p
rinter_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Ver
d
oolaege
isl
_
m
a
p
_r
e
ad: parse param
e
tri
c
Omega input
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
i
s
l_
m
ap_read: fix typo
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaeg
e
isl
_
convex
_
hull
.
c
: is_b
o
und: any
inequality is a boun
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven
Ver
d
oo
l
aege
isl_convex_h
u
ll
.
c: add
_
boun
d
s: propagate errors f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
S
ven Ver
d
oolaege
d
o
cument
i
sl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdoolaege
i
sl_stream_n
e
xt_token: ter
m
ina
t
e
s
tring tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_m
a
p_transitiv
e
_
closu
r
e: treat equal
i
t
y as
p
air
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_ma
p
_tr
a
n
s
itive_closu
r
e
,
omega-like: only us
e
?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l
_
map_transitive
_
clo
s
ure:
use sim
p
le hull in
o
mega
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sv
e
n Verdoolaege
isl_map_t
r
ansi
t
ive_closure: try an
d
co
m
pute
c
losure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map
_
co
a
l
esce
:
a
l
low wrappi
n
g in set
s
that stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
ven Ver
d
oolaege
isl_m
a
p
_
coalesce: allowin
g
cutting equalities
in
a
djac
e
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Ver
d
oola
e
ge
a
dd some more coalescing test c
a
ses
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdo
o
laeg
e
isl_basic_map_gi
s
t
:
be m
o
re ag
g
ressive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
Verdoolaege
is
l
_stream:
accept
string tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_tab_rollback: r
e
store rows that are no longer marke
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
r
doolaege
do
c
:
document simple
h
ull
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
d
oc: emphasize that
we are dealing with inte
g
er sets
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isl_transitive_closure
.
c:
p
ath_
a
long_d
e
lta:
on
l
y avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoo
l
aege
isl
_
map_tr
a
ns
i
tive
_
closure: compute divs of in
p
ut
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
e
g
e
isl_map
_
comp
u
te_divs: ma
k
e sure result is gaussed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Verdoolaeg
e
isl_pr
i
nter
_
pr
i
nt_pw_
q
poly
n
omial: properl
y
print constraints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
S
v
en Ve
r
d
ool
a
e
ge
i
sl_pip and isl_cat: termi
n
a
t
e i
s
l_arg array w
i
t
h
ISL_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
e
rdoo
l
aeg
e
d
oc: document s
e
tting and
g
etti
n
g
of dim
e
nsion names
commit
|
commitdiff
|
tree
2010-04-19
Sven V
e
rdoolaege
doc: docume
n
t
*_get_dim funct
i
ons
commit
|
commitdiff
|
tree
2010-04-19
Sven
V
erdoolaege
isl_map_convex_hull: handle
n
on full-dime
n
sional p
a
irs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
isl
_
con
v
ex_
h
ull
.
c
: m
o
dulo_affine_hull:
d
rop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
is
l
_convex
_
hull
.
c: convex_hu
l
l
_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
isl_pri
n
ter
_
print_basic
_
set: fix up p
r
inti
n
g to s
t
ring
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sven Verdoolaege
a
d
d i
s
l_set_neg a
n
d isl_s
e
t_sum
commit
|
commitdiff
|
tree
2010-04-16
Sv
e
n Verdoolaege
isl_
t
ransitive_c
l
osure
.
c:
f
ix
document
a
t
i
on of construct_
c
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en
V
erdoolaege
isl_map_coa
l
es
c
e:
m
ake sure result
sti
l
l contains set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_map_tran
s
itive_closure
:
Flo
y
d-Warshall: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
i
s
l_map_tra
n
sitive_closure: use Floy
d
-War
s
h
a
ll on d
i
s
j
oint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
isl
_
t
r
ans
i
tive_clo
s
ure
.
c: extract o
u
t isl_set_o
v
erlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
laege
isl_ma
p
_transitive
_
closure:
proje
c
t
o
ut le
n
gth on
each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven
V
erdoo
l
aeg
e
isl_tra
n
sitive_closure
.
c: co
n
struct
_
c
omponent: don
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdo
o
la
e
ge
is
l
_map_trans
i
tiv
e
_closu
r
e: don't add
l
ength parameter
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
doc:
fix
t
ypo
s
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Ver
d
oolaege
isl_se
t
_
g
ist:
make cont
e
x
t argu
m
ent a
n
isl_set for
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaeg
e
isl_map_
t
ransitive_
c
l
osure: coalesce in
p
ut
map
commit
|
commitdiff
|
tree
2010-04-13
Sve
n
Verdoolaege
isl_transit
i
ve_closure
.
c
:
c
o
nstruct_compone
n
t
: always
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Verdoolaege
doc: cite Omega library
d
o
c
u
mentation on
c
omputation
.
.
.
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Ve
r
doolaege
add isl_stream_read_map
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
Verdoolaege
isl_arg
.
h
:
add missi
n
g
in
c
lude
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Verdoolaege
isl_basic_map_move_di
m
s: nor
m
ali
z
e equaliti
e
s
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdool
a
ege
r
ename
i
sl_map_move
t
o isl_m
a
p_m
o
ve_di
m
s
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
is
l
_
option
s
_parse: only parse know
n
options by default
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoola
e
ge
isl_map_closu
r
e: optionally
u
se Omega-like al
g
orithm
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
isl_closure:
t
ake options
commit
|
commitdiff
|
tree
next