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: allow user specified keywords
2010-03-04
Sven Ve
r
doo
l
aege
isl_st
r
eam: allow user specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_stream: add some auxili
a
ry functions
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_stream: read "d
e
fi
n
it
i
on" t
o
ken "
:
="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl
_
int_tdiv_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
private
l
y exp
o
r
t isl_set_contains
_
poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
add isl_s
e
t_c
o
unt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_se
t
_sample
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
d
d
isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
sl_bas
i
c_set_scan: mak
e
sure sufficient rows
are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoola
e
ge
isl_map_subtract: only
a
dd divs
w
hen needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
extract is
l
_t
a
b_add_div from is
l
_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
ge
isl_vec
.
c
:
fix mino
r
whit
e
s
p
ace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oolaege
a
dd isl_set_compl
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolae
g
e
export isl_m
a
p_
m
ake_disj
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add
i
s
l
_
ha
s
h_t
a
ble_fore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
V
e
rdoolaege
isl_m
a
p_print: e
x
tr
a
c
t out print_d
i
sjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
er
d
oolaeg
e
ad
d
is
l
_s
e
t_fast_is_unive
r
se
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
o
ola
e
g
e
isl
_
in
p
ut
.
c: accept
_
affine: f
i
x me
m
ory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map
_
intersect: detect e
m
pty resu
l
t
a
ls
o
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_read: skip until the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoo
l
a
e
g
e
i
s
l_stream_next_token_on_same_line:
chec
k
if last
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_set_w
r
ap_
f
acet: ma
k
e sure s
e
t is marked r
a
ti
o
nal
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
erdoolaeg
e
isl_
c
oal
e
sce
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
isl_
m
ap
_
read: acc
e
pt list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: extr
a
ct ou
t
parsin
g
of map body
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaeg
e
isl_m
a
p_read: add dummy
v
ariable
na
m
e for unnam
e
d
vari
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream:
accept ";"
t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
us
e
-O1
o
ptimization
l
e
vel for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
ool
a
ege
d
r
o
p comma at
the end of enum
e
rations in in
c
lude files
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdool
a
ege
isl_
m
ap
_
read:
a
ccept af
f
ine co
m
binations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
i
s
l_
m
ap_read: construct
basic ma
p
while
rea
d
ing var
i
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl_map
_
p
r
i
nt
:
add primes to
duplicat
e
name
s
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoola
e
ge
isl_
m
ap_transiti
v
e_clos
u
re:
improve acc
u
r
a
cy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
i
s
l_ma
p
_transiti
v
e_cl
o
sure: perf
o
rm exact
n
ess check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdoo
l
aege
i
s
l_map_transitive_
c
losure: reformulate
ex
a
ctness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ve
n
Verdoo
l
a
e
g
e
a
dd
a transitive c
l
osure exa
m
p
l
e
f
ro
m
t
he Omega
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdool
a
e
ge
i
sl_map
_
transitive
_
closure: compute power on stro
n
gl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_t
r
ansitive_closure:
i
n
tersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_t
r
ansitive_closure: extract
o
ut construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map_transi
t
ive
_
closure: mov
e
acyclicity
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Ve
r
doolaege
add isl_s
e
t_lower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdo
o
l
a
e
ge
isl_m
a
p_print: use consis
t
ent names
on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_cat: allow sp
e
c
i
f
icat
i
on of output
format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdo
o
l
aege
isl_map_
p
rin
t
: su
p
por
t
ISL_FO
R
M
A
T_P
O
L
Y
LIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_map
_
coale
s
c
e: fix some reg
r
essions intro
d
uc
e
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
a
d
d is
l
_
c
losure te
s
t ap
p
lica
t
ion
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add t
r
ansitive
c
losure exa
m
ple from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
i
sl_map_t
r
ansitive_closure:
c
onstr
u
ct general
p
a
t
hs
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdoolaege
isl_ma
p
_tra
n
sitive_closure: prep
a
re for the con
s
tructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_ma
p
_tr
a
n
siti
v
e_closure: construct
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verd
o
olaege
i
sl_tran
s
i
t
ive_closure: extract
o
u
t cons
t
ructi
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoola
e
ge
isl_map_transit
i
ve_c
l
osu
r
e: use
mo
r
e gener
i
c
acycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
doo
l
ae
g
e
i
sl
_
m
a
p_print: add parentheses a
r
ound disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
l
a
e
ge
isl_hash_table: use
size that corre
s
pond
s
t
o
t
he n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolae
g
e
isl_hash_ta
b
l
e
: grow table when
w
e
r
un out of e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_map_coale
s
c
e:
only
use
no
n
-redu
n
d
a
n
t
constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
oolaege
add isl_se
t
_f
i
x_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
isl_map_rea
d
:
a
c
ce
p
t chains o
f
c
ompari
s
o
n
s
commit
|
commitdiff
|
tree
2010-02-10
S
ven V
e
rd
o
ola
e
ge
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoolaege
isl_
m
a
p
_read:
f
or
g
et existentially qu
a
nt
i
fied v
a
riab
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl
_
inp
u
t
.
c: rem
o
ve ne
e
dl
e
ss indirection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
doc: document
h
ow
t
o inspect sets and relatio
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
export i
s
l
_
map_
c
o
m
pute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Verdoolaege
isl_constraint_div: make sure r
e
quested div is a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c: drop documentation of _dump functio
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
isl_m
a
p
_
print: improv
e
output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
o
o
la
e
g
e
add
i
sl_basi
c
_
map_foreach_co
n
s
t
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_coalesc
e
:
h
an
d
le more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
privately export is
l
_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdool
a
ege
isl_convex_hull
.
c: wrap_fa
c
et: allow unbounde
d
fa
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
d
o
c: impro
v
e
de
c
ription
o
f
i
s
l_map_tr
a
nsitive_
c
losure
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaege
i
sl_map_transitive_closure: impro
v
e tes
t
for exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add a counter example for
Theorem 1 of the
COCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
ad
d
isl_map_lower_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
i
s
l_ma
p
_power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaeg
e
isl_flow
.
c: add missing isl_
a
ccess_info_fr
e
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_coalesce
.
c
:
f
ix ty
p
o i
n
commen
t
commit
|
commitdiff
|
tree
2010-02-07
S
ven Verdoolaege
inc
l
ude/is
l
_in
t
.
h: argum
e
nt of mp_get_memory_
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_r
e
ad:
accept list
s
of affine expressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
add i
s
l_m
a
t_fro
m
_row_v
e
c and isl_m
a
t_vec
_
co
n
cat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verd
o
olaeg
e
isl_map
_
read:
r
ead exten
d
ed polylib
format
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
er
d
oolaege
add is
l
_stream_
n
ext_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
i
s
l_map_read:
make sure polylib constra
i
nt coe
f
ficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolae
g
e
isl_{map,set}_dim: handl
e
NULL
i
npu
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
doolaege
i
s
l_map_read: use m
o
re uniform way of re
a
ding in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Ve
r
doolaeg
e
i
s
l_transitive_
c
losure
.
c: f
i
x typo
in com
m
en
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoola
e
ge
isl_map_transitive_cl
o
sure: use more relaxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaeg
e
add isl_map_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_map_
s
ubtract
.
c: make some internal functions
static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic isl_map_
p
roject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
add isl_{
m
ap,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oola
e
ge
rename isl_
{
map,set}_
a
dd to isl_{ma
p
,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ve
r
doolaege
isl_set_proje
c
t_out
:
alwa
y
s upda
t
e d
i
mension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
lae
g
e
i
s
l_dim_join: don't
r
equ
i
re names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oo
l
ae
g
e
add isl_map_
f
r
om_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
is
l
_st
r
e
am: treat "-" as
o
p
e
r
ator ra
t
her than
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
i
s
l_
m
a
p
_read: accept "strict" inequali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oolaege
isl_i
n
put
.
c: fix memory dea
l
locatio
n
pro
b
lem on missin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verd
o
olae
g
e
add dependence analysis
commit
|
commitdiff
|
tree
next