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_qpolynomial_eval: use consistent dimension for result
2010-03-09
Sven Verdoo
l
aege
isl_qpolynomial_eval: use consisten
t
dime
n
s
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
doc:
u
p
d
ate
to rem
o
val of piplib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolaeg
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
V
erdoolaege
isl_strea
m
_
r
ead_obj: add support fo
r
reading pi
e
ce
w
ise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add isl_stream_r
e
ad_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaeg
e
ad
d
g
e
neri
c
isl_obj
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add
support f
o
r (piecewise) q
u
asipolynomials
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Ver
d
oola
e
ge
add i
s
l_map_mov
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: pa
r
s
e N
a
N
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
i
s
l
_st
r
eam:
p
arse infty
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoola
e
ge
export is
l
_st
r
e
am
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoola
e
ge
is
l
_s
t
r
e
am: allow us
e
r
s
pecified keywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoolae
g
e
isl_stream:
a
dd s
o
m
e
auxilia
r
y functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
a
ege
isl_strea
m
: read "defini
t
ion"
t
o
ken ":="
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
ad
d
isl_int_tdiv_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
privately export isl_set_contains_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
add isl_se
t
_count
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
add isl_
s
et_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add
i
sl_
p
oi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdoolaege
isl_basic_set_
s
ca
n
: make s
u
re suffic
i
en
t
rows are al
l
ocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
i
s
l_
m
a
p
_subtract
:
only add divs when n
e
e
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
V
e
r
doolaege
add isl_map_order_div
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
extract i
s
l_tab_add_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verd
o
olaege
is
l
_vec
.
c: fi
x
minor whitespace is
s
u
e
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Ve
r
doolaege
ad
d
isl
_
set_complem
e
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
export
i
sl
_
map_make_disjoin
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoola
e
ge
add isl_hash_tab
l
e
_
f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_prin
t
:
e
xt
r
act o
u
t
print_disjunct
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
add i
s
l_set_fas
t
_is_univ
e
r
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
i
np
u
t
.
c: accept_aff
i
ne: fix mem
o
ry leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
isl_map_intersect
:
de
t
ect empty resu
l
t
also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_read: skip unt
i
l the end
o
f t
h
e
l
a
st l
i
ne w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stream_n
e
xt_
t
ok
e
n_on_
s
ame_line:
chec
k
if las
t
t
o
ke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
ool
a
ege
isl_set_wrap_facet: make
sure
s
et is marked
rationa
l
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
r
d
oolaege
isl_
c
oale
s
ce
.
c: fix
typo in co
m
ment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_map_read: accept list
o
f
p
redicate
d
elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
o
l
ae
g
e
isl_
m
ap_re
a
d: e
x
tract out parsi
n
g of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
i
s
l_map_r
e
ad: ad
d
dummy variable name f
o
r un
n
amed variab
l
e
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
e
g
e
isl_s
t
ream:
a
ccept ";" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
u
se -O1 op
t
i
m
i
zation
l
evel for g
c
c 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdool
a
ege
drop comma a
t
the end of enumeratio
n
s
i
n in
c
lude files
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdo
o
laege
isl_map_read: ac
c
ep
t
affine combina
t
ions of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Ver
d
oo
l
aege
isl_map_read: c
o
nst
r
uct basic
m
ap while
r
eading
v
a
r
iable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoola
e
ge
isl_map_print: add p
r
imes to d
u
plicate nam
e
s
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_map_transitive_cl
o
sure: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_ma
p
_t
r
an
s
it
i
ve_closure: perform exactne
s
s c
h
eck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Verdoolaege
i
s
l_map_transitive_closure
:
refor
m
ulate exactness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
add a tr
a
nsitive closure exam
p
l
e
f
rom the Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
oola
e
g
e
isl_
m
ap_tr
a
nsit
i
v
e_c
l
os
u
re: compute power on s
t
rongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolae
g
e
isl_map_tra
n
siti
v
e_closure
:
inter
s
ect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoo
l
aege
isl_map_tr
a
n
s
i
t
ive_closure: extract o
u
t
cons
t
ruc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ve
r
d
oolaege
is
l
_map_transitive_closure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
ad
d
isl_set_lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_m
a
p_print:
use
c
o
n
sistent n
a
mes on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl_ca
t
: allow specification of output for
m
at on comm
a
nd
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_print: support ISL_FORMAT_POLYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
e
ge
isl_
m
ap_coale
s
ce: fix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
add
i
sl_closure te
s
t
a
p
pli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
V
erd
o
olaege
add
transitive closure e
x
ample
from K
e
lly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_ma
p
_trans
i
tive_closure: construct gen
e
ral
paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap
_
t
r
ansitive_clo
s
ure: prepare for the constr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolae
g
e
isl_map_tran
s
itiv
e
_c
l
osur
e
:
c
onstruc
t
paths t
h
at ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_tra
n
si
t
ive_closure: extract out co
n
structi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
eg
e
is
l
_map_transitive_clos
u
re: use more
g
eneric acyc
l
icity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoola
e
g
e
isl_
m
a
p
_print: add par
e
ntheses
a
round disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_hash_table:
use size th
a
t correspon
d
s to
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdool
a
ege
isl
_
ha
s
h_
t
abl
e
: g
r
ow ta
b
le when we run out o
f
ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_map_coalesce: only use n
o
n-redundant co
n
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erd
o
olaege
isl
_
map_read: accept
chains of com
p
arisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaege
export isl_map_
a
li
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
V
er
d
o
olaege
isl
_
map_read: forget ex
i
stentially
qua
n
tified
v
aria
b
l
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdool
a
eg
e
isl_input
.
c: r
e
m
ove needle
s
s indirect
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: d
o
cument how to
i
nspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export
i
s
l_ma
p
_c
o
mpute
_
d
ivs
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
isl_c
o
nstraint_div: make sure r
e
quested di
v
is a
k
nown div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
do
o
l
a
ege
do
c
: drop documentation
o
f
_
d
ump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print
:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add i
s
l_basic_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_map_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
la
e
ge
privately export isl_set_w
r
a
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_h
u
ll
.
c
:
w
ra
p
_facet:
a
l
l
ow
u
n
b
o
unded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
g
e
doc
:
improve decripti
o
n of
i
s
l
_map_transit
i
ve_c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
o
o
laege
i
s
l_m
a
p_trans
i
tive_
c
losure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
d
oolaege
add a counter exampl
e
for
Theore
m
1 o
f
the CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdo
o
laege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erd
o
o
l
aege
i
sl_map_power: coalesce
domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoola
e
ge
isl_flow
.
c: add m
i
ssing i
s
l_access_i
n
f
o
_
f
ree
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_co
a
les
c
e
.
c: fix typo
i
n c
o
mment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
in
c
lude/
i
sl_int
.
h: argument of mp_get_memory
_
fun
c
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_map_read: accept lists o
f
affine expre
s
sio
n
s
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
add isl_m
a
t_
f
rom_row_vec and i
s
l_
m
at_vec_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
V
erdoolaege
isl_m
a
p
_
read: rea
d
extended po
l
yl
i
b for
m
at
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
a
dd isl_stream_next_
t
ok
e
n_on_same_lin
e
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map_read: m
a
ke sure polylib constra
i
nt coeff
i
c
i
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
i
sl_{m
a
p,set}_di
m
: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
i
s
l_map_r
e
ad: use
more uniform way
o
f
r
ea
d
i
n
g
in poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rd
o
olaege
isl_transiti
v
e
_closure
.
c: fix typo in co
m
m
e
nt
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdo
o
laege
isl_map_transitive_closure: u
s
e more rela
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
add isl_ma
p
_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
next