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
add isl_set_sample_point
2010-03-04
Sven Verdo
o
lae
g
e
add isl_set_s
a
m
pl
e
_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
i
s
l
_
basic_set
_
s
can
:
mak
e
s
ure sufficient rows are al
l
o
c
a
t
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoola
e
ge
i
s
l_map_su
b
trac
t
:
o
nly add di
v
s
w
h
e
n need
e
d
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add is
l
_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
e
xtract isl_tab
_
add_d
i
v from
isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_vec
.
c: fix minor whites
p
a
c
e issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
exp
o
r
t
isl_map_make_disjoi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_map_pri
n
t: ex
t
ract out
print_disjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdool
a
ege
add isl
_
set
_
fast_is_unive
r
s
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
e
rdoolaege
isl_input
.
c
:
accept_aff
i
n
e
:
fix
m
emory
l
e
a
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_m
a
p_intersec
t
: dete
c
t em
p
ty result also
i
n case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_
m
ap_read: sk
i
p unt
i
l the end of
t
he
l
ast
line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stream_ne
x
t_token
_
on_sa
m
e_line: check if
last t
o
ke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oola
e
ge
i
s
l_set_wrap
_
face
t
: ma
k
e
su
r
e set is m
a
rked ratio
n
al
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdool
a
ege
is
l
_
c
o
a
l
esce
.
c: f
i
x typo
in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
ap_read: accept list of
p
re
d
icated el
e
men
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
map_read
:
e
xtrac
t
o
ut
parsin
g
of map
b
od
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
eg
e
isl_
m
a
p
_read: add
d
ummy variab
l
e name for unname
d
variab
l
es
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
e
g
e
i
sl_s
t
ream: accept ";"
t
oken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
use -O1 optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
oolaege
isl_map_read: ac
c
ep
t
aff
i
ne combinations
o
f e
a
rlie
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
isl_map_read:
c
o
nstruct basic m
a
p
w
h
i
le reading variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n
Verdoolaege
add a
transitive closure example from the Omega te
s
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ve
n
Verdoolaeg
e
isl_map_transiti
v
e_clo
s
ure: comput
e
power on strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
a
e
ge
isl_map_transitive_closure
:
intersec
t
with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_
m
a
p_tra
n
s
i
t
i
v
e
_closure: e
x
tr
a
c
t out construct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
is
l
_map
_
t
r
ansitive_
c
losu
r
e:
m
ov
e
a
c
y
c
l
ici
t
y test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map
_
print: use consisten
t
na
m
es on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_cat: allow specification of o
u
t
put form
a
t on co
m
man
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
Verdoolaege
isl_
m
ap_print: s
u
pport
I
S
L_FORMAT_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdo
o
laege
i
s
l
_
map_coalesce: fix some r
e
g
r
essions introduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
a
d
d
isl_clos
u
re
t
e
s
t applicat
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
add
transit
i
ve closure
e
xamp
l
e fr
o
m Ke
l
ly's 1996 pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
o
o
laege
isl_map_t
r
an
s
itive_closure: constru
c
t general
p
a
ths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_map_tr
a
n
s
it
i
ve_
c
l
o
sure: prepa
r
e for the constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_transitive_closure: con
s
truct pat
h
s th
a
t
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_tran
s
it
i
ve_closure:
e
xtract out constru
c
tion
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
lae
g
e
isl_map
_
transitive_closur
e
: use more generic acycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaeg
e
isl
_
map_print: a
d
d
p
arent
h
ese
s
arou
n
d disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_hash_t
a
bl
e
: use s
i
ze that corresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
i
s
l
_hash_table: grow table w
h
en
w
e r
u
n out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
ola
e
ge
isl_map
_
coalesce: on
l
y use non-red
u
n
dant
constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
oola
e
ge
a
d
d isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_m
a
p_read: accep
t
c
h
a
i
ns o
f
c
omparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
exp
o
rt isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
isl_map_read: forget e
x
i
stentially quanti
f
ied v
a
riables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
en
V
erdoo
l
aege
isl_input
.
c: remove needless ind
i
re
c
tion
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
eg
e
doc:
d
ocument
h
ow to inspect se
t
s and r
e
l
a
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
export
i
sl_map_com
p
ute
_
div
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n
V
e
r
d
oo
l
aege
i
sl_con
s
traint_div: ma
k
e sure reque
s
t
ed div is a kn
o
wn div
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
doc: drop document
a
tion
o
f _
d
ump fun
c
t
io
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdool
a
ege
isl_map_print:
improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
a
d
d isl_bas
i
c
_
map_foreach_constrain
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ola
e
g
e
isl
_
ma
p
_
coal
e
sce: hand
l
e
more cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export is
l
_set_wrap_fa
c
et
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
i
sl_convex_hull
.
c: wr
a
p_facet: allow unbounded face
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoo
l
a
e
ge
doc: improve decription of
i
sl_ma
p
_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoolaege
i
sl_map_transitive_clos
u
re: improve test
for exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
add a co
u
n
ter exam
p
le for Theorem 1 of
t
h
e COCOA pa
p
er
commit
|
commitdiff
|
tree
2010-02-08
S
ven Ve
r
doolaeg
e
ad
d
isl_map_l
o
wer_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
i
s
l_map_power: coa
l
esce domai
n
an
d
rang
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_f
l
ow
.
c: add missing
i
sl_ac
c
es
s
_in
f
o_free
ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_coalesce
.
c: f
i
x typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Ve
r
doo
l
aege
isl_m
a
p_read: accept lists
o
f affine
e
xpressions
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
add isl_mat_from
_
r
ow_vec and
isl_mat_v
e
c_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: read extended polyli
b
format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add isl_stream_
n
ext_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
isl_m
a
p
_read: make sure
p
olylib constra
i
nt coefficient
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolae
g
e
isl_{map,set}_dim: handle NU
L
L input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
isl_m
a
p_r
e
ad: use
m
ore
u
niform way
o
f reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
t
ransitive_closure
.
c: fi
x
typo in
c
ommen
t
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_map_transitive_closure:
u
se more relax
e
d exac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add isl_ma
p
_
pow
e
r an
d
isl_map_tran
s
itive_c
l
osur
e
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
isl_
m
a
p
_subtr
a
ct
.
c: ma
k
e
s
ome internal
fu
n
ctions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
add generic isl_map_p
r
oject_ou
t
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verdoolaeg
e
a
d
d isl_{ma
p
,
set}
_
add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
ege
r
e
nam
e
isl_{ma
p
,set}_add to
i
sl
_
{map,set}_add_basi
c
_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_set_project_out: a
l
ways update dimensi
o
n, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_dim_joi
n
:
d
on't req
u
ire
n
ames of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n Verd
o
olaege
add isl_map_fr
o
m_domain_a
n
d
_
range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
g
e
is
l
_
s
tream:
t
reat "-"
a
s o
p
erator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_map_read:
a
cc
e
pt "
s
trict" inequa
l
ities
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
e
rdoolaege
isl
_
input
.
c:
fix memory deall
o
ca
t
ion problem on
m
issing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
add
depe
n
dence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoo
l
aege
a
dd isl_map_
{
partial_
,
}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ver
d
oolaege
add priva
t
e
i
s
l_{se
t
,m
a
p}_make_disjo
i
nt
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolaege
basi
s
_reduction_templ
.
c: fix typo in c
o
mme
n
t
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdo
o
laeg
e
i
sl_tab_pip
.
c
:
find_solutio
n
s: break when
c
ontex
t
become
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoo
l
aege
i
s
l_dim_equal: don't re
q
u
i
re
names of i
n
pu
t
and
o
utput
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdoolae
g
e
isl
_
d
im_map: pr
o
perly dupl
i
cate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_dro
p
: properly
a
djust length of
n
ames
array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoo
l
aege
d
o
c
: a bit more on integers
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdoolaege
doc
:
describe input/o
u
tput forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven
V
erdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sven
Verdoola
e
g
e
a
dd isl
_
cat tes
t
application
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdo
o
laege
add ome
g
a out
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoolaege
add isl
o
u
tput
commit
|
commitdiff
|
tree
next