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 0.02
2010-03-10
S
v
en
V
er
d
oolaege
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl
_
pw_templ
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdo
o
la
e
ge
isl_polynomial
.
c: qpolynom
i
al_fo
l
d_all
o
c
:
fix up conditi
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update AUTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
is
l
_pip: use isl_set_print
i
nstea
d
of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ad
d
some pip tests from the pi
p
lib distribution
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
rdoo
l
aege
don't print newline in
ISL_FORMAT
_
IS
L
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
us
e
typedef to ensur
e
argum
e
nt to m
p
_get_m
e
m
o
r
y_fun
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
i
sl_obj
_
pw_qpo
l
ynom
i
al_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
a
dd isl_
p
w_q
p
o
l
ynom
i
al_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laege
add isl_pw
_
qpolyno
m
ial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add isl
_
pw_qpolynomi
a
l_f
o
r
e
a
ch
_
lif
t
e
d_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add
i
sl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
ol
a
e
g
e
add isl_
s
et
_
from_po
i
n
t
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_mat
_
inser
t
_cols
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl
_
pw_qp
o
lynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_
p
w_qp
o
lynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_q
p
olynomial_g
e
t_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
ad
d
isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_stream:
allow "
_
"
i
n tokens
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
isl_st
r
eam: accept "
@
" to
k
en
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
i
sl_map
_
r
ead: accept '
*
'
i
n
a
f
fine
e
xpressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_qpolynomial_eva
l
: use consisten
t
di
m
ensio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
do
c
: updat
e
to re
m
oval
o
f
piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
i
s
l_st
r
e
a
m_r
e
a
d
_obj:
add
s
u
p
port for reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoola
e
ge
ad
d
isl_stream_read
_
obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add generic isl_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
ad
d
support for
(
p
iecewise) qua
s
ipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
la
e
ge
add
isl_map
_
move
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
is
l
_stream
:
parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_s
t
ream: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
o
laege
export i
s
l_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_stream: a
l
low user specified
keywords
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolaege
i
sl_stream: add s
o
m
e
auxiliary
f
un
c
ti
o
n
s
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_
s
tream: r
e
a
d
"defin
i
tion
"
to
k
e
n ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
add isl_int_tdi
v
_q
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
p
r
i
v
ately
e
x
port isl_set_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
add isl
_
set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doolaege
add
i
sl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
isl_basic
_
set_scan
:
mak
e
sure s
u
fficient rows are
a
llocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_map_subtract: only add d
i
vs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoola
e
ge
add i
s
l_
m
ap_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
e
x
tra
c
t isl_tab_add_div
f
rom isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
laege
isl_ve
c
.
c: fix minor whitespa
c
e issue
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
add isl_set_comp
l
eme
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
o
l
a
e
ge
export
isl_map_ma
k
e_dis
j
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdool
a
ege
add
i
sl_
h
ash_ta
b
le_foreach
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdo
o
laege
isl_map_pri
n
t: extract out print_disj
u
nct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aeg
e
ad
d
isl_se
t
_f
a
st_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_in
p
ut
.
c: accept_affin
e
: fix mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_map_
i
ntersect: detect empty result al
s
o in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_r
e
ad: skip until
t
he end of the
l
ast line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oo
l
aege
i
sl_stream_n
e
x
t
_token_on_same_line: check if las
t
t
o
k
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_set_wrap_
f
acet:
m
ake
s
ure set is mark
e
d rational
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoola
e
ge
isl_coales
c
e
.
c:
f
ix typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_
r
ead: a
c
cept l
i
st o
f
predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolaege
is
l
_map_rea
d
: extract
out pars
i
ng of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
is
l
_map_read: add dummy variable
n
ame for unnamed
variables
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdo
o
l
a
ege
isl_str
e
am: acc
e
pt
";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
us
e
-O1 optimization level for
g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
drop
c
omma at the end of en
u
merations in inc
l
ude
f
i
l
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: acce
p
t affine combi
n
ations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
i
sl_ma
p
_
r
ead: construct basic map whil
e
readin
g
variabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_print
:
a
dd pr
i
mes to d
u
plicate n
a
mes
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map
_
transitive_cl
o
sure: improve a
c
curacy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ve
r
d
ool
a
ege
i
s
l_map_transit
i
ve_closure: p
e
rform exactness ch
e
ck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
i
sl_map
_
t
ransitive
_
closure: reformul
a
te exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
add a tra
n
sitive closure exampl
e
from the Omega te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven V
e
rdoolaege
isl_map_transitive_closur
e
: compute power on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_m
a
p_transit
i
ve_cl
o
sure: intersect w
i
th
d
o
m
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_map_t
r
ansit
i
ve
_
cl
o
s
ure:
extr
a
c
t
out c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
r
doolaege
i
sl_map_tr
a
n
s
itive_cl
o
sure: move a
c
yclicity
test
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
o
l
ae
g
e
add
i
sl_set_
l
ower_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_map_pr
i
nt: us
e
consistent
n
ame
s
on all dis
j
u
n
cts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oola
e
ge
isl_cat: allow specificatio
n
of
o
utput
format on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_
m
a
p
_prin
t
:
s
upport ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
eg
e
isl_map
_
coalesce: fi
x
som
e
re
g
r
e
ssions
i
ntroduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaeg
e
add i
s
l_c
l
os
u
re tes
t
application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
ad
d
transitiv
e
c
l
osure example
from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_map_transi
t
ive_c
l
osure: c
o
nstruct gen
e
ral pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
i
sl_map_
t
r
ansitiv
e
_closure: prepare for t
h
e construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
lae
g
e
isl_m
a
p_
t
r
ansiti
v
e_closur
e
: con
s
t
r
uct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doo
l
aeg
e
isl_
t
ransitive_closure: extract o
u
t
constr
u
ction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ve
r
doolaege
is
l
_
m
ap_trans
i
tive_closu
r
e: use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_m
a
p_p
r
i
nt: add parentheses a
r
o
u
nd disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_hash_table
:
use size tha
t
corresponds to t
h
e number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_hash_ta
b
le: grow ta
b
le w
h
en we run
o
ut of entr
i
es
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaeg
e
i
sl_map_c
o
ales
c
e: only
u
s
e
non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
olaege
add
isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: accep
t
chains of c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
S
ven Ver
d
ool
a
ege
e
x
port isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolaege
is
l
_
map_rea
d
: forget existenti
a
ll
y
quantif
i
ed variab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
isl_input
.
c: remove needl
e
s
s indi
r
ectio
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
lae
g
e
doc: do
c
ument h
o
w to inspe
c
t sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
export isl_m
a
p
_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
a
e
ge
isl_constr
a
int_div: make sure requested div is a known
d
iv
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
doc: drop docume
n
tation of _dump functi
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
isl_map_pri
n
t: imp
r
ov
e
outpu
t
commit
|
commitdiff
|
tree
next