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 "_" in tokens
2010-03-09
Sven Ve
r
doolae
g
e
is
l
_stream:
allow "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
i
s
l_stream:
a
ccept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
isl_map
_
read:
ac
c
ept '
*
' in affine expressio
n
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
sl
_
qp
o
ly
n
o
mial_e
v
al: use
c
on
s
istent dim
e
nsion f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
doc: update to
r
emoval
of pipl
i
b as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoolaege
isl_s
t
ream_read_obj:
a
dd support f
o
r re
a
ding
p
iecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add gen
e
ric isl
_
o
bj
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verd
o
olaege
add support for
(p
i
e
c
e
wis
e
) quasi
p
olynom
i
als
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
lae
g
e
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl
_
s
tream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdool
a
ege
isl_str
e
am: parse
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
e
x
port
isl_st
r
ea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
i
s
l
_
strea
m
:
allow user specified
keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: add some auxiliary functio
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_stream: read "definition" to
k
en
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolae
g
e
a
dd isl_int_tdiv_
q
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
pri
v
ately expo
r
t isl_set_con
t
ains_p
o
i
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
o
ol
a
ege
a
d
d is
l
_set_sample
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
sl_basic_set_scan: make
s
ure suffici
e
nt
r
ows
a
re
allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolaege
isl_map_subtract: only add div
s
when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
a
dd isl
_
map_orde
r
_
divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
extract i
s
l_tab
_
a
d
d_div fr
o
m
i
s
l_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laeg
e
isl_ve
c
.
c:
f
ix minor white
s
p
ace is
s
ue
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
add i
s
l_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
exp
o
rt isl_
m
a
p_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoola
e
ge
ad
d
isl_hash_tabl
e
_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
i
s
l_
m
ap_print: extract o
u
t
p
rint_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
a
e
ge
add isl_s
e
t_
f
ast_
i
s_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
e
g
e
i
s
l_input
.
c: accept_
a
ffine: fix m
e
mory l
e
ak on
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_ma
p
_intersec
t
:
detect empty result also in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
aege
isl_map_read: skip until th
e
en
d
of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_stream
_
next_token_on
_
same_l
i
ne:
check if
l
ast token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
ola
e
ge
i
s
l_set_wrap_facet: make sur
e
set i
s
marked ra
t
ional
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
isl_c
o
alesce
.
c:
f
i
x typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoo
l
a
e
g
e
isl_
m
ap_re
a
d: ac
c
ept list
o
f predi
c
ate
d
elements
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
isl_map_read: extract out par
s
ing of map b
o
dy
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdool
a
ege
isl_map_read:
add dummy variable name for unnamed vari
a
ble
s
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
isl_s
t
r
e
am: accept ";" to
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolae
g
e
use -O1 op
t
imiz
a
tion level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaeg
e
isl_map_re
a
d: ac
c
ept affine combinations of
e
arlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_map_read: construct basic ma
p
while re
a
d
i
ng vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
a
d
d a transitive cl
o
sure example from the Ome
g
a te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
isl_map
_
transitive_closure: com
p
ute power on stro
n
gly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
lae
g
e
isl_map_transitive_closure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
erdoolaege
isl_map_tra
n
sitive
_
clos
u
re
:
ex
t
ract out c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoo
l
a
ege
isl_map_transitive_closur
e
: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verd
o
olae
g
e
i
s
l
_m
a
p_p
r
int: use consist
e
nt names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoola
e
ge
isl
_
cat:
allow spe
c
ific
a
tion of output format on
c
omma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_print: suppor
t
ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map
_
coa
l
e
s
ce: fix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaeg
e
add i
s
l
_
closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
add transitiv
e
closure examp
l
e from Kelly'
s
19
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdoolaege
isl_map_tra
n
sitive_closu
r
e: constr
u
ct
g
ener
a
l paths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
e
r
doolaege
i
sl_ma
p
_
transitive_closur
e
: prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
e
rdo
o
laege
isl_map
_
tran
s
itive_c
l
o
s
ure: co
n
str
u
c
t
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolaege
isl_transiti
v
e
_clos
u
re: extract out construct
i
on of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
o
ola
e
ge
isl_map_transi
t
ive_clo
s
ure: use
m
ore
g
eneric acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_pr
i
nt: add par
e
n
t
heses
arou
n
d disju
n
cts
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Ver
d
o
o
lae
g
e
isl_hash
_
table: use size that cor
r
esponds to
t
he nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_has
h
_table: grow ta
b
le when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
a
p
_
coale
s
ce: only use non-r
e
d
u
ndant co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolae
g
e
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
ven
V
erdoolaege
isl_ma
p
_re
a
d:
a
ccept
c
h
a
i
ns of compari
s
ons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_map_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oolaege
isl_map_read:
for
g
et existentially qua
n
tifi
e
d
v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
e
g
e
isl
_
i
n
put
.
c: remove
needless indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
d
o
c:
document
h
ow t
o
insp
e
ct sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laeg
e
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
Ve
r
doolaege
isl
_
co
n
s
train
t
_div: make
s
ure reques
t
ed div is a known di
v
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Ver
d
oolaege
doc: dr
o
p doc
u
m
e
ntat
i
on of
_
dump functions
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
isl_m
a
p_print:
improve ou
t
put
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdo
o
laege
add isl_basic_
m
ap
_
for
e
ach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_ma
p
_
c
oalesce:
handle m
o
re
c
ases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdo
o
laege
privately exp
o
rt isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_co
n
vex_hull
.
c: wrap_facet: all
o
w unbounded fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
oolaege
d
oc: improve
d
ecr
i
p
tion o
f
isl_map_trans
i
tive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
is
l
_map_transitive_closure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
e
g
e
add a c
o
unter example
f
or Theo
r
em 1 of the C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
a
d
d isl
_
map_low
e
r_bo
u
nd
_
si
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoolaege
isl_map_power: coalesce domain
and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_flow
.
c
:
add missing isl_acce
s
s_info_fr
e
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoola
e
ge
isl_coalesce
.
c: fi
x
t
ypo
i
n
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_read: accept lists of a
f
fine expr
e
ssi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laege
add isl_mat_from_row_vec and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_ma
p
_
r
ead: re
a
d
extended polylib f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
add i
s
l_stream_next_token_on_same_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl
_
map_
r
ead: make
sure pol
y
l
i
b constr
a
i
nt c
o
efficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
is
l
_{map
,
set
}
_dim:
han
d
le NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_read: use
m
or
e
uniform w
a
y of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoolaege
isl_transit
i
ve
_
closu
r
e
.
c: fi
x
typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_map_transitive_closure: use more relaxed ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add i
s
l_map_power and i
s
l_map_tran
s
itive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n V
e
rdo
o
laege
isl_map_subtract
.
c
:
m
ake
some internal f
u
nc
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add gener
i
c is
l
_map_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolae
g
e
add
i
sl_{map,set}
_
a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdool
a
ege
re
n
ame isl_{map,set}_
a
dd to
isl_{m
a
p,set}_add
_
ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
next