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_stream: parse NaN
2010-03-04
Sven Verdoolaege
isl_stream: parse N
a
N
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaeg
e
is
l
_stream:
p
arse infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
ex
p
o
rt isl
_
stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
o
olaege
isl_stream
:
al
l
ow user
specified keywo
r
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_stream:
a
dd some aux
i
liary fu
n
cti
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdoolaege
i
s
l_str
e
am: read "defi
n
ition"
t
ok
e
n
"
:="
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
a
d
d
isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
pri
v
a
t
ely export
isl
_
set_c
o
n
tains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
a
d
d isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
a
dd is
l
_set_sample_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
V
e
rdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_basic_
s
et_scan
:
make su
r
e sufficient rows are
allo
c
a
te
d
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laeg
e
isl_map_subtra
c
t: only a
d
d divs when nee
d
ed
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl_map_ord
e
r_divs
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
extract isl_
t
ab_a
d
d_
d
iv from i
s
l_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_v
e
c
.
c: fix minor white
s
p
a
c
e issue
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
d
d
i
sl_se
t
_
comple
m
en
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolaege
export i
s
l_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl_h
a
sh_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rd
o
olae
g
e
isl_m
a
p_print: extra
c
t out print_disjun
c
ts
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add i
s
l_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
isl_inpu
t
.
c:
accept_affine: fix memory le
a
k
on e
r
ror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoo
l
aege
isl_ma
p
_intersect:
d
e
tect
e
mpty
r
esult
a
lso in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_map_read: skip unt
i
l the end of the last line w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaeg
e
isl_stream_
n
ext_token
_
on_same_lin
e
:
check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdool
a
ege
isl_
s
et_wrap_facet: make su
r
e set is marked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
do
o
laege
i
s
l_coalesce
.
c
:
fix typo
in commen
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_map_read:
accept list of pre
d
icated elements
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Ver
d
oolaege
isl_map_read: extract out parsing of ma
p
bod
y
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Verdoo
l
aege
isl_ma
p
_read: add dummy variable
n
a
me for unnamed
v
ariables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoola
e
g
e
isl_str
e
am: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
erdool
a
ege
use -
O
1
optimi
z
a
t
ion level for gcc
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_
r
ead:
a
ccep
t
affine
combina
t
ions of e
a
rlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_read: const
r
uct basic
m
ap
while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
i
sl_map_print: add primes
t
o duplicate
names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_tra
n
sitive_closure: intersect with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_map_transit
i
ve_closure: e
x
tract out
con
s
t
r
u
c
ti
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl
_
map
_
transitive_cl
o
sure: move acyclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdo
o
laege
add isl
_
set_low
e
r_
b
ound_s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven
Ve
r
doola
e
ge
isl_map_print: use co
n
s
i
stent names o
n
all disju
n
cts
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdo
o
laege
isl_cat: all
o
w
specification of ou
t
p
u
t f
o
rmat on
c
ommand
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verd
o
ola
e
ge
i
sl_map
_
print:
support ISL_FO
R
MAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_ma
p
_coalesce:
f
ix some reg
r
e
s
s
i
o
ns introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
add isl_closure test applicat
i
on
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdool
a
ege
ad
d
tran
s
itive clo
s
u
re
e
xample from Kelly's 1996
paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_map_tr
a
nsitive_closure: construct gen
e
ral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
isl_m
a
p
_
t
r
ansitive_closure: pre
p
are for th
e
constructio
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_tran
s
itive_closu
r
e:
constru
c
t
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_tra
n
sit
i
ve_c
l
osure:
extract out con
s
tr
u
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
Verdoolaege
isl_ma
p
_trans
i
tive_
c
losure: use more generic
a
cyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdool
a
ege
isl_map_print: add
parenthe
s
es aro
u
nd disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
sl_hash_table
:
use size that
correspond
s
to the numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoo
l
aege
isl_map_coalesce:
only use non-redundan
t
c
o
nstraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaeg
e
ad
d
i
s
l_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven V
e
rd
o
olaege
isl_map_read: acce
p
t chains of
co
m
paris
o
ns
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n Verdoolaege
export i
s
l_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaeg
e
isl_map_read: for
g
e
t ex
i
stentially q
u
antified
variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n V
e
rdo
o
laege
isl_input
.
c: remove needless i
n
direction
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
rd
o
olaege
doc: document ho
w
t
o
inspect sets
a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
o
l
aeg
e
e
x
p
ort isl_map_
c
ompute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
e
r
d
o
olaege
i
s
l
_
constraint_div: make sure requested div is a known d
i
v
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
doc: drop documentation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
isl_m
a
p
_p
r
int:
i
mpr
o
ve output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add
isl_basic_map_fo
r
each_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
i
sl_map_c
o
alesce
:
h
andle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n Verdoolaege
privately export i
s
l_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
isl_c
o
nvex_hull
.
c: wrap_fac
e
t: allow un
b
oun
d
ed fac
e
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
ae
g
e
doc: improve decription of
isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolae
g
e
isl_map_transitive_closure: improve test fo
r
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
o
o
la
e
ge
add
a
c
o
un
t
e
r example for Theorem 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
add
i
s
l
_
map_lower
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
oolaege
isl_map_power: coales
c
e domain a
n
d range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoo
l
aege
i
s
l_flow
.
c: add missing isl_access_info_free ret
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coalesce
.
c
:
fix
typo in c
o
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolae
g
e
isl_map
_
r
e
a
d: accept lists of affi
n
e expressio
n
s i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oo
l
aege
add is
l
_
ma
t
_fro
m
_row_vec a
n
d isl_
m
a
t
_vec_conca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map
_
r
ead
:
read ext
e
nded p
o
lylib for
m
a
t
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
add isl_
s
tre
a
m_next_token_
o
n_same
_
line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
i
s
l_map_read: make su
r
e polylib constraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_{map,set
}
_dim:
h
and
l
e NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laege
is
l
_
map_r
e
ad: u
s
e
more uniform way of reading in p
o
lyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
eg
e
isl_trans
i
t
ive_closure
.
c:
f
ix t
y
p
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_map_transitive_closure: use
m
ore rela
x
ed exactne
s
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
Verdoolaege
add isl_map_power and isl_map_t
r
ansitive_c
l
os
u
re
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_map_subtra
c
t
.
c
:
ma
k
e some
internal
f
unctions static
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdo
o
l
aeg
e
add ge
n
eric
isl
_
map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rd
o
o
l
a
e
g
e
add
i
sl_{map,s
e
t}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoola
e
ge
rename is
l
_{map
,
set}_
a
dd
to isl_{map,set}_
a
d
d
_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
la
e
g
e
isl_set_proj
e
ct_out: always upd
a
te dimension, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
rdoolaeg
e
isl_dim_join:
don
'
t requi
r
e names o
f
joine
d
variabl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add isl_m
a
p_fro
m
_d
o
m
a
in_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl_str
e
am: treat "-" as operator rather than
a
s
-
1
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
i
s
l_map_
r
e
a
d:
a
ccept "strict" i
n
e
qualities
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
V
e
rdoolaege
isl_input
.
c: f
i
x
memory
deallocation prob
l
e
m
o
n missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolaege
add de
p
e
n
de
n
c
e analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdool
a
ege
add isl_m
a
p_{partial_,}
l
exopt
commit
|
commitdiff
|
tree
2010-01-31
S
v
en
Verdoolaege
ad
d
private isl_{set,m
a
p}_make_dis
j
oint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
basis_red
u
ction_templ
.
c:
fix
t
yp
o
i
n comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdoolaeg
e
i
sl_tab_pip
.
c
:
f
ind_solution
s
:
brea
k
wh
e
n
context b
e
comes
.
.
.
commit
|
commitdiff
|
tree
next