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 Verdoo
l
aege
isl 0
.
02
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ve
r
doola
e
ge
isl_pw_templ
.
c: copy: f
i
x
return
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
sl_pol
y
n
o
mial
.
c: q
p
olyno
m
ial_fol
d
_
alloc: fix up condit
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
Verdoolaege
up
d
ate AUTH
O
RS
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
is
l
_pip: us
e
isl_set_pri
n
t inst
e
ad of isl_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
add some pip tests from the piplib d
i
stribution
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
don't print newline in ISL_FORMAT_I
S
L
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoo
l
aege
use ty
p
e
d
ef to
ensure argu
m
ent
t
o
mp_ge
t
_m
e
mory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
r
doolaege
add isl_obj_pw_qpolynomial_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
add isl_pw_qpolyno
m
ial_fol
d
_ev
a
l
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
aege
add isl_pw_q
p
olynomi
a
l_fold
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qp
o
lyn
o
mial_
f
o
r
each_lifted_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaeg
e
add isl
_
set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
s
et_from_point
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
a
d
d isl_ma
t
_
insert_cols
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
r
doolaege
a
d
d
i
sl_
p
w_qpolynomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
ad
d
isl_
p
w_qpolynomial_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w_qpolynomial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_div
_
di
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
isl_
s
t
r
eam: allow "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
isl_stre
a
m: ac
c
ep
t
"@"
t
oken
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_ma
p
_read:
accept '*' in
affine e
x
pressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
isl_qpolynom
i
al_eval: use con
s
istent
d
i
m
ension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaeg
e
d
o
c: upda
t
e
to remov
a
l
o
f
pi
p
lib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoola
e
ge
isl_stream_read_obj: add support fo
r
r
ead
i
ng
p
ie
c
ewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdoolaege
a
d
d isl_stream_rea
d
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
o
olaege
add g
e
neric is
l
_
o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add suppor
t
for (piecewise
)
q
u
as
i
p
oly
n
om
i
a
ls
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
a
d
d
i
sl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
oolaege
isl_stream:
p
ar
s
e
N
a
N
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_stream: pa
r
se
i
n
f
ty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_stre
a
m: allow u
s
er specified keywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_
s
tre
a
m: add some auxiliary function
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
isl_stream: r
e
ad "definit
i
o
n" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_int_t
d
i
v
_
q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
privately export isl_set_contains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
add
isl_set_
c
o
u
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add
i
s
l
_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
ool
a
ege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_ba
s
ic_
s
e
t_scan:
make su
r
e suf
f
i
cient
ro
w
s are a
l
l
o
ca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
V
e
rdoolae
g
e
isl_
m
ap_subtrac
t
:
only add divs when
n
e
e
ded
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
add isl_map_orde
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
extract
isl_tab_add_div f
r
o
m isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
sl_vec
.
c: fi
x
min
o
r
whitespace issu
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
ola
e
ge
export isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
o
laege
add
isl
_
hash
_
table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
isl_map_print:
e
xt
r
act out print_disjunct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_fast
_
i
s_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
i
sl_inp
u
t
.
c: accept_affine: fix memory
leak on er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
sl_map
_
intersec
t
:
d
etect e
m
pty re
s
ult als
o
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_read: sk
i
p
u
ntil the end of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
isl_s
t
ream_next_token_on
_
same_line: check if
l
ast
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_set_wrap_facet: make sure set is
ma
r
ked rationa
l
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoo
l
aege
isl_coales
c
e
.
c:
f
ix ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_read: accept list of pred
i
cated e
l
ements
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
d
oolaege
isl_map_read:
extract out parsing of ma
p
b
od
y
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
er
d
oo
l
aege
isl_map_
r
e
a
d
:
add
d
u
m
my
v
ariable name for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
doolaege
isl_st
r
eam: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
use -O1 opti
m
ization level for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
drop
comm
a
a
t the end of enum
e
rations i
n
i
n
clude files
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
isl_map_read:
a
ccept affine combinations
o
f
e
arlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: constru
c
t b
a
si
c
ma
p
whil
e
readin
g
vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
er
d
oolaege
i
s
l_map_p
r
int: add primes to duplicate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl
_
map_
t
ra
n
sitive_clo
s
ure
:
imp
r
ove accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doo
l
aege
i
s
l_m
a
p_tra
n
sitive_closur
e
: perform exactness c
h
eck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdo
o
laege
isl_m
a
p_transitiv
e
_cl
o
sure: reformulate exactne
s
s
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verd
o
o
laege
add a transitive closure example
fro
m
th
e
Om
e
g
a
te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l
_map_transitive_c
l
osure: compu
t
e p
o
wer on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Ver
d
oolae
g
e
is
l
_ma
p
_tran
s
itive_
c
losure: intersect
w
ith doma
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_
t
ransitive_closu
r
e: extract
o
u
t
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
er
d
oolaege
i
sl_map_t
r
ans
i
tive_clos
u
re: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
add isl_set_l
o
wer_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolaege
isl_map
_
print: use consistent
n
ames on all disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdool
a
ege
isl
_
cat: allow
s
pecification of output form
a
t
o
n
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_
p
rint
:
support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_m
a
p_c
o
al
e
sce: fix
s
ome regr
e
s
s
ions introduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaeg
e
add isl_clos
u
re
t
est
a
p
plicat
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
o
olaege
add transitive cl
o
sure example fr
o
m Kelly's 199
6
p
a
p
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolae
g
e
isl_
m
ap_t
r
ansit
i
ve_closure
:
c
o
n
struct
general paths
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolae
g
e
isl_map_t
r
ansitive_closure: prep
a
re
f
or t
h
e constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_transitive_closure: co
n
struct paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_t
r
a
n
sitive_cl
o
s
u
re:
extract o
u
t construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_c
l
osur
e
: use
more generic
a
cyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoola
e
ge
isl_map
_
pri
n
t: ad
d
p
a
r
entheses around d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_hash_tabl
e
: use size that
c
orresponds to
the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_hash_tabl
e
:
grow table when we r
u
n out of e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coalesce: only u
s
e non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdo
o
l
a
ege
add isl_set
_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoo
l
aege
isl
_
m
a
p_re
a
d
: accept cha
i
ns
o
f compar
i
s
ons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
e
x
port is
l
_ma
p
_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
isl_map_read:
f
o
r
get ex
i
stentially
q
u
a
nt
i
f
ied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_inp
u
t
.
c: remove needless in
d
i
rection
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verd
o
olaege
d
o
c: document how to
i
n
s
pect sets and r
e
l
a
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
ex
p
ort isl_map_com
p
u
te
_
divs
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
isl_c
o
nstraint_
d
i
v: make sure request
e
d div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
doc: drop d
o
cumentation of _du
m
p function
s
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdo
o
laege
i
s
l_map_print: improve
o
utp
u
t
commit
|
commitdiff
|
tree
next