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 Verdool
a
e
ge
add isl_set
_
s
am
p
le_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
i
sl_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoo
l
aeg
e
isl
_
basic_se
t
_
s
can: make sure suffic
i
e
nt rows
a
re allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
e
g
e
i
sl_map_subtra
c
t:
on
l
y add divs when
n
ee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verd
o
olaege
add
i
sl_map
_
order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
extrac
t
isl_ta
b
_add_div fr
o
m isl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
aege
i
s
l_vec
.
c
: fix minor whi
t
espace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
do
o
laege
a
dd
isl_set_c
o
mplem
e
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolaeg
e
e
xp
o
rt isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
d
oolaege
a
d
d isl_hash_tabl
e
_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
ege
i
s
l_map_p
r
in
t
: extract out print_disj
u
ncts
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoola
e
g
e
add isl_set_fast_is
_
u
niverse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_input
.
c
:
accept_af
f
i
n
e: fix memory lea
k
on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolae
g
e
isl_map
_
intersect: detect emp
t
y
re
s
ult
a
lso in ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_m
a
p_read: s
k
ip u
n
til t
h
e en
d
of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_stream_next_token_on_s
a
me_l
i
ne: check if
la
s
t
token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoo
l
aege
is
l
_set_wrap_facet: mak
e
su
r
e s
e
t
i
s marked
rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_coal
e
sce
.
c:
f
ix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_
m
ap_read: accept lis
t
of predicated e
l
ements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
i
s
l_ma
p
_
r
ead: ex
t
r
a
ct out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
Ve
r
doolae
g
e
isl_m
a
p_read:
ad
d
dummy variable name for u
n
named variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
ge
isl_stream: accept
";
"
t
oken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
u
s
e -O1
optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
oolaege
i
s
l
_
map_
r
ead: accept
a
ffine combin
a
tio
n
s of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rd
o
o
l
ae
g
e
i
sl_map_read:
construct b
a
sic
m
ap
while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdo
o
laege
add
a
transitive cl
o
sure
e
xample from the O
m
ega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
o
ol
a
ege
i
s
l_map_tr
a
nsi
t
ive_clo
s
ure: compute power o
n
strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoola
e
ge
isl_ma
p
_tran
s
itive_closure: intersect
w
ith
d
omain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdool
a
ege
isl_map_transitive_closu
r
e: extra
c
t ou
t
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
isl_map_t
r
a
n
sit
i
ve_clo
s
ure: move acyclic
i
t
y
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
lae
g
e
isl
_
ma
p
_print: use consis
t
en
t
nam
e
s on a
l
l disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
o
l
aege
i
s
l_cat:
allow
s
pecification of output format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print: support I
S
L_FOR
M
AT_POLYLI
B
commit
|
commitdiff
|
tree
2010-02-17
S
ven
V
erdoolaege
isl_map_coalesce: fix some reg
r
e
s
si
o
n
s
introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
o
olaege
add isl_closur
e
te
s
t application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
e
ge
add tra
n
sitive cl
o
sure example from K
e
lly's
1
996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_transitive_closure:
c
onstruct general p
a
t
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdool
a
ege
is
l
_
map_tran
s
iti
v
e_
c
losu
r
e: p
r
epare for the
c
onstruc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_m
a
p_transitive_closure: construct
p
aths that
c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
is
l
_tra
n
sitive_closure: ext
r
act out
constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
isl_map_transitive_clos
u
re:
use more gener
i
c acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
laege
isl_map_print: add parenthese
s
around di
s
juncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
is
l
_hash_table: use si
z
e that corresponds
to the
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_hash_table:
g
row
table when
we run out o
f
entri
e
s
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_coalesce:
only use non-redundant
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdoolaeg
e
add is
l
_set_fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
olaeg
e
isl
_
map_read: accept chains of comparis
o
ns
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaeg
e
export isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verdoolaege
isl_map_read: forge
t
e
x
istenti
a
lly quan
t
ified var
i
ab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_
i
nput
.
c
:
r
emove needless
i
ndirection
commit
|
commitdiff
|
tree
2010-02-09
S
v
en V
e
rdoolaege
doc: d
o
cument how to inspect sets and rel
a
tions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
e
x
port isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
e
rdoolae
g
e
is
l
_constraint_div: make sure
r
equested d
i
v
i
s a
k
now
n
div
commit
|
commitdiff
|
tree
2010-02-09
S
ven
Ve
r
doo
l
aege
doc:
dr
o
p
docum
e
ntat
i
on of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ver
d
oolaege
isl_map_print: imp
r
ove outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
g
e
add isl_basic_map_forea
c
h_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
m
a
p_coalesce
:
handle mo
r
e cases
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
V
erd
o
olaege
privately export
i
s
l_s
e
t
_wr
a
p_f
a
cet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_convex_hull
.
c: wrap
_
facet: a
l
low
u
n
bounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: impr
o
ve decription of isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map
_
transiti
v
e_closure:
i
mprove
t
e
s
t
for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
do
o
laege
ad
d
a counter
e
xa
m
ple for
T
h
eorem 1 of the C
O
C
O
A paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaeg
e
add isl_
m
ap_lo
w
e
r_bound_s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_pow
e
r: co
a
l
e
sce
domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoola
e
ge
isl_
f
low
.
c: add missin
g
isl
_
a
cces
s
_info_f
r
ee return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdo
o
l
a
e
g
e
isl_coal
e
sce
.
c:
f
ix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_
m
ap_read: acce
p
t
li
s
ts of affi
n
e expres
s
ions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
a
dd isl_mat_from_row_vec and isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
do
o
laege
isl_map_read: read exte
n
ded poly
l
ib forma
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolae
g
e
add isl_stream_next_token_on_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_
r
ead: make su
r
e polyl
i
b
c
ons
t
r
a
i
n
t
c
o
efficie
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
la
e
ge
isl
_
{ma
p
,se
t
}_d
i
m:
h
a
ndle NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: use more uniform way of r
e
ading in pol
y
lib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_tra
n
sitive_closure
.
c: fix ty
p
o in c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoo
l
aege
isl_ma
p
_
transitive_closure: u
s
e
mor
e
relaxe
d
exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
a
d
d
isl_map_
p
ower
and isl_m
a
p_transitive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
do
o
laege
is
l
_map_su
b
t
r
ac
t
.
c: mak
e
some internal functions
s
tatic
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdo
o
l
a
e
ge
add generic isl_map_proj
e
ct_ou
t
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
add isl_{m
a
p,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
ren
a
me isl_{map,set}_add to isl_{map,set}_add
_
basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl
_
set_pro
j
ect_out: a
l
w
a
ys update dimens
i
o
n,
e
ven
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verd
o
olaege
isl_dim_join:
don't require names o
f
joined v
a
riab
l
es
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoo
l
aege
add
i
sl_
m
ap_from_domain_a
n
d_
r
a
nge
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
ola
e
ge
is
l
_stream: trea
t
"-"
a
s ope
r
ator rather than a
s
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
i
sl_map_re
a
d
: acc
e
pt "strict" inequa
l
iti
e
s
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolae
g
e
isl_input
.
c
: fix me
m
ory dea
l
location pr
o
blem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
a
dd dep
e
nden
c
e
a
n
a
l
ysi
s
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add isl_map_{p
a
r
tial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ver
d
o
o
laege
add
p
rivate
isl_{s
e
t
,map}_make_disjoint
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolaege
basis
_
reduction_templ
.
c: fix
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doola
e
ge
isl
_
ta
b
_pip
.
c: find_solutions: break when contex
t
becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Ver
d
oolaege
isl_dim_equal: don't r
e
quir
e
names of inpu
t
and ou
t
put
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
v
en Ver
d
oolaege
isl_dim_map: properl
y
dupli
c
ate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaege
isl_dim_drop
:
p
r
operly adju
s
t
l
ength of nam
e
s array
commit
|
commitdiff
|
tree
2010-01-26
Sve
n
V
e
r
d
oolaeg
e
doc: a
b
i
t
m
or
e
on in
t
e
g
ers
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: desc
r
i
b
e
input/
o
utput forma
t
s
commit
|
commitdiff
|
tree
2010-01-26
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n Verdoolaege
add
i
s
l_cat tes
t
applicatio
n
commit
|
commitdiff
|
tree
2010-01-25
Sv
e
n V
e
rdoolaege
a
d
d omeg
a
output
commit
|
commitdiff
|
tree
2010-01-25
Sven Verd
o
o
l
a
e
ge
add isl output
commit
|
commitdiff
|
tree
next