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
Sven Ve
r
doolaege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
ge
i
sl_pw_templ
.
c: copy:
f
ix re
t
urn
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
isl_polynomial
.
c:
q
poly
n
omi
a
l_fold_alloc: fix up condit
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
upd
a
te AUTH
O
RS
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
g
e
isl_pip: use isl_set
_
print instead
o
f isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
ad
d
som
e
pip tes
t
s from
the piplib
distr
i
buti
o
n
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
e
rdoo
l
aege
don't print newline in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
use type
d
ef
t
o e
n
sure argument to
m
p
_
get_memory_fu
n
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
add isl_obj_pw_q
p
olyn
o
mial_fol
d
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoola
e
ge
add isl_pw
_
qpolynomial_fold_eval
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_fol
d
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
olaege
a
d
d is
l
_pw_qpo
l
yno
m
ial_f
o
reach_
l
ifted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_set
_
lift
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoola
e
ge
add isl_set_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
a
dd isl
_
mat_i
n
sert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add isl_pw_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
add isl
_
pw_qpo
l
ynomial_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_q
p
olynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
add
i
sl_div_
d
i
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
isl_stream: allow
"_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoola
e
ge
i
s
l_str
e
am
:
accept
"
@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
isl_map_r
e
a
d
: a
c
cept '*' in affine
e
xpres
s
ions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
l_qpolynom
i
a
l
_eval
:
use consis
t
en
t
dime
n
sion
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ola
e
ge
doc: update to
r
emoval of piplib
as
a sub
m
odu
l
e
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdo
o
laeg
e
doc
:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
e
r
doolaege
isl_s
t
r
eam_read_obj: add suppor
t
for reading piec
e
wise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
olaege
add generic
i
s
l_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
ad
d
supp
o
rt for (piecew
i
se)
q
u
asipoly
n
omial
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
a
ege
add isl_map
_
mo
v
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream:
parse
N
aN
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoo
l
aege
i
sl_stream: par
s
e
i
nfty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
expo
r
t isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
ol
a
ege
isl_stream: allow u
s
e
r
s
p
ecified keywo
r
ds
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ve
r
doolaege
isl_stream: add some a
u
xiliary fu
n
ctions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
isl_stream: read
"
def
i
nition" t
o
ken ":="
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
a
dd
isl_int_t
d
iv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
pr
i
vately exp
o
rt is
l
_s
e
t_con
t
ains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add
i
sl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
add isl_se
t
_sam
p
l
e
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
add isl_poin
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdool
a
ege
isl_
b
asic_set_scan: ma
k
e sure su
f
f
icie
n
t
rows a
r
e allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoo
l
aege
isl_map_s
u
btract: on
l
y add div
s
wh
e
n nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoola
e
ge
ad
d
i
sl_map_order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoolaege
extract isl_tab
_
a
dd_div from isl_tab_pi
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_vec
.
c: fix minor whites
p
ace issue
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoola
e
g
e
add isl
_
s
et_complement
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Ve
r
doolaege
e
x
port isl_map_make_
d
isjoi
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
a
d
d isl_hash
_
table_foreach
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
o
o
laege
isl_map_print:
e
xtract out
p
r
i
nt_d
i
sjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
add isl_set_fast_i
s
_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_inpu
t
.
c: accept_affi
n
e: fix memory leak o
n
e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaege
i
sl_map_intersect: d
e
tect
e
mpty res
u
lt also in cas
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
l
a
e
ge
isl_map_read:
s
k
ip u
n
til
t
he end
of
the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl
_
s
tream_n
e
xt_
t
o
k
en_on_same_line
:
c
heck
i
f last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
o
o
laege
isl_set_wra
p
_facet: m
a
k
e s
u
r
e
set is marked rati
o
nal
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olae
g
e
i
sl_coalesce
.
c
: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
o
laege
isl_map_read: accept list of
p
re
d
ica
t
e
d
e
l
e
m
ents
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
a
ege
isl_ma
p
_read: ex
t
ract
o
u
t parsing of
m
a
p
b
o
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_re
a
d: add dummy variable name for un
n
amed v
a
riables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoo
l
aege
isl
_
stream: accept "
;
" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erd
o
o
l
a
ege
use
-O1
optimi
z
ation le
v
el for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
drop comma at the end
o
f
enumerations in include f
i
les
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoola
e
ge
isl_map_
r
ead: accept affine c
o
mbina
t
ions of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
a
p
_rea
d
: construct basic map while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdo
o
laege
i
sl_map_print: add primes to duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoola
e
ge
isl_map_transiti
v
e_closure: imp
r
o
ve accuracy by co
p
ying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_map_tra
n
sitiv
e
_
c
l
o
sure: pe
r
fo
r
m exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
o
o
l
a
ege
i
sl_
m
ap_transiti
v
e_
c
l
osure: reformulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oo
l
aege
add a t
r
ansi
t
ive closure examp
l
e from the O
m
e
ga
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_map_transit
i
ve_closure: comput
e
power o
n
s
trongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_
m
ap_trans
i
ti
v
e_closure:
intersec
t
wi
t
h d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
i
s
l_map_transitive_closure: extract out constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdo
o
la
e
ge
isl_map_transitive_cl
o
su
r
e
: move acyclici
t
y
tes
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
a
d
d isl_
s
et
_
lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
erdoolaege
isl_map_prin
t
:
use consi
s
te
n
t
n
a
m
e
s on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolaege
i
s
l_cat: a
l
low specificat
i
on of
outp
u
t format on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdo
o
laege
isl_map_prin
t
: support
I
SL
_
FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
a
p
_coalesce: fix some reg
r
essions introd
u
ced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
add
isl_closure test ap
p
licati
o
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
add t
r
ansiti
v
e c
l
os
u
re
e
x
a
m
ple fro
m
Ke
l
ly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verd
o
olaege
isl
_
m
a
p_transitive_cl
o
s
u
re:
c
onstruct genera
l
paths
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
sl_map_tr
a
nsiti
v
e
_
c
l
o
sure: prepare fo
r
the
con
s
tructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_tran
s
i
t
ive
_
closure:
c
o
n
struct pa
t
hs that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n
V
e
rdoola
e
ge
isl_transit
i
ve_clo
s
u
r
e
: ext
r
act out co
n
s
truction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_transitive_
c
losure:
use mo
r
e generic a
c
y
clicit
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_m
a
p_
p
r
i
nt: add parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash
_
table:
u
s
e
siz
e
that corre
s
ponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdool
a
eg
e
is
l
_hash_
t
a
b
l
e: grow table
w
hen we run
o
ut
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap
_
coalesce: only use
n
o
n-redu
n
dant constra
i
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Ver
d
oolaege
add is
l
_set_fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
o
o
l
aege
isl_map_read: accept chains o
f
com
p
a
r
is
o
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
export isl_ma
p
_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_m
a
p_read:
f
orget existen
t
ia
l
l
y
qua
n
t
ified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
a
ege
isl
_
input
.
c: remov
e
needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
oc: document how
to i
n
spect
s
ets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
expo
r
t is
l
_map_
c
o
mpute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
i
sl_constraint_div: mak
e
sure requested d
i
v is a
k
nown
d
iv
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Verdoolaege
doc
:
drop documen
t
a
t
i
o
n of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
isl_map_p
r
int: improve outp
u
t
commit
|
commitdiff
|
tree
next