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_read: add dummy variable name for unnamed variables
2010-02-19
Sven Ver
d
oo
l
a
ege
isl_map_read
:
add dumm
y
variabl
e
name for unn
a
med
variab
l
es
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
l
aeg
e
isl
_
str
e
am: a
c
cept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
use
-
O1
optimization level for g
c
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoo
l
aege
isl_m
a
p_read: accept affine co
m
binations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ve
r
doola
e
ge
isl_map_read: construct basic
m
ap while reading variabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_map_print: a
d
d primes to
d
uplicate names
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
i
sl_map_transitive_clo
s
ur
e
: intersect w
i
th domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
m
a
p_tr
a
n
s
itive_closure: extra
c
t out cons
t
ructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_tr
a
nsitive_
c
losure: m
o
ve acycli
c
i
t
y
t
est up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoola
e
ge
add
is
l
_
s
et_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
r
doolaege
i
s
l_map_print: use c
o
nsistent names on al
l
di
s
j
u
nct
s
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdool
a
e
g
e
isl_cat: allow specificati
o
n
o
f outpu
t
forma
t
on
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdool
a
ege
isl_map_print: suppo
r
t ISL_FO
R
MAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_
m
ap_coalesce: fix some regressions
intro
d
uced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdo
o
l
a
ege
add isl_cl
o
sure test appl
i
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoo
l
aege
add transitive clos
u
r
e
e
xam
p
le from Ke
l
ly's
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
s
l_map_transitiv
e
_closure: c
o
nstruc
t
gen
e
r
a
l pa
t
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_trans
i
tiv
e
_c
l
osure:
prepare for the construc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl
_
m
a
p_transi
t
ive_closure: con
s
tru
c
t
paths that ca
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_tr
a
nsitive
_
closure: e
x
tr
a
ct out
construc
t
ion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_tr
a
n
s
itive_closure: us
e
more gene
r
ic acy
c
licity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl
_
map_pri
n
t: add parent
h
e
s
es
around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaeg
e
isl_
h
a
s
h_table
:
u
se
size that
corresponds to the numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table:
g
r
o
w
table when we run out of entrie
s
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Ver
d
o
olaege
is
l
_map_coales
c
e
:
only us
e
non-redundant cons
t
raints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n
Verdoolaege
add isl_set_fix_
s
i
commit
|
commitdiff
|
tree
2010-02-13
S
ven Verdoolaege
isl_
m
ap_read: accept c
h
ains of comparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
ex
p
o
r
t isl_m
a
p
_
a
lign_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_map_r
e
ad: forget existe
n
tially quantif
i
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoo
l
aeg
e
isl_i
n
put
.
c: re
m
ove needless indire
c
t
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
do
c
: docu
m
ent
h
ow to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
e
r
doola
e
ge
export isl_
m
ap_comp
u
te_divs
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verd
o
olaege
isl
_
cons
t
raint_div: m
a
ke
sure
requested div is
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdool
a
ege
doc: drop documenta
t
ion of _dump
functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
isl_map_print
:
improve outp
u
t
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdool
a
ege
ad
d
isl_basic_map_foreach_constra
i
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_m
a
p_coalesce: handle mor
e
cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdool
a
ege
privately ex
p
ort isl_set_
w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Ve
r
doo
l
aege
isl_convex_h
u
ll
.
c
:
wrap_facet: allow
u
n
bounded
f
acets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve d
e
c
r
iption of
i
sl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
a
e
g
e
i
s
l_map_transit
i
ve
_
closure: imp
r
ove test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
a
d
d a counter ex
a
mple
f
o
r Theorem 1 of the COCOA pa
p
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add isl_map_
l
o
wer_b
o
und_si
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl
_
map
_
power: co
a
lesce domain and
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add missing isl_
a
ccess_info_free ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
i
sl_
c
oalesc
e
.
c
:
fi
x
typo i
n
co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ve
r
d
o
ola
e
ge
isl_m
a
p
_
re
a
d
:
accept lists of affine ex
p
ressi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
r
doola
e
ge
add i
s
l_mat_from_row_vec and isl_
m
a
t
_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoo
l
aege
isl_map_read: read exten
d
e
d
poly
l
ib forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
add isl_s
t
ream_next_token_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
o
l
a
e
ge
i
sl_
m
ap_read: mak
e
sure polylib c
o
nstr
a
int c
o
efficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
is
l
_
{
m
a
p,set}_dim: handle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoola
e
ge
isl
_
map_read: use
mor
e
unifo
r
m way of reading
in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
erdo
o
laege
i
s
l_t
r
ansit
i
ve
_
closu
r
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
isl
_
map
_
tr
a
n
sitive_closur
e
: use
mor
e
r
elax
e
d
e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ve
r
doolaeg
e
ad
d
isl_m
a
p_power and i
s
l_map_transitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_ma
p
_
subt
r
a
c
t
.
c: make some internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
add
gen
e
ric
i
sl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
add isl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename
isl_{map
,
s
e
t
}_ad
d
to isl
_
{map,set}_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_se
t
_project_
o
u
t
:
a
lways
update dimens
i
on
,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdo
o
laege
i
s
l_dim_join:
don't
r
e
q
uire names
o
f j
o
ined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoolaege
add
isl_
m
a
p
_
from_domain_an
d
_
r
a
n
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
isl_s
t
ream: treat "-" a
s
op
e
rator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
isl_map
_
read:
accept "strict
"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_input
.
c: fix memo
r
y de
a
llocation problem on mis
s
ing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
ad
d
dependenc
e
anal
y
sis
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdool
a
ege
a
dd isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
Verdoolaege
add privat
e
isl_{set,ma
p
}_ma
k
e_disjoin
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
basis_reduction_templ
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_tab_pip
.
c: find_solutions
:
b
reak when
context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
im_equ
a
l: don't
r
equire names of input and out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
Verdoola
e
ge
i
s
l_dim_map:
p
roperly
d
uplicate
n
a
m
es
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl
_
dim_dro
p
: properly adjust length of n
a
mes array
commit
|
commitdiff
|
tree
2010-01-26
Sven
Verdo
o
laeg
e
doc: a bit mor
e
on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
g
e
do
c
: describe input/
o
utput form
a
ts
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_
c
at test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolae
g
e
a
dd omega ou
t
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
i
s
l output
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
do
o
laege
isl_t
e
st: us
e
is
l
_set_read_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
add
isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add i
s
l_map_rea
d
_f
r
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_map_read
_
from_file: allow unions
i
n isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
isl_ba
s
ic_map_read: read definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ver
d
oolaeg
e
pr
i
vat
e
ly export isl_ba
s
ic_map_add_div_
c
o
nstr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ve
r
dool
a
ege
isl_b
a
sic_map_read: read a
f
fine constraint as
t
w
o affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_input
.
c
: optional
l
y
read
parameters from inpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
to
k
e
n
izer: accept "and" ke
y
w
o
rd
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
ort isl_map_read_from_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
ex
p
or
t
isl_bas
i
c_map_read
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
o
ola
e
ge
drop red
u
ndant input_format ar
g
umen
t
from
r
eading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: merg
e
functions for
reading PolyLi
b
and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl
_
input_
o
mega
.
c: a
c
cept P
o
l
yLib in
p
u
t
commit
|
commitdiff
|
tree
2010-01-24
S
v
e
n
Ve
r
doolaege
isl_input
_
om
e
ga
.
c: prepare
f
o
r
reading par
a
m
e
tric unions
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input_omega
.
c: finalize and s
i
mpl
i
fy resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
o
m
ega
.
c:
f
i
x
check for memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n
V
erdoolaege
is
l
_
stream_next_token:
s
kip comment
lines
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoo
l
aege
is
l
_
tab_
b
asic_map_partial_lexopt: properl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_basic_map_set_to_empty: remove sample
(if any)
commit
|
commitdiff
|
tree
next