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_fast_is_universe
2010-03-04
Sve
n
Ver
d
oo
l
aege
add isl_set_
f
as
t
_
i
s
_u
n
iverse
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_input
.
c: a
c
cept_affine
:
fix memor
y
leak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_map_inters
e
ct: detect em
p
ty result also
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_map_read: skip
u
ntil the end
of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
o
laege
isl_stream
_
n
e
xt_t
o
ken_on_same_line: check if las
t
to
k
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_set_wrap_f
a
c
et: make
s
u
r
e set is
m
arked
r
ational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
isl_
c
oalesce
.
c: fix typo in c
o
mmen
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdo
o
laege
is
l
_map_read:
a
ccept
list of predicate
d
elements
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
dool
a
ege
isl_map_read: extract out
p
arsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_
m
a
p_
r
ead
:
add dummy variable
name
f
or unna
m
ed v
a
riables
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Ver
d
oola
e
ge
isl_stream:
acc
e
pt
";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
u
se -O1 optimiza
t
ion l
e
v
el for
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
s
l
_
m
ap_
r
e
ad:
a
ccept aff
i
ne combinations
o
f e
a
rlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdo
o
l
a
e
g
e
isl_map_
r
e
a
d: con
s
truct ba
s
i
c map while r
e
ading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add
a
t
r
ansit
i
v
e
closure exa
m
ple from the
O
m
e
g
a
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_ma
p
_tran
s
i
t
ive_
c
losure: compute power
o
n strongl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_map
_
t
ran
s
itive_closure: in
t
ers
e
ct with dom
a
in an
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
er
d
oolaege
isl_map_transitive_closure: extract
o
ut
c
onstruc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Ve
r
doolaege
isl_map_transi
t
ive_
c
losure:
move acyclicit
y
tes
t
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoo
l
a
ege
isl_
m
a
p
_
p
rint: use consistent names on all disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_
c
at: al
l
ow specification of ou
t
put format on comman
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdo
o
laege
i
s
l_ma
p
_print: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaeg
e
isl_map_coalesce: fix some regressions
introduce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
add isl_clo
s
ure
t
est application
commit
|
commitdiff
|
tree
2010-02-15
S
ve
n
Verdool
a
ege
add transitive closure exam
p
le
f
r
om
Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_m
a
p_transitive_clo
s
u
re: construct gener
a
l paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map_transitive_closure: prepare for
the cons
t
ructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_map_transitiv
e
_closure:
construct paths th
a
t can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_transitive_
c
los
u
r
e: e
x
trac
t
ou
t
con
s
truction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl
_
map_transitiv
e
_closur
e
: use
mor
e
generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolae
g
e
isl_map_print: a
d
d
parentheses aro
u
n
d
di
s
juncts
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
oo
l
aeg
e
isl_hash
_
tab
l
e:
use size that corre
s
p
o
nd
s
to the numbe
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
isl_hash_
t
ab
l
e: grow table when we
run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_
m
ap_coalesce:
only use non
-
redundant constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add
i
sl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolae
g
e
isl_map_read: acc
e
pt ch
a
i
n
s of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
ex
p
ort isl_map_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_
m
ap_read: forget e
x
iste
n
tiall
y
qua
n
tified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
s
l_input
.
c: remove nee
d
l
e
ss indir
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc:
d
ocument h
o
w
t
o
inspe
c
t sets and rela
t
i
ons
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdo
o
l
a
e
ge
expor
t
isl_map_compute_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdo
o
laege
isl_
c
onstraint_div:
mak
e
sure reques
t
ed div is a known
d
iv
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
do
c
: dro
p
documentation of
_
dump f
u
nctions
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oo
l
a
e
ge
isl
_
map_prin
t
: improve output
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
add isl_basic_m
a
p_fo
r
each_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
is
l
_map_c
o
alesce:
h
an
d
le mo
r
e cas
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
privately e
x
port
isl_set_wra
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_
c
onvex_hu
l
l
.
c: wrap_facet: allow unbounded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolae
g
e
doc: improve
d
ec
r
i
p
tion of is
l
_ma
p
_transitive_clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
ola
e
ge
isl_m
a
p_transitive_cl
o
sure: impr
o
ve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
add a co
u
nter example for The
o
rem 1 of t
h
e
COCO
A
p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
add isl_map
_
lower_bo
u
n
d_si
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
oolaege
isl_map_
p
ower: co
a
l
esce domain
a
n
d
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
dool
a
ege
isl_f
l
o
w
.
c: ad
d
missing isl_access_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
doolaege
isl_co
a
lesce
.
c: fix typo in
comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
i
s
l
_
map_read: accep
t
lists of
a
ff
i
n
e ex
p
ressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
e
rd
o
olaege
add isl_mat_from_row_vec a
n
d isl_mat
_
vec
_
c
oncat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_map_read: re
a
d extende
d
p
o
lylib
f
or
m
at
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Verdoolaege
add is
l
_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
laege
isl_map_re
a
d:
m
ake sure poly
l
ib
constraint coefficien
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_{
m
ap,set}_dim: handle NULL inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
is
l
_map_
r
e
ad
:
use mo
r
e uniform
w
ay of readin
g
in p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_
t
ransi
t
ive_closur
e
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Ver
d
oo
l
aege
isl_map
_
transitive_
c
l
osu
r
e:
u
se mor
e
relaxed
exac
t
nes
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verd
o
olaege
ad
d
isl_map_po
w
er
and isl_map
_
tr
a
nsitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_map_subtract
.
c: make
s
om
e
internal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add generic
i
sl_map_p
r
oje
c
t_out
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Verdoolaege
add i
s
l_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdo
o
laege
r
ename
i
s
l
_{map,set}_
a
dd to isl
_
{map,set}_add_b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
e
n
Verdoo
l
ae
g
e
i
sl_set_project_out: a
l
way
s
u
p
date dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
is
l
_dim_join: don
'
t require name
s
o
f
joined va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaeg
e
add isl_map_from
_
domain_
a
nd_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat
"-"
as
o
pe
r
a
tor rather
t
ha
n
as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
g
e
i
sl_map_read: accept "strict" i
n
equ
a
l
it
i
e
s
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
isl_
i
nput
.
c: fi
x
m
e
mor
y
deallocation pr
o
bl
e
m on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdool
a
ege
add dependence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolae
g
e
add i
s
l_map_{partia
l
_
,
}
lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
e
n
V
e
r
doolaege
add privat
e
isl_{set,ma
p
}_make_disj
o
int
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoo
l
a
ege
basis_reduction_te
m
pl
.
c: fix typo
in
comment
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Verdool
a
ege
isl_tab_pip
.
c: find_solutions: break when cont
e
xt
b
ecomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ve
n
Verdoolaege
isl_dim_equal:
don't require names of input and output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoolaege
isl_
d
im_m
a
p: pro
p
er
l
y
dup
l
icate names
commit
|
commitdiff
|
tree
2010-01-31
S
ven Verdoo
l
aege
isl_dim
_
drop: properly ad
j
ust l
e
ng
t
h
o
f
na
m
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoola
e
ge
doc: a bit
more on integer
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
do
c
: desc
r
ibe inpu
t
/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
rdoolaege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
a
d
d is
l
_cat test ap
p
lication
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
add o
m
ega outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n
V
e
rdoolaege
add isl output
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
rdoo
l
aeg
e
isl_test: us
e
isl_se
t
_read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
add isl_set_read
_
from
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ad
d
isl_map_re
a
d_from
_
str
commit
|
commitdiff
|
tree
2010-01-25
S
v
e
n Verdoolaege
isl_m
a
p_read_from_
f
ile
:
allow union
s
i
n
is
l
format
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaeg
e
isl_b
a
sic_map
_
read: r
e
ad definit
i
ons of exi
s
tential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
pri
v
ately export
isl_basic_map_add_div_con
s
tr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
isl_basi
c
_map_read: read
a
ffine co
n
straint as two affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
i
sl_input
.
c: opt
i
onal
l
y
read param
e
ters f
r
om
i
nput
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdoola
e
ge
tokenizer: accept "a
n
d" k
e
ywor
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdool
a
ege
export
isl_
m
ap_read_
f
rom_file
commit
|
commitdiff
|
tree
2010-01-25
Sven V
e
r
d
o
o
laege
e
x
port isl_basic_map_read_from_str
commit
|
commitdiff
|
tree
next