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_basic_map_drop_redundant_divs: also investigate divs that have a definition
2009-08-28
Sve
n
V
erdo
o
lae
g
e
isl_b
a
sic
_
ma
p
_drop
_
redund
a
nt_divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaeg
e
isl_basic
_
m
a
p_a
p
p
l
y_{domain,range}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
is
l
_map
_
s
implify
.
c: fi
x
typo in commen
t
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
V
e
rdoolaeg
e
isl
_
basic_set_project_out: d
r
op redun
d
an
t
divs
i
n
resu
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_basic_map_remove:
only
d
rop divs if basi
c
map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
l
a
ege
i
sl_basic_
m
ap
_
d
e
tect_equ
a
liti
e
s: expl
i
cit
l
y k
e
ep
t
ra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ve
r
doolaege
i
sl_basic_map_ex
t
end_
d
im: kee
p
hold of
s
ample
i
f
dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en
Verdoolaege
isl_tab_min: read off all informat
i
on fro
m
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven V
e
rdool
a
ege
isl_tab_ad
d
_valid_eq: keep tra
c
k of whet
h
er equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
con
f
igure
.
ac: no l
o
nge
r
use piplib
by
d
efault
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
l
a
ege
add
a
n internal
p
arame
t
ric
i
nteger li
n
ea
r
program solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
ege
isl_ma
t
_extend: ma
k
e
sure the number o
f
rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_affine_hull
.
c: on
l
y c
o
nstr
u
c
t
affine hull in bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add s
u
pport for keepi
n
g track of sa
m
ples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab
:
opti
o
n
ally keep track
of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
isl_tab: a
d
d isl_basi
c
_set f
i
eld for o
p
t
iona
l
ly kee
p
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_
t
ab
:
introd
u
ce s
u
pport for "b
i
g para
m
eters"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
isl_tab: a
l
low introduction
of
e
xt
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
laege
isl_tab: i
n
troduce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
i
s
l_ta
b
.
h: fix typ
o
in c
o
m
m
en
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
a
l
l
ow savi
n
g and
r
e
s
t
oring th
e
c
omplete b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
isl_
t
ab: privately export some f
u
nct
i
on
a
l
ity
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
isl_ta
b
: store undo argument
i
n a union fo
r
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
rdo
o
lae
g
e
a
dd isl
_
basic_
s
e
t
_sa
m
ple
_
bounde
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
pr
i
vate
l
y export is
l
_basic_set_orde
r
_
di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
e
ge
isl_map
_
simplify
.
c: remov
e
_depen
d
ent_
v
ars:
o
nly
r
emove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
isl_basic_ma
p
_compute_divs
:
u
se
is
l
_ba
s
i
c
_
s
et_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
l
aege
i
s
l
_pip_basic_map_compute_divs: don't tur
n
divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
privately exp
o
rt isl_b
a
s
ic_map_sw
a
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
ol
a
ege
isl_{set,m
a
p}_add: don't
a
dd obviously e
m
pt
y
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
combine isl
_
pip_ba
s
ic_map_lex{
m
in,
m
ax} into isl
_
pip_basic_m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaeg
e
make
p
i
plib he
a
der
s
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
isl_mat: keep track of the actual number of colu
m
ns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_t
a
b_p
i
vot: fix ty
p
o that p
r
evented norm
a
l
ization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaeg
e
add
i
sl_basic_set_positive_orthan
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
a
dd isl_
b
as
i
c_set_p
a
rtial_le
x
{min,m
a
x}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
renam
e
isl_
b
a
sic_ma
p
_lex{min,max} to is
l
_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
add i
s
l_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
set_dim: support
i
s
l_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
eg
e
isl_tab: store
i
ndex o
f
varia
b
le in undo record in
s
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_{set,
m
ap}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add isl_map_g
e
t_
d
im
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
a
dd isl_b
a
si
c
_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
add
i
s
l
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoola
e
ge
expor
t
isl_
m
a
t_
d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_redun
d
ant: only mark variab
l
e
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_tab
.
c: to_row: allow pivoting in arbitrary direct
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
is
l
_tab
.
c: simplify code b
y
letting mark
_
empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdool
a
ege
add isl_s
e
q_last
_
n
on_zero
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ve
r
d
o
olae
g
e
i
sl_tab
.
c: s
i
mplif
y
a
d
d
_
eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
sl_tab
.
c: extra
c
t alloca
t
e_
c
on
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately export
isl_basic_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
conf
i
gure
.
a
c: explicitly set AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdo
o
laege
convex_
h
ull: coalesc
e
set during facet computation
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verd
o
ola
e
ge
isl_map_coalesce: d
o
n't
drop
rational flag
fr
o
m result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
i
s
l
_
tab_c
o
n
e
_
is_
b
ounded: start o
v
er after comp
u
ting
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdoolaege
isl_tab: drop isl_ctx argum
e
nt where not ab
s
olutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
e
rdoolaege
isl
_
mat: k
e
e
p track
of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolaege
i
sl_basic_
s
et_sam
p
l
e:
d
on'
t
project out
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
ool
a
e
g
e
isl
_
basic_map_fix_pos: micro
-
optimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doola
e
ge
mov
e
isl_basic_set_ske
w
_to_positive_orthant to isl_s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
doolaege
isl_tab
.
c
: fi
x
typo
in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
r
d
oolaege
isl_b
a
sic_se
t
_sample: break
e
arly
if
sample found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoo
l
aege
export isl_tab
_
s
a
mple_is_
i
nte
g
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_
b
asic_s
e
t_
s
ample: check sample st
o
red by isl_b
a
sic_
m
ap_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdoolaege
isl_basic_map_is_empty: remove
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
ad
d
isl_polyhedron_sample a
p
p
l
ic
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaeg
e
introduce
g
eneral
i
zed basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Ver
d
oolaege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
i
sl
_
sample
.
c: inter
v
al_sa
m
ple:
d
rop red
u
ndant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
is
l
_sampl
e
.
c
: cle
a
n up h
a
ndling of
l
ineality space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdo
o
laege
i
s
l
_
sam
p
l
e
.
c:
extract
o
ut
samp
l
e
_
eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoo
l
aege
i
sl_sample
.
c: int
e
rval_s
a
mp
l
e:
handle equalities
d
i
rectl
y
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
V
e
rdoolaege
isl_sample
.
c: e
x
tract
out empt
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaeg
e
isl_sample
.
c: general
i
z
e
point
_
sample
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoo
l
a
e
ge
isl_tab: don'
t
cr
e
at
e
new undo r
e
cords during
r
ol
l
back
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdo
o
laeg
e
isl_tab_min:
u
se g
e
nera
l
rollba
c
k
m
e
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
i
sl_tab
:
opti
o
nally save dual solut
i
on
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
i
s
l_ta
b
: add is
l
_tab_add
_
valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
export
i
s
l_tab_a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
add
isl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
priva
t
ely export isl_
b
asic_set_recess
i
on_
c
o
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
r
doolaeg
e
isl_convex_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
priv
a
te
l
y
e
xport
i
sl_basic_set_
l
ine
a
lity_s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
is
l
_vec:
keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_co
a
lesc
e
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update
piplib for change in configure arg
u
men
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
ool
a
e
g
e
i
s
l
_
basic_map_
d
rop
_
r
e
dund
a
nt_
d
ivs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
V
e
rd
o
olaege
isl
_
basic_map_drop_redundant_div
s
: set div
exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_
b
as
i
c_map_drop_redundant_
d
ivs: dro
p
more
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_map_compute
_
d
ivs: drop ob
v
io
u
sly redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
ol
a
ege
isl_map_pipli
b
.
c: ex
t
remum_
o
n
:
detect equalities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_pip_basic
_
map_c
o
mp
u
te
_
divs: remov
e
s
ome equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rd
o
olae
g
e
isl_pip_basic_m
a
p_
c
ompute_divs: separa
t
e out
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaeg
e
i
s
l_bas
i
c_set_prei
m
age:
handle
div
s
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdo
o
laege
isl_
i
nput_omeg
a
.
c: make varia
b
l
e
_{f
r
e
e,new} stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
m
ap
.
c: ma
k
e
a
dd_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_basic_map_simplify: detect div cons
t
r
ai
n
t
s
whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ve
r
doolaege
isl_basic_map_drop: prope
r
ly handle
d
im
e
nsio
n
s of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en V
e
rdo
o
laege
add
i
sl_int_mul_u
i
commit
|
commitdiff
|
tree
next