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_pw_qpolynomial_foreach_piece
2010-03-09
S
ven Verdoolaege
add isl_pw
_
qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
add isl_pw_qpolynomial_g
e
t
_dim
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdo
o
laege
add i
s
l_div_
d
im
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
is
l
_stream: allow "_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_stream: acc
e
pt
"
@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
l
_map
_
re
a
d: accept '*'
i
n affine express
i
ons
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdo
o
laege
isl_
q
polynomial_eval: use consistent
dimension for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: update
to remov
a
l
o
f pi
p
l
ib as a submodule
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdool
a
ege
is
l
_stream_read_obj: add support for readin
g
piecew
i
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
dool
a
ege
add isl_
s
tream
_
read_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
a
d
d generic isl_obj
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add
support for (pie
c
ewise) quasipolyn
o
mial
s
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
oolae
g
e
add isl_map_m
o
ve
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oola
e
ge
isl_stre
a
m: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
isl_stre
a
m
:
par
s
e inft
y
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Ve
r
doo
l
aege
e
x
p
ort isl_stream
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stream: allow user s
p
e
cifi
e
d
keyw
o
rds
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doo
l
aege
isl_
s
tream
:
add som
e
auxiliary
f
uncti
o
ns
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
i
sl_stream: read
"
definit
i
o
n
" token ":
=
"
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ve
r
d
oolaege
ad
d
i
s
l_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
p
r
i
vately ex
p
o
rt
i
sl_set_
c
ont
a
ins
_
point
commit
|
commitdiff
|
tree
2010-03-04
S
ve
n
Verdoolae
g
e
add isl_se
t
_count
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
add is
l
_set_sample_p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
a
ege
add i
s
l_poin
t
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdoolaege
i
sl_b
a
sic_set_scan: make sur
e
suffici
e
nt rows are allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
ola
e
ge
isl_map_subtract: only a
d
d divs when needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
ad
d
is
l
_map_o
r
der_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extract isl_ta
b
_add_div f
r
om isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
er
d
oolaege
i
sl_vec
.
c
:
fix minor
w
hitespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verd
o
olaege
add is
l
_
set_comp
l
ement
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
export
i
sl_map_make_disjoin
t
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oo
l
ae
g
e
a
d
d isl_hash_ta
b
le_f
o
reach
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_map_print:
e
xtr
a
c
t o
u
t print_d
i
sjuncts
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoola
e
ge
add isl_s
e
t
_
f
a
st_is_universe
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
i
s
l_
i
nput
.
c: accept_affine
:
fix memory le
a
k on
error
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
isl_map
_
i
ntersect: dete
c
t empt
y
resu
l
t
also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ve
r
doolaege
isl
_
map_read: skip until the end of
t
h
e last line when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
erdoolaege
i
s
l_stream_n
e
xt_to
k
en_
o
n_s
a
me_l
i
ne: check i
f
last toke
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_set_wrap_facet: make sure s
e
t is
m
arked rational
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
is
l
_
c
o
alesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoolaege
isl_map_read: accep
t
list of predicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
Sven V
e
rd
o
o
laege
isl_m
a
p_read: extrac
t
out parsin
g
of map
b
ody
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verd
o
olae
g
e
isl_map_read
:
ad
d
d
ummy vari
a
ble n
a
m
e
for
unnamed vari
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoolae
g
e
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
S
v
en
V
e
rdoolaege
u
se -
O
1
o
ptimization level fo
r
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
isl_
m
a
p
_read:
accept affine combinations
o
f earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
S
v
en V
e
rdoolaeg
e
isl_map_r
e
a
d
: construct
basi
c
map while
reading va
r
i
able
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Verdo
o
l
ae
g
e
i
sl_m
a
p_
p
r
in
t
:
add primes
t
o duplicate names
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoo
l
aege
isl_map_transitiv
e
_closure: intersect wi
t
h domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
e
rdool
a
ege
isl_ma
p
_trans
i
tive_closure: extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdo
o
laege
i
s
l_map
_
t
rans
i
tive_closure: move acyclici
t
y test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdoolaege
add i
s
l
_
set_lower_bou
n
d_si
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
i
sl_map_print: use consist
e
nt
n
am
e
s on all disj
u
nct
s
commit
|
commitdiff
|
tree
2010-02-17
S
v
en Verdo
o
laege
isl_cat
:
allow
s
pecification of output
for
m
a
t
on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_print: support ISL_FORMAT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_
m
a
p_
c
o
a
le
s
ce: fix some re
g
re
s
sions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
Verdoolae
g
e
add
i
sl_
c
los
u
re test
a
p
plication
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
er
d
o
o
l
aege
a
d
d
tr
a
nsit
i
ve closu
r
e ex
a
mple from Kelly's
1
9
96
pap
e
r
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n Verdoolaeg
e
isl_map_transitiv
e
_clo
s
u
r
e: construct gener
a
l pa
t
hs
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
l
a
ege
isl_ma
p
_transi
t
ive_closure:
prepare for t
h
e c
o
n
struct
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoo
l
a
e
ge
isl_
m
ap_transitive_c
l
osure: c
o
nstr
u
ct p
a
ths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaege
isl_transitive_closur
e
: extract out c
o
n
s
truc
t
io
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Ver
d
o
o
l
a
ege
isl_map_tra
n
sitiv
e
_closure: use more generic acyclici
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_print
:
add parentheses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdo
o
laege
isl_
h
a
s
h_table: use size that co
r
r
es
p
onds to the nu
m
be
r
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_hash_table: grow table
w
h
e
n we
r
un
o
ut o
f
entries
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoo
l
aeg
e
isl_m
a
p_co
a
l
e
s
c
e: only
use non-redundant con
s
traints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Ver
d
ool
a
ege
add isl_
s
et_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
erdoolaege
isl_map_read
:
accept
chains of compa
r
isons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
ex
p
ort isl_map_a
l
ign_di
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Ve
r
d
ool
a
ege
i
s
l_
m
ap_r
e
ad: forget exist
e
nt
i
ally quant
i
f
ied variables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
isl_input
.
c: remov
e
needless
indirection
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
V
erdoolaege
d
o
c: docu
m
ent how to
inspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
export isl_m
a
p_co
m
p
u
te_
d
i
vs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_constraint_d
i
v
: make sure requeste
d
div is a k
n
own div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolae
g
e
doc: drop documen
t
at
i
on of _dump
f
unction
s
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
sl_m
a
p_print: im
p
rove output
commit
|
commitdiff
|
tree
2010-02-09
S
v
en
Verdoolaege
add is
l
_basic_map_foreach_
c
onstraint
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoola
e
ge
isl_map_coalesce:
h
andle more c
a
ses
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
pr
i
vately e
x
port isl_set_w
r
ap_fac
e
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doolaege
isl_convex_
h
ull
.
c: wrap_fa
c
et: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve decription of isl_map_tran
s
itive_clo
s
ur
e
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
isl_map_transi
t
i
v
e_
c
los
u
re: impr
o
ve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
S
ven Verdoolaege
add a co
u
n
t
er example for
Theor
e
m 1 of the COC
O
A
pape
r
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add isl_m
a
p
_lower_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map
_
pow
e
r
:
coales
c
e
d
o
m
ain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
isl_f
l
ow
.
c: add
missing isl_acces
s
_info_free return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl
_
coale
s
ce
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doo
l
ae
g
e
isl_map_r
e
ad: a
c
cept lists
of af
f
ine expressions i
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
add isl_mat_from_row_ve
c
and isl
_
ma
t
_vec_c
o
ncat
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdo
o
laege
isl_map
_
read: read extended
p
o
l
ylib
f
orm
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolaege
add isl_stream_next_toke
n
_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaeg
e
is
l
_map_r
e
ad: make s
u
r
e
polylib c
o
nstraint coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_
{
ma
p
,set}_dim: handle N
U
LL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoo
l
a
e
g
e
i
sl_map_
r
ead: use
more
u
niform way of read
i
ng in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_tran
s
itive_closure
.
c: fix typo
i
n co
m
ment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolae
g
e
isl_map_transitive_closure:
use more re
l
axed e
x
actness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
add isl_map_p
o
wer
a
nd isl_map_transitive_closur
e
commit
|
commitdiff
|
tree
2010-02-03
Sve
n
Ve
r
doolaeg
e
isl
_
map_subtract
.
c
: mak
e
some int
e
rnal functions stati
c
commit
|
commitdiff
|
tree
next