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_map_transitive_closure: reformulate exactness test in terms of extended paths
2010-02-18
Sven Verdoo
l
aege
isl_map_transitive_closure: re
f
ormulate e
x
actness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
do
o
l
a
e
ge
add a transitive closure example from
t
he Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n Verdoolaege
i
sl_map_tra
n
si
t
i
v
e_clos
u
re: compute
p
ower on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verd
o
olaege
i
s
l_map_transitive_closure: intersect
wit
h
doma
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoola
e
ge
isl_map_transi
t
ive
_
closur
e
: ex
t
ract out
c
onstruct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
isl_ma
p
_transitive_closure
:
move acyclici
t
y test u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
add is
l
_set
_
l
owe
r
_bound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolae
g
e
i
sl_map_print:
use consi
s
tent n
a
mes on all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_ca
t
: allow specificat
i
o
n
o
f output fo
r
mat on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print:
s
upport IS
L
_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_
m
ap_coalesce: fix som
e
regressio
n
s introd
u
ced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolae
g
e
add
isl_cl
o
sure test application
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
a
dd t
r
ans
i
tive
c
losure example from Kelly
'
s 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_ma
p
_
t
r
ansitive_c
l
osure: construct ge
n
eral paths
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_map_tran
s
itiv
e
_closur
e
: prepare for t
h
e
c
onstr
u
ction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoola
e
ge
isl_map_transitive_closure:
constr
u
ct pa
t
hs that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl
_
trans
i
tive_closure: extract
o
ut constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
ma
p
_transitive_closure:
u
s
e
more g
e
n
eric
a
c
y
c
lici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaeg
e
isl_
m
ap_
p
r
i
n
t
:
ad
d
paren
t
h
e
se
s
arou
n
d disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
i
sl_hash_t
a
ble:
use size tha
t
c
o
rr
e
spo
n
ds
to the num
b
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
isl_hash_table: grow t
a
ble when
we run ou
t
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_coalesce: only use non-red
u
ndant constr
a
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sve
n
Verd
o
olaege
ad
d
isl
_
set_fi
x
_
s
i
commit
|
commitdiff
|
tree
2010-02-13
S
v
en
V
erdool
a
ege
isl
_
map_
r
ead: accept chains of c
o
m
p
a
r
is
o
ns
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Verdoolae
g
e
export isl_map_align_div
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aege
isl_map_read: forge
t
existential
l
y quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_inp
u
t
.
c
: remove needless in
d
irection
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
doc: d
o
cument how to inspect
s
ets
and relations
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
export isl
_
map_compu
t
e
_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoola
e
ge
isl_constraint_
d
iv: make sure requested div is
a
k
n
own
d
iv
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
erdoolaege
d
oc:
d
rop documentation of _dump fun
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolae
g
e
i
s
l_m
a
p_print: improve output
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
erd
o
olaege
a
dd isl_basic_
m
ap_
f
orea
c
h_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoo
l
aege
i
s
l_
m
ap_coalesce:
h
andle
m
ore
c
a
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
privately
export isl
_
set
_
wr
a
p_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_
h
ull
.
c: wrap
_
face
t
: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verd
o
olaege
d
oc: impro
v
e decriptio
n
of isl
_
map_tran
s
itive_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
i
sl_map_transiti
v
e_closure: improv
e
test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaeg
e
add
a
counter e
x
ample for Theo
r
e
m 1 of the COCOA p
a
p
er
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_map
_
p
ower: coalesce domain an
d
ra
n
ge
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_fl
o
w
.
c: add
missi
n
g
i
sl
_
acce
s
s_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaege
isl_coalesce
.
c: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
in
c
lude
/
isl_int
.
h: argument
o
f
mp_get_memory_
f
un
c
tions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoo
l
aege
isl_map_read:
accept li
s
t
s
of affi
n
e expr
e
ssions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
add
isl_mat_
f
rom_row_v
e
c a
n
d
i
s
l_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoolaege
isl_map_read: re
a
d extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
la
e
ge
add isl
_
s
t
ream_next_token_on_sa
m
e_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verd
o
olaege
isl_ma
p
_read: make sure
polylib co
n
s
train
t
coeffi
c
ien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doolaege
isl_{
m
ap,set}_dim: handle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read:
u
se more uniform way
of r
e
ading
i
n
poly
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n V
e
rdoo
l
aege
isl_transitive_closure
.
c: fi
x
typo in com
m
e
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_map_transi
t
ive_
c
losure: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add is
l
_
map_pow
e
r
and isl_map
_
transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
erd
o
ol
a
ege
i
s
l_map_subtr
a
ct
.
c
:
ma
k
e some internal f
u
nctions sta
t
ic
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add gener
i
c
isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
a
d
d isl_
{
map,set
}
_
a
d
d
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
rena
m
e isl_{map,set}
_
add to isl_{map,set}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_set_project_out:
a
l
ways update dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
i
sl_dim_join: don't r
e
quire na
m
es of
j
oined
va
r
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdo
o
lae
g
e
add isl_map_from_
d
o
m
ain
_
and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ve
r
doolae
g
e
isl_stream: tr
e
at "
-
" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
is
l
_
map_rea
d
: accept "str
i
ct" inequali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_inpu
t
.
c: fix memory dea
l
location
problem o
n
m
issing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add d
e
pendence
a
nalysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add isl
_
map_{par
t
ial
_
,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd private
isl_
{
set,map
}
_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_redu
c
tion_temp
l
.
c: fix
t
ypo in com
m
ent
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
isl_tab_pip
.
c
:
fin
d
_
s
o
l
ut
i
ons
:
break w
h
en
c
ontex
t
become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_equal
:
don't
r
equire na
m
es of input and out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
la
e
ge
i
s
l
_
dim_map: prope
r
ly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoo
l
aeg
e
i
s
l_di
m
_drop: properly adjust l
e
ngth of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: a bit
more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolaege
doc: descr
i
be i
n
put/ou
t
pu
t
fo
r
mats
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdo
o
l
aege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
l
a
ege
add i
s
l
_
ca
t
t
est applicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaeg
e
add omeg
a
ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoola
e
ge
add
i
sl output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl
_
tes
t
:
us
e
isl
_
set_
r
ead_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl_s
e
t_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolae
g
e
add
isl_
m
ap_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
i
s
l_map_rea
d
_
f
rom_file:
a
l
low unio
n
s i
n
isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_basic_
m
ap_read: read definitions of
e
xistential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
pri
v
ately export
isl_basic_m
a
p_ad
d
_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
basic_m
a
p
_read: r
e
ad affine constra
i
nt a
s
two
a
ffine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_in
p
ut
.
c: optionally
r
ea
d
par
a
m
et
e
r
s
from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdool
a
ege
t
o
kenize
r
: accept "and" keywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaeg
e
expo
r
t isl_map_r
e
ad
_
fro
m
_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
ex
p
ort i
s
l_ba
s
ic_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rd
o
olaege
dr
o
p redundant
i
nput_format
argument from reading func
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
isl_input
.
c: merge funct
i
o
n
s f
o
r
rea
d
ing Pol
y
Lib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
isl_
i
npu
t
_omega
.
c: accept Po
l
yLib in
p
ut
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
sl_input_omega
.
c: prepare for reading pa
r
amet
r
ic
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoolaege
isl
_
input_o
m
ega
.
c:
f
inal
i
ze and simplify
resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
i
sl
_
input_omega
.
c:
f
i
x
check for
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolaege
isl_stream
_
next_t
o
ken:
s
k
ip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven Ve
r
d
oolaeg
e
isl_ta
b
_basic_map_pa
r
t
ial_lexopt: proper
l
y ha
n
d
l
e em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoo
l
aege
isl_ba
s
i
c_map_set_
t
o_
e
mpt
y
: remove sample (if
a
n
y)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
add isl_s
e
t_fast_is_e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdoolaege
properly
remove
p
ipl
i
b submodule
commit
|
commitdiff
|
tree
next