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 V
e
rdoolaege
i
s
l 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
isl_p
w
_templ
.
c: copy: fix return
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoo
l
aege
isl_p
o
l
y
nomi
a
l
.
c: qpolynomial_f
o
ld_alloc: fix u
p
condit
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
olaege
update
A
UTHORS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_pip: us
e
isl_set_print instead of is
l
_
s
et_dum
p
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
add some pip tests from the piplib dis
t
rib
u
tio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
don't print new
l
in
e
in ISL_FORMA
T
_ISL
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erd
o
olaege
use typedef
to
e
n
s
ure argu
m
ent to mp_get_memory_function
s
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
o
o
laege
a
d
d isl
_
obj_
p
w
_
qpolynomial
_
fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ad
d
i
s
l_pw_qpolynomi
a
l_
f
old_eval
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
dd isl_pw_qpolynomia
l
_fold
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdool
a
e
g
e
add i
s
l_pw
_
q
p
ol
y
n
omial_foreac
h
_lifted_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolae
g
e
a
d
d is
l
_set_l
i
ft
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
a
d
d isl_set
_
from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add is
l
_
m
at_insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
add isl_pw_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add isl
_
pw_qpolyn
o
mial_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_
q
polynomia
l
_get_di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
aege
a
d
d isl_div
_
dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoola
e
ge
isl
_
stream: allow "
_
" in
t
oke
n
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aege
isl
_
s
t
ream: accept "@"
token
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
isl_map_re
a
d: acce
p
t
'
*
'
i
n
affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
isl
_
qpol
y
nom
i
a
l_e
v
a
l
:
use consistent
d
imension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
d
o
c: upd
a
te to r
e
m
o
v
al of piplib as a submodul
e
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
lae
g
e
isl_str
e
a
m
_read_obj: add suppo
r
t for readi
n
g piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
add i
s
l_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d gene
r
ic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add supp
o
rt for
(piecewise) q
u
asipolyn
o
mials
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
isl_stream
:
parse
N
a
N
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_st
r
eam
:
p
a
r
s
e
infty
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
expor
t
isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
ge
isl_stream: allow
u
ser specified keyword
s
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdo
o
laege
i
sl_stream: add some
a
ux
i
liar
y
fu
n
c
t
ions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l
_str
e
am
:
r
e
ad "definition" token
"
:="
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
priv
a
t
el
y
export is
l
_set_contain
s
_poin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laeg
e
add isl_set_sam
p
le_
p
o
i
nt
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
add is
l
_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doo
l
a
e
ge
isl_basic_set
_
scan: make sure s
u
fficie
n
t r
o
w
s
a
r
e
a
llo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doola
e
ge
isl_
m
ap_subtract: only add divs
when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
d
d isl_m
a
p_or
d
er_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdool
a
ege
extract isl_t
a
b_add_div fr
o
m isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
i
sl_
v
e
c
.
c: fix minor whitespa
c
e issue
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdo
o
laege
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
export is
l
_ma
p
_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n V
e
rdoolaege
a
dd i
s
l_
h
ash_tab
l
e_f
o
reac
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
isl_map_p
r
int: e
x
tract
o
ut print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolae
g
e
ad
d
isl_set_
f
ast_is
_
universe
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
isl_
i
nput
.
c: ac
c
ept_aff
i
ne: fix memory leak on erro
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl
_
map_intersect: detect
empty result
a
lso in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
ol
a
ege
isl_map_read: s
k
ip u
n
til the end of t
h
e l
a
st
l
in
e
w
h
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_stream_next
_
token_on_same_line:
c
heck if l
a
s
t
to
k
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl
_
set_
w
r
a
p
_facet
:
make sure s
e
t
is m
a
r
k
ed rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_coalesce
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
isl_map_read: accept list of pr
e
dicat
e
d el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
i
s
l_map_read
:
e
x
tract ou
t
p
a
rsing
o
f
map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
i
s
l_map
_
read: add d
u
mmy variable name for un
n
amed var
i
ables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl_s
t
ream: accep
t
";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdo
o
laege
use -O
1
optimization lev
e
l
f
or gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Ve
r
dool
a
e
g
e
isl_
m
a
p_
r
e
ad: a
c
cept affine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
i
s
l_ma
p
_re
a
d: c
o
nstru
c
t basic m
a
p while reading v
a
riable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
V
e
r
doolaege
add
a
tran
s
i
t
i
ve clos
u
re example
from the Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rd
o
olaege
i
sl_
m
ap_tran
s
itive_closure: comp
u
te power on
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Ver
d
o
olaege
isl_map
_
t
ransitive_closure: inte
r
sect
with d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map
_
transi
t
i
v
e_closure: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_transitive_closure:
move acycl
i
city
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Ve
r
doolae
g
e
isl_map
_
pri
n
t: use c
o
nsistent names on
a
l
l di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdo
o
laege
isl_cat: a
l
lo
w
s
p
ecification of o
u
tpu
t
format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
map_prin
t
: support ISL_FOR
M
AT_POLYLI
B
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdoolaege
isl
_
ma
p
_coalesce: fix some regressions i
n
troduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
dool
a
ege
add isl_closure test
a
p
plication
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
add transitive clos
u
re example from Kelly'
s
1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdoolaege
isl_ma
p
_transitiv
e
_
cl
o
sure: construct g
e
neral paths
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verd
o
olaege
isl_map_tra
n
s
i
tive_
c
lo
s
u
re: p
r
epare
f
or
th
e
constru
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven V
e
rd
o
olaege
isl_m
a
p
_
transitive_closure: con
s
truct pa
t
hs th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_transitive_closure: extract out constru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoola
e
ge
isl_map_transitive_closu
r
e: use
more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_pr
i
nt:
a
dd pa
r
e
nthese
s
around d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdo
o
laege
is
l
_
hash_table: use size tha
t
corresponds to the numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_hash_table: grow table when
we ru
n
out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
dool
a
e
g
e
is
l
_map_
c
oalesce: only use
n
on-redundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
ege
add isl_se
t
_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
i
sl_map_
r
ea
d
: accept
c
hains
o
f c
o
mparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
exp
o
rt isl_
m
ap_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map
_
read: forg
e
t exist
e
nt
i
ally
quantified var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aeg
e
isl_input
.
c
: remove needl
e
ss indirec
t
ion
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
do
c
: document how to
i
nspect s
e
ts and relation
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
e
xport isl_map_c
o
mpute_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_cons
t
r
aint_div:
m
ake sure r
e
q
ues
t
ed div is
a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
doc:
d
r
op documentation of
_
dum
p
func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolae
g
e
is
l
_map_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
add
i
s
l_basic_map
_
f
o
reach_constrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
i
s
l_map_coalesce: handl
e
m
o
r
e
ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
privat
e
ly ex
p
or
t
isl_se
t
_wrap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
i
sl_con
v
ex_hu
l
l
.
c: wrap_facet:
allow un
b
ounded
f
a
c
ets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve decript
i
on of isl
_
map_tra
n
sitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verd
o
olaege
isl_map_transitive
_
cl
o
sure
:
im
p
rove test for
e
x
actn
e
ss
commit
|
commitdiff
|
tree
next