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
use -O1 optimization level for gcc 4.2
2010-02-19
S
ven Ver
d
oolaege
us
e
-
O
1
optimiz
a
tion level for
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doola
e
ge
i
s
l_map_re
a
d: ac
c
ept affine combinations of ear
l
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_ma
p
_read: cons
t
ruct basic
m
ap whi
l
e
r
e
ading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
isl_map_print: add pr
i
mes
t
o duplicate names
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoola
e
ge
i
sl_map_transitive_closure:
i
n
tersect wit
h
domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_map_
t
r
ansitive_clo
s
ure
:
ext
r
act ou
t
constr
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdool
a
e
ge
isl_map_tran
s
it
i
ve_cl
o
s
ure:
move ac
y
clicity tes
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ve
r
d
oolaege
add isl
_
s
et
_
lowe
r
_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdo
o
laege
isl_m
a
p
_
print: use cons
i
stent n
a
mes on all dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-17
S
ven
Verdoola
e
ge
i
s
l_cat: allow specifica
t
ion o
f
o
utput
f
ormat
on
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
rdoolaege
i
sl_map_
p
ri
n
t: s
u
p
port ISL_FORMAT
_
POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
o
laege
isl_map_c
o
al
e
sce:
f
i
x
s
o
m
e r
e
gressio
n
s i
n
troduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
add i
s
l_c
l
osu
r
e test ap
p
li
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
add tran
s
i
t
ive closure
e
xam
p
le from K
e
lly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
isl_
m
ap_tra
n
sitive_
c
losure
:
con
s
tr
u
ct general pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map_transitive_closure:
p
repare for
the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
i
s
l_map_transitive_cl
o
sure:
co
n
str
u
ct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
isl_transiti
v
e_closu
r
e:
e
xtract out con
s
truction o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_ma
p
_transi
t
ive_cl
o
sure: use more g
e
ne
r
ic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdoolaege
isl_map_print: a
d
d parent
h
eses aro
u
nd disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdoo
l
aege
isl_hash_table: use s
i
ze that corresponds
to
the nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
la
e
ge
i
s
l_hash_table: gr
o
w table whe
n
w
e run out of
e
ntries
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
doola
e
ge
isl_m
a
p
_
coalesce
:
on
l
y use non-r
e
dundan
t
co
n
str
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set
_
fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven
Ve
r
d
o
ol
a
ege
isl_
m
ap_rea
d
: ac
c
ept chains of compa
r
iso
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
e
x
port isl_map_align_d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaeg
e
i
s
l
_
map_r
e
ad: fo
r
get e
x
i
s
tentially
qua
n
tified variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
i
s
l
_input
.
c: remov
e
needless
i
ndirection
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
d
oolaege
doc: documen
t
how
to ins
p
ect
s
ets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoolaege
export i
s
l_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verd
o
o
laege
isl
_
constraint_div: make sure req
u
ested
d
iv is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc
:
drop documentation of _dump function
s
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaeg
e
isl_map_pri
n
t: improve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oola
e
ge
add isl
_
basic
_
map_foreach
_
const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
dool
a
e
g
e
isl_map_coa
l
es
c
e: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
ege
p
rivately e
x
p
o
rt isl_set_wrap_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_h
u
l
l
.
c:
wrap_facet: a
l
low unbounde
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
e
rd
o
olaege
doc: improve decript
i
on
o
f
i
sl_
m
ap_
t
ransitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoola
e
ge
isl_map_transitive
_
closure: i
m
prove test f
o
r
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add
a counter example for Theorem 1
o
f
the C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
add
isl_m
a
p_l
o
w
e
r_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
i
s
l
_
map_powe
r
: coalesce doma
i
n a
n
d range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add missing isl_acc
e
s
s_
i
n
fo_free retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolae
g
e
isl_
c
o
ale
s
ce
.
c:
f
ix ty
p
o in commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_map_read:
ac
c
ept lists
o
f affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
add isl_mat_from_row_vec and isl
_
mat_
v
ec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
do
o
laege
isl_map_read: read
exte
n
ded p
o
lylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_next_
t
oken_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdo
o
laege
isl_map_read:
ma
k
e sure polylib c
o
nst
r
aint coeff
i
cients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
is
l
_
{map,set}_
d
im: ha
n
dle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_m
a
p_read: u
s
e m
o
re uniform way of rea
d
ing in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verd
o
o
la
e
ge
isl_t
r
an
s
itive_closure
.
c: fix ty
p
o i
n
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_tr
a
n
s
itive_closu
r
e: use more relaxed ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
o
l
aege
add isl_map_
p
ow
e
r and isl_map_tra
n
sitive_cl
o
s
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
d
oolaege
i
s
l_map_subt
r
act
.
c: make s
o
me intern
a
l funct
i
ons s
t
atic
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add g
e
n
e
ric isl_map_pro
j
ect_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
ge
add isl
_
{
m
ap,
s
et}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolae
g
e
rename isl_{map,set}
_
a
d
d t
o
isl_{ma
p
,
s
et}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
s
l
_
s
e
t_p
r
oject_out: always update dimension
,
even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
d
o
olaege
isl_d
i
m_join: don't require nam
e
s
o
f join
e
d variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaeg
e
add isl_map_from_
d
omain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_stream: t
r
eat "-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdo
o
laege
is
l
_map_read: ac
c
ept "st
r
ict" inequalit
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_input
.
c
: f
i
x memory
deallocatio
n
problem o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdool
a
ege
add dependence
a
n
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add
i
sl_map_{parti
a
l
_,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdool
a
ege
add private
i
sl_{set,
m
ap
}
_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ver
d
oolaege
basis_redu
c
tion_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_t
a
b
_
pip
.
c:
find_soluti
o
ns: bre
a
k when c
o
nte
x
t becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
isl_dim_equal:
don't require names o
f
in
p
ut an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_di
m
_map:
p
roperly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
i
s
l_dim_
d
r
o
p: p
r
operly
a
djust length of name
s
arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bi
t
more on i
n
t
egers
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Ve
r
doolaege
doc: d
e
s
c
ribe in
p
ut/out
p
ut f
o
rm
a
ts
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Verdoola
e
ge
doc:
f
ix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
ad
d
isl_ca
t
test applicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
aege
add omega
ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl o
u
tput
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_
t
est: use isl_set
_
read_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
add isl_
s
et_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
a
d
d isl
_
map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_file: a
l
low
u
nions in
isl
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_basic_map_read:
rea
d
de
f
in
i
t
ions
o
f ex
i
stenti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
doola
e
ge
privately export isl_basic_map_ad
d
_div_co
n
stra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
i
sl_ba
s
i
c
_map_r
e
a
d: read affine constr
a
int a
s
two aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ver
d
oolaege
i
s
l
_input
.
c: o
p
tion
a
lly read
p
arameters fr
o
m
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
o
l
aege
tokenizer
:
accept "and" keywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
ge
export isl_ma
p
_read_from_f
i
le
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
exp
o
rt isl_basi
c
_map
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Verd
o
olaege
drop
redundant
inpu
t
_format argument from reading functio
n
s
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_inpu
t
.
c: merge functi
o
ns
f
or reading PolyLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_o
m
ega
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
doolaege
is
l
_input_omega
.
c:
prepare
f
o
r reading parametric
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
d
o
olaege
i
sl_input_
o
mega
.
c: f
i
n
a
lize
a
nd simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
e
r
doolaege
isl_input_omega
.
c: fi
x
check for
m
emo
r
y allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stre
a
m
_next_token:
skip
c
o
m
ment li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_tab_basic_m
a
p
_partial_lexopt:
p
rope
r
ly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
isl_
b
asic_map_
s
et_
t
o_
e
mpty:
remove sample
(if any)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ve
r
dool
a
e
ge
add isl_s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly remove pipl
i
b submodu
l
e
commit
|
commitdiff
|
tree
next