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 generic isl_obj
2010-03-05
Sven Verdoolaege
add g
e
neric isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
dool
a
ege
add support for (piecewise) quasipolynom
i
als
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
ad
d
isl_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verd
o
olaege
i
sl
_
s
tream: pars
e
NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_str
e
am:
p
a
rs
e
infty
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
export isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_
s
tream:
a
ll
o
w
user specifie
d
ke
y
words
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl
_
stre
a
m: a
d
d some au
x
iliary
f
un
c
tions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_stream: r
e
ad "definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add
isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
privat
e
ly e
x
port i
s
l_
s
et_
c
ontains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_s
e
t
_
count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_
s
a
mple_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
e
ge
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
isl_basic_set_scan: make sure su
f
f
icient rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_m
a
p_subtract: only add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Ve
r
doolaege
add isl_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
extract
i
sl_tab_add_di
v
from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl
_
vec
.
c: fix minor
wh
i
tespace issue
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
add is
l
_se
t
_complement
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoola
e
ge
export isl_ma
p
_
m
ak
e
_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add is
l
_hash_tab
l
e_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_
m
a
p
_print
:
extract
o
u
t p
r
int_dis
j
uncts
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdo
o
lae
g
e
ad
d
isl_set_f
a
st_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
isl_inp
u
t
.
c:
a
c
ce
p
t_affine: f
i
x memor
y
leak
o
n
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
i
sl_map_i
n
tersect: detec
t
empty
re
s
ult also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
o
lae
g
e
isl_map_re
a
d: skip un
t
il the end of the l
a
st l
i
ne when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
s
tream_next_
t
oken_o
n
_s
a
me_line: c
h
ec
k
if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
i
sl_set_wrap_fa
c
et:
make sure
s
et
is
m
arked rat
i
on
a
l
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_coalesce
.
c
:
fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
isl_map_read: ac
c
ep
t
list of predicated ele
m
e
nt
s
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolae
g
e
isl_ma
p
_read: extract out parsing of ma
p
body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
map_read: add dummy variable nam
e
for unna
m
ed variables
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n Verdoolaege
isl_stream:
accept "
;
" to
k
en
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
oolaege
u
se -O1 optimizat
i
on le
v
el
for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolae
g
e
i
s
l
_ma
p
_read: a
c
cept
aff
i
ne combi
n
ations of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven
V
erdoolaege
isl_map_read: cons
t
ruct
basic m
a
p while readi
n
g
vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
d
o
ola
e
ge
is
l
_map_p
r
in
t
: add
p
rimes to duplicate names
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
Verdoolaege
isl_map
_
t
r
a
n
sitiv
e
_
cl
o
sure: in
t
ersec
t
with
d
o
main and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdool
a
e
g
e
i
s
l
_
map_tra
n
sitive_cl
o
sure: extract out co
n
stru
c
tion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
r
d
ool
a
ege
i
s
l_map_transitive_closure: move acycl
i
c
i
ty test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
oolae
g
e
a
dd isl_set_lower_boun
d
_s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_print: use consis
t
ent names o
n
all
d
is
j
u
n
c
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoola
e
ge
isl_cat: allow specification of out
p
ut format
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n
V
e
rdoolaege
i
s
l_map
_
p
rin
t
: sup
p
ort ISL_FORMAT_POLY
L
IB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaege
isl_m
a
p_coa
l
esce:
f
ix some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
add
isl_closure
test appli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ver
d
oo
l
aege
add transitive closure exa
m
ple fro
m
Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdoolaege
isl
_
m
ap_transitive_closure: construct gene
r
al pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
a
e
ge
isl_map_tra
n
s
i
tive
_
closur
e
: p
r
epare for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verd
o
o
l
a
ege
isl_map_transiti
v
e_clos
u
re:
construc
t
paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
i
s
l_transitive
_
closure: extract out constru
c
tion
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoolaege
isl
_
map_transitive_c
l
osure: use
more
g
eneric
a
c
ycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl
_
map
_
print: ad
d
par
e
ntheses around d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_ha
s
h_table: use
size tha
t
corresponds to
t
h
e number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_has
h
_
t
ab
l
e: gr
o
w table when w
e
run out
o
f ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_map_coalesce:
o
n
l
y
use no
n
-re
d
undant constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaeg
e
add isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verd
o
o
laege
isl
_
map_read: accep
t
chains of comp
a
risons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verd
o
olae
g
e
export
isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
v
e
n
Verdoolaege
isl_map_read: forg
e
t e
x
istentially quantified vari
a
bl
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c: remove needless indirecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Ve
r
doolaege
doc: document how
to
inspect sets and relat
i
o
ns
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
er
d
oo
l
aeg
e
export
i
s
l
_
map
_
compute_divs
commit
|
commitdiff
|
tree
2010-02-09
S
v
e
n Verdoola
e
ge
isl_c
o
nstrai
n
t_div: make sur
e
req
u
ested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoo
l
a
e
ge
doc: drop
doc
u
menta
t
io
n
of
_d
u
mp
fu
n
c
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ver
d
oolaeg
e
isl_map_
p
rint: improve output
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoola
e
ge
add is
l
_
bas
i
c_map_foreach_constra
i
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl_m
a
p_coalesce: handle
more cases
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
olaege
privately export isl_set_w
r
a
p
_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_convex_h
u
ll
.
c: wrap_
f
acet: allow un
b
ounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
doc: improve decriptio
n
of isl_map_
t
r
an
s
it
i
ve_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_t
r
ans
i
t
i
v
e_closure: impro
v
e
t
est
f
o
r exactn
e
ss
commit
|
commitdiff
|
tree
2010-02-08
S
v
e
n Verdoolaege
add a
coun
t
er exampl
e
for
T
h
eorem 1 o
f
the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
r
d
oo
l
aege
add isl_map_l
o
wer_bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaeg
e
i
sl_map_power: coales
c
e
doma
i
n an
d
range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_
f
l
o
w
.
c: add missing isl_
a
c
c
e
s
s_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
isl_coale
s
ce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verdoolaeg
e
is
l
_map_read: accept lists of a
f
f
in
e
expressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n
Ver
d
ool
a
ege
add i
s
l
_
mat_from_row_vec a
n
d isl_ma
t
_vec
_
c
o
n
ca
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
i
s
l_map_r
e
ad: read ex
t
ended
p
olylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
add isl_stream_next_token_on_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
isl_map
_
r
ea
d
:
make s
u
re polylib constra
i
nt coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
isl_{m
a
p,set}_dim: handle NULL inp
u
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l
_map_read:
u
se
m
ore uniform wa
y
of
r
eadi
n
g
in polyl
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
erdool
a
ege
isl_transitive_closure
.
c: fi
x
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
V
e
rdoolaege
isl_map_transitiv
e
_closure:
u
s
e
mo
r
e rel
a
x
ed exactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoo
l
aege
a
d
d
i
s
l_
m
ap_po
w
er and isl_ma
p
_
transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
dool
a
ege
isl_map_subtract
.
c:
m
ak
e
s
ome
intern
a
l functions static
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoo
l
a
e
ge
a
d
d generic isl_map_pr
o
j
e
ct_out
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
l
a
ege
add isl_{
m
ap
,
set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
er
d
oolaege
rename isl_
{
map,set}_add to
isl_{map,s
e
t
}
_a
d
d_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_
s
e
t_project_out: a
l
ways update dimension, e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ve
n
Verdoolaege
is
l
_
dim_join: don't
r
equire name
s
of join
e
d va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
a
dd isl_map_from_domain_and_rang
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-"
a
s
ope
r
ator
rather
than as
-
1
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
isl_map_r
e
ad:
a
ccept "s
t
rict" inequalities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
e
r
doolaege
is
l
_input
.
c:
f
ix memory dea
l
loc
a
t
i
on problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
Verdoolae
g
e
add
depen
d
ence analysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolaege
add isl_map_{partial_,}
l
e
x
opt
commit
|
commitdiff
|
tree
next