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
export isl_vec header
2009-08-28
S
ven Verdoo
l
aege
expo
r
t
isl_vec h
e
a
d
er
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add
i
s
l
_i
n
t
_
fdiv_
q
_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
doolaege
add isl_vec_r
e
ad_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_basic_map_drop_r
e
dundant
_
divs: a
l
s
o inv
e
sti
g
ate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
doolaege
i
sl_basic
_
map_a
p
ply_{
d
omain,range
}
:
d
rop
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
i
s
l
_
map_s
i
mp
l
ify
.
c
:
fi
x
typo
i
n
comme
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_basic_set_project_out: dr
o
p
r
edun
d
an
t
divs in r
e
sult
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
isl_basic_m
a
p_
r
em
o
v
e
:
onl
y
drop divs
if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven V
e
rdoolaege
is
l
_b
a
sic_ma
p
_detect_equalities:
exp
l
ic
i
tly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
erdoola
e
ge
isl_
b
asic_map
_
e
x
t
end
_
dim: keep h
o
ld of s
a
mple
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoolaege
i
sl_tab_min: read off
all in
f
ormatio
n
from tab
l
eau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
er
d
o
o
laege
isl_tab_add_vali
d
_eq: keep tr
a
ck of whether
equal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
r
d
oolaege
configure
.
ac:
n
o long
e
r use piplib by defaul
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
a
dd an
internal parame
t
ric integer linear prog
r
am sol
v
e
r
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl
_
m
at_extend: m
a
k
e
su
r
e
t
h
e
number
o
f rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_affine_
h
ull
.
c: on
l
y constru
c
t aff
i
ne hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
add
s
upport f
o
r keeping track o
f
s
amples
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
isl_tab: opti
o
n
ally k
e
ep track o
f
r
o
w
s
i
gns
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl_tab: add isl_b
a
si
c
_set field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_tab: introdu
c
e s
u
ppo
r
t
fo
r
"b
i
g parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoo
l
aege
isl_tab: allow intro
d
uction of ext
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoo
l
aege
isl_
t
ab:
intro
d
uce par
a
meter
s
an
d
divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_ta
b
.
h: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolae
g
e
i
s
l_tab:
a
llow s
a
ving and restoring the c
o
mpl
e
te basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab: privately export so
m
e f
u
nctionali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
s
l_tab: store undo
a
rgum
e
nt in a union
f
o
r
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_b
a
sic_set_samp
l
e_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Ver
d
oolaege
privately
expo
r
t
i
sl_
b
asic_
s
et_order_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
ool
a
e
g
e
isl_
m
ap_simpl
i
f
y
.
c
: rem
o
ve_
d
ependent_
v
ars: only r
e
mov
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
o
la
e
ge
isl_basic_map_c
o
mpute_divs: us
e
isl_basic_set_l
e
xmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
i
sl_pip_basic_map_comput
e
_d
i
v
s:
don
'
t t
u
rn divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately expor
t
isl_basic_m
a
p_
s
w
a
p_div
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
i
s
l_{set,map}_add: don't add obvious
l
y emp
t
y basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine isl_
p
ip_ba
s
ic_map_lex{
m
in,m
a
x} int
o
isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
ma
k
e piplib
headers
p
riva
t
e
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolae
g
e
isl
_
mat: ke
e
p
tra
c
k of
the ac
t
ual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl
_
tab_pivot: fix typo that p
r
e
v
ented normal
i
zation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olae
g
e
add isl_basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
add isl_basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
ren
a
me isl_basic_map_lex{
m
in,max}
to
i
sl_b
a
sic_map_partial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
a
dd
is
l
_basic
_
set_free_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoo
l
aege
isl_s
e
t_dim:
s
upport i
s
l
_d
i
m_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store
inde
x
of variable in und
o
rec
o
rd instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add
isl_{set,map}
_
grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
ad
d
i
s
l
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
doo
l
a
e
ge
add
isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oola
e
g
e
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_redu
n
dant: only mar
k
va
r
iable nonn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
i
sl
_
tab
.
c: to_row: allow pivoting in
a
rbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
r
d
oolaege
isl_ta
b
.
c: simplify
code by l
e
tting
mark_empty re
t
urn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
g
e
add isl_seq_la
s
t_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_ta
b
.
c:
s
implify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olaege
isl_
t
ab
.
c
: e
x
tract allocate
_
con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
pr
i
vately export isl_basic_set_set
_
rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoola
e
ge
co
n
figure
.
ac: explicitly set AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Ver
d
o
o
laege
conv
e
x_h
u
ll:
c
o
alesce
set
during
f
acet
c
omputation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolae
g
e
isl_map_coalesc
e
: d
o
n't dr
o
p
r
atio
n
al flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
i
sl_t
a
b_cone
_
is_bou
n
ded: start ov
e
r aft
e
r comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
Verdoola
e
ge
isl_
b
asic
_
set_dim_residue_class:
only s
e
t
*m
o
du
l
o to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
en Ver
d
oolaege
add
isl_basic_set_f
a
st_dim_is
_
fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab: drop isl
_
ctx argument where not abs
o
lutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_ma
t
: keep
track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
isl_basic_
s
et_sample: don't project ou
t
li
n
e
a
lity space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoo
l
aege
isl_basic_ma
p
_fix_pos: m
i
cro-o
p
t
i
m
i
za
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
ae
g
e
move isl_b
a
sic_
s
et_skew_to_posit
i
v
e_or
t
hant t
o
isl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoo
l
aege
isl_
t
ab
.
c: fix typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_s
a
m
ple
:
break early
i
f
sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
ex
p
or
t
is
l
_tab_sample
_
is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
isl_basic_set_samp
l
e: c
h
eck sam
p
le stored by isl_basic_ma
p
_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolae
g
e
isl_basic_m
a
p
_is_
e
mpty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
add isl_polyhedron_sampl
e
applica
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
oolaege
introduce
g
eneralized bas
i
s r
e
duction b
a
sed sampl
i
ng
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ol
a
ege
add isl_seq_cd
i
v_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_sample
.
c: interval_sampl
e
: drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_s
a
mple
.
c
:
c
lean up ha
n
dling of l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
i
sl
_
s
a
m
p
le
.
c: extract out
sa
m
ple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
isl_sa
m
p
le
.
c: i
n
terval_s
a
mple: handle equalities
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: ex
t
ract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
i
sl_sample
.
c: gen
e
ralize point_sa
m
ple
t
o zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab
:
don't
create new undo
r
ec
o
r
ds during rollbac
k
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
r
d
o
o
laege
isl_tab_
m
in:
use general
rollb
a
ck mech
a
n
i
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
i
s
l_tab: optionally save dual sol
u
tion
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_tab: add isl
_
tab_
a
dd_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doo
l
aege
e
xport i
s
l_tab_allo
c
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
a
d
d isl_int
_
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ol
a
ege
pri
v
a
te
l
y
e
xport isl
_
basic_s
e
t_recessio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
r
d
oolaeg
e
isl_con
v
ex_hu
l
l
.
c: a
d
d missing assig
n
men
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
pr
i
v
ate
l
y export
i
sl_basic_set_l
i
neality_
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_vec: k
e
ep track of
is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sv
e
n Verdoolaeg
e
isl_c
o
a
l
esce
.
c:
f
i
x
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
S
v
en
V
e
r
doolaege
u
pdate
p
ipli
b
f
o
r change in confi
g
u
r
e arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doolaege
isl_basic_map
_
d
r
o
p
_redundant
_
divs
:
c
o
alesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
r
doolaege
isl_basi
c
_map_
d
ro
p
_redu
n
dant_divs:
s
et d
i
v expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_ba
s
ic_map_drop
_
redu
n
dant_div
s
:
d
r
o
p
m
o
r
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
i
s
l
_m
a
p_c
o
mp
u
te_divs: d
r
op o
b
viously
r
edundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
isl_map_piplib
.
c: extr
e
mum
_
o
n
:
d
etect eq
u
ali
t
ies
f
irst
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_pip
_
bas
i
c_m
a
p
_
compute_divs: remo
v
e so
m
e e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
i
sl_pip_basic_map_compute_divs:
sepa
r
ate out d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erdoolaege
isl_basic_se
t
_
preimage: han
d
le divs in input
commit
|
commitdiff
|
tree
next