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
Sven Verdoolaege
add i
s
l
_
pw_qpoly
n
o
mial
_
f
o
r
e
ach
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
add isl_p
w
_qpolynomial_
g
et_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_div_d
i
m
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
V
erdoolaege
isl
_
str
e
a
m: allow
"
_"
i
n tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
isl_stre
a
m: accept
"
@
"
t
o
ken
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olaege
is
l
_map_read: accep
t
'*'
i
n
affine expressions
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aege
isl_qpolynomial_ev
a
l: use consistent
dimension
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
lae
g
e
doc
:
u
pdate
t
o removal of piplib as a su
b
module
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
l
a
ege
doc: fix typ
o
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
ge
isl_
s
tream_read_o
b
j
: ad
d
suppo
r
t for readi
n
g piecew
i
se
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add isl_stream_read
_
ob
j
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdool
a
e
ge
add generic isl
_
obj
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add suppo
r
t for (pie
c
ewise) quasipoly
n
omials
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_ma
p
_mov
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doola
e
ge
isl_str
e
a
m: p
a
r
s
e NaN
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
eg
e
i
s
l_stream: parse
inf
t
y
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
export isl_stre
a
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_s
t
ream
:
allow use
r
specified keywords
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
is
l
_
stream: a
d
d some a
u
xiliary func
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_stre
a
m: read "defini
t
ion" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
ad
d
i
sl_int_tdiv
_
q
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
pr
i
vately export isl_set_
c
o
n
tains_po
i
n
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
a
d
d
isl_se
t
_
coun
t
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
add isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ve
r
dool
a
ege
a
d
d is
l
_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_ba
s
ic_se
t
_scan: make sure suffici
e
nt row
s
ar
e
alloc
a
ted
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rd
o
o
laege
isl_ma
p
_subtract
:
only add divs whe
n
needed
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaeg
e
add i
s
l_
m
ap
_
o
rder_divs
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Ver
d
oolaege
extract isl_tab_add_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
Ver
d
o
o
la
e
g
e
isl_
v
ec
.
c: fix minor wh
i
tespace issue
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Ver
d
oo
l
a
e
g
e
add
i
s
l
_set_compl
e
men
t
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaeg
e
e
x
p
o
rt isl_map_make_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdoolaege
add
isl_hash
_
t
able_fore
a
ch
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
lae
g
e
is
l
_m
a
p_print: extrac
t
out print_disju
n
cts
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
a
d
d i
s
l_set_fast_is_
u
nive
r
s
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_
i
npu
t
.
c:
a
ccept_a
f
fine:
f
i
x
mem
o
ry leak on err
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ol
a
ege
isl_map_int
e
r
s
ect
:
detect empty res
u
lt also in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
isl_map_re
a
d: skip u
n
t
il the end o
f
the l
a
st lin
e
when
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oola
e
ge
i
sl_stream_next_token_on_same_l
i
n
e: che
c
k if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_set_
w
ra
p
_facet: m
a
ke sure set is marked rat
i
onal
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
isl_coalesce
.
c: f
i
x typ
o
i
n
comment
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_m
a
p_r
e
ad: acc
e
pt li
s
t of p
r
e
dicated el
e
ments
commit
|
commitdiff
|
tree
2010-02-19
S
ven Verdoolaege
isl_m
a
p_read: extract out parsing
of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
S
v
en Verdoolaege
isl
_
m
a
p_r
e
ad: add dummy v
a
riable name for
u
nnam
e
d variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_stream: accept ";" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
us
e
-
O
1 optim
i
zation level
for
gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven
Verdool
a
ege
isl_m
a
p_read: acc
e
pt affine combinations of
earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
ola
e
ge
i
sl_map_re
a
d: con
s
tr
u
ct basic ma
p
wh
i
l
e
r
eadi
n
g
variable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sv
e
n Ver
d
o
o
laege
add a tra
n
sitive closure exam
p
l
e from the Om
e
ga test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
i
s
l_map
_
transi
t
ive_closure
:
co
m
pute power on strongl
y
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ven Verdoolaege
i
s
l_
m
ap_transitive_closu
r
e: intersec
t
w
ith
d
omain
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
i
s
l_map_transitive_closure:
e
xtract out cons
t
r
uction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doo
l
aege
isl_map_transitive_closure: mo
v
e
a
cyclicity
test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaeg
e
isl_m
a
p_print: u
s
e consistent name
s
o
n
a
ll disjunct
s
commit
|
commitdiff
|
tree
2010-02-17
Sve
n
Verdoolaege
isl_cat
:
allow
s
pec
i
fication of out
p
ut f
o
r
m
at on
command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
ve
n
Verd
o
olaege
i
sl_map_print: support ISL_FORMA
T
_
POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Ve
r
dool
a
ege
i
s
l
_
map_
c
oalesce: f
i
x some
r
e
gres
s
ions i
n
tr
o
duce
d
by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
a
d
d is
l
_clos
u
re test appli
c
ation
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
V
e
r
doolaege
add transitive closu
r
e example
f
rom Kelly's 199
6
paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Ver
d
oola
e
g
e
isl_map_transit
i
ve_closur
e
:
c
onstruc
t
g
e
neral p
a
t
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoolaege
i
sl_map_trans
i
tiv
e
_closure: prepare
for the construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
isl_map_tran
s
itive
_
closure: con
s
truct
pat
h
s that
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoo
l
aege
is
l
_transiti
v
e_closure: extract out
c
ons
t
ruction
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
o
l
aege
isl_map_transitive_closure:
use more generic
ac
y
clic
i
ty
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
ven Verdoolaege
isl
_
map_p
r
int: add parent
h
e
s
es
a
r
o
und disju
n
cts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laege
isl_h
a
sh_tab
l
e
: use size
that corresponds to the
number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_hash_table: grow table
when w
e
run out
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdo
o
laeg
e
isl_
m
a
p
_coalesce: only u
s
e non-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
a
dd isl_set_fix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
isl_map_read: accept chains
o
f com
p
arisons
commit
|
commitdiff
|
tree
2010-02-10
Sven V
e
rdoolaege
ex
p
ort isl_map_a
l
i
g
n
_divs
commit
|
commitdiff
|
tree
2010-02-10
Sven
V
e
rdoo
l
aeg
e
isl_map_read: forg
e
t ex
i
sten
t
ial
l
y quantified variable
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
S
ven
V
erdoolaege
is
l
_inpu
t
.
c:
re
m
ove needless indirectio
n
commit
|
commitdiff
|
tree
2010-02-09
S
ven V
e
rdoolaege
doc: d
o
cument h
o
w to
i
nspect sets and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
export
isl_map_com
p
u
t
e_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verd
o
olaege
isl_const
r
aint_div: m
a
k
e
s
ure
requested div is a know
n
di
v
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdoolaege
doc: d
r
op doc
u
m
e
ntation of _dump functions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl_map_print: improve outpu
t
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verd
o
o
laege
add i
s
l_
b
asic_map_fo
r
each_constra
i
nt
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
l
aege
is
l
_map_
c
oalesce: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sv
e
n
V
erd
o
olaege
privat
e
ly expo
r
t isl_s
e
t_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_
c
onvex
_
hull
.
c: wrap_facet: allow unbounded facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
doc: improve
d
ecr
i
p
tion of isl_ma
p
_t
r
an
s
itive_clo
s
ure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Ve
r
d
o
olaege
isl
_
map_tr
a
nsitive_clos
u
re: improve test for exactness
commit
|
commitdiff
|
tree
2010-02-08
S
v
en
V
erdoolaege
add a counter e
x
a
m
pl
e
for Theorem 1 of the COCO
A
p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoo
l
aege
add is
l
_map_lower_bound
_
si
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
erdoolaege
isl_m
a
p
_
p
o
w
er
:
coalesce domain
a
nd
r
ange
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_fl
o
w
.
c: a
d
d mis
s
ing
i
sl_acc
e
ss_info_free retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_coalesce
.
c:
f
ix typo in c
o
mment
commit
|
commitdiff
|
tree
2010-02-04
Sv
e
n Verdoolae
g
e
isl_map_rea
d
:
accept lists of
a
ffine expres
s
i
ons in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
oolaege
add isl_mat
_
from_row_ve
c
and
isl_
m
a
t
_
v
ec_conc
a
t
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_ma
p
_
rea
d
:
r
e
ad extended polyl
i
b format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
ad
d
isl_stream_ne
x
t_token_on_same_li
n
e
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Ver
d
o
o
laege
isl_map_read: make sure polyli
b
cons
t
r
a
int coefficients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_{ma
p
,
set}_dim: hand
l
e NULL
input
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdool
a
e
ge
isl
_
map_read:
use
more uniform w
a
y of reading in polylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_transitiv
e
_clos
u
re
.
c: fix typo in
comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
olaege
isl_ma
p
_
tra
n
s
itive_closure: use more
r
elaxed
ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdoolaege
add isl_map_power an
d
isl_ma
p
_transitive_c
l
osure
commit
|
commitdiff
|
tree
2010-02-03
S
ven Verdoolaege
i
sl_map_subtract
.
c: make some int
e
rnal functions stati
c
commit
|
commitdiff
|
tree
next