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
add isl_closure test application
2010-02-15
Sven Verdo
o
laege
ad
d
isl_closure test app
l
ication
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
laege
add tran
s
itive closure e
x
amp
l
e f
r
o
m
Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
is
l
_ma
p
_t
r
ansitive_closure:
c
onstruct general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_ma
p
_tr
a
n
s
itive_closure
:
prepare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l
_
map_t
r
ans
i
t
ive_c
l
osur
e
:
con
s
truct paths that ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ve
r
doolaege
i
s
l_tra
n
sitive_cl
o
sure:
extract o
u
t constr
u
ction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_tra
n
sit
i
ve_c
l
osure: use more generi
c
ac
y
clicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdool
a
ege
isl_ma
p
_print: add par
e
ntheses around disjunct
s
commit
|
commitdiff
|
tree
2010-02-15
S
ven
V
erdoolaege
i
s
l
_
hash_table: use size that co
r
respo
n
ds to
t
he n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_hash_table:
g
row table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
e
g
e
is
l
_map_co
a
lesce: only use non-redunda
n
t constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
a
dd isl_se
t
_fix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
isl_map_read: a
c
cept chai
n
s of com
p
arison
s
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoolaege
export isl_map_align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaege
isl_map_read: fo
r
get
e
xiste
n
tially q
u
antif
i
ed va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oolaege
isl_i
n
pu
t
.
c: r
e
move needless in
d
irecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
doc: do
c
ument h
o
w to i
n
spect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verd
o
ol
a
e
ge
export isl_ma
p
_co
m
put
e
_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_con
s
traint_div
:
make
s
ure requested di
v
is
a
kn
o
wn div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop d
o
cumentat
i
on of _d
u
m
p
functions
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdo
o
lae
g
e
isl_map_print: impr
o
ve
o
u
t
put
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rdoolaege
a
dd is
l
_basic_map_foreach_con
s
traint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_ma
p
_
c
oalesce: han
d
le mor
e
case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
eg
e
priv
a
t
e
ly expor
t
isl_
s
et
_
wrap_fa
c
e
t
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdool
a
e
g
e
isl_convex_hull
.
c: w
r
a
p_facet
:
allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc:
i
mprove decription of isl_map_
t
ransitive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
Verdoola
e
ge
i
sl_map_transitive_closure
:
i
mp
r
ove
te
s
t for exactne
s
s
commit
|
commitdiff
|
tree
2010-02-08
S
ven
Verdoolaeg
e
add a counte
r
example for Theore
m
1
of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
add isl
_
map_lower_
b
ound_s
i
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdo
o
laege
isl_map_power: coalesce domain a
n
d rang
e
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdo
o
laege
isl_flow
.
c: add missing isl_access_info_free
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_coalesce
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sv
e
n Verdoolaege
include/isl_int
.
h
: argument of mp_get_me
m
ory_fu
n
ctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
sl_map_read: accept lists of
affi
n
e
e
xpressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_mat_from_row_vec
a
nd
i
s
l
_mat_v
e
c_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_
r
ead: read extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
ad
d
isl_stream_nex
t
_token_on_s
a
me_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_map
_
read:
make sure
p
ol
y
lib constraint coeffi
c
i
e
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdo
o
l
aege
isl_{map,
s
e
t}_
d
im: handle NULL
i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
i
sl
_
m
a
p_read: use
m
or
e
u
n
i
fo
r
m way of
reading in polyli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_tr
a
nsitiv
e
_closure
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_transitive_closure: use more relaxed exact
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaege
ad
d
i
sl_map_p
o
w
e
r
a
nd isl_map_transi
t
iv
e
_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
isl_map_subtr
a
ct
.
c
: m
a
ke s
o
m
e
i
nternal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d gene
r
ic isl_
m
ap_project_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
ad
d
isl_
{
ma
p
,set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdo
o
laege
rename i
s
l_{map,set}_add to
i
sl_{map
,
set}_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_project_ou
t
: always u
p
date d
i
mension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Ve
r
doolaege
isl_
d
im_jo
i
n
:
don't require
n
ames of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
doola
e
ge
add isl_
m
ap_from_domain_and_ra
n
ge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-" as operator
r
ather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
l
a
ege
i
sl
_
map_
r
ead: accept
"
strict" in
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
S
ven V
e
rdoolaege
isl_
i
nput
.
c: fix
memory deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
ad
d
dependen
c
e a
n
alysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdool
a
ege
add isl_map_{
p
art
i
a
l_,}l
e
x
o
pt
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdool
a
eg
e
add priva
t
e isl_{set,m
a
p}_m
a
ke_disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
eg
e
isl_tab_pip
.
c: f
i
nd
_
so
l
ution
s
:
break whe
n
c
o
n
t
ext becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
i
sl_d
i
m_equal:
don
'
t requ
i
r
e names of
i
nput a
n
d output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
di
m
_map: properl
y
dupli
c
ate nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
l
aege
isl_dim_dr
o
p:
p
rope
r
ly adjust length
o
f names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
S
ven Verdoolaege
doc: d
e
scribe
i
nput/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
d
oc: f
i
x typo
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
d
oolaege
add
i
sl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ver
d
oolaege
a
d
d omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
is
l
_
t
est
:
use
i
sl_se
t
_
read_from_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
oola
e
ge
add isl
_
set_read_from_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoo
l
a
ege
add isl_map_r
e
ad_f
r
om
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verd
o
ol
a
e
ge
i
s
l
_
map_r
e
ad_f
r
om_file: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_b
a
sic_map_read: read
d
e
finition
s
of
existe
n
ti
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaeg
e
privatel
y
expo
r
t i
s
l_basi
c
_
m
ap_add_div_
c
o
n
st
r
aints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_basic_ma
p
_read
:
rea
d
affine constr
a
in
t
a
s
t
w
o af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolae
g
e
isl_input
.
c: op
t
ion
a
lly read parameters from input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
tokeni
z
e
r
: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
a
e
ge
export is
l
_map_read_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
export i
s
l_basic_map_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
d
r
o
p redundant inp
u
t_format
a
r
gum
e
nt from rea
d
ing fun
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
o
o
la
e
g
e
isl_input
.
c: merg
e
function
s
for re
a
ding
PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
o
olaege
isl_i
n
p
u
t_om
e
ga
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
o
la
e
ge
isl_input_
o
mega
.
c:
pre
p
a
re for reading parametric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdo
o
laege
isl_input_ome
g
a
.
c: f
i
n
a
lize
a
nd
s
i
m
plify resultin
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
ool
a
ege
isl_input_om
e
ga
.
c:
f
ix ch
e
ck
for
memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ve
r
doolae
g
e
isl_s
t
r
e
am_next_
t
oken: skip co
m
m
ent lines
commit
|
commitdiff
|
tree
2010-01-24
Sven
Verdoo
l
aege
is
l
_tab_basic_ma
p
_partial_l
e
xop
t
:
p
roperly h
a
n
dle empt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_b
a
s
i
c_
m
ap_set_to_empty: remov
e
s
a
mple (i
f
an
y
)
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
oolaeg
e
add isl
_
set_fast_is_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Verdool
a
ege
prope
r
l
y rem
o
ve p
i
p
lib submodule
commit
|
commitdiff
|
tree
2010-01-08
S
v
en Verdoolaege
isl_basic_map_update_from_tab: re-gauss resul
t
i
ng bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
ool
a
e
ge
ax_subm
o
dul
e
.
m
4
: do
n
't
le
t
--wi
t
h-module conflict
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
Sv
e
n Verdoolaege
a
dd isl_set_fo
l
lows_at
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaeg
e
isl_basi
c
_s
e
t_com
p
are_at: compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ve
r
doolaege
isl_tab_pip
.
c
: add
c
uts for all non-integer coordinat
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoolaege
i
s
l_basic_ma
p
_gist: d
o
n't drop equalities fr
o
m context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
l
a
ege
is
l
_c
o
nvex
_
hull
.
c
: initial_facet_
c
onstraint: dr
o
p a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_convex_hull
.
c: is_
i
ndependent_
b
o
u
n
d:
n
ormaliz
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Ver
d
o
o
l
a
ege
i
s
l
_con
v
ex_hull
.
c: extend:
c
heck hull argument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaege
isl_mat_ri
g
ht_inve
r
s
e
:
be more
v
erbose on error c
o
ndition
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
ege
isl_constraint_d
u
p: ma
k
e sure line refers to
equ
a
tio
n
.
.
.
commit
|
commitdiff
|
tree
next