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 Ver
d
oolaege
isl_
s
et_wrap_face
t
: mak
e
sure se
t
is
marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oola
e
ge
isl_coalesce
.
c: fix
t
ypo i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n V
e
rdoolaege
isl_m
a
p_re
a
d
: accept list of predic
a
ted eleme
n
ts
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
rdoolaege
is
l
_map_rea
d
: ext
r
act out p
a
rs
i
ng of map
body
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Ve
r
d
o
olaege
isl_map_
r
ead:
add dummy
v
a
r
i
able name fo
r
unna
m
e
d
vari
a
b
l
es
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
V
erdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdool
a
ege
use -O1 op
t
imi
z
at
i
on level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_map_read: accept aff
i
n
e
combina
t
ion
s
of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Ve
r
doola
e
ge
isl_map_read:
c
onstruct b
a
si
c
map w
h
ile read
i
ng
vari
a
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
add a tra
n
sitive closure
e
xample from the Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_map_t
r
ansitive_cl
o
sure: com
p
ut
e
power on
s
trongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_map_transiti
v
e_closure: intersect wi
t
h
doma
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_map_transiti
v
e
_closure: extract
out c
o
nst
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
i
sl_map_tr
a
nsiti
v
e_c
l
osure: move acyclicity te
s
t
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Ver
d
oo
l
a
e
ge
i
sl_m
a
p_p
r
int: use
consistent names o
n
all di
s
juncts
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoola
e
ge
isl_
c
a
t
:
allow specif
i
c
a
tion of output format on com
m
a
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l
_
map_print: support I
S
L_FORMAT_P
O
L
Y
LIB
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
is
l
_map_coalesce: fix some regr
e
s
s
i
o
n
s
in
t
rod
u
c
e
d by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
oolaege
add isl_closure test a
p
plica
t
i
o
n
commit
|
commitdiff
|
tree
2010-02-15
S
v
en V
e
rdoolae
g
e
add transit
i
ve closure
examp
l
e
f
ro
m
Kelly's
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
is
l
_
m
ap_transitive_closure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
s
l_map_t
r
ans
i
tive
_
clo
s
ure: prepare for
t
he construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_transitive_closure: construct
p
aths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ve
r
do
o
l
aege
i
sl_
t
ransitive_closure: extract out con
s
truction
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
erdoolaege
i
s
l_map_transitive_closure
:
u
s
e more generic
a
cyc
l
icity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ve
r
d
o
olaege
isl_map
_
pri
n
t: add
p
a
rent
h
eses
a
r
ound
d
isjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: use
s
ize that c
o
rre
s
ponds t
o
the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdo
o
la
e
ge
isl_hash_table: grow table when we r
u
n out of
e
ntrie
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap_coalesce: only use no
n
-redundant c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaeg
e
add
isl_set_fi
x
_
si
commit
|
commitdiff
|
tree
2010-02-13
Sven
Ver
d
oolaege
isl_map_read: accept chains of
c
o
m
parisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
Ve
r
doolaege
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
en Ve
r
doolaege
isl_map_rea
d
: f
o
r
g
e
t
e
xistentially quantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c
:
remov
e
needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
doc: d
o
cument h
o
w to
i
ns
p
ect
s
ets and rel
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
er
d
oolaege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
ven Ver
d
o
o
l
a
e
ge
isl_
c
on
s
traint_div: make sure requested div is a know
n
div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
V
erdoolaege
doc: drop d
o
c
um
e
nta
t
ion of
_
d
u
mp function
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
Verdoolaege
i
s
l_map_print: im
p
rove out
p
ut
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
ool
a
eg
e
ad
d
isl
_
basic_map_foreach_constrai
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoo
l
aege
isl_m
a
p
_
co
a
l
es
c
e: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
privately expo
r
t isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olae
g
e
isl_co
n
vex_h
u
l
l
.
c: wrap_
f
acet: allow unbou
n
ded face
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
e
rdool
a
ege
doc: improve decription of isl_map
_
transitive
_
c
l
osure
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
e
rdoola
e
g
e
isl_
m
ap_transitiv
e
_closure
:
improve
test
fo
r
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a c
o
unter example for Th
e
orem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
add isl_map_l
o
wer_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
lae
g
e
i
s
l_map_pow
e
r:
coa
l
e
s
c
e domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
i
s
l
_
flow
.
c:
add mi
s
s
ing
isl_acces
s
_info_free
r
eturn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
ol
a
ege
isl_coal
e
sce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolae
g
e
isl_map_read: acc
e
pt li
s
t
s of aff
i
ne e
x
pressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
a
d
d isl_m
a
t_from_row_vec and isl_mat_vec_co
n
c
at
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_map_read: r
e
ad extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
add isl_stream_ne
x
t_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
i
s
l_map_re
a
d
:
make
su
r
e polylib con
s
trai
n
t coefficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
is
l
_
{map,set}_
d
im: ha
n
d
le
NULL
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oo
l
aeg
e
isl_map_read:
u
s
e more uniform way of
r
e
ading in
p
olylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
la
e
ge
isl_t
r
an
s
iti
v
e_closu
r
e
.
c
:
fix typ
o
in c
o
m
men
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verd
o
o
l
aege
isl_
m
a
p
_
transitive_closure: use
m
ore
relaxed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdool
a
ege
add isl_map_power and is
l
_map_transitiv
e
_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_map_subt
r
act
.
c: make
s
ome interna
l
func
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
o
olaege
add generic isl_ma
p
_proje
c
t_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
doolaege
add isl_{map,se
t
}_ad
d
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
rdoolae
g
e
rename
isl_{map,s
e
t}_
a
dd
to isl_{map,set}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoola
e
ge
isl_set_project_out:
a
l
ways u
p
date dimens
i
on, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_dim_join: don't re
q
uire
name
s
of joined
vari
a
ble
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
V
e
rdool
a
e
g
e
add
i
sl_map_
f
rom_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
i
sl_stream: treat "-" as
operat
o
r rather
t
han as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
i
sl_map_read: acc
e
pt "
s
trict" ine
q
ualities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
i
s
l_input
.
c: fix memo
r
y deall
o
cation problem
o
n
missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n Ver
d
o
olae
g
e
add d
e
pen
d
ence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
a
d
d isl_map_{p
a
rtial_,}lexo
p
t
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Ver
d
ool
a
eg
e
a
d
d private isl_{set,
m
ap}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
e
ge
basis_reduct
i
on_templ
.
c: f
i
x typo in c
o
mment
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoola
e
ge
isl
_
tab
_
pip
.
c:
find_soluti
o
ns
:
break
when con
t
e
x
t
bec
o
mes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n
Verdo
o
laege
isl_d
i
m_equal: don't require names of
input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_
d
i
m_
m
ap: properly duplic
a
te
names
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verd
o
olaege
i
s
l_d
i
m
_drop: properly adjust length of names
array
commit
|
commitdiff
|
tree
2010-01-26
S
v
e
n Verdoolaeg
e
d
o
c
:
a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdool
a
ege
doc
:
de
s
cribe in
p
ut/ou
t
p
u
t formats
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
olaege
add isl_cat test application
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolae
g
e
a
d
d omega ou
t
put
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add
isl outpu
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
e
rdoolaege
isl_test: use is
l
_set_read_f
r
o
m
_str
commit
|
commitdiff
|
tree
2010-01-25
S
ven Verdoolaege
add isl_set_read_from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oo
l
aege
add isl
_
m
ap_re
a
d
_
from_str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
laege
isl_map_
r
e
a
d_from_fil
e
: allow un
i
ons in isl for
m
a
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Verdoolaege
isl
_
b
a
sic_map
_
re
a
d: read definit
i
o
n
s of e
x
isten
t
ial
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
privately export
isl_basi
c
_
m
a
p_add_div_constraints
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoo
l
aege
isl_basic_m
a
p_read: r
e
ad
a
ffine
c
onstrai
n
t
as two affine
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoolaege
isl_input
.
c:
o
ptio
n
a
l
l
y
read parameters
from i
n
p
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
to
k
enizer
:
accept "
a
nd"
k
eyword
commit
|
commitdiff
|
tree
2010-01-25
S
ven
Verdoolaege
export isl_map_re
a
d_from
_
file
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
export isl_basi
c
_ma
p
_read_
f
rom_s
t
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
drop redundant
input
_
f
o
rma
t
argument
f
rom read
i
ng functions
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
la
e
ge
isl_
i
nput
.
c: me
r
ge f
u
nctions for reading PolyL
i
b and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_input_
o
mega
.
c: accept PolyLib input
commit
|
commitdiff
|
tree
2010-01-24
Sv
e
n Verdoola
e
ge
isl_input_omega
.
c: pr
e
p
a
re for r
e
adin
g
param
e
tric unio
n
s
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_input
_
omega
.
c
: finaliz
e
and
simplify resulting
.
.
.
commit
|
commitdiff
|
tree
next