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_ctx_peek_options
2010-06-12
Sven Verdoolaege
a
dd isl_ctx_peek_opt
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
isl_range
.
c
: fix typo in
c
o
m
ment
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
export isl_
s
et_is
_
b
o
unded
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
isl
_
bou
n
d: plug mem
o
ry
l
e
ak
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
fix isl_qpolynomial_fo
l
d
_dup
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
isl
_
p
w
_qpolyn
o
mial_
b
ound_range
:
f
ix
r
emo
v
a
l
of
dims
.
.
.
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
add bound_test
.
sh to
distribution
commit
|
commitdiff
|
tree
2010-06-11
Sven
Verd
o
olaege
doc: docum
e
n
t gist ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
olaege
doc: do
c
ument i
s
l
_co
n
str
a
int
_
is_equ
a
l
ity
commit
|
commitdiff
|
tree
2010-06-04
S
v
en Verdoolaege
add
isl_map_is_single_val
u
ed
commit
|
commitdiff
|
tree
2010-06-04
Sven Verd
o
ol
a
e
g
e
isl_basic_m
a
p_foreach_constraint
:
m
ake sure input has
.
.
.
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolae
g
e
isl_basic_map_
c
opy: mark duplic
a
ted copy as finaliz
e
d
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdo
o
l
a
ege
isl_basic_se
t
_
l
if
t
: fina
l
ize
r
e
s
ult
commit
|
commitdiff
|
tree
2010-06-03
Sv
e
n Verdoolaege
isl_basic_map_move_dims: always
final
i
ze resu
l
t
commit
|
commitdiff
|
tree
2010-06-03
Sven Verdoolaeg
e
isl_basic_map_from_const
r
aint: fina
l
ize r
e
su
l
t
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rdoo
l
a
ege
isl_access_
i
nfo_c
o
m
p
ute_f
l
ow: ha
n
dle may acc
e
s
s
es
commit
|
commitdiff
|
tree
2010-05-31
S
ven Verd
o
ola
e
ge
isl_
a
ccess_i
n
fo_c
o
mpute_f
l
ow: han
d
l
e multi-valued sink
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
ven
Ve
r
doolaege
r
e
move some unused variabl
e
s
commit
|
commitdiff
|
tree
2010-05-30
Sv
e
n
Verdoola
e
ge
fix some
i
cc war
n
in
g
s
commit
|
commitdiff
|
tree
2010-05-30
Sve
n
Verd
o
ola
e
ge
rename isl_pw_qpolynomial_mo
v
e and add isl_
p
w_qpolyno
m
i
al_f
o
.
.
.
commit
|
commitdiff
|
tree
2010-05-30
S
v
e
n
V
e
rdoolaege
isl
_
ctx:
keep track of
u
s
e
r
options
commit
|
commitdiff
|
tree
2010-05-30
Sven Verdoolaege
improved a
r
g
u
m
e
nt parsing
commit
|
commitdiff
|
tree
2010-05-15
Sven
Ve
r
doolaege
isl_opti
o
ns_parse: print h
e
lp message
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
g
e
add isl_bound test a
p
plication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
add isl_pw_qpoly
n
omi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l
_pw_qpolynomial_
f
o
ld_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdo
o
laege
ad
d
rudimentary
isl_morph
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoola
e
ge
add isl_seq_
s
et
commit
|
commitdiff
|
tree
2010-05-13
S
ven
Ve
r
doola
e
ge
isl_equalitie
s
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoo
l
a
ege
a
d
d i
s
l_mat_ins
e
rt_ro
w
s
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doo
l
aege
add
i
sl_mat_normalize
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
oola
e
ge
a
dd is
l
_ma
t
_diagon
a
l
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolae
g
e
isl_
m
a
t_l
i
n_to_af
f
: fix error handling
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
i
sl_qpolynomial_opt_on_domain: h
a
ndle empty
inp
u
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olae
g
e
i
sl_name_alloc:
fix
e
rror
handlin
g
commit
|
commitdiff
|
tree
2010-05-13
Sven Ve
r
doolaeg
e
add isl_dim_offset
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
isl_equalities
.
c: fix typos i
n
commen
t
s
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
add i
s
l_pw_qpo
l
ynomial_fold
_
covers
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add isl_qp
o
lynomial_
l
e_c
s
t
commit
|
commitdiff
|
tree
2010-05-13
Sven Ver
d
o
olae
g
e
privately export
i
sl_set_is_boun
d
ed
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n
V
e
rdoolaege
add isl_set
_
count_upto
commit
|
commitdiff
|
tree
2010-05-13
S
v
en Verdoolae
g
e
add
isl_se
t
_sc
a
n
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaege
add
i
s
l
_
stream
_
read
_
pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-05-13
Sve
n
Verdoolaeg
e
add
i
sl_qpolynomia
l
_fr
o
m_ter
m
commit
|
commitdiff
|
tree
2010-05-13
Sven Verdoolaege
add i
s
l_qp
o
lynom
i
al
_
from
_
constraint
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verd
o
olaege
add isl_basic_set_foreach_
b
ound_p
a
ir
commit
|
commitdiff
|
tree
2010-05-13
Sven
Verd
o
o
laege
a
d
d i
s
l_
q
p
o
lynomial_as_
p
oly
n
omi
a
l_on_d
o
ma
i
n
commit
|
commitdiff
|
tree
2010-05-13
S
ven Verdoolaege
add isl_qp
o
lynom
i
al_substit
u
te
commit
|
commitdiff
|
tree
2010-05-13
Sv
e
n V
e
rdool
a
ege
add isl_ba
s
ic_set_dims_get_sign
commit
|
commitdiff
|
tree
2010-05-04
S
ven Ver
d
oolaege
i
s
l
_
ctx: a
d
d zero
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaeg
e
add isl_qpoly
n
omial_neginfty
commit
|
commitdiff
|
tree
2010-05-04
Sven
V
e
rdoolaege
a
dd i
s
l_bas
i
c_set_
d
rop
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_qpol
y
no
m
ial_f
o
l
d_opt_
o
n_domain:
fix typo
commit
|
commitdiff
|
tree
2010-05-04
Sven Verdoolaege
isl_pw_*_
e
va
l
:
f
ix handling of empty i
n
put
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olae
g
e
a
dd is
l
_basi
c
_set_move_dims
commit
|
commitdiff
|
tree
2010-05-04
Sven Verd
o
olaege
expo
r
t
i
sl_qpolynomial_
s
u
b
commit
|
commitdiff
|
tree
2010-05-04
Sv
e
n Verdoolaege
add isl_qpoly
n
o
mial_get_dim
commit
|
commitdiff
|
tree
2010-05-04
Sven V
e
rdoolaege
is
l
_map_
t
r
ansitive_clos
u
re: coalesce inpu
t
before checking
.
.
.
commit
|
commitdiff
|
tree
2010-05-04
S
v
e
n
V
e
r
doolaege
add map_lex_*_fir
s
t
commit
|
commitdiff
|
tree
2010-05-01
Sven Verd
o
o
l
aege
isl_map
_
l
e
x
_le: u
s
e
one basic set le
s
s in r
e
sult
commit
|
commitdiff
|
tree
2010-05-01
Sven Verdoolaege
isl_str
e
am: accept
l
exicogra
p
hic operato
r
s
commit
|
commitdiff
|
tree
2010-04-28
Sven
V
erdoolae
g
e
is
l
_map_transitive_closu
r
e:
c
he
c
k
if i
n
p
u
t i
s
c
l
ose
d
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
add isl_printe
r
_flush
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdo
o
laege
isl_map_read: parse par
a
metric Ome
g
a i
n
put
commit
|
commitdiff
|
tree
2010-04-28
Sven V
e
rdoolaege
isl
_
m
a
p_read: fix
t
ypo
commit
|
commitdiff
|
tree
2010-04-28
S
v
en Verdoolaege
i
s
l_conv
e
x_hull
.
c: is_bound: any inequality is a bound
.
.
.
commit
|
commitdiff
|
tree
2010-04-28
Sven Verdoolaege
isl
_
convex
_
hull
.
c: add_bounds: p
r
opagate errors
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-04-25
Sven
V
erdoolaege
document isl_map_reverse
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
isl
_
stream_next_token: termina
t
e
s
tr
i
ng tokens
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl_map_transitive_closure: treat equ
a
l
i
ty as pair
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
isl
_
ma
p
_
t
ransitive_closur
e
, ome
g
a-like: only use ?
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven
V
erdoo
l
ae
g
e
isl
_
map_transiti
v
e
_
closure: use simple hull in omeg
a
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
i
s
l_map_transiti
v
e_closure:
t
ry and
c
ompute closure
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
S
v
en
V
e
r
doolaege
isl_map_
c
oalesce: allow w
r
apping
i
n
set
s
tha
t
stick
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verd
o
olae
g
e
isl_m
a
p_coalesce: allowi
n
g cutt
i
ng equalities
i
n adjacent
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolaege
add some m
o
re
c
oalesci
n
g test
c
ases
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
isl_basic_map_gist: be more a
g
gre
s
sive in removing
.
.
.
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoola
e
ge
isl_stream: accept str
i
ng
token
s
commit
|
commitdiff
|
tree
2010-04-23
Sven Verdoolae
g
e
i
s
l_tab_rollb
a
ck: restore rows th
a
t
a
re no longer ma
r
ked
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
r
d
oolaege
doc:
d
ocumen
t
s
imple hull
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoolaege
doc: emphasize that w
e
a
r
e dealing
w
ith i
n
teger sets
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdoolaege
isl
_
transi
t
ive_c
l
o
s
ure
.
c:
p
ath_along_delta:
o
n
ly avoid
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
isl_
m
a
p
_tr
a
nsitive_closure: c
o
mput
e
divs of input
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
ge
isl
_
map_com
p
ute_
d
i
vs: make
su
r
e r
e
s
u
l
t
is ga
u
ssed and
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
isl_prin
t
er_prin
t
_
p
w_qpolynomial: pro
p
erly print co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven
Ve
r
d
ool
a
ege
i
s
l_
p
ip a
n
d isl_
c
a
t:
term
i
nat
e
isl_
a
rg array wi
t
h I
S
L_ARG_END
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
doc: docum
e
nt setting
a
nd g
e
t
t
i
ng of
d
ime
n
sion
n
ames
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoola
e
ge
doc: docume
n
t
*_get_dim fun
c
tions
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdo
o
laege
isl_map_convex_hull: handle
n
o
n full-dimensional pairs
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sven Verdoolaege
i
sl_convex_hu
l
l
.
c: modulo_affin
e
_hull: dro
p
redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2010-04-19
Sv
e
n Verdoolaege
i
sl_con
v
e
x
_hul
l
.
c
: convex_
h
ull_pair: skip direction
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
S
v
e
n V
e
rdoolaeg
e
isl_printe
r
_print_basic
_
set:
f
ix up p
r
inting
t
o string
.
.
.
commit
|
commitdiff
|
tree
2010-04-18
Sv
e
n
Verd
o
olaege
ad
d
i
sl_set_neg and
i
sl_set_sum
commit
|
commitdiff
|
tree
2010-04-16
Sven
V
erdo
o
laege
isl_transitive_closure
.
c:
fix documentation of
c
onstruc
t
_com
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoolaege
isl_map
_
coal
e
s
c
e: make sure
result still contains
set
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl_m
a
p_transitive_clo
s
ure: Floyd-Warshal
l
: properly
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
ven Verdoola
e
ge
isl_map_transiti
v
e
_closu
r
e: u
s
e Floyd-W
a
rshall on
disjoint
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolae
g
e
isl_tran
s
i
t
iv
e
_
clo
s
ure
.
c: extract out isl
_
set_overlaps
commit
|
commitdiff
|
tree
2010-04-15
Sven Verdoolaege
isl
_
map_
t
ransitive_cl
o
sure
:
project out length on each
.
.
.
commit
|
commitdiff
|
tree
2010-04-15
S
v
en Verdoolaege
i
sl_transitive_closu
r
e
.
c:
cons
t
ruct_component:
don
.
.
.
commit
|
commitdiff
|
tree
next