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_stream: add some auxiliary functions
2010-03-04
Sven
V
er
d
o
olaege
is
l
_
stream: add
s
ome auxilia
r
y functions
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaeg
e
i
sl_stream: read "definition" token ":="
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
add is
l
_int_tdiv_q
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
privately ex
p
or
t
isl_
s
et_contains
_
p
o
int
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_set_count
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
eg
e
add isl_set_sample_point
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_point
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
isl_basic_set_scan: make
s
u
re sufficient rows are a
l
lo
c
ated
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rd
o
olaege
isl_map_sub
t
ra
c
t: only add
d
ivs
w
hen needed
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
add isl_map_order_divs
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
extr
a
ct is
l
_tab_add_div from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doo
l
aege
isl_vec
.
c: fix minor
whitespace
issue
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
a
d
d i
s
l_set_co
m
p
l
eme
n
t
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdo
o
laeg
e
export isl_map_make_d
i
sjoint
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaege
add isl_hash_table_foreach
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolae
g
e
isl_map_print: extract out p
r
int_disjuncts
commit
|
commitdiff
|
tree
2010-03-04
S
ven
V
erdo
o
l
aege
add isl_
s
et_fas
t
_is_
u
niverse
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
i
s
l_input
.
c: ac
c
ept_affine:
f
ix memor
y
le
a
k on er
r
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolae
g
e
isl_map_intersect:
de
t
e
ct empty resul
t
also
in case
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
isl_map
_
read: s
k
ip until the end
o
f
the last line wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rd
o
olaege
isl_stream_n
e
x
t
_token_on_same
_
l
i
ne:
c
heck if last token
.
.
.
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolae
g
e
isl_set_wra
p
_facet: make su
r
e set is mar
k
ed ra
t
ional
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
isl_coa
l
esce
.
c: fi
x
typo in
c
omme
n
t
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaeg
e
isl_map_read: accept
l
i
s
t of
predi
c
at
e
d elemen
t
s
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl_m
a
p_read: extract ou
t
parsing o
f
map bo
d
y
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
i
sl_map_re
a
d: add dummy variable
n
am
e
for unnamed variables
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdoolaege
isl
_
stream: acc
e
pt
"
;" token
commit
|
commitdiff
|
tree
2010-02-19
Sven Verdool
a
e
g
e
u
s
e -O1 op
t
imization level for gcc 4
.
2
commit
|
commitdiff
|
tree
2010-02-19
Sven Verd
o
olaege
drop comma at the end of enumeratio
n
s
in in
c
lude files
commit
|
commitdiff
|
tree
2010-02-18
Sven Ver
d
ool
a
ege
isl_map_read: accept affin
e
com
b
inati
o
ns of earlier
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdoolaege
i
sl_map_read: co
n
struct
b
a
s
i
c map
w
h
i
le reading va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_map_print: add
p
rimes
to duplicat
e
na
m
es
commit
|
commitdiff
|
tree
2010-02-18
Sve
n
Ver
d
oolaege
isl
_
map_t
r
ansitive_closur
e
:
impro
v
e accur
a
cy
b
y copying
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdool
a
ege
isl_
m
ap_t
r
a
n
sitive_closure
:
perform exactness check
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verdo
o
laege
isl_map_transitive_closure: refor
m
u
l
ate exactness
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Ve
r
doo
l
aeg
e
add a
t
ransitive closure example from the Omega
test
.
.
.
commit
|
commitdiff
|
tree
2010-02-18
Sven Verd
o
olaege
isl_ma
p
_transi
t
ive_closu
r
e:
com
p
ute po
w
er
o
n strongly
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
S
v
e
n Verdoolaege
i
sl_map_transitive
_
closure:
i
ntersec
t
with domain and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verd
o
olaege
isl_map_
t
rans
i
tive_closure:
extract out construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolaege
isl_ma
p
_tr
a
nsitive_closure: move
acyclici
t
y test up
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
V
erdoo
l
aeg
e
add isl_set_l
o
wer_bo
u
nd_si
commit
|
commitdiff
|
tree
2010-02-17
Sv
e
n Verdo
o
lae
g
e
isl_map_pr
i
nt: use consistent name
s
on all
disjuncts
commit
|
commitdiff
|
tree
2010-02-17
Sven Verdoolae
g
e
isl_
c
at:
a
l
l
ow specification of
o
u
t
p
ut
f
ormat on c
o
m
m
and
.
.
.
commit
|
commitdiff
|
tree
2010-02-17
Sven
Verdool
a
eg
e
isl
_
map_print:
s
upport IS
L
_FORMAT_
P
OLYLI
B
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doo
l
ae
g
e
isl_map_coalesce: fix so
m
e
regr
e
ssions i
n
troduced by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
ad
d
isl_closure te
s
t
applicatio
n
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
olaege
add tran
s
it
i
ve c
l
osure example from Kelly's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaeg
e
isl_map_t
r
a
nsitiv
e
_closure: construct g
e
n
e
r
a
l
p
aths
commit
|
commitdiff
|
tree
2010-02-15
Sven Verd
o
o
laege
i
sl_map_tran
s
i
t
ive_closur
e
: prepare for
t
h
e
con
s
truction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
e
rdo
o
laege
i
sl_map_transitive_closu
r
e: construct p
a
th
s
th
a
t
c
an
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
do
o
l
aege
isl_transiti
v
e_c
l
osure: extr
a
ct out constru
c
tion of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
isl_map_transitiv
e
_c
l
osure: use more gener
i
c a
c
ycli
c
ity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_prin
t
: add parentheses around disjunct
s
commit
|
commitdiff
|
tree
2010-02-15
Sven Ve
r
doolaege
isl_hash_tab
l
e: use size that corresponds t
o
t
h
e nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven V
e
rdoolaege
i
s
l
_hash_table: gr
o
w table whe
n
w
e
run out of ent
r
ies
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl_map_coa
l
esce:
only use non-redundant
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven Verdoola
e
ge
a
d
d isl_s
e
t_fix_si
commit
|
commitdiff
|
tree
2010-02-13
S
v
en Verdool
a
ege
is
l
_map_rea
d
: accep
t
c
h
ain
s
of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
ex
p
ort isl_map_align_divs
commit
|
commitdiff
|
tree
2010-02-10
S
ven Verd
o
olae
g
e
isl_map_read: fo
r
g
et exis
t
entially quantif
i
ed vari
a
ble
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolae
g
e
isl_inpu
t
.
c
: remove needl
e
ss indirecti
o
n
commit
|
commitdiff
|
tree
2010-02-09
Sven V
e
r
doolaege
doc: document how to inspect set
s
and relations
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
export isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l_cons
t
raint_div: m
a
ke sure r
e
queste
d
div is a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
doc: drop doc
u
mentation of _dump
f
unctions
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
i
s
l_map_print: imp
r
o
ve
o
utput
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaege
add is
l
_basic_ma
p
_foreach_cons
t
ra
i
n
t
commit
|
commitdiff
|
tree
2010-02-08
Sven Ver
d
o
olaege
isl_
m
ap_coalesc
e
: hand
l
e
more case
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
privately e
x
port isl_s
e
t_wrap_
f
acet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoola
e
ge
isl_convex_hull
.
c: wrap_facet
:
a
llow unbounded f
a
cets
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
rdoolaege
doc: impr
o
ve de
c
ription
o
f is
l
_
map_tr
a
nsitive_closur
e
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verdoolaege
isl
_
map_tran
s
itive_
c
l
o
s
ure: impr
o
ve test for
exact
n
ess
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
add a counter
examp
l
e for Theorem 1 of the COCO
A
p
a
per
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdool
a
ege
add isl
_
map_lo
w
er_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
ola
e
g
e
i
sl_m
a
p_power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven V
e
rdoolaege
isl_flow
.
c
: ad
d
missing isl
_
access_info_fre
e
retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verd
o
o
l
ae
g
e
isl
_
c
o
alesce
.
c: fix
t
yp
o
in comment
commit
|
commitdiff
|
tree
2010-02-07
Sven Verdoolaege
in
c
l
ude/isl_int
.
h: argument of mp_get_mem
o
ry
_
func
t
ions
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl
_
map_
r
ead: accept lists
o
f affine exp
r
es
s
ions
in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoo
l
aege
add isl_mat_from_row_vec and i
s
l_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoola
e
g
e
isl_map_read
:
r
e
ad e
x
tended polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdoolaege
add isl
_
stream
_
next_token
_
o
n_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_ma
p
_read: make s
u
r
e
polyl
i
b constr
a
int coeffi
c
ients
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Ve
r
doolaege
isl_{map,set}_dim:
handle NULL i
n
put
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
rdoolaege
isl_map_read: use more uni
f
o
rm w
a
y of rea
d
in
g
i
n
p
o
lylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verd
o
o
laege
isl_t
r
an
s
itive_closure
.
c:
f
ix
t
ypo
in commen
t
commit
|
commitdiff
|
tree
2010-02-04
S
v
en
Verdoolaege
isl_
m
ap_tra
n
sitiv
e
_c
l
osure: use more rela
x
ed exa
c
tness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaeg
e
add isl
_
map_pow
e
r and isl_map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n V
e
rdoola
e
ge
is
l
_m
a
p_subtract
.
c: make some internal functi
o
n
s static
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdool
a
ege
add gene
r
ic isl_map_project_o
u
t
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Verdoolaege
add isl
_
{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
S
v
en
V
er
d
oo
l
a
e
ge
r
en
a
me isl_
{
m
a
p,set}_add to isl
_
{map,set}_add_
b
a
sic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
isl_set_
p
roject_out
:
always update d
i
mension
,
e
v
en
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
i
s
l_dim_join: don't require
n
ames
o
f joined va
r
iables
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verd
o
olaege
add isl_map_from_doma
i
n_an
d
_
r
an
g
e
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
isl_stream: treat "-
"
as
oper
a
tor rath
e
r than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoola
e
ge
i
s
l_ma
p
_read: accep
t
"strict" i
n
e
q
ualitie
s
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdoolaege
i
s
l_inpu
t
.
c: fix m
e
m
o
ry deallocation problem on missing
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
er
d
oolaege
add depe
n
dence
an
a
lysis
commit
|
commitdiff
|
tree
2010-01-31
Sv
e
n Verdoolae
g
e
add isl_m
a
p
_
{
p
artial_,}lexopt
commit
|
commitdiff
|
tree
next