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_map_print: extract out print_disjuncts
2010-03-04
S
ven Verdoola
e
ge
isl_map_
p
r
int: extract out print_dis
j
u
n
c
t
s
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olaege
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laeg
e
i
sl_
i
nput
.
c: accept_af
f
ine: fix
memo
r
y
leak o
n
e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laeg
e
is
l
_
m
ap_inter
s
ect: detect empty resu
l
t a
l
so in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rd
o
ol
a
ege
i
s
l_map_read
:
skip until the
end of the la
s
t line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
l
aege
isl
_
s
t
r
eam_nex
t
_token_on
_
same_lin
e
: che
c
k if
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
isl_s
e
t_wrap_fa
c
et
:
m
ake
s
ur
e
set i
s
marked rati
o
nal
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
isl_coa
l
e
s
c
e
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_read
:
a
c
cept
l
ist of predicated el
e
m
e
n
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
l
a
ege
i
s
l_map_read
:
extract out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
la
e
ge
isl_map
_
read: add dummy v
a
riable name
for u
n
named variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
sl_stre
a
m: accept ";"
t
o
ke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
u
se -O
1
optim
i
zatio
n
level
fo
r
gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Ver
d
oolaege
isl_map_
r
ead: a
c
c
e
pt affine combinations
o
f earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_
m
ap_read: construct basic
m
a
p whi
l
e read
i
n
g
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
e
r
doolaege
add a transiti
v
e closur
e
e
xample from the Omeg
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoolaege
isl
_
m
a
p_trans
i
t
i
ve_
c
losur
e
: c
o
mpute
po
w
e
r
on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_map_transitive_clo
s
ure: intersect with do
m
ain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl
_
map_transitive_clos
u
re: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
r
d
oolae
g
e
isl_map_transi
t
i
ve_clo
s
ure:
m
ove acyc
l
icity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map
_
p
r
i
n
t: use consistent
n
ame
s
on all d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
cat: allow specif
i
cation
of output format o
n
com
m
an
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_
m
ap_print: suppor
t
ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
i
sl_map_co
a
le
s
c
e
: fix some regressions intr
o
duced
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdoola
e
ge
add is
l
_
c
losure test a
p
plication
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
ola
e
ge
a
d
d tr
a
nsitive c
l
osure example
f
rom
K
elly's 1
9
96 pape
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_
m
a
p
_transitive_closur
e
:
constru
c
t
ge
n
era
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
ola
e
ge
isl_map_transitive_c
l
osure: prepare
for the
constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolaege
isl_map_transitive_closure: co
n
s
truct
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdoolaege
isl_
t
ransitive_
c
losure: extra
c
t out cons
t
ruction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
is
l
_map_
t
ransitive_closure: use
more gen
e
ric acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
o
l
aege
isl_m
a
p_print: add parentheses ar
o
und disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_has
h
_table: u
s
e
s
ize that corresponds t
o
the
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_hash_table: g
r
ow table
w
hen we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_map_coal
e
sc
e
: only use
n
on-re
d
undant constraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add
i
sl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
is
l
_m
a
p_read: ac
c
ept
ch
a
in
s
of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
Verdoolaege
e
xport isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven V
e
rd
o
olaege
isl_map_read: forget
existentia
l
ly quantified var
i
abl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n
Verdoo
l
a
eg
e
isl_
i
np
u
t
.
c: remove needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
do
o
l
aege
doc: d
o
cu
m
e
nt how to
i
nsp
e
ct sets a
n
d
r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoo
l
aege
export
i
sl_map_co
m
pute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
isl_constraint_div
:
make sure
r
equested div
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdo
o
laege
doc: drop d
o
cument
a
tion of _dump
funct
i
on
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_
m
ap_print:
i
mp
r
ove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
add isl_bas
i
c_map_foreach_co
n
straint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
erdool
a
ege
i
s
l_map_coale
s
c
e
: handle more
c
a
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
privately e
x
port is
l
_
se
t
_w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verd
o
olaege
i
s
l_c
o
n
v
ex_hull
.
c:
wrap_facet:
a
llow
unboun
d
ed
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolae
g
e
doc
:
im
p
rov
e
decription of isl_map
_
transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p_t
r
a
n
siti
v
e_c
l
osure: improve test fo
r
exact
n
e
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter example for The
o
rem 1 o
f
the COCOA
p
aper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
l
a
ege
add
i
s
l_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_power:
c
oale
s
ce do
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
is
l
_f
l
ow
.
c: add
m
issi
n
g
isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdool
a
eg
e
i
sl_coalesce
.
c: fix
t
ypo
in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_map
_
r
e
ad: accept lists
of a
f
f
ine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
isl_mat_fro
m
_row_vec and i
s
l_
m
a
t
_v
e
c_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_read: read
e
x
t
e
nd
e
d pol
y
lib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
add
isl_
s
tream_next
_
token_on_s
a
m
e
_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_read: mak
e
sure p
o
lylib constraint co
e
fficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
ae
g
e
isl_{map,set
}
_di
m
: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map_read: use more uniform way of
r
e
a
ding in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doolaege
isl_transitive_closure
.
c: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_
m
a
p_tr
a
nsiti
v
e
_
c
l
o
sure: use mo
r
e rel
a
xed exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add isl_map_powe
r
and isl_map_transitiv
e
_cl
o
su
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
laege
isl_map_subtrac
t
.
c: mak
e
so
m
e intern
a
l functions static
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdool
a
ege
add ge
n
e
ric i
s
l_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdo
o
laege
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
rename isl_
{
map,
s
e
t}_add to isl_{map,set
}
_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_set
_
project_out:
a
lway
s
update dimen
s
ion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
olaege
is
l
_dim_join: don'
t
require names of
j
oin
e
d variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
add isl_map_from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
isl_stream: treat "-" as operator
r
ather than as -1
commit
|
commitdiff
|
tree
2010-02-03
S
ven
Verdoolaege
isl_map_rea
d
: accept "strict" inequa
l
i
t
i
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laeg
e
isl_i
n
p
u
t
.
c: fix mem
o
ry deal
l
o
c
ation pro
b
lem
o
n missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
e
r
doolaege
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolaege
ad
d
priv
a
te isl_{set,map}_make_
d
isjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
g
e
basis
_
reducti
o
n_templ
.
c
: fix t
y
po in
comm
e
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
olaege
isl_tab_pip
.
c:
f
ind
_
solutions
:
b
re
a
k
when contex
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
isl_dim
_
e
q
ual: don't requi
r
e names of inp
u
t
a
nd output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_dim_map: pro
p
erly duplicate na
m
es
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Verdoo
l
aege
i
sl_dim
_
drop
:
properly
a
d
just length o
f
names
a
rray
commit
|
commitdiff
|
tree
2010-01-26
Sven Verd
o
o
l
aege
doc: a b
i
t more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
oo
l
aege
doc: d
e
s
c
ri
b
e input/output format
s
commit
|
commitdiff
|
tree
2010-01-26
S
v
en V
e
r
d
oolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
e
rd
o
ol
a
ege
add isl
_
cat test a
p
plication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
a
dd isl output
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
isl_tes
t
: use isl_
s
e
t_rea
d
_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
dd isl_set_r
e
ad_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl
_
m
a
p_re
a
d_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
isl_map_read_from_file: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_basi
c
_map_r
e
ad: read de
f
initions
of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven V
e
rdoolaege
pr
i
va
t
ely e
x
por
t
isl
_
b
asic_map_add_d
i
v_co
n
stra
i
nts
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
i
sl_basic_map_r
e
ad: re
a
d
affine constraint as t
w
o
affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_input
.
c
: optionally read para
m
eters from in
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
Ve
r
d
oo
l
aege
toke
n
i
z
er: acc
e
pt "and
"
k
e
y
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_
m
a
p
_read_from
_
file
commit
|
commitdiff
|
tree
next