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
doolae
g
e
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
la
e
ge
isl_pw_tem
p
l
.
c: copy:
fix retur
n
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verd
o
o
laege
i
s
l
_
polynomial
.
c: q
p
ol
y
nomial_fol
d
_
a
lloc
:
fix up c
o
ndition
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update A
U
THORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
is
l
_
pip: us
e
is
l
_set_pr
i
nt instea
d
of
isl_set_d
u
mp
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
ad
d
so
m
e pip tes
t
s from the pi
p
lib
d
istribution
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
er
d
oolaege
d
on't print
newl
i
ne in ISL_FORMAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
use typedef to e
n
s
u
re argument to mp_get_memory_fu
n
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
la
e
ge
add isl_obj_pw_qpol
y
nomia
l
_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
aege
add
i
sl_pw_qpolyno
m
ial_fold_e
v
a
l
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rd
o
olaege
add isl_p
w
_q
p
ol
y
nomial_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdool
a
e
ge
a
dd isl_pw_qpolynomial_foreach
_
lifted_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
add is
l
_s
e
t
_lift
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
o
o
laege
add is
l
_set_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d isl_ma
t
_in
s
ert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
ad
d
isl_pw_
q
polynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add i
s
l_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
add isl_pw_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
a
dd isl_div
_
dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_
s
trea
m
: allow "_" in
tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
is
l
_
stream: acc
e
pt "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
ege
i
sl_map_r
e
ad: accept '*' in affine
expressions
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaeg
e
i
sl_qpolynomia
l
_eval
:
u
s
e consistent dimensio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
o
olaege
doc: update to remov
a
l
of piplib as
a
subm
o
dule
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
d
o
c
: fix
typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
i
s
l_
s
t
ream_read
_
obj
:
a
d
d support for reading pi
e
cewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
la
e
ge
ad
d
isl_stream_re
a
d_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
ad
d
generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdool
a
ege
add s
u
pport for (piecewise) quasipol
y
nomials
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Ve
r
doolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
a
ege
is
l
_s
t
r
e
am: p
a
rse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
is
l
_str
e
am: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
ge
e
x
port
i
sl_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
isl
_
stream: all
o
w
user specifie
d
keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
isl_stream: ad
d
som
e
auxiliary
f
unctions
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
s
l_stream
:
read
"
d
efinition" token
":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
pri
v
a
t
e
ly e
x
port isl_s
e
t_con
t
ains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
a
dd isl
_
s
et_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laeg
e
add i
s
l
_set_sa
m
ple_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
i
sl_
b
asic_set_scan: mak
e
sure su
f
ficient rows ar
e
a
l
located
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
r
d
oolaege
isl_m
a
p_subtr
a
ct
:
only add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
e
g
e
add isl_map_order_di
v
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
eg
e
ex
t
ra
c
t isl_tab_add_div fr
o
m isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_vec
.
c
:
fix minor whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolae
g
e
add isl_s
e
t_
c
o
m
plement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
export
i
sl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
g
e
add isl_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olaege
isl_map_print:
ext
r
a
ct out print_disju
n
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
dd
isl_set
_
f
a
st_is_
u
n
i
v
erse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_input
.
c: accept_affine: fi
x
memory leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl
_
map
_
in
t
ers
e
ct: detect empty result
a
lso i
n
case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map
_
re
a
d: skip
u
ntil the end
of
t
he last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
isl_stre
a
m_nex
t
_
token_on_same_li
n
e: che
c
k i
f
l
a
st token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl
_
set_wrap_fac
e
t
:
make sure set
is
m
ark
e
d rationa
l
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
d
ool
a
ege
isl_coalesce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_map_
r
ea
d
: accept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_m
a
p_re
a
d
:
e
x
t
ract out pa
r
sing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaeg
e
isl_m
a
p
_rea
d
: add
dummy variable name for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
isl_stream
:
accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
us
e
-O1 o
p
timizat
i
o
n
level
for
g
cc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
is
l
_ma
p
_read: accept affine com
b
ination
s
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ve
r
doolaege
i
sl_map_read: c
o
nstru
c
t basic
m
ap while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
is
l
_
m
ap_print: add p
r
imes to dupli
c
ate nam
e
s
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
Verdoolaege
isl
_
map_tra
n
sitive
_
closure: in
t
e
r
sect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_map_transit
i
ve_closure: extrac
t
out
c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_
m
ap_transitive_closure: move acycli
c
ity t
e
st up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ver
d
oolaege
ad
d
isl_se
t
_lower_bou
n
d_s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_m
a
p
_
print: use consistent names on all
d
isj
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_cat: a
l
l
o
w spe
c
ificati
o
n of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_prin
t
: support ISL
_
FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaeg
e
i
s
l_map_coalesce: fix some regress
i
ons introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoola
e
ge
add i
s
l_closure
test applicatio
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
add transiti
v
e c
l
o
s
ure example from Kelly's 1996
paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaeg
e
isl_ma
p
_tr
a
n
sitive_closure
:
c
o
nstruct general pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ve
r
doola
e
ge
isl_map_
t
ransitive_closure: prepare for
the construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaeg
e
isl_map_transitive_closure: co
n
st
r
uct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ve
r
doolae
g
e
isl_transiti
v
e
_
closure: extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
ege
i
sl_map_transitive
_
closure:
u
se more ge
n
e
ric
acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map
_
p
r
i
n
t:
a
dd parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_ha
s
h
_table: use size
t
hat cor
r
esponds t
o
th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
ege
isl_has
h
_table:
grow
t
able w
h
en
we run
o
u
t of entri
e
s
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map_coalesce: only
use non
-
redu
n
da
n
t constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
add
isl_se
t
_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_re
a
d: accept chain
s
of comp
a
risons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rd
o
olaege
exp
o
rt isl_map_align_
d
i
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
i
s
l_map
_
read:
f
orget
existentially q
u
an
t
ifi
e
d variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
V
e
rdoolaege
isl_inpu
t
.
c: remove n
e
edless
i
ndir
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoola
e
ge
do
c
:
doc
u
ment how t
o
inspect se
t
s and rel
a
tions
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
export
isl_map_c
o
mpute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoo
l
a
e
ge
i
sl_cons
t
raint_
d
iv: make sure
r
eq
u
ested
div is
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolae
g
e
doc: drop docu
m
ent
a
tion of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_pr
i
nt: imp
r
ove outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaeg
e
ad
d
is
l
_basic_map_
f
oreach_cons
t
r
a
int
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Ver
d
o
o
laege
isl
_
map_coalesce: h
a
ndle
m
ore
cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
privately
e
xport isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
c
onvex_hu
l
l
.
c: wra
p
_
f
a
cet: allow unbounde
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
d
o
c:
improve decri
p
tion
o
f isl_map_
t
ransitive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolae
g
e
isl_map_transitiv
e
_
c
l
o
sure: improve te
s
t
for exact
n
ess
commit
|
commitdiff
|
tree
next