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
use -O1 optimization level for gcc 4.2
2010-02-19
Sven Verd
o
olaege
use -O1
op
t
i
mization level for gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
S
v
en Verdoolaeg
e
isl
_
map_r
e
ad:
accept affine
c
o
mbinations
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdoolaege
i
sl_map_rea
d
:
con
s
t
ruct
b
a
sic map
while reading
vari
a
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
i
s
l
_map_prin
t
: ad
d
p
r
imes to dup
l
icate names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_
t
ran
s
itive_c
l
osure: in
t
er
s
ect with dom
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_m
a
p_t
r
ansi
t
ive_closure: extract ou
t
co
n
st
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
is
l
_map_
t
r
a
nsitive_clos
u
re: mov
e
acyclicit
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoo
l
ae
g
e
add isl_set
_
lower_bound_
s
i
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
is
l
_map
_
print:
use consistent nam
e
s
on all d
i
sj
u
nc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
i
sl_cat:
a
llow specifica
t
io
n
o
f outp
u
t format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdoolaege
isl_m
a
p_print: suppor
t
ISL_FORM
A
T
_
P
OLYLIB
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoola
e
ge
i
sl
_
m
a
p_coalesce: fi
x
som
e
re
g
ressions introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add is
l
_
closure test application
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolaege
ad
d
transitive closure exampl
e
fr
o
m Kell
y
's
1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdo
o
lae
g
e
i
s
l_map_t
r
ansitive_closure:
c
onstruct gen
e
ral paths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map_t
r
ansitiv
e
_
c
losure: prepa
r
e for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l
_map_
t
ransitive_closu
r
e: construct p
a
ths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
aege
isl_transitiv
e
_
c
l
osure: extrac
t
out constr
u
ction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdo
o
laege
isl
_
map_transitive_
c
los
u
re: use mo
r
e g
e
neric acyclic
i
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_print: add parentheses
a
round disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaeg
e
isl_h
a
sh_table: use size that corresponds to the
n
um
b
er
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doola
e
ge
isl_hash_table:
g
row table
w
he
n
we run out of ent
r
i
es
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_
c
oalesce: only use no
n
-redund
a
n
t co
n
str
a
int
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_
f
i
x_
s
i
commit
|
commitdiff
|
tree
2010-02-13
S
v
e
n Verdoola
e
ge
i
s
l_map_read: acce
p
t chains of compa
r
i
s
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export i
s
l_m
a
p_a
l
ign_div
s
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ve
r
d
oolaege
isl_ma
p
_re
a
d: forget existent
i
ally quantifi
e
d
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaeg
e
i
sl_input
.
c:
rem
o
ve n
e
edless
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
doc: d
o
cument how to
inspect sets and r
e
lations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
expor
t
is
l
_
m
ap_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ver
d
ool
a
ege
i
s
l_
c
onstraint_
d
i
v: make sure
r
equest
e
d
div
is
a known
d
iv
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop documentation of
_dump fu
n
ctions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
i
s
l_map_print: improve outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
add isl_basic_map_foreac
h
_cons
t
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l
_
map_c
o
alesce: ha
n
dle
more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
privatel
y
export is
l
_se
t
_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_convex_hull
.
c: wrap_facet: al
l
ow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
d
o
c: im
p
r
o
ve decrip
t
i
on of isl_m
a
p_
t
ransi
t
i
v
e_closu
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl_map_transitive_closure: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
doolaeg
e
add
a
counter
e
xample
f
or Theorem 1 of
t
h
e
COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdool
a
ege
add isl_
m
ap_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
i
s
l
_map_
p
ower
:
coalesce
d
omain an
d
rang
e
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
Verdoolaege
isl
_
flow
.
c: add missing
i
s
l_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Ver
d
oolaege
isl_
c
oalesce
.
c: fix typo in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rdoolaege
isl_map
_
re
a
d: accept li
s
ts of a
f
fine exp
r
essions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
dd i
s
l_mat_from_
r
o
w_
v
ec and isl_mat_vec_c
o
ncat
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n
Verdoolaege
isl_ma
p
_read: read exte
n
ded pol
y
lib format
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoola
e
g
e
add i
s
l_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_read: make sure p
o
l
ylib
constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
{
m
a
p,set}_dim: handle NULL inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
r
e
ad: use
m
ore
uniform wa
y
of reading in
poly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
ge
is
l
_transi
t
ive
_
closu
r
e
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_ma
p
_transitive_closure: use more relaxed ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ve
r
doolaege
add isl_map_
p
ower and
i
s
l
_
map_t
r
ans
i
tive_
c
losur
e
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoolae
g
e
i
s
l_map_s
u
btract
.
c: ma
k
e so
m
e internal fu
n
ctio
n
s static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolae
g
e
add
g
e
neric isl_map_project
_
o
ut
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
erdoolaege
add
isl_{map,set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdo
o
lae
g
e
rename
isl_{
m
ap,set}_add
t
o isl_{map,set}_ad
d
_
bas
i
c_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Ver
d
oolae
g
e
isl_set_proje
c
t_ou
t
: alwa
y
s update dim
e
nsion, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_dim_join: don
'
t re
q
u
ire names of joined vari
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
d
d
isl_map_fro
m
_
domai
n
_and_r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_strea
m
:
t
reat
"
-
"
as operator
rather tha
n
as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map
_
read:
ac
c
ept "strict"
i
nequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolae
g
e
isl_in
p
ut
.
c: fix memory deallo
c
ation problem
o
n miss
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoo
l
aege
add isl_map
_
{partial_,}le
x
opt
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
add private isl
_
{
s
et,map
}
_
make_di
s
j
o
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
bas
i
s_reduc
t
ion_templ
.
c: fix
typo
in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
i
s
l
_tab_pip
.
c: find_
s
olutions: break
w
hen context becom
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_d
i
m_
e
qual: don't
r
e
q
u
ire na
m
es of input and out
p
ut
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven V
e
r
d
o
olaege
isl_dim_map: pr
o
perly
d
u
plic
a
te nam
e
s
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Ver
d
oolaege
isl_di
m
_drop: properly adjust length o
f
n
a
m
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoolaege
d
oc: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sv
e
n Verdoolae
g
e
doc: descri
b
e i
n
p
u
t/output forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolaege
d
oc
:
fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
add is
l
_cat
tes
t
appl
i
cation
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
d
d omega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
add
i
sl
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_test: use
is
l
_se
t
_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
ad
d
isl_set
_
read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olae
g
e
a
dd isl_map_read_fr
o
m_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl
_
m
ap
_
re
a
d_from_f
i
le:
a
llow unions
in is
l
fo
r
mat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven Ver
d
o
olaege
isl_bas
i
c_map_read
:
read definitio
n
s of
existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
d
ool
a
e
g
e
pr
i
vate
l
y e
x
port isl_basic_map_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdoo
l
aege
isl_bas
i
c_map_read: read af
f
i
n
e
c
o
n
straint as two a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdo
o
laege
isl_i
n
put
.
c:
o
p
t
ionally re
a
d para
m
eters
f
rom input
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
Verdoolaege
toke
n
izer: accept "an
d
" ke
y
word
commit
|
commitdiff
|
tree
2010-01-25
S
ve
n
Verdoo
l
aege
expor
t
i
s
l_map_read_from_fi
l
e
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
export isl_basic_m
a
p_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verd
o
o
l
aege
drop redundant in
p
ut_
f
ormat argument fro
m
r
eading functions
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
isl_input
.
c:
merge functions f
o
r re
a
ding P
o
lyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n
Verd
o
olaege
isl_input_om
e
ga
.
c: accept PolyLib inp
u
t
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdo
o
laege
i
sl_input_omega
.
c: prepare
f
or
r
ea
d
ing parametric u
n
ions
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoo
l
a
ege
isl_input_omega
.
c: finalize and
s
i
m
plify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdo
o
l
a
e
g
e
isl_input
_
om
e
ga
.
c: fix
c
heck
f
or memory alloc
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ve
r
dool
a
eg
e
isl_stream_next
_
token: skip commen
t
li
n
es
commit
|
commitdiff
|
tree
2010-01-24
Sven Ver
d
o
o
lae
g
e
isl
_
tab_
b
as
i
c_
m
ap_partial
_
l
e
x
opt: properly handle e
m
pt
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
o
ola
e
ge
isl_basic_map_set_to_empty: remove sample (i
f
any)
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Ver
d
oolaege
a
d
d
isl
_
s
et
_
fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven Ve
r
doolaeg
e
properly remove
p
iplib submodu
l
e
commit
|
commitdiff
|
tree
next