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 Verd
o
olaege
isl
0
.
02
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verd
o
o
l
aege
isl_
p
w_templ
.
c
: copy: fix retu
r
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isl_
p
olynomial
.
c:
qpol
y
nomi
a
l_fold_allo
c
: fix up con
d
it
i
on
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
update AU
T
H
O
RS
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
isl_pip: use isl_s
e
t_print in
s
te
a
d of is
l
_set_dump
.
.
.
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoo
l
aege
add some pip tests from t
h
e piplib distribution
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
don't print newline in ISL_FO
R
MAT_ISL
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
r
d
o
ola
e
ge
use typedef to ensure argument
to
m
p_get_
m
em
o
ry
_
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add i
s
l_obj_pw_qpolyn
o
mial_f
o
ld
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_fold_eva
l
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
a
dd i
s
l_pw
_
qp
o
lynomial_
f
old
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add
is
l
_pw_qpol
y
no
m
ial_forea
c
h_li
f
ted_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_set_lift
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
r
doolaeg
e
a
dd isl_
s
et_from_poi
n
t
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_mat_inser
t
_cols
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
V
e
rdool
a
ege
add isl_pw_
q
pol
y
nomial_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_pw_qpolynomial_fore
a
ch_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
ad
d
isl_pw_qpoly
n
omial_get_dim
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
a
e
g
e
add isl_d
i
v_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rd
o
olaege
isl_stream: allow "_" in tok
e
ns
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl_s
t
ream: accept "
@
" toke
n
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
isl_map
_
read
:
accept '*' in affin
e
e
x
pressions
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
isl_qpolynomial_eval: use con
s
istent
d
imension
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaeg
e
do
c
:
update to
r
emoval of piplib as a su
b
module
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
g
e
i
sl
_
str
e
am_read_
o
bj: add suppor
t
for
reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
a
dd isl_st
r
eam_rea
d
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
a
d
d gen
e
ric
isl_ob
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add support for (piecewise) quasipolynomia
l
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
olaege
isl_s
t
ream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_stream:
p
arse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
expor
t
isl
_
strea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
laege
isl_stream: allow user
s
pecified k
e
yword
s
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
doolaege
isl_stream: add some auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
isl_stream:
read
"def
i
nition" to
k
en ":="
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
o
l
a
e
g
e
a
d
d isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
privately ex
p
ort isl_set_contai
n
s_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd i
s
l_set_cou
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
a
d
d i
s
l
_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_basic_set
_
scan: make
s
u
r
e
sufficient rows ar
e
alloca
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_
m
ap_s
u
btrac
t
:
only add
divs when needed
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oola
e
ge
add isl_map_o
r
der_d
i
vs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
extract
isl_tab_add
_
div
f
r
om is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_v
e
c
.
c
:
f
ix
m
inor wh
i
t
e
s
pace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
ae
g
e
add isl_set_compleme
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
export isl_map_make_
d
is
j
oin
t
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
ol
a
ege
add isl_h
a
sh_tab
l
e_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_
m
a
p
_
p
rint: ext
r
a
c
t
o
ut print_disju
n
cts
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add isl_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_input
.
c: accept_affine: fix memory leak on er
r
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
do
o
laege
isl_map_inte
r
sect: det
e
ct emp
t
y res
u
lt al
s
o
in c
a
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoolaege
isl_map_read: skip until the
e
nd of the
l
ast
l
ine
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaeg
e
i
s
l
_
s
tream_nex
t
_to
k
en_on_sa
m
e_line
:
c
h
e
c
k
i
f
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_se
t
_wrap
_
facet: make sure set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_co
a
lesce
.
c:
fix typ
o
in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdoolaege
is
l
_map_read: accep
t
list
of predi
c
ated eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map
_
read: extract
out parsing of
m
ap bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
S
ven V
e
rdo
o
laeg
e
isl_m
a
p_rea
d
: add dummy variabl
e
name
for unnam
e
d variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: acce
p
t ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoolaege
use
-
O
1
optimization level fo
r
g
c
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
is
l
_map_
r
ead: ac
c
ept affine combina
t
ions of earlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_map_read: con
s
truct basi
c
m
ap w
h
ile
reading variabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
a
d
d
a transiti
v
e c
l
os
u
re example fr
o
m t
h
e Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
is
l
_map_transitive_closure: compu
t
e
powe
r
on stro
n
gly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
ege
isl_map_tr
a
ns
i
tive
_
closure: intersect wit
h
d
om
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
i
sl_map_tr
a
n
sitiv
e
_
clo
s
u
r
e: ext
r
act
o
ut co
n
stru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl
_
m
a
p_transiti
v
e_closure: move acyclici
t
y tes
t
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_map_print: use consi
s
tent names on a
l
l disjuncts
commit
|
commitdiff
|
tree
2010-02-17
S
v
en
V
erdoolaege
isl_ca
t
: al
l
ow specific
a
tion of output format on com
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
la
e
ge
isl_map_print:
s
upp
o
r
t I
S
L
_
F
O
RMA
T
_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
isl_map_co
a
les
c
e:
f
i
x some
r
egressions introd
u
ced
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl_closure test
application
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verd
o
olaege
a
d
d tra
n
s
itive
c
losure ex
a
mple fro
m
Kelly's 1
9
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
r
d
oolaege
isl_map_transit
i
ve_closure: const
r
uct gen
e
ral pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oola
e
ge
isl_map_transitive
_
c
losu
r
e:
p
repa
r
e
f
o
r t
h
e
construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive
_
cl
o
sure:
c
onstruct paths tha
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_transitive_clos
u
re: extract ou
t
c
o
n
s
tru
c
tion
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_t
r
ansit
i
ve_cl
o
sure:
use more generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_map
_
pri
n
t: add pare
n
theses aro
u
nd di
s
j
unct
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
o
o
laege
isl_hash_t
a
ble: use s
i
ze that corres
p
o
n
ds to the
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
ool
a
eg
e
isl_h
a
s
h_table:
g
ro
w
table when
we r
u
n o
u
t of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap
_
coalesce: only
use non-redundant const
r
aints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rdo
o
laege
add isl_s
e
t_fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoola
e
ge
is
l
_
map_read
:
acce
p
t ch
a
ins o
f
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
export isl
_
map
_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
is
l
_map_read: for
g
et
e
xis
t
entially quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_i
n
put
.
c: remove nee
d
less indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoo
l
aege
doc:
d
o
cument how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
o
l
a
e
ge
e
x
p
ort
isl_map_co
m
pute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
i
sl_constraint_d
i
v: make s
u
re
r
equested
d
iv is a k
n
own div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
do
c
: dro
p
docu
m
e
n
tation
o
f _dump func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_
p
rint:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oo
l
aege
add isl
_
basic_map_foreac
h
_c
o
nstraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
oolaege
isl_map_coal
e
sce: handl
e
more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
pr
i
vately exp
o
rt isl_
s
e
t_wr
a
p_facet
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Ve
r
dool
a
ege
i
s
l
_convex_hull
.
c: wrap_facet:
allow unbound
e
d
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
doc: improve d
e
cript
i
on of
i
sl
_
map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
m
ap_transitive_closure: impr
o
ve test for exactness
commit
|
commitdiff
|
tree
next