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_stream: parse NaN
2010-03-04
S
ven Ve
r
doola
e
ge
isl
_
s
t
r
e
am: pa
r
se NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl
_
stream: p
a
rse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl
_
s
trea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
isl_st
r
eam: allo
w
u
ser specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_s
t
ream
:
add
so
m
e auxiliary
functio
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl
_
s
trea
m
:
read "definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_int
_
t
d
iv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
privately
e
x
p
ort
isl_s
e
t_co
n
tain
s
_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add
i
sl_set_cou
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
rdoolaege
ad
d
isl
_
set
_
sample_p
o
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_
b
asic_set_scan: make sure suffi
c
ient
r
o
w
s
a
re allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_map_subtract: only add divs w
h
en nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
a
e
ge
a
d
d isl_map_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
extract
i
sl_tab_add_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
ola
e
ge
isl_
v
ec
.
c
:
fix minor whitespac
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
aeg
e
add isl_se
t
_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
expo
r
t isl_map_make_disjoin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add isl_hash_table
_
foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_map_pr
i
nt: extr
a
ct out p
r
i
n
t_di
s
junct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdool
a
ege
ad
d
isl_set_f
a
st_is_univ
e
rse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_
in
p
ut
.
c: a
c
cept_affine: fix memory leak on
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_
map_
i
n
tersect: detect emp
t
y
result
a
lso
i
n cas
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_ma
p
_
r
ead: skip
until the end of the
l
ast
l
ine when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
i
s
l_stream_next_token_on_same_line: ch
e
ck if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_set_wrap_facet
:
make sure set is mar
k
e
d
rationa
l
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
isl_coa
l
es
c
e
.
c: fix typo
in
c
omment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
isl_map
_
read: accept list of predicated eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
sl_map_rea
d
: extrac
t
out parsing of map
b
ody
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_map_read: add dummy
v
a
ria
b
le name
for unnamed variable
s
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolae
g
e
isl_st
r
ea
m
: a
c
c
e
pt ";"
t
oken
commit
|
commitdiff
|
tree
2010-02-19
S
ve
n
Verdoolaege
u
s
e -O1 optim
i
z
a
tion
level fo
r
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
i
s
l_map_read: accept
a
f
f
ine combinations
of ear
l
ie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_read: construct b
a
sic map while reading vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
ad
d
a
transitive closure example fro
m
the
O
m
ega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdo
o
laege
isl_map_tr
a
n
sitive_cl
o
sur
e
:
c
ompute power
on
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_
t
ransitive_closure: intersect with domai
n
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoola
e
ge
isl_map_t
r
a
nsitive_closure:
e
xtract out construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laeg
e
isl_map_transi
t
iv
e
_closure
:
move a
c
yclicity
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ve
r
doolaege
isl_map_pr
i
n
t
: use consiste
n
t names
on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
rdoolaege
i
sl_cat: allow specification
o
f outpu
t
format on co
m
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl
_
m
a
p
_
print: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoo
l
ae
g
e
i
sl_map_coalesce: fix
s
ome
regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdoolaege
a
d
d isl_cl
o
s
ure test
appli
c
a
t
ion
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add transitive closure example from K
e
lly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
sl_map_transitive_closure:
c
onstr
u
ct
ge
n
eral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
ege
isl_map_t
r
a
ns
i
tive_closu
r
e:
p
repare for
t
he construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_ma
p
_
tr
a
nsitive
_
closure:
constru
c
t pat
h
s that
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoo
l
aeg
e
isl_transitive_
c
losure: extract out constructio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoo
l
aeg
e
i
sl_map_
t
ransitive_closure
:
u
se mor
e
generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoola
e
g
e
isl
_
map_prin
t
:
a
d
d paren
t
hese
s
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolae
g
e
i
s
l_hash_table: use siz
e
t
h
a
t corresponds to
t
he
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoo
l
aege
isl_hash_tab
l
e: grow table when we run out
of entr
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
doolaeg
e
i
sl_map_coa
l
esce
:
only use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolaege
add isl_set_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
isl
_
map_re
a
d:
acc
e
pt c
h
ains of
c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
Verdoolaeg
e
export isl_m
a
p_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
isl_map_read: forget existentially quantified va
r
ia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
isl_
i
nput
.
c
: remove needless in
d
irection
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdool
a
eg
e
doc: document how to in
s
pect set
s
and re
l
ati
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
export isl_
m
ap_
c
ompute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constraint
_
div: make sure requested div is a known
div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
do
o
lae
g
e
doc: drop document
a
tion of _du
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
Verdoolaege
isl_map_print:
i
m
p
r
ove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
a
dd isl_bas
i
c_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_map_
c
o
a
lesce: handle m
o
re c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
privately ex
p
ort
isl_set
_
w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_co
n
vex_hull
.
c: wrap_f
a
cet: allow unbound
e
d f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
doc: improve decri
p
t
i
on of isl_
m
ap_transitiv
e
_
c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_map_transitive_clos
u
re:
i
m
prove te
s
t
for exac
t
ness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
a
dd a counter example for Theore
m
1
of th
e
COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
o
olaege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_map_p
o
wer:
c
oalesce domain a
n
d
range
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
oo
l
ae
g
e
i
s
l_
f
low
.
c: add missing isl_access_in
f
o
_
free r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
e
g
e
isl_c
o
alesce
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
is
l
_map
_
r
e
ad:
ac
c
ep
t
lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oo
l
aege
a
d
d isl_mat_from_row_vec
and
isl_mat
_
vec_co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
i
s
l_map_read: read extended polylib fo
r
mat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
add isl_stream_next_token_on_s
a
me_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl
_
map_read:
m
ake sure polylib
c
o
n
straint coef
f
ic
i
ents
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
d
o
o
laege
isl_{map,set}_
d
i
m: handl
e
N
U
LL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
e
rdoolaege
i
s
l_map_read: use more
u
niform way of reading i
n
polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
o
laege
isl_tra
n
si
t
i
ve_closure
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
o
la
e
g
e
i
s
l
_ma
p
_
t
ransitive_closure: use more re
l
a
xed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoola
e
ge
a
dd isl_map_p
o
wer and isl
_
map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolae
g
e
isl_map_su
b
t
ract
.
c: make
s
om
e
internal f
u
nctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
g
e
ner
i
c is
l
_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
a
dd
i
sl
_
{map,set}_
a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
rename isl_{map,se
t
}
_add to i
s
l_{m
a
p,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
isl_s
e
t_p
r
oject_
o
u
t: alw
a
ys update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_
d
im_join: d
o
n't r
e
quire
n
ames of
joined
varia
b
les
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolaege
a
d
d
isl_map_fr
o
m_domain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
isl_strea
m
: trea
t
"-" a
s
op
e
rator rather than as -
1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erdoolaege
isl_ma
p
_r
e
ad: acc
e
pt
"
strict" inequal
i
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oo
l
aege
i
sl
_
i
n
pu
t
.
c: fix memory deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdo
o
laege
add depe
n
d
ence ana
l
ysis
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Ve
r
dool
a
ege
add isl_
m
ap_{part
i
al_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
add priva
t
e is
l
_{set,map}_mak
e
_disjoi
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
rdoolae
g
e
basis
_
r
e
d
u
ction_templ
.
c
:
f
ix typo in
comment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_tab_pip
.
c: find_solutions
:
break when context becomes
.
.
.
commit
|
commitdiff
|
tree
next