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_polyhedron_minimize application
2009-06-11
Sv
e
n
Verdo
o
lae
g
e
isl_m
a
p_c
o
mpute_divs: drop obviously redu
n
dant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c
:
extr
e
mum_
o
n: de
t
ect equa
l
itie
s
f
i
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
do
o
l
aege
isl_pip_basi
c
_map_compute_divs: remov
e
some eq
u
a
l
iti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
is
l
_pip_basic_map_compute_divs
:
separat
e
out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_ba
s
ic_set_preimage:
h
a
ndle di
v
s
i
n in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_input_omega
.
c: make variable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_map
.
c
:
make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaeg
e
isl_basic_map_simplify: det
e
ct div co
n
straints whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdo
o
laeg
e
isl
_
basic
_
map_drop: properly
handle dime
n
si
o
ns of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_basic_ma
p
_
detect_eq
u
alities: properly han
d
l
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_is_empty: explicitl
y
mark
b
asic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoola
e
ge
i
s
l_
m
ap
.
c:
o
rder_divs:
s
wa
p
with
c
orr
e
c
t
d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_map_coalesce: re
m
ove extra divs intr
o
duced b
y
isl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Verdoolaege
add is
l
_map_coa
l
esce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
olaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
do
o
laege
e
x
p
ort
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
ae
g
e
isl_map_convex_h
u
ll: handl
e
unbounded,
b
ut p
o
inted
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
priva
t
e
ly export isl_mat
_
unimodular_c
o
m
p
l
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laeg
e
isl_tab
.
c
: add i
s
l_tab_ge
t
_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
e
ge
isl_map_convex_hull: avo
i
d introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laeg
e
add two more convex hu
l
l tes
t
ca
s
e
s
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaeg
e
isl_map_conve
x
_hull:
r
emove li
n
eality
s
pace if
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laeg
e
add isl_ba
s
ic_set_is_unive
r
se
commit
|
commitdiff
|
tree
2009-05-06
S
ven
Ve
r
doo
l
aege
add isl_s
e
t_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoo
l
aege
i
s
l
_
conv
e
x_hull
.
c: update w
r
ap_facet to the fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
is
l
_convex_hull
.
c:
f
ix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verd
o
olaege
isl_coalesce
.
c: fix
t
ypo
in
co
m
ment
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaege
isl_tab
.
c:
f
ix typo i
n
comment
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add isl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erd
o
olaege
isl_basic_map_gis
t
: normalize
d
i
v
s (if any)
i
n context
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_basic_map_sim
p
lify: remov
e
d
u
plicat
e
divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaeg
e
add isl_ba
s
ic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
rdoolaege
change calling convention of isl_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
i
s
l_map_simplify
.
c: uset_gist: br
e
ak e
a
rl
y
if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_
s
implify
.
c:
us
e
t_gist: break early
i
f intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
add isl
_
basic_set_fas
t
_is_emp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
d
o
olaege
u
p
d
a
t
e
piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
r
d
oolaege
isl_tab
.
c: stor
e
n
u
mber of
e
qualities among t
h
e constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoolaege
i
s
l_mat
_
extend: properly e
x
tend matrices with r
e
or
d
e
re
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_map_gist: handle
s
ome special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl
_
map_
u
nive
r
se
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
add isl_basic_map
_
fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_basic_map_gist: replace by n
e
w version b
a
sed
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_map_
s
implify
.
c: compute_eli
m
ination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add i
s
l_
m
a
p_i
m
p
l
i
cit
_
equali
t
i
e
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
is
l
_basic_
s
et_free_equa
l
ity
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_map_c
o
nvex
_
hull: mark res
u
lt
as not havi
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
o
olaege
convex_hull
:
c
oalesc
e
set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_set_co
a
lesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
is
l
_
input_omega
.
c
:
b
asic_map_rea
d
: acce
p
t
"
+" in cons
t
raints
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add is
l
_
b
asic_set_alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaeg
e
add isl_set_al
i
gn_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
uset_affin
e
_hull: ig
n
ore
directions in affin
e
hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
doolaege
isl_b
a
si
c
_map_i
m
pli
c
it_equalities: perform Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_aff
i
ne_hull
.
c: outside_
p
oint: c
h
e
ck for o
b
vious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoo
l
aege
privately export isl_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaeg
e
isl_ctx:
add
n
e
gone
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erd
o
olaege
is
l
_vec_dum
p
: handle
N
ULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
e
ge
isl_a
f
fine_hull
.
c
: extract uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_mat_tra
n
spose: handle non-r
e
ctangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_
s
imple_h
u
ll: compute
a
ffine hull
before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
isl_map_simple_hul
l
:
m
ark
r
esult as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rd
o
ola
e
g
e
add isl_s
e
t
_b
o
unded_s
i
mp
l
e
_
h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_affine_hu
l
l: detect equalities of
i
nteger affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_map_d
u
p:
c
opy flags of o
r
igina
l
to dupl
i
cate
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_basic_map_e
x
t
e
nd
_
dim: move responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
laege
isl_basic_map_extend_dim: o
n
l
y
extend const
r
aint
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solve_lp:
use
t
a
b
l
eaus inste
a
d of
ca
l
ling
piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_solve_lp: accept a
f
fine object f
u
n
ction
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_
m
ap_simpl
e
_hu
l
l: us
e
h
a
s
h
ta
b
les
a
n
d
tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_convex_hu
l
l
.
c: extra
c
t out uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
ege
i
sl_
c
o
n
vex_
h
ull
.
c: exte
n
d: avo
i
d wrapping aroun
d
already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_convex_hull
.
c
: in
t
roduce pr
o
t
o
_
h
ull based
on
obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_c
o
nvex_hull
.
c: mov
e
i
nitial hull cons
t
ru
c
ti
o
n into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
is
l
_convex_hull
.
c
: mov
e
computation of bou
n
ds i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_map
_
convex_hull: check for
boundedness using recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
ool
a
ege
i
s
l_basic_map_
c
onvex_
h
ull:
u
se
t
ableau to detect red
u
n
dant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdo
o
laeg
e
isl
_
tab
.
c:
don't d
e
t
ect equalities while s
e
ttin
g
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
add isl_
m
a
t_exten
d
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
add isl_s
e
t
_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
e
ge
privately export i
s
l_basic_{set,map}_normalize_constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
l
aeg
e
a
d
d isl_b
a
sic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_b
a
sic_
m
ap_eliminate_vars: clea
r
divs firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
b
a
sic_map_elimi
n
ate_vars: remov
e
al
l
depende
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdool
a
ege
add i
s
l_hash_table_alloc and is
l
_hash_tab
l
e_free
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_hash_
t
able_init: t
a
ke mini
m
al
s
i
ze instead of number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
s
l_{basi
c
_,
}
set_preimage: drop ctx a
r
gument
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_b
a
s
i
c
_
map_int
e
rsect: reuse
s
ample
value of e
i
th
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
a
dd isl_int
_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
e
ge
isl_constraint
_
div
:
pe
r
form required re
f
erenc
e
increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
isl_basic_map: put
inequ
a
liti
e
s before equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
add isl_seq
_
n
o
rmalize
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoo
l
a
ege
isl_c
t
x
.
h: make FL_ISSET
ret
u
rn a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolae
g
e
rename F_
a
nd FL
_
ma
c
r
o
s
to ISL_F_ and ISL_FL_
t
o avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
V
e
r
doola
e
ge
a
dd
i
s
l
_mat_sw
a
p_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_mat_d
u
mp: al
s
o
in
d
e
nt NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
add isl_callo
c
_t
y
pe
commit
|
commitdiff
|
tree
next