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_stream_read_obj
2010-03-05
Sven Verdoolaege
add isl_stream_read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add ge
n
eric i
s
l_ob
j
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add sup
p
ort for (piece
w
ise) quasipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
d
oolaege
add isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
isl
_
s
t
rea
m
: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdool
a
e
ge
is
l
_stream: pa
r
se infty
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
expor
t
isl_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: allow u
s
er sp
e
cif
i
ed
k
eywor
d
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaeg
e
isl
_
s
tr
e
am: add so
m
e auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdo
o
laege
isl_strea
m
: read "definition" token ":=
"
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
a
dd
i
s
l_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
privat
e
l
y export is
l
_
set_con
t
ains_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_samp
l
e_poi
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verdoo
l
aeg
e
add
i
s
l_po
i
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_basic
_
set_scan: m
a
k
e sur
e
suf
f
icient rows are alloc
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_subtract: only ad
d
divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olaege
add isl_ma
p
_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoo
l
ae
g
e
extract isl_ta
b
_add_div from isl_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olaege
i
sl
_
vec
.
c: fix m
i
nor whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add isl_set_
c
om
p
leme
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
ge
export is
l
_ma
p
_
make
_
disj
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
la
e
ge
add
isl_hash_table_forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rd
o
olaege
isl_map_
p
r
i
n
t: ext
r
act out print_disj
u
ncts
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olaege
add isl_s
e
t_fast_is_u
n
iverse
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aeg
e
isl_
i
n
put
.
c:
a
ccept_affine
:
fix
m
emory l
e
ak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
is
l
_map_intersect: dete
c
t empty result also in
c
ase
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
i
s
l_map_r
e
ad: skip until the end o
f
t
he last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
e
ge
isl_stream_ne
x
t
_to
k
en_on_same_
l
ine: check
if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_s
e
t
_wrap_facet: make su
r
e set is m
a
rked ra
t
ional
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
ge
isl_c
o
alesce
.
c
:
f
i
x typo
i
n comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
i
s
l
_
m
a
p_r
e
a
d: accept list of predicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_
r
ead:
extract out parsing of
map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map_re
a
d
:
a
d
d dummy variable na
m
e
f
o
r unname
d
var
i
ab
l
es
commit
|
commitdiff
|
tree
2010-02-19
S
v
en V
e
rdo
o
laege
isl_stre
a
m: accept ";" t
o
k
e
n
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verd
o
o
laege
u
s
e -O1 optimi
z
a
t
ion le
v
el for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
ool
a
eg
e
isl_ma
p
_read: accept affine combinations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdo
o
lae
g
e
i
sl
_
m
a
p_read: constr
u
ct b
a
sic map whil
e
reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
add a t
r
ansitive
c
losure
example fro
m
t
he Omega test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
oolaege
isl_map_t
r
ansitive_closure: co
m
pute
p
o
w
er on strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_trans
i
tive
_
closure: inters
e
ct with d
o
m
a
i
n and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transiti
v
e_closure: extract out cons
t
ru
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transi
t
ive
_
clos
u
re: mo
v
e acyclicit
y
test
up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_ma
p
_
p
rint
:
use consistent n
a
mes on al
l
disj
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaeg
e
i
s
l_cat: allow
s
pecificatio
n
of
o
utput format on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoo
l
aege
isl_map_print: support ISL
_
FORMA
T
_P
O
LY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl
_
map_
c
oalesce: fix so
m
e regressions
i
ntroduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
add isl
_
clos
u
re test ap
p
lication
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
add transitive closure example from Kelly's 1996 p
a
p
e
r
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
isl_map_transitive_clo
s
u
re: construct gen
e
ral paths
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Ver
d
o
o
lae
g
e
isl
_
map_t
r
ansitive_cl
o
sure:
p
r
e
pare for
t
he constru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map
_
transitive_c
l
osure: construct
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
doolaege
isl_transitiv
e
_
closure: extract out construction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdool
a
ege
isl_ma
p
_transitive_closure: use more gener
i
c acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_prin
t
:
add parentheses around disju
n
cts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l
_has
h
_ta
b
le: us
e
size that corresp
o
nds to
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_hash_table: grow
t
able
wh
e
n we run out
of en
t
ries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
a
ege
isl
_
map_coa
l
e
s
ce: only u
s
e non-redund
a
nt constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven Ve
r
doolaege
add isl_set
_
fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n
V
erd
o
olaege
isl_map_read: ac
c
ept chains of compari
s
ons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolae
g
e
expo
r
t isl_m
a
p_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
s
l_map_read: forget
existentially quantified var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verdoolaeg
e
isl_input
.
c: remo
v
e needless indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: document how to
i
nsp
e
c
t
sets a
n
d relation
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
export isl_map_com
p
ute_d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
isl_constrain
t
_
d
iv
:
ma
k
e sure requested div is
a
known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n
V
e
rdoolaege
doc: drop
d
ocumentation
of _dump fun
c
tions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
isl_ma
p
_print: im
p
rove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add i
s
l_basic
_
map_for
e
ach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
isl_
m
ap_coalesce: han
d
le more c
a
se
s
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n
Verdoo
l
aege
pri
v
ately export i
s
l
_
set_w
r
ap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_convex
_
hu
l
l
.
c: w
r
a
p
_facet: allow unboun
d
e
d
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
ven
Verd
o
ola
e
ge
doc: im
p
rove decr
i
ption of isl_
m
ap_transitiv
e
_
c
los
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_map_tran
s
itive_clos
u
re:
im
p
rove test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doo
l
ae
g
e
a
d
d a counter
example for
T
he
o
rem
1 of the
COCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add
is
l
_map_low
e
r
_
bound_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
lae
g
e
isl_ma
p
_p
o
wer: coalesce domain
and range
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoola
e
ge
isl_flow
.
c: add missing
i
sl
_
ac
c
ess_info_
f
re
e
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
i
sl_coalesc
e
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
is
l
_
map_read
:
ac
c
ept lists of affine
e
x
pressi
o
ns in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
add isl_ma
t
_
f
ro
m
_row_vec and isl_ma
t
_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
V
erdool
a
ege
isl_map_rea
d
: read ex
t
ended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
oolaege
add is
l
_stream_
n
ext_tok
e
n_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
d
oolaege
i
s
l_m
a
p
_
rea
d
:
make sur
e
po
l
y
l
ib
constr
a
i
n
t
c
o
efficient
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaege
i
s
l
_{map,set}_dim
:
handl
e
NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_m
a
p_
r
ead: use
m
ore uni
f
orm way of reading in polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
t
rans
i
tive_closure
.
c:
f
i
x typo
in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_transit
i
ve_closure
:
u
s
e more relaxed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add
i
s
l_map_power and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
isl
_
map_subtract
.
c
: mak
e
s
o
m
e internal fun
c
tions
s
ta
t
ic
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doola
e
ge
a
dd ge
n
eric i
s
l
_map_project_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
g
e
add isl_{map,set}_ad
d
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
e
ge
rename isl_{map,set}_add to is
l
_{map,se
t
}
_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en V
e
r
d
oolaege
is
l
_s
e
t_
p
roject_out: a
l
ways update dime
n
sion, even
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_dim_
j
oin: don't
r
equ
i
re names of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
add isl_map
_
from_domain_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoo
l
aege
isl_stre
a
m:
treat "-" as operator rather th
a
n as
-1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
is
l
_map_read:
accept "strict"
i
nequalities
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoolaege
isl_input
.
c:
f
i
x
memo
r
y
deallocation
p
r
o
blem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven Ve
r
doolaege
add dependence analysis
commit
|
commitdiff
|
tree
next