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_lift
2010-03-09
Sve
n
Ver
d
oolaege
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoola
e
ge
add isl_se
t
_from_po
i
nt
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_mat_in
s
ert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
a
dd
i
s
l_pw_qpol
y
nomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl_pw_qpolynomial_fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
ge
add i
s
l_pw_qpolynomial_get_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_div_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_strea
m
: allow
"_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
i
s
l_stream: acc
e
pt "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdo
o
l
aege
i
s
l_map_read: ac
c
ept '*' in affine
ex
p
ressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_qpoly
n
om
i
a
l_eval: us
e
consistent dimension
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ve
r
doolaege
doc:
u
pdat
e
to remov
a
l of p
i
plib as
a submodul
e
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
ge
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rd
o
olaege
is
l
_stream_re
a
d_obj:
a
dd suppor
t
for reading
pi
e
ce
w
ise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
a
d
d isl_stream_
r
ead_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
add gen
e
r
i
c i
s
l
_
obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
a
d
d support f
o
r
(
piecewise) quasipol
y
n
o
mials
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl
_
map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_strea
m
:
par
s
e NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolae
g
e
isl_stream: p
a
rse i
n
fty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
expor
t
isl_str
e
am
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_stream: allow
u
ser specified keywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
i
sl_stre
a
m: ad
d
s
o
me auxiliary fu
n
ctions
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoo
l
aege
is
l
_
s
tream: rea
d
"definiti
o
n" token
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
ad
d
i
s
l_int_td
i
v_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aeg
e
p
r
i
v
ately ex
p
o
r
t isl_set_contai
n
s_po
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ol
a
ege
a
dd isl_set_coun
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl_set_sample_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdo
o
laeg
e
add isl_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
isl_basic_set_scan: make sure
suffic
i
ent rows are
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoo
l
aege
isl_map
_
subtract:
o
nly add div
s
when nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d is
l
_map_order_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
ext
r
ac
t
isl_tab_add_div
f
r
om isl_tab_
p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_vec
.
c: f
i
x
minor white
s
pace issue
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdool
a
ege
ad
d
isl_se
t
_complement
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaeg
e
e
x
port isl_
m
ap_ma
k
e_di
s
join
t
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verd
o
olaege
a
d
d
isl_hash_table_fo
r
e
a
ch
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_m
a
p_print: extract
o
ut print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaeg
e
a
dd is
l
_s
e
t_
f
ast_is_uni
v
er
s
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
isl_inp
u
t
.
c: a
c
cept_affine: fix memory lea
k
on
e
rr
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_map
_
int
e
rsect: d
e
tect empty resul
t
a
lso i
n
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl_map_read: skip
until the
e
nd of the
l
ast line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
isl_stream_next_token_on_sa
m
e_
l
i
ne: check if last tok
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
i
s
l_set_wrap_facet: make
s
ure set is marked rationa
l
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoo
l
a
e
ge
isl_coalesce
.
c: fi
x
typ
o
in comme
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
isl
_
m
ap_read: ac
c
e
p
t
list
o
f predicated elements
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoo
l
a
ege
i
s
l_
m
ap_read: e
x
tra
c
t out pars
i
ng of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
isl_map_read: add
dummy vari
a
ble name for u
n
n
ame
d
var
i
ables
commit
|
commitdiff
|
tree
2010-02-19
S
ven
Ve
r
doola
e
ge
isl_stream: a
c
c
ep
t
";" toke
n
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
use -O1 o
p
timization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Ve
r
doolaege
i
sl_map
_
r
e
ad: acc
e
p
t
af
f
ine comb
i
nations of earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_map_read:
c
onstruct basic
m
ap
while
re
a
ding variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
eg
e
add a tran
s
itive closure example from the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
V
e
r
doolaege
i
sl_
m
ap_
t
ra
n
sitiv
e
_closure: compute po
w
er on st
r
o
n
gly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laeg
e
isl_map_
t
ransitive_closure: inte
r
s
e
ct with domain
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_transitive_closure:
extract out co
n
struction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_m
a
p_transitiv
e
_cl
o
sure:
move
acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_prin
t
:
u
se consiste
n
t names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
is
l
_ca
t
: allow speci
f
ica
t
ion of output format on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n V
e
r
d
oolaege
i
s
l_
m
a
p_print
:
sup
p
ort ISL_FORMA
T
_
POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
g
e
i
s
l_map
_
coal
e
sce: fix some
regressio
n
s introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
eg
e
add isl_clo
s
u
r
e test application
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdo
o
laege
add transiti
v
e cl
o
sure example from Kelly's
1
9
96 pa
p
er
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_
t
ra
n
si
t
ive_cl
o
sur
e
: constr
u
ct general pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
i
sl_map_
t
r
ans
i
tive_closu
r
e: prepare for the
con
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_trans
i
tive_closure: construct p
a
ths that ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_transiti
v
e_closure
:
extr
a
c
t
o
u
t construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
isl_map_transit
i
ve_clo
s
ure: use mo
r
e
generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_map
_
print: a
d
d parentheses ar
o
u
n
d d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
olaege
isl_
h
a
s
h_t
a
b
l
e
: use
size that corresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_
h
ash_table: grow ta
b
l
e
when we run out of entrie
s
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
ege
isl_m
a
p_co
a
le
s
ce
:
o
nly u
s
e no
n
-redundant c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verd
o
o
l
a
e
ge
add
i
sl_set_fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
e
n
Verdo
o
l
aege
isl_map
_
read: a
c
c
e
pt ch
a
ins
o
f comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olaeg
e
export is
l
_map_ali
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Ve
r
do
o
l
ae
g
e
isl_m
a
p_rea
d
:
forget existentially quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_i
n
put
.
c: remove needless indir
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
doc: document how t
o
inspect
s
ets and re
l
ations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
export isl_map_c
o
mp
u
t
e
_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n V
e
r
do
o
l
a
e
ge
isl_constrain
t
_div:
make sure requested div i
s
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdoo
l
aege
doc: dro
p
docum
e
ntation
o
f _dump func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdool
a
ege
isl_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
a
d
d isl_basic_m
a
p_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
o
l
a
e
ge
isl_
m
ap_coalesce: handle
more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
a
eg
e
p
rivately export isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_
c
onvex_hull
.
c:
w
rap_facet
:
allow unbou
n
ded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: i
m
prove decription
o
f isl_map
_
tran
s
itive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_transiti
v
e_closur
e
: improve test for
exa
c
tness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
la
e
ge
add a
counter ex
a
m
p
le for Theorem 1 o
f
the
C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdool
a
ege
add isl_
m
a
p
_l
o
w
e
r_b
o
u
nd_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
ae
g
e
i
s
l
_map_power: c
o
alesce
d
o
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl
_
flow
.
c: ad
d
missing
i
s
l_a
c
cess_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verd
o
olaege
isl_coalesce
.
c:
fi
x
t
yp
o
in commen
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl
_
map_read: accept list
s
o
f affine expr
e
ssions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
e
r
d
o
olaege
add isl_m
a
t
_
from_
r
ow_
v
ec an
d
i
s
l_mat
_
vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdo
o
lae
g
e
isl_map_
r
e
ad: read extended polylib
f
o
rmat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ver
d
oolae
g
e
ad
d
isl_stream_next_to
k
en
_
on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl
_
m
ap_read:
m
ake sure polylib const
r
aint
coefficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdool
a
eg
e
i
sl_{map,set}_dim: han
d
le NU
L
L i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map
_
read
:
use more
u
niform
wa
y
of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
next