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_qpolynomial_eval: use consistent dimension for result
2010-03-09
Sven V
e
r
doola
e
g
e
isl_q
p
olynomial_e
v
al:
u
se consis
t
en
t
dimension
for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
e
ge
doc: update
to remov
a
l of piplib as
a submodule
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdo
o
laege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
isl_st
r
e
am_read_obj: ad
d
support for reading
p
i
ecew
i
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add i
s
l_stream_read_o
b
j
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaege
add g
e
neric is
l
_obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoola
e
ge
add support f
o
r (piec
e
wise) qua
s
ipolynomials
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl
_
map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
g
e
isl_stream: parse N
a
N
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verdoo
l
a
ege
isl_stre
a
m: parse infty
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
export is
l
_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
isl_strea
m
:
allow user specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
isl_strea
m
: add som
e
auxiliary
f
unct
i
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_stream:
read "definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolaege
add i
s
l_
i
nt_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
privately expor
t
isl_
s
e
t_co
n
t
ains_p
o
in
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_
s
et_sample
_
point
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
add i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdool
a
ege
isl_basic_s
e
t_scan: make sur
e
suff
i
cient r
o
ws
a
re allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
is
l
_map_subtr
a
ct: only ad
d
divs when
n
e
eded
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
add isl
_
map_
o
rde
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extr
a
ct isl_tab_
a
dd_d
i
v fr
o
m isl_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdool
a
e
g
e
isl_vec
.
c: f
i
x
m
inor whit
e
spa
c
e
issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl
_
s
e
t_co
m
plement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
e
x
p
ort isl
_
map_m
a
k
e
_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_
h
ash_table_f
o
reac
h
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdo
o
laege
isl
_
m
a
p
_p
r
int:
extract out pr
i
nt_disjun
c
t
s
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoola
e
g
e
a
dd i
s
l
_set_fast_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
aege
isl
_
i
n
p
u
t
.
c: a
c
cept_a
f
fine: fix memory
l
eak on error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
is
l
_map_interse
c
t: d
e
tect empty res
u
lt also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_read: skip
until
the end
of the last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_strea
m
_
next_t
o
ken_on_same_line: check
if la
s
t
t
oken
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoola
e
ge
isl_set_wrap_f
a
cet: make sure set is marke
d
r
ation
a
l
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
isl_coalesce
.
c
: fi
x
typo in comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_map
_
read: accept list of predicated el
e
ment
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
ege
isl_map_read: extr
a
ct out parsing of map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Ve
r
d
ool
a
eg
e
isl_map_
r
ead:
add d
u
mmy variable nam
e
for unn
a
med variable
s
commit
|
commitdiff
|
tree
2010-02-19
S
v
e
n
V
e
rdoolaege
i
sl
_
s
t
r
eam: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Ve
r
d
o
o
l
a
ege
use -O1 optimization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
S
v
e
n Verdool
a
ege
isl_map_read: accept af
f
ine combinations of ear
l
ier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_read: construct bas
i
c map while reading variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdo
o
la
e
g
e
i
s
l
_
map_pri
n
t:
add primes to duplic
a
te names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_
c
losure: inte
r
sect
w
it
h
domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoolaege
isl_map_tr
a
n
sitive_closure: extract out construc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_transitive_closure:
move
acyclicity
t
est
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verd
o
ol
a
e
g
e
a
dd
i
sl_set_lower_bo
u
n
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-17
Sven Ver
d
o
ol
a
eg
e
isl
_
map_print: use consiste
n
t nam
e
s on all disjunc
t
s
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_cat: allow specifi
c
a
tion
of out
p
ut
f
o
r
ma
t
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_map_
p
rint:
s
u
pport ISL_FOR
M
A
T_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoolaeg
e
isl_map_coalesce
:
fix
some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
add isl_closure test application
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
add t
r
a
n
sitive
closure examp
l
e from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_
t
r
ansiti
v
e_closure: constru
c
t
general paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
e
g
e
isl
_
map_transitive_closu
r
e: prepa
r
e
for th
e
c
onstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erd
o
olaege
isl_map_tra
n
sitive_closur
e
: construct
p
aths tha
t
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
isl_tr
a
n
s
itive_clos
u
r
e: e
x
tract out co
n
str
u
ction o
f
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
is
l
_ma
p
_transitive_closu
r
e: use mo
r
e g
e
ner
i
c acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
d
oolaege
isl_map
_
print:
a
dd parentheses a
r
oun
d
d
i
sjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_tabl
e
: use size
t
hat corresponds to the
n
umber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl_ha
s
h_table: grow
t
ab
l
e when
w
e run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdool
a
ege
is
l
_
m
a
p_co
a
lesce: only use
n
on-redundant
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sv
e
n Verdool
a
ege
add isl_s
e
t_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaeg
e
is
l
_map_read: acc
e
pt chai
n
s o
f
c
omp
a
riso
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
rdoolaege
export isl_map_a
l
ign_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ve
n
Verdoolae
g
e
isl
_
map_read: f
o
rget
existentia
l
ly quan
t
ified
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
sl_
i
nput
.
c: remove
n
eed
l
ess indir
e
ction
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ver
d
oolaege
d
o
c: document how
t
o ins
p
ect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_
m
ap_compu
t
e_di
v
s
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Ve
r
doolaeg
e
is
l
_constr
a
i
nt
_
di
v
: make sure reques
t
ed
d
iv is a
k
nown
d
iv
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
doc:
drop documenta
t
ion
o
f _dump
f
unctions
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
e
rdoolaeg
e
i
sl_map_
p
ri
n
t: im
p
rove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaeg
e
a
d
d isl_bas
i
c_map_
f
ore
a
ch_co
n
straint
commit
|
commitdiff
|
tree
2010-02-08
S
ven
Verdoo
l
aege
isl_map_coalesc
e
:
ha
n
dle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
laege
pr
i
vately exp
o
rt isl_set_
w
rap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_con
v
ex_hull
.
c
:
wrap_facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
d
oc
:
impr
o
ve decription of isl
_
map
_
transitive
_
closure
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
olaege
isl_map_t
r
ansitiv
e
_closure: improve test fo
r
exactness
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdo
o
laege
a
d
d a count
e
r
example f
o
r Theor
e
m 1 of the COCOA paper
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add
i
s
l_map_
l
ow
e
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_m
a
p_
p
o
w
er: c
o
ale
s
ce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl
_
flow
.
c: a
d
d
m
issi
n
g isl_access_inf
o
_free
r
et
u
rn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
o
laege
isl_coalesc
e
.
c: fi
x
typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Verdoolaege
is
l
_
ma
p
_read: accept
lists of affine expressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaeg
e
add isl_ma
t
_from_row_vec and isl_ma
t
_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_map_read: read
e
xt
e
nded pol
y
lib f
o
r
m
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
ad
d
isl_stream_next_tok
e
n_on_
s
ame_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
ege
isl_map_read: make s
u
r
e po
l
ylib co
n
str
a
int coefficie
n
ts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
isl_{map,set}_dim:
h
an
d
le NULL
i
nput
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_rea
d
:
use m
o
r
e uniform way of reading in po
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoolaege
isl_trans
i
tive_closure
.
c:
f
i
x
typo in
c
omment
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdoolaege
isl_map_tran
s
i
tive_closure: use more rel
a
xed
e
xactness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
o
l
a
e
ge
add isl_ma
p
_p
o
wer and is
l
_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
erdo
o
laege
isl_map_sub
t
r
act
.
c: make some
internal
f
unc
t
ions static
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n
V
erdool
a
ege
add generic isl_map_pr
o
j
ect_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
doolaege
add is
l
_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
d
oola
e
ge
r
e
name
isl_{
m
ap,set}
_
a
d
d to isl_{map,se
t
}
_
ad
d
_ba
s
ic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdool
a
e
ge
i
s
l_set_project_out: a
l
ways update d
i
mens
i
on, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven V
e
r
doolae
g
e
isl_dim_j
o
i
n
: don
'
t requir
e
n
ame
s
of joined variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
i
sl_map_f
r
om_domain_and_range
commit
|
commitdiff
|
tree
next