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_set_count
2010-03-04
S
v
en Ve
r
doolaege
add isl_
s
et_c
o
unt
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
o
l
aege
a
d
d
isl_
s
et
_
sa
m
p
le_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoola
e
ge
add isl_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_
b
asic_set
_
s
can: make sure suf
f
ici
e
nt
rows are allo
c
a
ted
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
i
sl_map_subt
r
act: only add
d
ivs
w
hen
n
eeded
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
add isl_map_order_di
v
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
extract isl
_
tab_add_div
f
rom is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolae
g
e
isl_vec
.
c
:
f
i
x min
o
r wh
i
te
s
p
a
c
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolae
g
e
add is
l
_se
t
_complem
e
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
export isl_
m
ap_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
add isl
_
h
a
sh_ta
b
le_forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaeg
e
isl_ma
p
_pri
n
t
:
extract out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add is
l
_set_fast_is_univers
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
i
s
l_i
n
p
u
t
.
c:
a
ccept_affi
n
e: f
i
x memory le
a
k
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_intersect:
d
etect empty resul
t
also
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oola
e
ge
isl_map_read:
skip until the end of the last line
w
hen
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
isl_stream_next_to
k
en_on_s
a
me_line: che
c
k if last
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
isl_set_
w
r
ap_fa
c
et:
ma
k
e su
r
e s
e
t
is
m
ark
e
d rat
i
o
nal
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_
c
oa
l
esce
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l
_map_read: ac
c
ep
t
l
ist of pre
d
icated ele
m
ents
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_read:
e
xt
r
a
c
t o
u
t parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaeg
e
isl_map_read: add dummy va
r
iabl
e
name for unnamed variable
s
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Ve
r
d
o
olaege
isl_stream: accept ";"
t
ok
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
u
s
e -O1 optim
i
zati
o
n level f
o
r gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_m
a
p_read:
a
c
cept a
f
fi
n
e
combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
r
d
ool
a
ege
isl_
m
a
p
_read
:
construct basic
m
ap
while reading
variabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
ad
d
a transitive closure example from th
e
Omega t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdo
o
l
a
ege
isl_map_transitive
_
closure: compute power on s
t
rongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure:
i
ntersect with domain
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
ae
g
e
isl_map_transiti
v
e_clos
u
re: extrac
t
o
u
t
c
ons
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_
m
ap_transitive_closure: move acyclic
i
ty
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
isl_m
a
p
_
p
rint:
use
consistent names on all disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ca
t
: allow specification of output
format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map
_
pr
i
nt: support
ISL_FORM
A
T_POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_coalesce: fix some
r
egressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
a
dd i
s
l_closure
test ap
p
lication
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoola
e
ge
add tran
s
it
i
ve closure example fro
m
Kelly's 1996
p
aper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
lae
g
e
isl_ma
p
_t
r
an
s
itive_closure:
c
onst
r
uct gen
e
ral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl
_
ma
p
_tr
a
nsitive_clo
s
ure: pr
e
p
a
re for the co
n
s
truct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolae
g
e
isl_map_transitive_closure: const
r
u
ct paths that
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_
t
r
a
nsitive_
c
lo
s
ure: extra
c
t out con
s
truction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doola
e
ge
isl
_
map_trans
i
tive_closu
r
e: use
m
ore generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolae
g
e
isl_map_p
r
int: a
d
d par
e
n
theses arou
n
d
disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash
_
table: use
s
ize that corres
p
onds
t
o the n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdool
a
ege
isl_h
a
sh_table: gr
o
w
t
a
b
le when we run out of entr
i
e
s
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
is
l
_
m
ap_coa
l
esce:
o
nly use non-r
e
du
n
dan
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
r
doolae
g
e
add isl_set_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdo
o
laege
isl_map_re
a
d: accept chai
n
s of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
erdoo
l
a
ege
export isl
_
map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdo
o
laege
isl_map_re
a
d:
f
orget existential
l
y quantified
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaeg
e
i
sl_input
.
c
:
r
emove needless
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
doc: documen
t
how t
o
ins
p
ect sets and rela
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_comput
e
_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdool
a
ege
isl_c
o
n
straint
_
div:
m
a
ke sure requested di
v
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
d
oc: dr
o
p documentation of _dum
p
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
i
sl_map_p
r
in
t
:
im
p
rove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add isl_basic_map
_
foreach_constrai
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_map_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erdoolae
g
e
p
r
ivately
exp
o
rt isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
a
e
ge
isl_co
n
v
e
x_hull
.
c: wrap_facet: all
o
w unbounded
fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: i
m
prove d
e
cription of i
s
l_map_tran
s
it
i
ve_closur
e
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaeg
e
isl_map
_
transitive_closu
r
e: improve t
e
st for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoola
e
ge
add a coun
t
er ex
a
mple for
T
heorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
a
d
d isl_map_l
o
wer_bou
n
d_s
i
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
laege
isl
_
map_power:
c
oale
s
ce domain an
d
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
oola
e
ge
isl_flow
.
c:
add miss
i
ng
i
sl_acces
s
_i
n
fo_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
isl_coalesce
.
c: fix typo
i
n
com
m
en
t
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoolaege
isl_map_read: accept lists o
f
affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verd
o
o
laege
a
dd isl_mat_from_row_vec
a
n
d
isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Ver
d
oolaege
isl_
m
ap_read: read extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ve
r
doolaege
add
i
s
l_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
s
l
_
map_
r
ead: make s
u
re polylib const
r
aint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
isl_{map
,
set
}
_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_
r
ead: us
e
more uniform way
o
f
r
eadi
n
g i
n
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
is
l
_tra
n
sitive_closure
.
c: fix typo in commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oo
l
ae
g
e
isl_
m
a
p_
t
ransitive_closure: use m
o
r
e r
e
lax
e
d
exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
la
e
ge
add
i
sl_
m
ap_p
o
wer and isl_map_tran
s
itive_
c
losu
r
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verd
o
olaege
isl_map_subtract
.
c: make s
o
me interna
l
funct
i
ons static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add generic isl
_
m
ap
_
project_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add is
l
_{m
a
p,
s
et
}
_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
rename isl_{map,s
e
t}_add to isl_{
m
ap,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_
s
et
_
proj
e
ct_out: always update d
i
mension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl
_
dim_join:
don't require
n
ames
o
f join
e
d variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Ver
d
oolaege
a
dd
i
sl
_
m
a
p_from_
d
omain_an
d
_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-" as op
e
r
a
tor rathe
r
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
is
l
_
m
ap_read:
acc
e
pt "
s
trict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
isl_in
p
u
t
.
c: fix memor
y
dealloca
t
ion problem
on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
a
dd dependen
c
e
analysis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ver
d
o
o
l
a
ege
add isl_map_{partial_,}lexo
p
t
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
V
erdoolaege
add private
isl_{set,map}_make_d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
basis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaeg
e
isl_t
a
b_pip
.
c: fi
n
d_so
l
utio
n
s: bre
a
k wh
e
n
context
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
is
l
_d
i
m_equal: don't
r
equ
i
re names of i
n
put a
n
d out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
isl_d
i
m_ma
p
:
prop
e
rly
d
uplicate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
isl_di
m
_drop: p
r
oper
l
y a
d
just
l
e
ngth of n
a
mes a
r
ra
y
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
e
rdo
o
laege
doc: a
bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ve
n
Verdoolaege
d
oc: des
c
ribe inp
u
t/output
f
ormats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc: f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
r
d
oolaeg
e
add
i
sl_cat
t
est application
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add o
m
e
g
a output
commit
|
commitdiff
|
tree
next