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_set_wrap_facet: make sure set is marked rational
2010-03-04
Sven Ve
r
doola
e
ge
i
s
l_set_wrap_face
t
: make s
u
re set is
m
arke
d
r
a
tional
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coales
c
e
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
isl_map_read: accept list of predi
c
ated
e
leme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoolaege
isl_map_rea
d
:
e
xtract out p
a
rsing of map body
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n
Verdool
a
ege
i
s
l
_map_r
e
ad: ad
d
dummy var
i
able name for
u
nn
a
med variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_st
r
eam: a
c
cept "
;
" tok
e
n
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
use -O1 opt
i
mi
z
ation level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaeg
e
isl_map_read: accept affine
combinations of
ea
r
lier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven
Ve
r
doolaege
i
s
l_m
a
p_read
:
cons
t
ruct basic map whil
e
readi
n
g
varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoola
e
ge
isl_map
_
pr
i
n
t:
ad
d
prim
e
s
to
duplica
t
e name
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_tra
n
sitive_closure: interse
c
t
w
ith
domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doo
l
ae
g
e
isl_
m
ap_transitive_
c
losure: extr
a
ct out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map
_
t
r
a
ns
i
tive_closure: move
acyc
l
icity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en V
e
rd
o
olaeg
e
add isl_set_lower
_
bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
e
rdoola
e
ge
isl_map_print:
u
se co
n
s
istent names
on a
l
l di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
erdoolaege
i
s
l
_cat: a
l
l
ow sp
e
cifica
t
ion of output format on co
m
mand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaeg
e
isl_m
a
p_print:
support ISL_FORMAT_PO
L
YLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
ma
p
_c
o
ale
s
ce: fix
some regr
e
ss
i
ons introduced
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
add isl_clo
s
ure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add transitive closure exa
m
ple from Kelly's 19
9
6 p
a
per
commit
|
commitdiff
|
tree
2010-02-15
S
ven
Verdoolae
g
e
i
s
l_map_transitive_closure: construct
g
e
neral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_transit
i
v
e_closure: prepare
f
or the constr
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoolaege
isl_
m
ap_
t
ransitiv
e
_closure: construct paths t
h
a
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_tr
a
ns
i
t
ive_closure: extract
o
ut
c
onstructio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
oola
e
ge
isl_map
_
transitive_clo
s
u
r
e: use more generic ac
y
c
l
i
city
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolae
g
e
isl_map
_
print:
a
dd par
e
nthe
s
es
around
d
i
s
junct
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash
_
table: use size
th
a
t corres
p
onds to th
e
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdoolaege
i
sl
_
hash_table
:
grow t
a
ble when we
r
un out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_coa
l
esce: only use
n
on
-
r
e
d
u
n
da
n
t constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdo
o
laege
add isl_set_fix_s
i
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdool
a
ege
isl
_
map_read: accept chain
s
of co
m
parison
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
export isl_map_align_d
i
vs
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doolaege
isl_map_read
:
fo
r
get
e
xistenti
a
lly quantified
v
ari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
ven Ver
d
oola
e
ge
isl_input
.
c:
r
emove ne
e
d
less
i
ndirection
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
doc: doc
u
ment how to inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
export isl_map_c
o
mpu
t
e_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
isl
_
constra
i
n
t_div: ma
k
e sure requested div is a know
n
div
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
r
d
oolaege
do
c
: drop documentation of _dump fu
n
cti
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_
p
rint
:
improve
o
utpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
add isl
_
basic
_
map_foreach_const
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_coalesc
e
: handle more
cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
priv
a
te
l
y ex
p
ort isl_s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
oolaege
isl_con
v
ex_hull
.
c
:
wr
a
p_face
t
: allo
w
unbound
e
d facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
o
l
a
e
ge
doc: improve decription of isl_map_transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl
_
m
a
p_
t
ransit
i
ve
_
cl
o
sure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
add
a counter exampl
e
for Theore
m
1 of
t
he
C
OCOA
paper
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdool
a
ege
add isl_map_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
e
g
e
i
s
l
_map_powe
r
: coalesc
e
domain and range
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
ol
a
e
ge
isl
_
flow
.
c: add missing
i
sl_acces
s
_info_
f
ree retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_c
o
alesce
.
c
:
fix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_map_read: accept list
s
of affine
e
xpressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
l
a
ege
add isl_mat_from
_
row_
v
ec and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl
_
ma
p
_read:
r
e
ad
e
xten
d
ed polylib format
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
V
erdo
o
l
aege
ad
d
isl_stre
a
m_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_m
a
p_read:
make
sure polylib
c
onstraint coef
f
icients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven V
e
rdoola
e
g
e
isl_{map,
s
et}_dim: handl
e
NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
o
olaege
isl_
m
a
p
_
r
ead:
use more uniform way of r
e
a
d
ing
i
n poly
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_transiti
v
e_closure
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl
_
ma
p
_trans
i
tive_cl
o
su
r
e: use
more relaxed
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdo
o
laege
add isl_map_p
o
we
r
and isl_map_transiti
v
e_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
is
l
_
map_sub
t
rac
t
.
c
:
m
ake some interna
l
functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
ol
a
ege
add
g
eneric isl
_
m
a
p_
p
roje
c
t
_
out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add is
l
_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
rename isl_{map,se
t
}_add to isl_{map,set
}
_add_
b
asic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laeg
e
isl
_
s
et_project_out: always upd
a
te
d
imensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
i
sl_dim_join: don
'
t require names of
j
oined vari
a
ble
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d isl_map_f
r
om_domain_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
olae
g
e
isl_str
e
am:
t
r
e
a
t
"-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_read: ac
c
e
pt
"
strict
"
inequalities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdo
o
laege
i
sl_input
.
c
:
fix me
m
ory dealloca
t
ion pr
o
blem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add
dependence analysi
s
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolae
g
e
a
d
d is
l
_map_{partial
_
,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaege
add pri
v
ate isl_{set,map}
_
make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
basis_reduction_templ
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_tab_p
i
p
.
c: find_s
o
luti
o
n
s
: break when
c
on
t
ex
t
beco
m
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
is
l
_
d
im_equal: don't req
u
ire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_di
m
_map: properly duplica
t
e names
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoo
l
aege
is
l
_dim_d
r
op: pro
p
erly adju
s
t length of names
array
commit
|
commitdiff
|
tree
2010-01-26
S
v
en
V
erdoolae
g
e
doc
:
a bit mo
r
e on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Ve
r
doolaege
d
oc
:
d
e
scribe input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoola
e
ge
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
a
dd isl_
c
at test
a
pplication
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
do
o
laege
add o
m
ega output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add isl out
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
oolaege
i
sl_test: use isl_set_rea
d
_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
isl_set_read_from_
s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
add
i
sl
_
map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_map_read_from_fi
l
e: allow unions in isl format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
V
er
d
oolaege
isl_
b
asic_map_read: read definitions
o
f existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
p
r
ivately export
isl_basic_map
_
add_div_const
r
ain
t
s
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
i
s
l_basic_map_re
a
d: rea
d
affine
c
onstraint as two
affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
isl_input
.
c
: optionally
rea
d
parameters
from input
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoolaege
tokenizer:
accept "a
n
d" keywo
r
d
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Ver
d
oola
e
ge
exp
o
rt isl_map_r
e
ad_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
export isl
_
basic_
m
a
p
_read_f
r
o
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erd
o
olae
g
e
dro
p
redunda
n
t
input_format argument from read
i
ng f
u
n
c
tions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input
.
c: merge functi
o
ns for reading Pol
y
Lib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdool
a
ege
is
l
_input_omega
.
c: ac
c
ept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_input_omega
.
c: prepare for readi
n
g parametric
u
ni
o
ns
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
e
rdoolaege
isl_input_omega
.
c: fina
l
ize a
n
d sim
p
lify r
e
sulting
.
.
.
commit
|
commitdiff
|
tree
next