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_pw_qpolynomial_foreach_lifted_piece
2010-03-09
Sven Verdoola
e
ge
a
dd
isl_pw_qpolyn
o
mi
a
l_f
o
reach_
l
ifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_s
e
t_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
add i
s
l_s
e
t_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l_mat_in
s
ert_col
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_
q
polyno
m
ia
l
_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
add i
s
l
_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
ad
d
isl_pw_qpolynomial_g
e
t
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_d
i
v_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
i
sl_str
e
am: allow "_" i
n
tokens
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolae
g
e
isl
_
stream: ac
c
ept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
is
l
_map_re
a
d:
accept '*
'
in
a
ffine expression
s
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
isl_qpolynomial_ev
a
l: us
e
cons
i
stent dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
doc: u
p
date to r
e
m
oval of piplib as
a
s
u
b
modu
l
e
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
d
o
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
isl_stream_read_obj: add
support fo
r
readi
n
g
p
iecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaeg
e
add isl_stream_
r
ead_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add generic isl_ob
j
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add suppo
r
t for
(
piece
w
ise) qua
s
ipolynomial
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add isl_map_mov
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
d
oolaege
isl_st
r
eam: pa
r
s
e
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
stre
a
m: parse inft
y
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl
_
stream: allow u
s
er specifi
e
d k
e
ywords
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
eg
e
i
s
l_strea
m
:
add some auxiliary f
u
n
c
tions
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_
s
tream: read "definit
i
on"
t
oken ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_in
t
_tdi
v
_
q
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
ege
privatel
y
exp
o
rt isl_set_
c
ont
a
ins_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add
i
sl_se
t
_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl_
s
e
t
_sam
p
le_
p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
add
isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_bas
i
c_set_scan: make
s
ure s
u
ffic
i
ent
rows are allocate
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_map_
s
ubtract: on
l
y add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
la
e
ge
e
x
trac
t
isl_t
a
b_add_div from isl_
t
a
b
_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
o
lae
g
e
isl_
v
ec
.
c: fix minor whitespa
c
e iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add
i
sl_
s
et_c
o
mpl
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
export isl_m
a
p_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
a
dd isl_hash_
t
able_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_map_print: extract
o
ut print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
do
o
laege
add isl_set_fast_is_uni
v
er
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_input
.
c: accept_
a
ffine: fix
m
em
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolae
g
e
isl_map_intersect: d
e
tec
t
empty
re
s
ult also
in
c
as
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doolae
g
e
isl_map_read:
s
ki
p
un
t
i
l
the end of the last
l
ine w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_stream_next_token_on_sam
e
_
l
ine: check if last t
o
k
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_set_wrap_fa
c
et:
m
ake sure
set
i
s marked rati
o
nal
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolae
g
e
i
sl_coale
s
ce
.
c
: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
i
s
l
_map_read: accept list of predicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
isl_map_read: ex
t
ract out
par
s
in
g
of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
isl
_
map_read:
a
d
d
dumm
y
variabl
e
name for
unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept
";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
use -O1 optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
drop com
m
a at the end of enumerations
i
n
include f
i
les
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_map_read: a
c
cept affi
n
e combinations
o
f earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
V
e
r
d
o
olaege
isl_map_read: construct basic map while r
e
ad
i
ng
v
ariable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Verdoolaege
isl_m
a
p_print: add primes to duplic
a
te
n
a
mes
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive_closur
e
: improve accu
r
acy by copyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
isl
_
map_transitive_closure: perform exactne
s
s check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Verdoolaege
is
l
_map_transiti
v
e_c
l
osure: reformulate e
x
actness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a t
r
ansiti
v
e clo
s
ure e
x
ample from the Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
l
a
ege
isl_map_t
r
ansitive_closure: compute
power on
s
t
rongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
d
o
olaege
isl
_
map_t
r
ansitive
_
closur
e
: intersect with domain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laeg
e
isl_ma
p
_
transitive_cl
o
sur
e
: extrac
t
o
u
t
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
oolaege
isl_map_transitive_cl
o
sure: move
ac
y
clicity tes
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
aeg
e
add isl_set_lower_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolae
g
e
isl_map_p
r
i
nt: use consis
t
e
n
t names on a
l
l d
i
sjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_c
a
t: allow specification of
o
u
tput format on c
o
mmand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
Verdoolaege
isl_ma
p
_print: support IS
L
_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
g
e
isl
_
map_c
o
ale
s
ce: fix some r
e
g
r
essi
o
ns introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdool
a
ege
add isl_closur
e
test appli
c
at
i
on
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoola
e
ge
add
t
ransitive closure example from
Kelly'
s
1996 p
a
per
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdo
o
laege
isl_
m
a
p_transitive_closure
:
construct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
is
l
_map_tran
s
itiv
e
_cl
o
s
ure: prep
a
re for t
h
e construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_m
a
p_transitive_cl
o
sure: construct paths that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_transitive_closure:
ext
r
act out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
Verdoolaege
isl
_
map_tra
n
sitive_closure:
use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
s
l_map_print: add p
a
renthes
e
s
a
round dis
j
uncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
i
sl_hash_table: use size
that corresponds t
o
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolae
g
e
isl_hash_
t
able: g
r
ow table when we run
o
u
t
of e
n
tr
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoola
e
ge
i
sl
_
map_coalesce: only u
s
e no
n
-redundant
co
n
st
r
ain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verdoolaege
add isl_set_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl
_
ma
p
_read
:
accept chain
s
of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolae
g
e
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Ve
r
doolaege
isl_map
_
re
a
d:
forget e
x
i
sten
t
ially quant
i
fi
e
d
v
a
r
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oola
e
ge
isl_inp
u
t
.
c
:
remove n
e
edless indirecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
d
o
c: document how to ins
p
ect
sets and
r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
ex
p
ort
isl_map_com
p
ute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
is
l
_constraint_div: make sure
r
eq
u
ested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
oc: drop docume
n
tatio
n
of _du
m
p functions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
V
e
r
doolaege
isl_
m
ap_print:
i
m
prove o
u
tput
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
add
isl_basic_map_foreach_con
s
traint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesce: hand
l
e more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
privately export isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_convex_
h
ull
.
c
:
wrap_facet: allow un
b
ounded facet
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
l
a
ege
doc: im
p
r
o
v
e decription of
i
sl_map
_
trans
i
tive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_tra
n
s
it
i
ve_clo
s
ure: improve t
e
st for
e
xactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
e
g
e
add a counter
ex
a
mple
for Theo
r
em 1 of
t
he COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
add is
l
_map_
l
ower
_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
doolaege
isl_map_powe
r
: coales
c
e d
o
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_f
l
ow
.
c:
add
m
issing isl_access_info_free
r
e
t
urn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coales
c
e
.
c:
f
ix t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
next