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 Verdool
a
ege
add isl_closure test appli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
add transit
i
ve
c
losure
e
xampl
e
from
Kelly's
1
996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_tr
a
nsitive_closur
e
: construct
general
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
i
sl
_
map_tran
s
itive_closure: prep
a
re fo
r
t
h
e co
n
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
eg
e
isl_map_
t
r
a
nsitive_closure: construct paths
t
hat can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_transitive_cl
o
su
r
e: extract out constructi
o
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_transitive_closure: use more generic acy
c
li
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Ver
d
oolaege
isl_map_
p
r
i
n
t
: add parentheses
around
d
isjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
ae
g
e
isl_hash_table: use size that co
r
r
esp
o
nds to the
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_hash_table: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map
_
coalesce: only us
e
non-red
u
ndant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
ad
d
isl
_
set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
i
sl_m
a
p_read: accept chains
of compariso
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdool
a
ege
e
x
port isl_m
a
p_al
i
g
n_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven V
e
rdoolae
g
e
isl_map_rea
d
: forget
exist
e
ntially qu
a
ntifie
d
v
a
riabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
isl_inpu
t
.
c: remov
e
needl
e
ss
i
n
d
i
rection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
d
o
c: documen
t
how to inspect sets and rel
a
tion
s
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
e
x
port is
l
_map_co
m
pute
_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
do
o
l
a
ege
isl_
c
onst
r
aint_d
i
v: make s
u
re requested div is a know
n
di
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
d
oc: drop docum
e
ntat
i
o
n
of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven
Verdoolaege
isl_
m
ap_print: improve o
u
tput
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
e
rdoolaege
add isl_basic_map_foreach
_
constr
a
int
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_map_coalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privat
e
ly export isl_set_wrap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_convex_hull
.
c: wrap_facet:
a
l
low unbo
u
nd
e
d
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
doc: improve decr
i
ption of isl_ma
p
_transiti
v
e_cl
o
s
ure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
is
l
_
m
ap_t
r
ansitive
_
closure:
i
mpr
o
ve test fo
r
ex
a
ctn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add a counter example for Theorem
1
of t
h
e
COCOA pape
r
commit
|
commitdiff
|
tree
2010-02-08
S
ven
V
erdoolae
g
e
add isl_map
_
lower_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Ver
d
oolaege
i
s
l_ma
p
_power:
coalesce domain
a
nd range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoola
e
g
e
is
l
_flow
.
c: add missi
n
g i
s
l_ac
c
es
s
_info_
f
r
ee
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
isl_coalesce
.
c: f
i
x typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-07
Sven
V
erdoolaege
in
c
l
u
d
e/isl_int
.
h: argument
of mp
_
get_memo
r
y
_
functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ve
r
dool
a
ege
isl_map_read: a
c
cept lists of affine e
x
pressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olae
g
e
add i
s
l_mat_from_row_v
e
c an
d
isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
isl_map_read: read extended
p
olylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoo
l
aege
a
d
d isl_st
r
eam_next_token_on
_
s
am
e
_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Ver
d
oolaege
isl_map_read: make
s
ure polylib con
s
tr
a
int coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdool
a
e
g
e
isl_{map
,
set}_dim: handle
N
U
L
L input
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doo
l
aege
i
s
l_map_read: use more uniform way of reading in polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolae
g
e
i
sl_
t
r
a
n
s
itive_
c
losure
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl_map_tra
n
sitive_closure: use more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
ad
d
isl_map_power and isl_map_tr
a
nsi
t
ive_
c
losure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
map_sub
t
ract
.
c: make s
o
me
interna
l
functions st
a
ti
c
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdo
o
laege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoo
l
aege
add isl_{
m
ap
,
set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
rename is
l
_{map,set}_add to i
s
l_{
m
a
p,s
e
t}_add_b
a
s
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
r
doolaege
isl_
s
e
t
_
project_
o
ut: alwa
y
s update dimensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolaege
i
s
l
_dim_
j
o
i
n:
d
on't require names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add is
l
_map_
f
rom_domain_and_ra
n
ge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_s
t
r
eam: tr
e
at
"
-" as operato
r
rathe
r
tha
n
as -
1
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
aege
isl_map_read: acc
e
pt
"
stri
c
t" ine
q
uali
t
ies
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doo
l
aege
isl_input
.
c
: fix memo
r
y deallocatio
n
problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoola
e
ge
add dependence
a
nalysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add isl_map_{partial_,
}
lex
o
pt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
a
d
d priva
t
e
isl_{set,map}_m
a
ke_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
basis_reductio
n
_temp
l
.
c: fix typo in
c
ommen
t
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdool
a
ege
isl_tab_pip
.
c:
f
ind_
s
olutions: break when co
n
text be
c
omes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verd
o
o
l
aege
isl
_
d
i
m_equal:
d
on't r
e
quire
names
o
f inpu
t
an
d
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_d
i
m_map
:
pr
o
p
e
rly duplicate
n
a
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
isl_dim_drop: pro
p
erly adjust le
n
gt
h
o
f
nam
e
s arr
a
y
commit
|
commitdiff
|
tree
2010-01-26
S
ven Ve
r
doola
e
g
e
d
oc
:
a bit more on integer
s
commit
|
commitdiff
|
tree
2010-01-26
S
v
en Ver
d
oolaeg
e
doc:
descr
i
b
e
in
p
ut/outpu
t
forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdoo
l
ae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ve
r
doolaege
add
i
sl_cat te
s
t application
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add omega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaeg
e
a
dd isl output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_
t
est: use isl_set_
r
ead_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
a
d
d
isl_set_r
e
ad
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
ol
a
ege
add isl_map_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
i
s
l_map_read_from_
f
il
e
:
a
llow
u
nions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
isl_b
a
sic_map_read: read definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
privately export isl_
b
asic_map_add_div_constr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oolaege
isl_ba
s
ic
_
map_read: read affine constraint as two aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ve
r
doolaege
isl_input
.
c:
optionally rea
d
parameters from i
n
put
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
tok
e
nize
r
:
a
ccept "
a
nd" key
w
ord
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
export isl_ma
p
_
r
ead_from_fil
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export
i
sl_basic_ma
p
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
drop redund
a
n
t
i
nput_format argument from reading
f
unctions
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl_i
n
put
.
c: merge
functions
f
or r
e
ading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
in
p
ut_
o
mega
.
c: accept
Pol
y
Lib inp
u
t
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaeg
e
i
s
l_input_
o
mega
.
c: prepar
e
for reading parametr
i
c
u
nions
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ve
r
dool
a
ege
i
s
l
_inpu
t
_
o
mega
.
c: fina
l
ize and
simplify
resul
t
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
oolae
g
e
isl_in
p
ut_omega
.
c: fi
x
chec
k
f
o
r memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_str
e
am_
n
ext_tok
e
n: skip comment lines
commit
|
commitdiff
|
tree
2010-01-24
Sven V
e
r
doolaege
isl_tab
_
basic_ma
p
_part
i
al_lexopt
:
pro
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoolaege
isl_basic_map_
s
e
t_to_e
m
pty:
remove sample (if an
y
)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Ve
r
doola
e
ge
add is
l
_set
_
fa
s
t_is_e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
Sv
e
n Verdoolae
g
e
pro
p
erl
y
remov
e
pipl
i
b submodule
commit
|
commitdiff
|
tree
2010-01-08
Sve
n
Verdoolaege
i
s
l
_basic_map_up
d
ate_from_tab: re-gaus
s
r
e
sult
i
ng bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoolaege
a
x
_submodul
e
.
m4: do
n
't
l
et --with-modu
l
e confl
i
ct with
.
.
.
commit
|
commitdiff
|
tree
2009-12-25
S
v
en Ve
r
doolae
g
e
a
dd isl_set_follows_
a
t
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_b
a
s
i
c_set_com
p
are_at: comp
u
te result i
n
terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
V
erdoolaege
i
s
l_tab_pip
.
c:
add c
u
t
s for
a
l
l
n
o
n-integ
e
r
c
oordinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdo
o
laege
isl_basic_map_gi
s
t: don't drop equalities fr
o
m
context
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdool
a
e
g
e
i
s
l
_
c
o
nvex_h
u
l
l
.
c: initial
_
f
a
c
e
t
_constraint: dr
o
p all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdo
o
la
e
ge
isl_convex_hul
l
.
c: is_independent
_
bound:
n
o
rmali
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdool
a
ege
isl_conv
e
x_hull
.
c: extend: check hull arg
u
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolae
g
e
i
s
l
_
m
a
t_right
_
inverse: be more
v
e
rbo
s
e
on erro
r
condit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdo
o
la
e
ge
isl_constra
i
nt_
d
u
p: make s
u
re line
ref
e
rs to equat
i
on
.
.
.
commit
|
commitdiff
|
tree
next