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
rdoolaege
isl_qpolynomial_eval: use consistent dim
e
ns
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
rdoolaege
d
o
c: update to removal of
p
ip
l
ib as a
s
ubm
o
dule
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
d
o
c: fix
t
y
po
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolae
g
e
isl
_
stream_read_o
b
j
: a
d
d sup
p
or
t
for readi
n
g
p
iecewise
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
l
aege
add isl_stre
a
m_read_
o
bj
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdool
a
ege
add generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd
s
u
ppor
t
for (piecewi
s
e) quasipolynomials
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
a
d
d
i
s
l_map_move
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_st
r
eam
:
p
a
rse inf
t
y
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdo
o
l
a
e
ge
e
x
port isl_str
e
am
.
h
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
isl_stream: allow
user
s
p
e
cifi
e
d keywords
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
i
s
l_
s
tr
e
am: add
s
ome auxiliary functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_s
t
r
e
am:
r
ead "def
i
n
ition
"
to
k
en
"
:
="
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
doolaege
add isl_in
t
_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
p
r
iv
a
tely expor
t
is
l
_set_
c
o
n
tains_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
add isl_set_
s
ample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
i
s
l
_basic_set_scan: make sure sufficient rows are alloc
a
t
ed
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oola
e
g
e
isl_map_subtract: on
l
y
add divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
add i
s
l
_
map_orde
r
_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
ext
r
act isl_tab_add_div from isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolae
g
e
isl_vec
.
c:
f
ix m
i
nor whitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add
i
sl_set_complement
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
expo
r
t isl_map_make_disjo
i
nt
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add is
l
_ha
s
h_ta
b
le_forea
c
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_m
a
p_
p
rint
:
extract out print
_
di
s
juncts
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
add i
s
l_set_fa
s
t_i
s
_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
e
g
e
isl_input
.
c
: ac
c
ept_affine: fix
m
e
mory
leak
o
n error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
i
sl_m
a
p
_
intersec
t
:
d
et
e
ct empty r
e
sul
t
also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdool
a
e
ge
isl_map_read: skip unt
i
l the e
n
d
o
f
t
he
last line
w
h
en
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
isl_stream_nex
t
_t
o
ken_on_same_line: check if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_set_w
r
ap_fa
c
et: ma
k
e
sure
s
et is ma
r
ked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl
_
co
a
lesce
.
c: fix typo
in comme
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sven
Ver
d
oolaege
i
s
l_map_
r
ead: accept list of
p
r
edicated elements
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n
Verdoolaege
i
sl_map
_
read: ext
r
act out
p
ar
s
ing
o
f map body
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaeg
e
i
s
l_map_
r
ea
d
: add
dummy var
i
able name
f
or
unnamed var
i
ables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sv
e
n Ver
d
oo
l
aege
use -O1 o
p
tim
i
zation level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven
Verdoolaege
drop co
m
ma at t
h
e end o
f
enume
r
ations in in
c
lude
files
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_
m
ap_read: accept affi
n
e
c
o
m
binations
o
f
e
arli
e
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_map_r
e
a
d: c
o
nstruct
b
a
s
i
c map
whil
e
r
eading variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_m
a
p_print:
a
dd
p
ri
m
es t
o
duplicate names
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_map_tr
a
nsitive_closure: improve a
c
curacy by copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
oolaege
isl_map_tran
s
itive
_
cl
o
sure: perform exactness
c
heck
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
ven Verdoo
l
a
e
g
e
isl_map_transitiv
e
_closur
e
:
reformulat
e
exac
t
n
es
s
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdoolaege
add a transitive closure examp
l
e from
t
h
e Omega tes
t
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
a
ege
i
sl_map_transitive_c
l
o
s
ure: comp
u
te powe
r
on s
t
r
o
ngly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
s
l_map_tran
s
itive_closure:
i
ntersect
with do
m
ain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdoola
e
ge
i
sl
_
ma
p
_tran
s
itive_closure: e
x
tr
a
c
t
out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_t
r
an
s
itive
_
cl
o
s
ure:
mo
v
e acycli
c
ity test
u
p
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
r
d
oolaege
ad
d
isl_se
t
_lo
w
e
r
_
b
ound
_
si
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
V
erdoolaege
isl_map_print: use
c
o
nsisten
t
names on all
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
i
s
l_cat: allow specific
a
tion of output f
o
rmat
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdo
o
laege
i
sl_map
_
print: s
u
p
p
ort ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
ap_coalesce
:
fix some regre
s
sions
i
ntroduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
add isl_cl
o
sure te
s
t
appl
i
cation
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
e
g
e
add tr
a
n
s
i
tive clo
s
ure
example
f
rom Kelly's 19
9
6 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl
_
map_trans
i
tive_cl
o
sure:
constr
u
ct gen
e
ral paths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_tra
n
sit
i
ve_clos
u
re: p
r
epare for the co
n
struct
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
i
s
l_ma
p
_t
r
a
n
siti
v
e
_closure: construct paths that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Ve
r
doolaege
isl_trans
i
tive_clo
s
ure: extract out constructi
o
n of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verdoola
e
ge
isl_map_tr
a
nsitive_
c
l
o
su
r
e: u
s
e more
gen
e
r
ic acyclic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
ge
isl_ma
p
_pr
i
nt: add p
a
r
e
ntheses aroun
d
di
s
j
u
nc
t
s
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdool
a
eg
e
isl_hash_t
a
ble: use
s
ize that c
o
rresponds to the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
aege
isl_hash_
t
ab
l
e: grow table when we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolaege
i
sl_map_coalesce: only use no
n
-
r
e
d
u
ndant
constraint
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_fi
x
_si
commit
|
commitdiff
|
tree
2010-02-13
S
ven
Verdoolaege
i
s
l_map_read: accept chains o
f
comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
erdoolaege
e
xpo
r
t isl_map
_
align_
d
ivs
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_
m
a
p
_
read: for
g
et existe
n
tial
l
y
quantified
var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdool
a
ege
isl_input
.
c: remo
v
e nee
d
less ind
i
re
c
tion
commit
|
commitdiff
|
tree
2010-02-09
Sven
V
erdoolaege
doc:
d
ocument
ho
w
to inspect
s
ets an
d
relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
e
ge
export isl_map_com
p
ute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l_c
o
ns
t
rain
t
_d
i
v
:
make sure requested div is a known div
commit
|
commitdiff
|
tree
2010-02-09
S
ve
n
V
e
r
d
oolae
g
e
d
oc: drop d
o
cume
n
tat
i
on of _d
u
mp functions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
isl_map_print:
i
mprove
output
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoola
e
ge
add isl
_
ba
s
ic_
m
ap_foreach_cons
t
raint
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
d
o
olaege
is
l
_
map
_
coalesce:
h
andle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately export
isl_set_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
olaege
isl_con
v
ex_hull
.
c:
wrap_f
a
c
e
t: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
doc: impro
v
e decriptio
n
o
f isl_map_
t
rans
i
tive_c
l
os
u
r
e
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rd
o
ola
e
ge
isl_map_transitive_closure: i
m
prove test for
exactness
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n V
e
rdoo
l
aege
add
a
c
oun
t
er example for Theor
e
m 1 of the COCOA
pape
r
commit
|
commitdiff
|
tree
2010-02-08
Sven
Ver
d
oola
e
g
e
a
d
d
isl_map_lower
_
bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
i
sl_map_power: c
o
al
e
sce
d
oma
i
n
and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_flow
.
c: add missing
i
sl_acc
e
ss
_
info_free r
e
turn
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laeg
e
isl_coa
l
e
sce
.
c:
fix
typo in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven
V
erdoola
e
ge
i
nclude
/
isl_int
.
h
:
argu
m
ent
o
f
mp_get_memory_
f
unctions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
is
l
_map_re
a
d: accept lists of affine expres
s
ions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven
V
erdoolaege
add
isl_mat_from_row_vec
a
nd isl_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
ge
i
s
l_map_r
e
ad: read exten
d
ed polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
add
i
sl_stream_next_token_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read: make su
r
e
polylib constr
a
i
n
t
c
oeffici
e
nts
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven Verdool
a
ege
isl_{map,set}_dim: han
d
le NULL input
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdo
o
la
e
g
e
isl_map_read: use more unifo
r
m way of readin
g
in
p
oly
l
ib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
i
s
l_transitive_
c
los
u
re
.
c: fi
x
typo i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
isl_map_transitive_clos
u
r
e
: use more relaxed exact
n
e
ss
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven
V
e
r
d
oolaeg
e
add isl
_
map_power and isl_ma
p
_transitive_closure
commit
|
commitdiff
|
tree
next