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_tab: add isl_tab_add_valid_eq
2009-07-13
Sven Verdoolae
g
e
i
s
l_tab:
add i
s
l_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
expor
t
i
s
l_t
a
b_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
ol
a
ege
add isl_int
_
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
p
r
ivately
e
xport isl_basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_convex_hu
l
l
.
c: add
missing assi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately expo
r
t
is
l
_ba
s
ic_se
t
_lineali
t
y
_
space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_vec:
k
e
e
p trac
k
o
f
i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coales
c
e
.
c:
f
i
x typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdool
a
ege
u
p
da
t
e
piplib fo
r
change in
c
onf
i
gure arg
u
ments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_basi
c
_map_d
r
op_redundant_di
v
s: coale
s
ce
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_
b
as
i
c_map_drop_red
u
ndant_divs: set div expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoola
e
ge
i
s
l
_basic_
m
a
p
_dr
o
p_redund
a
nt_divs:
dr
o
p more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
isl_map_com
p
ute_divs: drop obvi
o
usly r
e
dundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_map_
p
iplib
.
c: extremum_on:
detect
e
qual
i
ties firs
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_pip_b
a
si
c
_
m
ap_compute_d
i
vs: remov
e
some equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
l
aege
isl_pip_basic_map_compute_divs: sepa
r
at
e
ou
t
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basic_set_preimage: handle
div
s
i
n
i
n
put
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_input_omega
.
c: make
v
ariable
_
{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_m
a
p
.
c: make add_d
i
vs st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_simplify: detect div constr
a
ints
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_basic_map_drop: properly
handle dimensio
n
s
o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdool
a
ege
add
i
sl_int_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
d
o
olaege
add
i
sl_seq_fd
i
v_
q
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Ver
d
oolaege
add
isl_seq_fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_basic_map_
d
e
t
e
c
t_equalities: pr
o
perly
h
andle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdo
o
laege
i
sl_basi
c
_map_
i
s
_
e
mpty: explicitly mar
k
b
a
sic se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdo
o
l
aege
is
l
_
m
a
p
.
c: order_divs
:
s
w
ap
wit
h
corre
c
t div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
ae
g
e
i
s
l_map_coalesce: remove ext
r
a divs
int
r
oduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdool
a
ege
add isl_map_coalesc
e
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdo
o
laeg
e
export isl
_
map
_
d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
isl_map_conve
x
_h
u
ll: handle unbound
e
d, but point
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdool
a
ege
p
rivately ex
p
ort isl_mat_u
n
imodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoola
e
ge
isl_ta
b
.
c: ad
d
isl_ta
b
_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdo
o
laege
isl_
m
ap_convex_hull
:
avoid introducing lineality
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
V
erdoolaege
add
two more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
o
olaege
isl_map_convex_hu
l
l
:
remo
v
e
l
ineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolaege
add is
l
_basic
_
set_is_un
i
verse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
Ve
r
dool
a
ege
isl_convex
_
hull
.
c
: upd
a
te wrap_facet
t
o t
h
e fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
r
d
oolaege
isl_convex
_
hul
l
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
i
s
l_coalesce
.
c: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
i
sl_basic_set_ge
t
_di
m
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdo
o
laege
is
l
_
b
asic_map_gist:
n
ormalize divs
(
i
f
any) in context
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verd
o
o
l
aege
isl
_
b
a
sic_m
a
p_simplify: rem
o
ve duplicat
e
di
v
s b
e
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
add i
s
l_basic_set_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
change calli
n
g convention
o
f isl_basi
c
_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
m
ap_simplify
.
c: uset_gist: b
r
e
ak early if ther
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoola
e
ge
isl_map_simplify
.
c: uset_gist: break early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
add isl
_
basic_set_f
a
st_i
s
_
empt
y
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: sto
r
e number o
f
equal
i
ties among the con
s
t
raints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_mat_extend: p
r
operly
ext
e
nd matrices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
sl_
m
ap_gist:
h
a
ndle som
e
speci
a
l c
a
ses
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add
i
sl_m
a
p
_universe
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
add isl_basic_map_
f
ast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl
_
basic_map
_
gis
t
: replace by new version
b
a
sed on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
i
s
l
_map_simp
l
ify
.
c:
compute
_
elimination_
i
ndex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oo
l
aege
a
dd isl_ma
p
_implicit_equalitie
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
laege
add isl_b
a
sic_set_f
r
ee
_
eq
u
al
i
ty
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
l
a
ege
isl_map_convex_hull: mark resul
t
as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
e
g
e
c
onvex_hull: coalesce
s
et first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add isl_se
t
_coalesc
e
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolae
g
e
isl_input_om
e
ga
.
c: basic_map_r
e
ad: accept "+"
i
n constraint
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_
b
a
s
i
c
_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d
isl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
u
s
et_affine_hull: ignore directions i
n
affi
n
e hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_basi
c
_map_implicit_eq
u
al
i
ties: p
e
rform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
isl_affine_hull
.
c:
outside_point: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
p
rivately export isl_ba
s
ic_se
t
_conta
i
ns
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_ctx:
a
dd
n
egone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
isl_vec_dump
:
handle
N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
i
sl_
a
f
fi
n
e_hull
.
c
:
ex
t
r
a
c
t
us
e
t_
a
ffine
_
hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verd
o
olaege
isl
_
mat
_
transpose: handle non
-
r
e
ct
a
ngular matri
c
es
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l_map_simple_hull: c
o
m
pute affine hull
bef
o
r
e
a
l
igning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_si
m
ple_hull: mark res
u
lt as not having an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
add is
l
_set_bounded_s
i
mple_
h
ul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_ma
p
_affine_hull: detect equalities
of intege
r
a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_ba
s
ic_map_dup:
c
op
y
f
l
a
g
s of ori
g
inal to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
dool
a
ege
isl_basic_map_ex
t
end_dim: mov
e
r
e
s
p
onsi
b
ility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_ba
s
ic_map_extend_d
i
m
:
o
n
ly ext
e
nd const
r
aint m
a
t
r
ix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_solve_lp
:
use table
a
us i
n
stead of calling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
isl_so
l
v
e_lp:
a
ccept affi
n
e
object function ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
isl_map_s
i
mple_hull: use hash t
a
b
les a
n
d tablea
u
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
_
convex_hull
.
c: extrac
t
out uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hu
l
l
.
c: extend: avoid wrapp
i
ng around
a
lready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
isl_c
o
nvex_hull
.
c: introduce proto_hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conve
x
_hull
.
c: m
o
ve
i
nitial hull construction
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_c
o
n
vex_hul
l
.
c: move comp
u
tation of bounds
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_map_convex_hull
:
c
heck for boundednes
s
us
i
ng reces
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
isl_basic_
m
ap_
c
onvex_hull: us
e
ta
b
leau to detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
doola
e
ge
isl_tab
.
c: don
'
t detect e
q
u
alities
w
hile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
a
dd isl_set_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
privately export isl_basic_{set,map}_normalize_co
n
straints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add
is
l
_
basic_set_ext
e
nd_dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
i
s
l_basic_map_eliminate_vars: clear di
v
s fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basic_map_eli
m
inate_vars: remove
a
l
l dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_hash_tabl
e
_alloc and
i
sl_hash_t
a
ble_free
commit
|
commitdiff
|
tree
next