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
extract isl_tab_add_div from isl_tab_pip.c
2010-03-04
S
v
e
n Verdoolaege
e
xtract isl_tab_add_div from isl_ta
b
_
p
ip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
isl
_
v
ec
.
c: fix mi
n
or whitespace
i
s
sue
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
add isl_set_complem
e
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
e
xport
isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
a
d
d
i
sl_
h
ash
_
t
able_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
isl_map
_
pri
n
t:
e
xt
r
a
c
t out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
lae
g
e
add isl_set_f
a
st
_
i
s_unive
r
se
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl
_
input
.
c:
a
c
c
e
p
t
_affine: fix
m
e
m
o
ry l
e
ak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
laege
isl_map_inters
e
ct: detect empty r
e
sult also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
i
sl_map_read: skip u
n
til the end of the last
lin
e
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stre
a
m_next_token_on_same_line: c
h
eck if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_set_wrap_
f
acet: make
s
ure se
t
is marked ration
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoola
e
ge
isl_coale
s
ce
.
c: fix
typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
r
doolaege
i
s
l
_
m
ap_re
a
d: accept list
of predicated eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
i
s
l
_
m
ap_read: extra
c
t out p
a
rsing
of
map body
commit
|
commitdiff
|
tree
2010-02-19
S
ven V
e
rdoo
l
a
e
ge
isl_map_read: add dum
m
y
v
a
riabl
e
name for unnamed vari
a
ble
s
commit
|
commitdiff
|
tree
2010-02-19
S
v
en V
e
rdoolaege
isl_stream: acce
p
t
";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
use
-
O
1 optim
i
zation level f
o
r gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read:
a
ccept affine combin
a
t
i
ons of earl
i
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdool
a
eg
e
isl_map_read:
c
onst
r
uct basic
map while reading
v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoo
l
aege
add a transitive closure
e
xample from
the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoo
l
aege
isl_map_t
r
ansitive_closure:
comput
e
power
o
n
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
e
ge
isl_map_transiti
v
e_c
l
osure: i
n
tersect with d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
V
erdoolaege
i
s
l_map_tran
s
iti
v
e_closure: extract out c
o
nst
r
uct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
o
laege
is
l
_map_trans
i
t
i
v
e
_cl
o
sur
e
: m
o
ve acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
i
s
l_map_print: use
co
n
s
istent names on all
d
isjun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_cat: a
l
low
specification of output format on com
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
is
l
_
m
a
p
_print: support I
S
L
_
FO
R
MAT_POLYLI
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
coale
s
ce: fix some regressions introduced
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
ad
d
isl_closure te
s
t app
l
icatio
n
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
dool
a
ege
add tran
s
i
ti
v
e closure exa
m
ple
f
rom Kelly's 19
9
6 pape
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_trans
i
tive_closure: const
r
uct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_transiti
v
e_clo
s
ure
:
p
r
e
pare for the constr
u
ct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_t
r
ansitiv
e
_
c
l
osu
r
e:
c
o
nstruct
p
aths that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n V
e
rdoolaege
is
l
_transitive_closure: ex
t
r
act
o
ut
c
on
s
t
r
uction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
o
ola
e
ge
isl
_
ma
p
_
t
r
an
s
itive
_
closu
r
e: us
e
m
o
re generic a
c
yclicit
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_
p
rint: add pa
r
entheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_
h
as
h
_
tabl
e
: u
s
e size
that correspond
s
to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoolaeg
e
isl_hash_
t
able: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaeg
e
i
sl_map_coalesce: on
l
y use non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
olaege
a
d
d isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n
Verdoo
l
aege
isl_
m
ap_read: accept chains
of comparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verdoolaege
export isl_map
_
a
l
ign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
d
o
ola
e
ge
isl_map_read: for
g
et existe
n
tially quan
t
ified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c:
r
emove needle
s
s indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laeg
e
d
oc
:
document how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
o
o
laege
ex
p
o
rt i
s
l
_
m
a
p_com
p
ute_div
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
r
doolaege
isl_constraint_div
:
mak
e
s
ure req
u
e
s
t
ed div
is a k
n
own d
i
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
doc: dro
p
docume
n
tation of _d
u
m
p
funct
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
i
s
l_map_pr
i
nt: impro
v
e output
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
add
i
sl_ba
s
ic_map_foreac
h
_con
s
traint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
is
l
_map_coal
e
sce: handl
e
more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verd
o
olaege
privately export isl_
s
et_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l
_co
n
vex
_
hull
.
c: w
r
ap_
f
a
c
et: allow un
b
o
unded
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
d
oc: improve decription of
isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_map_tran
s
i
t
iv
e
_closure: improve
test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
er
d
oolae
g
e
a
d
d a counter
exam
p
l
e
for The
o
rem 1 of t
h
e C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ola
e
g
e
add is
l
_map_lower_
b
ound_
s
i
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
doo
l
aege
isl_map_
p
ower: coalesce
d
omain
an
d
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: ad
d
mi
s
s
in
g
isl
_
access_info_free retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
e
rdoolaege
isl_coalesce
.
c: f
i
x t
y
po in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: accept lists of a
f
fine exp
r
essions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
add
i
s
l_mat_
f
rom_row_vec and isl_mat_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaeg
e
isl_ma
p
_
r
e
ad: rea
d
extende
d
polylib for
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoo
l
aege
add
i
sl_stream_next_token_on_sam
e
_
lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: make sure polylib const
r
aint
coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoola
e
g
e
isl_
{
map,set}_dim: ha
n
d
l
e NULL input
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoola
e
ge
isl_
m
ap_read:
u
se mo
r
e
unifor
m
way of reading in
p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_transitiv
e
_closure
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_map_transitive_closure
:
use
more relaxed exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
o
l
aege
add
i
s
l_map_p
o
wer
a
n
d
i
s
l_
m
ap_tra
n
sitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_map_subtract
.
c: make some internal
f
unctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erd
o
o
l
a
ege
add g
e
neric isl_map_proj
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
a
ege
a
d
d isl_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
ge
rename isl_{
m
ap,set
}
_add to isl_{m
a
p,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ve
r
doola
e
ge
i
sl_set_pr
o
j
e
ct_out: always update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_dim_join
:
don
'
t require
n
ames
o
f joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ola
e
ge
add isl_map_f
r
om_domain
_
and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oola
e
ge
isl_st
r
e
am
:
tr
e
at "-" as operator
r
at
h
er than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
isl_map_read: accept "strict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en V
e
rdoo
l
aege
i
s
l_i
n
p
ut
.
c: fi
x
m
emory de
a
ll
o
cat
i
o
n
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
d
d depe
n
denc
e
anal
y
sis
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
add isl_m
a
p_{partial_
,
}
l
exo
p
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
add private isl_{set,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Ver
d
oolaege
basis
_
reduction_templ
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
is
l
_tab_pip
.
c
:
f
ind
_
solutio
n
s: b
r
eak when context
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verdoolaeg
e
isl_dim_equal: don't requ
i
re na
m
es o
f
input
a
nd
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaeg
e
is
l
_dim_map: properly dup
l
ic
a
te names
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_dim_drop
:
p
r
op
e
rl
y
a
d
just leng
t
h of nam
e
s
array
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoola
e
g
e
doc: a
b
it
m
o
re on
int
e
g
e
r
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
doc: describe input/output
for
m
ats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rd
o
olae
g
e
add is
l
_
c
at test applicati
o
n
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
eg
e
add omega o
u
tp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
i
sl_t
e
st: use i
s
l
_
set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaeg
e
ad
d
isl_
s
et_read_f
r
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add is
l
_
m
ap_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
i
s
l_map_read_from_file:
a
llow u
n
io
n
s
in isl fo
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoo
l
aege
isl_bas
i
c_map_rea
d
:
read definitions
of exis
t
ential
.
.
.
commit
|
commitdiff
|
tree
next