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_map_print: support ISL_FORMAT_POLYLIB
2010-02-17
Sven Verd
o
o
l
aege
isl_map_print: suppor
t
I
S
L_FOR
M
AT_POLYLIB
commit
|
commitdiff
|
tree
2010-02-17
Sven Ve
r
doolaege
is
l
_map_
c
oal
e
s
c
e: fix so
m
e regress
i
o
n
s introdu
c
ed by
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoola
e
g
e
a
d
d isl_closure
t
es
t
applic
a
tion
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erdoolaeg
e
add transi
t
i
v
e closure e
x
ample fr
o
m Ke
l
l
y
's 1996 paper
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verd
o
o
l
aege
isl_map_transitive_closure: construct general paths
commit
|
commitdiff
|
tree
2010-02-15
S
v
en Verdoolaege
is
l
_map_tran
s
itive_closure: prepare for
t
h
e
construction
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sv
e
n Verdoola
e
ge
isl_ma
p
_t
r
ansitive_closure: constru
c
t paths that can
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
is
l
_transitive
_
closu
r
e: extr
a
ct
out c
o
nst
r
uction of
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sve
n
Verdoo
l
aege
i
s
l_
m
ap_trans
i
t
i
v
e_c
l
osure: use more
generic acyclicity
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
s
l_map_print: ad
d
paren
t
heses around disjuncts
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
isl
_
hash_table: use
size
that
c
orres
p
onds to
t
he number
.
.
.
commit
|
commitdiff
|
tree
2010-02-15
Sven Verdoolaege
i
sl_hash_ta
b
le:
g
row table when we run o
u
t
of entries
commit
|
commitdiff
|
tree
2010-02-15
Sven
V
erd
o
olaege
isl
_
map_co
a
lesce
:
only
us
e
non
-
redu
n
dant constraints
.
.
.
commit
|
commitdiff
|
tree
2010-02-13
Sven
Verdoolaege
add isl_set_fix
_
si
commit
|
commitdiff
|
tree
2010-02-13
Sven
V
e
rdoola
e
ge
isl_m
a
p_re
a
d: ac
c
ept chains
of comparisons
commit
|
commitdiff
|
tree
2010-02-10
Sv
e
n Verdoolaege
expor
t
isl_map_al
i
gn_divs
commit
|
commitdiff
|
tree
2010-02-10
Sve
n
Verdoolaege
isl_
m
ap_read: forget existential
l
y quantified
v
ariables
.
.
.
commit
|
commitdiff
|
tree
2010-02-10
Sven Verdoolaege
is
l
_input
.
c: remove n
e
edless
i
ndirect
i
on
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
o
olae
g
e
doc: do
c
ume
n
t how to
ins
p
ect sets an
d
r
e
l
a
ti
o
n
s
commit
|
commitdiff
|
tree
2010-02-09
Sve
n
Verdo
o
laege
e
x
port isl_map_compute_divs
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoola
e
ge
isl_constrai
n
t_div: m
a
ke sure requested d
i
v is
a known div
commit
|
commitdiff
|
tree
2010-02-09
Sven Ver
d
oolaege
doc
:
drop documentation of
_dump f
u
nctions
commit
|
commitdiff
|
tree
2010-02-09
Sv
e
n Verdoo
l
aege
isl_map_print:
i
mprove output
commit
|
commitdiff
|
tree
2010-02-09
Sven Verdoolaeg
e
add isl_
b
asic_map_fo
r
eac
h
_
c
onst
r
aint
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
isl
_
map_coalesce: han
d
le more ca
s
e
s
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
private
l
y export isl_
s
et_wrap_facet
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdoolaege
is
l
_convex_hull
.
c
:
wrap_facet:
a
l
l
o
w unbounded fa
c
et
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Ve
r
doolaege
d
o
c
:
i
mprove decripti
o
n
o
f
isl_
m
ap_transitive_closure
commit
|
commitdiff
|
tree
2010-02-08
S
v
en Verdoola
e
g
e
i
s
l
_
map_transitiv
e
_closure:
i
mprove test for exactness
commit
|
commitdiff
|
tree
2010-02-08
Sven
V
e
r
doolaege
add
a co
u
nt
e
r ex
a
mple fo
r
Theorem 1 of the CO
C
OA paper
commit
|
commitdiff
|
tree
2010-02-08
Sve
n
Verd
o
olaeg
e
add isl_
m
ap
_
lowe
r
_bound_si
commit
|
commitdiff
|
tree
2010-02-08
Sven Ve
r
doo
l
aege
is
l
_ma
p
_power: coalesce domain and range
commit
|
commitdiff
|
tree
2010-02-08
Sven
Verdoolaege
i
s
l
_flow
.
c: add mi
s
sing
isl
_
a
c
cess_info_free retu
r
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-08
Sven Verdo
o
laege
is
l
_coalesce
.
c: fix
ty
p
o in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdo
o
laege
isl_ma
p
_read: accept lists of affine expressions in
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
add isl_mat_
f
r
o
m_row_vec a
n
d is
l
_mat_vec_concat
commit
|
commitdiff
|
tree
2010-02-04
Sven
Ver
d
oo
l
aege
isl_map_read: read extende
d
polylib format
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolae
g
e
add isl_stream_next_token_
o
n_same_line
commit
|
commitdiff
|
tree
2010-02-04
Sven
Verdoolaege
isl_map_read:
make sure pol
y
lib constraint
c
oeff
i
c
i
e
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
Sve
n
Verdo
o
laege
isl_{ma
p
,
set}_dim: handle
N
ULL input
commit
|
commitdiff
|
tree
2010-02-04
Sven V
e
r
d
o
ola
e
ge
isl_
m
a
p
_
read: us
e
m
ore uniform way
o
f
r
e
ad
i
ng in
p
o
l
ylib
.
.
.
commit
|
commitdiff
|
tree
2010-02-04
S
ven
V
erdoolaeg
e
isl_transitive_closure
.
c
: fix
t
y
po in comment
commit
|
commitdiff
|
tree
2010-02-04
Sven Verdoolaege
isl_m
a
p_t
r
ansitiv
e
_closure: use mo
r
e relaxed ex
a
ctness
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Ve
r
d
oolaege
add i
s
l
_map_power and is
l
_
map_transitive_closure
commit
|
commitdiff
|
tree
2010-02-03
Sven
Verdoo
l
aege
isl_map
_
s
u
btract
.
c: make som
e
inte
r
nal functions static
commit
|
commitdiff
|
tree
2010-02-03
Sven
Ver
d
oolaege
add generic
isl_map_p
r
oject_out
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
erdool
a
ege
add
i
sl_{map,set}_add
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
r
e
n
ame isl_{
m
ap,
s
et}_add to isl_{map,se
t
}_add_basic_
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sv
e
n Verdool
a
ege
isl
_
s
e
t
_
p
r
oject_out
:
always u
p
date di
m
ension, eve
n
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven
V
er
d
oolaege
isl_dim_
j
oin: don't r
e
qu
i
re names of
jo
i
ned v
a
ri
a
bles
.
.
.
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdoolaege
add
isl_m
a
p_
f
r
om_d
o
main_and_range
commit
|
commitdiff
|
tree
2010-02-03
Sven Verdo
o
laege
isl_
s
tream:
t
rea
t
"-" as operator rather than as -1
commit
|
commitdiff
|
tree
2010-02-03
Sven Ver
d
oo
l
aege
isl_map_
r
e
a
d:
accept "st
r
ict" i
n
equ
a
lities
commit
|
commitdiff
|
tree
2010-02-03
S
v
en Ver
d
oolaege
i
s
l_input
.
c: fix memory de
a
llocat
i
on problem on mis
s
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doolae
g
e
ad
d
depen
d
enc
e
a
nalysis
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
erdoolae
g
e
add isl_map_{partial_,}lexopt
commit
|
commitdiff
|
tree
2010-01-31
Sven
V
er
d
oolae
g
e
add private isl_{set
,
map}_make_
d
i
sjoint
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
b
asis_re
d
u
ction_templ
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2010-01-31
Sven Ve
r
doola
e
ge
isl_tab_p
i
p
.
c: find_solutions: br
e
ak wh
e
n
context becomes
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
S
ven
V
erdoolaege
isl_dim_equ
a
l: don't require nam
e
s
of input
a
nd
output
.
.
.
commit
|
commitdiff
|
tree
2010-01-31
Sve
n
Verdoolaege
isl_di
m
_map
:
properly duplicate names
commit
|
commitdiff
|
tree
2010-01-31
Sven Verdo
o
laege
isl_dim_dr
o
p: properly adjust len
g
th of names array
commit
|
commitdiff
|
tree
2010-01-26
S
ven V
e
rdoolaege
doc: a
b
it more
on
i
ntegers
commit
|
commitdiff
|
tree
2010-01-26
Sven
Ver
d
oolaege
d
oc:
describ
e
input/output formats
commit
|
commitdiff
|
tree
2010-01-26
Sven V
e
r
doolaege
d
o
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2010-01-25
Sve
n
Verdoolaege
add isl_cat test
application
commit
|
commitdiff
|
tree
2010-01-25
S
v
en
V
er
d
oolaege
add omega
o
ut
p
ut
commit
|
commitdiff
|
tree
2010-01-25
Sven
V
erdo
o
laege
a
d
d isl outp
u
t
commit
|
commitdiff
|
tree
2010-01-25
Sven
Ve
r
do
o
laege
i
sl_test:
u
se isl_se
t
_r
e
ad_fr
o
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add
i
sl_se
t
_
read_from_st
r
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
add is
l
_ma
p
_
read_fro
m
_
str
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoola
e
ge
i
sl
_
map
_
read_from_file: allow unions in isl forma
t
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
ven
V
erdoolaege
is
l
_basic_map_read: read definitions of existential
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
privately ex
p
ort is
l
_basic
_
map_add
_
div_
c
onstr
a
ints
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doolaege
isl_basic_map_read: read affine constrai
n
t as
two affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
S
v
en Ver
d
oo
l
aege
is
l
_input
.
c: optio
n
ally read p
a
rameters from
input
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
t
okenizer: accept "and" keyw
o
r
d
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdoolaege
ex
p
or
t
isl_map_re
a
d_fr
o
m
_file
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaege
export
isl_basic
_
map_read_from_
s
tr
commit
|
commitdiff
|
tree
2010-01-25
Sven Ver
d
oolaeg
e
drop
r
e
dundant input_
f
ormat a
r
gument from reading fun
c
tion
s
commit
|
commitdiff
|
tree
2010-01-25
Sven Ve
r
doola
e
ge
i
sl_
i
nput
.
c
:
merge fun
c
tions for re
a
ding Poly
L
ib and
.
.
.
commit
|
commitdiff
|
tree
2010-01-25
Sven Verdo
o
lae
g
e
is
l
_
i
nput_o
m
ega
.
c: accept P
o
lyL
i
b input
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
isl_
i
nput_
o
mega
.
c
:
prepare
f
o
r
r
eadi
n
g parametri
c
un
i
ons
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Ver
d
oolaege
isl_input_o
m
e
g
a
.
c: fi
n
aliz
e
and simplify resulting
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
S
v
en Verdoolaege
is
l
_input_omega
.
c: fix check f
o
r memory allocation
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoolaege
isl_stream_nex
t
_token: skip com
m
ent lines
commit
|
commitdiff
|
tree
2010-01-24
S
ven Verdoolaeg
e
isl
_
ta
b
_bas
i
c_
m
a
p
_
p
artial_l
e
xo
p
t
: prop
e
rly handle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven Verdoola
e
ge
isl_basic
_
ma
p
_s
e
t_
t
o
_
e
m
pty: remove sample (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sve
n
Verdoolaege
add isl_set_fast_
i
s_empty
commit
|
commitdiff
|
tree
2010-01-13
Sven
V
erdoolaege
properly remove piplib submodul
e
commit
|
commitdiff
|
tree
2010-01-08
Sv
e
n Verdoolae
g
e
is
l
_
basic_map_update_from_tab: re-ga
u
ss resulting bmap
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoo
l
aeg
e
ax_s
u
bmodule
.
m4: don't let --with-mod
u
le conf
l
ict
w
i
t
h
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoolaege
i
sl_ba
s
ic_set_compa
r
e_at
:
compute
r
e
s
ult in
terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sve
n
Verdoo
l
aege
i
s
l
_t
a
b_pip
.
c: a
d
d cu
t
s for all non-integer
c
oordinate
s
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
S
v
e
n
Verdoolaege
isl
_
basic_map_
g
ist: don't drop equalities from context
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verdoolaege
isl_convex_hull
.
c: initial_fac
e
t_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_convex_hull
.
c:
is_independent_boun
d
:
normalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolaege
isl
_
convex_h
u
ll
.
c
:
ex
t
end
:
check
hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Ver
d
oolaege
isl_mat_righ
t
_in
v
e
rse:
be more verbose on error cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdo
o
laege
isl_c
o
nstrain
t
_d
u
p: make s
u
re
li
n
e ref
e
rs to equation
.
.
.
commit
|
commitdiff
|
tree
next