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
Sven Verd
o
ol
a
ege
isl_basic_ma
p
_drop_redu
n
d
a
n
t
_divs: also
i
n
vestigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
lae
g
e
i
s
l_basic_
m
ap_apply_{domain,range
}
: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
do
o
laege
i
sl_map_simp
l
ify
.
c: fix
typ
o
in co
m
ment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
b
asic_set_project_out: dr
o
p redundan
t
divs in re
s
ult
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolae
g
e
isl_basic_map_remove: only
d
rop
divs if basic ma
p
di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaeg
e
i
s
l_basic_map_detect_equalitie
s
:
e
xplicitly keep tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verd
o
ola
e
ge
isl_basic_
m
ap_ext
e
n
d
_dim:
k
eep hol
d
o
f
sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
o
l
aege
is
l
_
ta
b
_m
i
n: read off al
l
in
f
o
rmation from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdo
o
lae
g
e
i
sl_tab_a
d
d_
v
alid_eq:
keep track o
f
whether
e
q
u
a
lity
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
configure
.
ac: no longer use piplib
b
y
d
e
f
ault
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
a
dd an i
n
ternal
p
arametri
c
i
n
teger li
n
ear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_mat_ex
t
end: make su
r
e the numb
e
r o
f
r
o
ws n
e
v
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_affine_hull
.
c: only cons
t
r
u
ct
a
f
f
ine hull in bou
n
d
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
is
l
_tab: add suppor
t
for keeping trac
k
of sam
p
les
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab
:
op
t
ionally keep track
of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab: add isl_basic_se
t
f
ield for
optionally keep
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: in
t
roduce
s
upp
o
rt for
"
big paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaege
isl_tab: allow introduction of extra varia
b
l
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
do
o
laege
isl_tab: i
n
troduce
p
arameters and d
i
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
is
l
_tab
.
h: fix typo in
c
o
m
men
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: allow
s
a
vi
n
g an
d
r
estori
n
g t
h
e
c
omplete ba
s
is
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: privately export so
m
e function
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oo
l
aege
isl_tab: store undo
a
rgument i
n
a
union for fu
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_basic_set
_
s
a
mple_bounde
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately e
x
port isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
rdool
a
ege
isl_ma
p
_simplify
.
c
:
r
em
o
v
e
_depe
n
dent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
r
doola
e
g
e
isl_basic_map_compute_divs: use isl_bas
i
c_s
e
t
_
lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolae
g
e
isl
_
pip_basic_m
a
p
_
comput
e
_d
i
vs: d
o
n't t
u
rn
divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
privately ex
p
ort isl_ba
s
ic_map_sw
a
p
_
div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
oolaeg
e
isl_{set,
m
ap}_add: don't add obviously empty bas
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
combi
n
e isl_pip_bas
i
c_map_le
x
{min,max} into is
l
_pip
_
b
a
sic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
make
p
ip
l
ib head
e
r
s p
r
ivate
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_mat:
keep track of the actual number of
columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix
typo that prevented normalizatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolae
g
e
add isl_basic_se
t
_positi
v
e_o
r
tha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
do
o
lae
g
e
a
d
d isl_basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
rename isl_basic_map_l
e
x{min,max} to
i
sl_
b
asic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add is
l
_basic_se
t
_free_div
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_set_dim:
supp
o
rt isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: stor
e
index
of va
r
i
ab
l
e
in undo record ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
lae
g
e
add i
s
l_{set,map}
_
grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
a
d
d
isl_map_ge
t
_
dim
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
add
i
sl_
b
asic_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
a
d
d
isl
_
tab_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl_
m
at_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
isl_
t
ab
.
c
: mark_re
d
undant
:
on
l
y
mar
k
v
a
r
i
able nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: to_row: allow pivot
i
n
g in arbitr
a
ry direction
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n V
e
rdoolaege
isl_tab
.
c: simplify code b
y
letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
lae
g
e
add
i
sl_seq_
l
a
s
t
_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
r
do
o
l
a
e
g
e
isl_tab
.
c
: sim
p
lify a
d
d_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aeg
e
isl_tab
.
c
: extract al
l
o
cate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
privatel
y
export isl_
b
asic
_
set_set
_
rational
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
o
o
laege
configure
.
ac: explicitly set AC_CON
F
IG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoo
l
aege
c
onvex_hull: coalesce set during
f
acet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
ge
isl_map_
c
oalesce:
d
on't
d
rop rational f
l
a
g
f
r
o
m resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_cone_is
_
bounded:
st
a
r
t over after
comp
u
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdoolae
g
e
isl_basic
_
set_dim_resi
d
ue
_
class: only set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
olae
g
e
is
l
_ta
b
: dro
p
isl_ctx argument whe
r
e not
a
bsolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven V
e
rdoolaeg
e
isl_mat: keep track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
e
g
e
isl_basic_
s
et_sample
:
don'
t
p
r
oject out lineality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoo
l
aege
isl_basic_
m
ap_fix_p
o
s: micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdoolaege
move isl
_
basic_s
e
t_s
k
ew_to_positive_
o
rthant
to
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_tab
.
c
:
fix
typo i
n
comment
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
doolaege
i
sl_
b
a
sic_set_
s
a
m
p
le: b
r
e
a
k early if s
a
mple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
e
x
port isl_tab_s
a
mple_is
_
integer
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
laeg
e
isl_bas
i
c_set_
s
ample: check sample stored by
isl_b
a
s
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erdoolaege
isl
_
basic_map_
i
s_
e
mp
t
y: r
e
move stale sam
p
le
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add
isl_
p
olyhe
d
ron_sampl
e
applicat
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
in
t
roduce ge
n
eraliz
e
d basis reduc
t
i
on based sam
p
ling
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoola
e
ge
add
isl_seq_cdi
v
_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
er
d
oolae
g
e
isl_sa
m
ple
.
c: interval_
s
amp
l
e: drop red
u
nd
a
nt argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doo
l
aege
isl_
s
ample
.
c
:
c
l
ean up h
a
ndling
o
f lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_sample
.
c
:
extract out
s
a
m
ple
_
eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
isl_sam
p
le
.
c
:
i
nte
r
val
_
sa
m
ple: h
a
n
d
l
e
equ
a
lities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
s
l
_sample
.
c
:
extr
a
ct out emp
t
y
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_sample
.
c:
g
ene
r
a
l
ize point_sam
p
l
e
to z
e
ro_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_tab
:
d
on't cre
a
te
new undo
r
ecord
s
during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_
t
ab_min:
u
s
e gen
e
ral roll
b
ack mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab
:
optiona
l
ly save dual s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: add isl_ta
b
_add_vali
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
e
x
po
r
t isl_t
a
b_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
ad
d
isl_int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
erdoolaege
priv
a
tely
e
xport isl_ba
s
ic_set_rece
s
si
o
n_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
isl_con
v
ex_hull
.
c:
a
dd missing
a
ssig
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdo
o
la
e
ge
pr
i
v
a
tely
e
xport isl_basic_
s
et_lineality_s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
i
s
l
_
vec: keep track of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdo
o
laege
isl_
c
oalesce
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoolaege
updat
e
p
i
p
li
b
f
or chang
e
in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_
ba
s
i
c
_map_drop_redundant_divs
:
coalesce div
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_ba
s
ic
_
map_drop_redundan
t
_divs: set d
i
v expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_bas
i
c_map
_
d
r
op_red
u
ndan
t
_
d
ivs: drop
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl
_
map_compute_divs:
d
rop obviously redundant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolae
g
e
isl_map_piplib
.
c: extremu
m
_on:
d
etec
t
equalities
f
irst
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
i
s
l_pip_basic_map_c
o
mp
u
te_divs
:
rem
o
v
e some
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdo
o
la
e
ge
i
s
l_p
i
p_basic_map_co
m
pu
t
e_divs: separate out dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
o
laege
isl_basi
c
_set_pr
e
im
a
ge: hand
l
e d
i
v
s in input
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
i
s
l_input_omega
.
c: make
vari
a
ble_{free,n
e
w}
s
t
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map
.
c: make a
d
d_divs stat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdool
a
ege
is
l
_b
a
sic_map_simplif
y
: detect di
v
constrai
n
ts
w
hile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
do
o
laege
isl_basic_map_d
r
o
p: pro
p
e
rly
h
andle dimensions o
f
ty
p
e
.
.
.
commit
|
commitdiff
|
tree
next