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_get_dim
2010-03-09
S
ven Verdoolaege
add
is
l
_
p
w_qpolynomi
a
l_ge
t
_dim
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_div_dim
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
i
sl_stream: all
o
w
"_" in tokens
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
isl_stream: accept "@" token
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
isl_map_read: accept
'*' in
affine expression
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
isl
_
qpolyno
m
ial_eval: use c
o
nsistent dimen
s
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
doc: update to
r
emoval of p
i
p
l
ib
as
a
submo
d
ul
e
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
ool
a
e
ge
doc: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolaege
isl_s
t
ream_re
a
d_
o
bj
:
a
dd support
f
or reading
pi
e
c
e
wi
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoola
e
ge
add isl_stream_re
a
d_obj
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolae
g
e
a
d
d gener
i
c is
l
_
obj
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdool
a
eg
e
add support for (pie
c
ewis
e
) quasipolynomia
l
s
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
o
o
l
a
eg
e
a
d
d
isl
_
map_
m
ove
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_stream: parse NaN
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Ver
d
oolaege
isl_stream: parse inft
y
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoo
l
aege
exp
o
rt isl_strea
m
.
h
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
isl_stream: al
l
ow
u
s
e
r specif
i
ed keyw
o
rds
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdo
o
lae
g
e
i
s
l_stream: add some auxiliary
f
un
c
tions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
isl_stream: read "def
i
nitio
n
" t
o
ken ":
=
"
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add
isl_int_tdiv_
q
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolae
g
e
privately export i
s
l_s
e
t
_
contains_point
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
add isl
_
set_count
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
oolaege
add isl_
s
et_s
a
mple_point
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdo
o
l
aege
ad
d
i
s
l_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
is
l
_basic_set
_
scan: m
a
k
e
s
ure
s
u
ffici
e
n
t
rows
a
r
e allocated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdo
o
laege
isl_map_subtract: only add
divs w
h
en needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add isl_map_order
_
divs
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolae
g
e
extract
isl_tab_add_div from isl
_
tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
isl_
v
ec
.
c: fix minor whitespa
c
e issue
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
add
isl_set_com
p
lement
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaeg
e
export isl_map_m
a
ke_disjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
add isl_ha
s
h_
t
a
b
le_foreach
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
V
erdoolaege
isl_map
_
print: ext
r
act o
u
t print_disj
u
ncts
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdo
o
la
e
ge
add isl_set_
f
ast_
i
s_uni
v
erse
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
r
doolaege
isl_input
.
c: acce
p
t
_
aff
i
ne:
fix memory leak on
e
rror
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
Verd
o
olaege
isl_m
a
p_inter
s
ect: detect
empty result a
l
so in ca
s
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
i
sl_map
_
re
a
d: skip u
n
til
t
he end of the l
a
st lin
e
w
hen
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
isl_str
e
am
_
next_token_o
n
_s
a
me_line:
c
he
c
k
if
last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaeg
e
isl
_
set_wrap
_
facet:
make sure set is marked rationa
l
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
isl_coalesce
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
isl_map_read:
a
ccep
t
list of predi
c
ated
e
lements
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolae
g
e
i
s
l_map_rea
d
: extract out parsing of
m
ap body
commit
|
commitdiff
|
tree
2010-02-19
Sve
n
Verdoo
l
aege
isl_map_read:
add
dummy variable name for unnamed v
a
ri
a
bles
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl_stream: acc
e
p
t
";
"
tok
e
n
commit
|
commitdiff
|
tree
2010-02-19
Sven Ver
d
o
olaege
us
e
-O1 optimi
z
at
i
on level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doolaege
i
s
l_map_read: accept
affine co
m
binat
i
ons of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoo
l
aege
isl_map_read: constr
u
ct basic map
while readi
n
g va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaeg
e
isl_map_
p
rint: add
p
rimes to duplicate n
a
mes
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Ve
r
doolaege
isl_map_transitive_closu
r
e
: intersec
t
w
i
t
h
domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_trans
i
ti
v
e_clos
u
re:
e
xtract o
u
t c
o
nstruction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoola
e
ge
i
s
l_map
_
tran
s
itive_closu
r
e: move acyclic
i
ty test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
a
d
d isl_set_lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_map_pr
i
nt: use consistent names on all disjun
c
ts
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdoolaege
isl_cat: allo
w
s
pecification of output
fo
r
mat on command
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven V
e
rdoolaege
i
sl
_
map_print:
s
upport
I
SL_FORMAT_
P
OLYLIB
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n
V
erdoola
e
ge
isl_map_
c
oalesc
e
: f
i
x some regressions introduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
oo
l
aege
add isl_cl
o
s
u
re test appl
i
cation
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
e
ge
add
t
ransiti
v
e
c
losure example from
Kelly's
1996
paper
commit
|
commitdiff
|
tree
2010-02-15
S
v
e
n
Verd
o
o
l
ae
g
e
isl_
m
ap_transit
i
ve_cl
o
sure
:
construct general pat
h
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_map_trans
i
tive_c
l
osure: p
r
epare for the constructi
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rd
o
olaege
isl_ma
p
_transitive_closu
r
e: construct
paths
that
can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdool
a
ege
isl_transi
t
ive
_
closure:
e
x
tract
o
ut c
o
nstructio
n
of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
map_transitiv
e
_closure: use more
g
ene
r
ic a
c
yclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
S
v
en
V
erdoolaeg
e
i
s
l_map_pri
n
t: add p
a
renth
e
ses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdo
o
l
aege
isl_ha
s
h_table: u
s
e
s
iz
e
that
c
or
r
e
sponds to
the number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
r
d
ool
a
ege
isl_hash_
t
a
ble: grow ta
b
l
e
w
h
e
n
we run out of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven Ver
d
o
o
l
aege
i
s
l
_map_co
a
lesce
:
only
use no
n
-redundant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoolaege
add isl_set_
f
ix_si
commit
|
commitdiff
|
tree
2010-02-13
Sven Ve
r
doolaege
isl_map_rea
d
:
a
ccept chain
s
of compariso
n
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
ool
a
ege
e
xport isl_ma
p
_align_di
v
s
commit
|
commitdiff
|
tree
2010-02-10
Sven Ver
d
oo
l
aege
isl_map
_
re
a
d
: for
g
et
exi
s
t
e
n
tially quanti
f
ied var
i
ables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
i
s
l_input
.
c: remove needless i
n
direc
t
io
n
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
ool
a
ege
d
oc
:
document how to inspe
c
t
s
ets a
n
d relations
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoolaege
exp
o
rt isl_
m
a
p
_c
o
m
p
ute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
isl
_
constraint_div: make sure re
q
u
este
d
div
is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Ve
r
d
o
olaege
doc: drop document
a
tion of _dump func
t
ions
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
d
oolaege
isl_map_pri
n
t: improve
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdool
a
ege
add isl
_
basic_map_foreach_constraint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_map_coal
e
sc
e
: handle more cases
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolae
g
e
privately export isl_set_wrap_face
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ol
a
ege
i
s
l
_convex_hull
.
c: wrap_fa
c
et: allo
w
un
b
o
unded
facets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
doc:
i
mprove
decripti
o
n of
i
s
l_
m
ap_
t
ransitive_closure
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdo
o
la
e
ge
isl_map_tra
n
sitive_closure: im
p
rove test for exact
n
es
s
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
add a count
e
r
examp
l
e for Theorem 1 of the COCOA pap
e
r
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoolaege
add isl_ma
p
_lower_
b
o
u
n
d
_
s
i
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_map_powe
r
: coal
e
s
ce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl_f
l
ow
.
c: add missing isl_acce
s
s
_info_f
r
ee return
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
doolaege
isl_coa
l
es
c
e
.
c: fix typo
i
n
comment
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verd
o
ol
a
ege
is
l
_map_read: accept
l
ists of affin
e
expres
s
ions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ver
d
oolaege
add isl_mat_from_row_vec an
d
is
l
_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
i
sl_map_read: read extend
e
d
p
olyl
i
b format
commit
|
commitdiff
|
tree
2010-02-04
S
v
en Ve
r
doo
l
aege
add i
s
l_stream_next_
t
oken_on_same_line
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
V
erdoolaege
isl_map_r
e
ad: make
s
ure polyl
i
b
c
onstrai
n
t
c
o
e
f
f
icients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
Verdoolaege
i
sl_{map,set}_dim:
h
andle NULL in
p
ut
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verd
o
olaege
isl_map_re
a
d:
u
se more uniform way of r
e
ading in po
l
yli
b
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_transitive_closure
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
do
o
laege
isl_
m
ap_transitive_cl
o
sure: u
s
e more rel
a
xed ex
a
ct
n
ess
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add i
s
l
_map_power and isl_map_transitive_clos
u
r
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
lae
g
e
isl_map_subtract
.
c: mak
e
so
m
e internal f
u
nction
s
static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdo
o
laege
add generic
i
sl
_
map_
p
roject_ou
t
commit
|
commitdiff
|
tree
next