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_read_obj: add support for reading piecewise quasipolynomials
2010-03-05
Sven Verdo
o
laege
i
s
l_s
t
ream_rea
d
_obj: add
s
u
p
port for
reading piecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
sl_stream
_
read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Ve
r
doola
e
ge
add
s
upport for (
p
i
e
cewise) quas
i
polynomials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
add isl_m
a
p_move
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoola
e
ge
isl
_
stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
is
l
_stre
a
m: par
s
e
infty
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
export isl_
s
t
r
eam
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doo
l
aege
isl
_
stream:
a
llow user specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_st
r
eam: add some aux
i
l
i
ary functions
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doolaeg
e
i
s
l_stream:
r
ead "definiti
o
n" token ":="
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
erdoolaege
add isl_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Ver
d
ool
a
ege
pri
v
ately expo
r
t
isl_se
t
_
contains_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add is
l
_set_co
u
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
a
d
d
i
s
l_se
t
_sample_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add i
s
l_
p
oint
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaeg
e
i
s
l
_basic_set_sc
a
n: m
a
ke su
r
e suffic
i
ent ro
w
s
are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
r
d
oolaege
is
l
_map_subtract: only add divs whe
n
needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add i
s
l_m
a
p
_
order_
d
ivs
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
ge
extrac
t
isl_t
a
b_
a
dd_div fr
o
m isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_
v
e
c
.
c: fix minor whites
p
ace iss
u
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
add isl_set_comp
l
e
ment
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
export
i
sl_map_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
olaege
add
i
s
l_hash
_
tab
l
e_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
isl_map
_
p
rint: extract out print_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
add
i
sl
_
set_fast_is
_
universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
dool
a
ege
isl_in
p
ut
.
c: accept_affine
:
f
ix
m
emory leak
on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
d
o
olaege
isl_map_interse
c
t: detect empty result also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
l
aege
isl_map_re
a
d:
skip until the end
o
f the las
t
line w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
isl_stream_n
e
x
t
_
tok
e
n_on_s
a
me_
l
ine: check
i
f last tok
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_set_w
r
ap_facet: make sure set is mark
e
d rational
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdool
a
ege
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven
V
e
r
doolaege
i
s
l_map_read: accept list of predicated elements
commit
|
commitdiff
|
tree
2010-02-19
S
ven Ve
r
doolaege
isl_map_read: extract
o
ut parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
dool
a
ege
isl_
m
ap_read: add du
m
my variable name
f
o
r
unname
d
va
r
iables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
s
l_str
e
am: accept ";" t
o
ken
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
u
s
e -O1 optimiza
t
ion leve
l
for gc
c
4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rdoolaege
drop comma
a
t the en
d
of enumer
a
t
ion
s
in i
n
c
l
ude fi
l
es
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoola
e
g
e
isl
_
ma
p
_read: accept affin
e
combin
a
tions of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Ver
d
ool
a
ege
i
s
l_ma
p
_read: c
o
nstru
c
t basic map while reading varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
o
o
laege
isl_map_p
r
i
n
t: a
d
d primes
t
o
duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
isl
_
ma
p
_tra
n
sit
i
v
e
_
c
losure:
i
m
prove
a
ccuracy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaege
isl
_
map_transitive_closure: perform exact
n
ess check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven V
e
rdoolaeg
e
isl_map_trans
i
tive_closure: reformulate
exa
c
tness test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoolaege
add a tra
n
sitive closure
e
x
ample from t
h
e
Omega tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_transitiv
e
_closu
r
e: co
m
pute power
o
n strong
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Ver
d
o
o
laege
i
sl_map_tr
a
nsit
i
ve_closure
:
int
e
rsec
t
with doma
i
n
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
la
e
ge
i
s
l
_map_tr
a
nsiti
v
e_closure: extr
a
c
t
o
ut cons
t
ruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
ool
a
e
g
e
isl_ma
p
_transitive_closure: move a
c
yclicity test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
add isl_set_
l
ower_
b
ound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_print:
u
se consis
t
ent names on a
l
l di
s
j
u
ncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
isl_cat: allow specification
of out
p
ut
f
ormat on comma
n
d
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n V
e
rdoolaeg
e
isl_
m
a
p_print: support ISL_FORMAT_P
O
LYL
I
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
i
sl_map
_
c
oalesce: fix s
o
me
regressi
o
ns introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
oolaege
add isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add trans
i
tive
closu
r
e example from K
e
lly's 1996 pape
r
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdo
o
laege
isl_
m
ap_trans
i
t
i
ve_closure:
c
onstr
u
c
t
gene
r
al paths
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_map_transitive_closure:
prepare
for the
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_
m
ap
_
transitive
_
closure
:
co
n
s
truct paths
t
h
at c
a
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoolaege
isl_tra
n
sitive
_
closure: ex
t
r
act out constructio
n
o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oolaege
isl_map_trans
i
t
i
ve_closure: use mor
e
gener
i
c ac
y
clicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
oo
l
aege
isl_map_
p
rint: add par
e
n
t
heses arou
n
d d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
i
sl_hash_table:
use size that corres
p
on
d
s
to the n
u
mber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
rdo
o
laege
isl_
h
a
sh_t
a
ble: g
r
o
w
table wh
e
n we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_map_coalesce: only
u
se n
o
n-r
e
dundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
S
ven
V
erdoo
l
aege
a
d
d
i
sl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdoolaeg
e
isl_map_read
:
accept
chains of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
export isl_
m
ap_align_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
isl_map_read: forget exist
e
ntial
l
y
q
uantified variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
doola
e
ge
isl_inpu
t
.
c
:
r
e
move
need
l
ess indirection
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: doc
u
men
t
how
to
i
nsp
e
ct sets
a
nd relations
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdo
o
l
a
ege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
isl_con
s
trai
n
t
_
d
iv: make sur
e
requested di
v
is a known div
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoolaege
doc: dr
o
p
d
o
c
u
m
entatio
n
of _dump fu
n
c
t
io
n
s
commit
|
commitdiff
|
tree
2010-02-09
S
ven
V
erdoo
l
a
ege
isl_map_p
r
int: impro
v
e o
u
tp
u
t
commit
|
commitdiff
|
tree
2010-02-09
S
v
en Verdoola
e
ge
a
dd isl_basic_map_f
o
reach_co
n
strai
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
d
o
olaege
isl_map_c
o
a
l
e
s
ce: handle more ca
s
es
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
privately ex
p
o
rt is
l
_set_wrap
_
facet
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verd
o
olaege
isl_
c
onve
x
_h
u
ll
.
c
: wrap_fac
e
t: allo
w
u
nbounded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ver
d
oolaege
doc: impr
o
ve decrip
t
ion
of
isl_map_trans
i
tive
_
clos
u
re
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdool
a
ege
isl_m
a
p
_
transitive_
c
losu
r
e: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter
examp
l
e
for Th
e
orem
1 of the
COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
aege
a
d
d
isl_
m
ap_lower_bound_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
s
l_map_p
o
we
r
: coalesce do
m
ain and ran
g
e
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
is
l
_fl
o
w
.
c: add missing
i
sl
_
a
c
c
e
s
s_in
f
o
_free
return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_coalesce
.
c
:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sv
e
n V
e
rdoolaege
i
n
cl
u
de/isl_int
.
h: argu
m
ent of
mp_get_m
e
mory_functions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_
m
ap_read: ac
c
ept lists of affin
e
expressions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
a
d
d
i
sl_mat_from_row_vec an
d
isl_mat_vec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoo
l
aege
isl_map_read: r
e
a
d
extended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
add isl_stream_next_token_o
n
_
s
a
m
e
_l
i
ne
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
g
e
is
l
_ma
p
_read: mak
e
sure polylib const
r
ai
n
t
c
oefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
is
l
_{map,set}_dim: h
a
ndle N
U
LL input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_rea
d
:
us
e
more u
n
iform way of re
a
di
n
g
i
n polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verdoolaege
isl_transitive_clos
u
re
.
c:
fix typ
o
in comment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verd
o
olaeg
e
i
sl_map_tran
s
i
t
ive_c
l
osure:
use more relaxed e
x
ac
t
ness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
a
dd isl_ma
p
_pow
e
r and isl_map_transitive_cl
o
sure
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
o
ol
a
e
g
e
i
s
l_map
_
subtract
.
c
:
make s
o
me internal
f
unct
i
o
ns static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add generic isl_map_project_out
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdoolaege
add i
s
l_{map,set}_add
commit
|
commitdiff
|
tree
next