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 Verdoolaege
use -O1 optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n
Verdoolaege
drop
comma at the end of enum
e
ration
s
in include files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
o
l
aege
isl_m
a
p_re
a
d: accept
affine combinatio
n
s
of
e
arli
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_read:
c
on
s
t
r
uct b
a
sic map whi
l
e re
a
d
i
n
g
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_print: add p
r
ime
s
to du
p
licate n
a
mes
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
is
l
_map_
t
ransitive_closure: improve accuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
i
s
l_map_transitive_closu
r
e: perf
o
rm exactness
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitive_clo
s
ure:
r
efor
m
u
late
e
xa
c
t
n
ess test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolae
g
e
add
a
transitive cl
o
sure ex
a
m
p
le from the
Omeg
a
t
est
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n
Verdoolae
g
e
i
s
l
_m
a
p_transiti
v
e_closu
r
e: compute pow
e
r on
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verd
o
o
l
aege
isl_map_trans
i
t
ive_closur
e
: i
n
tersect w
i
t
h dom
a
in and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_tr
a
n
s
i
tive_closure
:
extract out constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
do
o
laege
isl_ma
p
_transitive_closure
:
move a
c
yclic
i
ty
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Ve
r
doolaege
a
d
d
isl_set_lower_boun
d
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolae
g
e
is
l
_map_pri
n
t:
u
se
c
o
nsistent
n
a
mes on all disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ver
d
o
o
l
a
ege
isl_ca
t
: allow specification
o
f o
u
tput
format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
isl_map_pri
n
t: support ISL_FORMA
T
_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
er
d
oola
e
g
e
isl_map_coalesce: fix some regress
i
on
s
introduced
b
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add isl
_
c
losure tes
t
ap
p
lication
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
add transitive
closure exa
m
pl
e
f
rom Kelly's 1996
p
ap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transi
t
ive_
c
losure: co
n
struct general p
a
ths
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoolaege
i
sl_map
_
transit
i
ve_
c
losure: prepa
r
e for the construct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
olaege
isl_m
a
p_
t
r
ansitive_clos
u
re: construct pat
h
s that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
olaege
isl_t
r
ansitive_closur
e
: extract ou
t
c
o
n
s
t
ruct
i
on of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transi
t
ive
_
c
l
o
su
r
e:
use
m
ore generic a
c
ycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_prin
t
:
a
d
d parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_hash_t
a
ble: use s
i
ze t
h
at
c
orre
s
ponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_hash_tabl
e
:
gro
w
ta
b
le when we
run out of
e
n
tries
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ver
d
oo
l
ae
g
e
isl_m
a
p_coalesc
e
: only
u
se non-redundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl
_
set_fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl
_
map_read
:
accept
c
h
ain
s
of
comp
a
risons
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n V
e
r
doolaege
expor
t
isl_map_align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verd
o
olae
g
e
isl
_
map_read: forget existen
t
i
ally quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdo
o
laege
i
sl_input
.
c: remove needless ind
i
recti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoo
l
aege
doc: document how
to inspect sets
a
n
d
r
e
l
a
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
export isl_map_compu
t
e
_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
S
ven Verdoolaege
isl_co
n
s
trai
n
t_div: make sure requ
e
st
e
d div is a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
d
o
c: drop do
c
umentation of _dump
f
unc
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_
p
r
i
nt:
i
m
prove
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laeg
e
add
isl_ba
s
ic
_
map_foreach_con
s
t
raint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolae
g
e
isl_map_c
o
ales
c
e:
h
an
d
le more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaeg
e
p
r
ivately e
x
port isl_set_
w
r
ap_fa
c
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erd
o
ola
e
ge
is
l
_convex_hull
.
c: wrap_facet: allow unb
o
u
nded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
l
a
ege
doc
:
i
mprove decr
i
ption of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
ve
n
Verdoolaege
i
s
l_map
_
transitiv
e
_clos
u
r
e: im
p
rove test for
e
xactnes
s
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
doolaege
add
a co
u
nter exampl
e
fo
r
T
h
eorem 1 of the
C
O
COA paper
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ver
d
oolaege
add isl_map_lower_bound_
s
i
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
isl_map_power
:
co
a
l
e
s
ce do
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_flow
.
c: add missin
g
isl_ac
c
ess_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_co
a
l
e
sce
.
c
: fix typo in
comme
n
t
commit
|
commitdiff
|
tree
2010-02-07
Sv
e
n Verdoolaeg
e
include/isl_int
.
h
:
argument
of m
p
_g
e
t_memo
r
y_functi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_r
e
a
d
: accept l
i
sts of affin
e
expre
s
si
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doola
e
ge
add isl_mat_from_row_vec a
n
d isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaeg
e
isl_map_r
e
ad:
read extended po
l
y
l
ib format
commit
|
commitdiff
|
tree
2010-02-04
S
v
e
n Verdoolaege
add isl_s
t
ream_ne
x
t_token_on
_
s
a
me_lin
e
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaeg
e
isl_map_read: make s
u
re polyl
i
b
c
onstrain
t
coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
isl_{map,se
t
}_dim:
h
andl
e
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
sl
_
m
a
p_read: u
s
e more unifo
r
m way of
r
eading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ve
n
Verdoolaege
isl_transitive_clo
s
ure
.
c
:
fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
la
e
ge
isl_map_transitive_closure: use
more
relax
e
d e
x
a
c
tne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
ola
e
g
e
add isl_map_powe
r
and isl_map_transitive_c
l
o
s
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_map_s
u
btract
.
c: make so
m
e
i
nt
e
rnal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
la
e
ge
ad
d
generic isl_
m
ap_projec
t
_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
a
ege
add i
s
l_{map,set}_ad
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
r
ename isl_{m
a
p,set}_add
t
o isl_{
m
ap,
s
et}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oolaege
i
s
l_set_pr
o
j
ect_ou
t
: always
u
pdate d
i
mension,
e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_dim
_
join: don't require names o
f
j
o
i
n
ed variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verd
o
olaeg
e
add
i
s
l_map_from_doma
i
n_a
n
d_range
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_s
t
r
eam: treat "-" as operator rather
than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_ma
p
_
read: accept "strict" inequa
l
it
i
es
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
is
l
_input
.
c:
f
ix
m
e
mory deall
o
cati
o
n problem on
m
issing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
a
dd dep
e
ndence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ve
r
doolaeg
e
add isl_map_{parti
a
l_,}lexop
t
commit
|
commitdiff
|
tree
2010-01-31
Sven Verd
o
ol
a
ege
a
dd privat
e
isl_{se
t
,m
a
p}_make_di
s
joint
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verd
o
ol
a
ege
b
asis_reduction_temp
l
.
c: fix t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdool
a
ege
i
s
l_tab_pip
.
c: find_solutions: break when context become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_equal: don't
r
e
quire names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven V
e
rdoolaeg
e
is
l
_dim_map: pr
o
per
l
y
d
uplicat
e
names
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdoo
l
a
e
ge
isl_di
m
_drop:
p
roperly adjust length of names array
commit
|
commitdiff
|
tree
2010-01-26
Sven Ver
d
o
olaege
doc: a
bit more on integer
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolae
g
e
d
oc:
descri
b
e input/output f
o
rmats
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
Verdoolae
g
e
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
a
dd isl_cat t
e
st applic
a
tion
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
add
o
m
e
g
a
output
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oolaege
ad
d
isl ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Ve
r
doolaege
isl_
t
est: use isl_set_read_fro
m
_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
a
dd isl_s
e
t_r
e
a
d_f
r
om_str
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
a
d
d isl_map_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
aege
i
s
l_map_r
e
ad_from_file: a
l
l
ow
u
nions
in isl f
o
rmat
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Ve
r
do
o
laege
isl_basic_ma
p
_re
a
d: read de
f
ini
t
ion
s
of existentia
l
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolae
g
e
pr
i
vate
l
y export isl_basic_map_add_d
i
v_
c
onstr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olae
g
e
isl_basic_map
_
read
:
read affine constraint as two a
f
fin
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
isl_in
p
ut
.
c:
o
p
t
ionally read par
a
meters
from in
p
ut
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
to
k
enizer: accept "and" keyword
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
ex
p
o
rt isl_map_read_fro
m
_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
expor
t
i
s
l
_basic_map_read_
f
rom_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redu
n
dant inp
u
t_f
o
rmat
argum
e
nt fr
o
m read
i
ng func
t
ions
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoo
l
aege
isl_input
.
c:
m
erge functions for r
e
ading PolyLib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
isl_input_omeg
a
.
c:
a
ccept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sven
V
erdoolaege
isl_i
n
p
ut_ome
g
a
.
c: prepa
r
e fo
r
readin
g
parametri
c
unions
commit
|
commitdiff
|
tree
next