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_vec_read_from_file
2009-08-28
Sven
V
erdo
o
laeg
e
add isl_vec_read_from_fil
e
commit
|
commitdiff
|
tree
2009-08-28
S
ven V
e
rdoolaege
isl_bas
i
c_map_drop_redundant_
d
ivs:
also investiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdool
a
ege
isl
_
ba
s
ic_map_apply_{domain
,
range}
:
drop re
d
u
n
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
isl_map_
s
impli
f
y
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolae
g
e
isl_basic_s
e
t_project_ou
t
: dr
o
p r
e
dundant d
i
vs in
r
esul
t
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
d
ool
a
ege
isl_basic_
m
ap
_
r
em
o
ve: only drop div
s
if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_map_detect_equ
a
lities: explicitly kee
p
track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdool
a
ege
i
s
l
_basi
c
_m
a
p_extend
_
d
im: keep hold of
s
amp
l
e if dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
isl_t
a
b
_
m
i
n: read off all
i
nformat
i
on from
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
i
sl_t
a
b_ad
d
_valid_
e
q: keep track of
w
h
ethe
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
er
d
oo
l
aege
c
onfi
g
u
r
e
.
ac: no lo
n
g
er use piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
add an
i
n
ternal pa
r
ame
t
ric i
n
teger linear prog
r
am solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl
_
mat_extend: make sure the number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
eg
e
isl_affine_hull
.
c: o
n
ly co
n
struct af
f
ine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
isl_
t
ab: add su
p
port for keeping tra
c
k o
f
s
a
mples
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl
_
tab
:
o
p
tionally keep track
o
f row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_tab: add isl_basic_s
e
t field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_
t
a
b
:
in
t
roduce support
for "big
p
arameters"
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
ege
isl_tab: allow
introduction of
e
xtra variables
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
d
oolaege
isl_t
a
b
: introduce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_ta
b
.
h: fix typ
o
in
comment
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
is
l
_tab:
a
llow saving and restoring the complet
e
basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
sl_tab: private
l
y export some funct
i
onali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
dool
a
e
ge
isl_tab: st
o
re un
d
o argument in a
u
nion for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Ve
r
doolaege
add
i
s
l
_basic_set_sample
_
bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privat
e
ly e
x
p
ort isl_basic_
s
et_order_d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
isl_map_simplify
.
c:
remove_dep
e
n
d
e
n
t_v
a
rs: o
n
ly rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
i
s
l
_b
a
sic_
m
ap_compute
_
d
i
vs: use is
l
_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_pip_basic_ma
p
_comput
e
_
divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
aege
privately export isl_bas
i
c
_
m
a
p
_
s
wap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
i
s
l_{set,
m
a
p
}_add: d
o
n't add obv
i
ously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
com
b
in
e
isl_pip_basic_map_lex{min,m
a
x} into isl_pi
p
_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
make piplib headers p
r
iva
t
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat: keep track
of
the
a
ctua
l
number of
c
o
l
umns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
la
e
ge
isl
_
t
a
b_pivot:
f
ix typ
o
t
hat prevented normalizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
aege
a
dd isl_basic_set_positive_orthan
t
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n V
e
rdoolaege
add is
l
_basic_set_partial_
l
ex{mi
n
,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aeg
e
r
e
name isl_
b
asic_m
a
p_lex{min,ma
x
} to isl_bas
i
c_map_p
a
rtial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdool
a
ege
add
i
sl_basic
_
set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
d
oolaege
isl_set_dim: supp
o
r
t
isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store index o
f
variab
l
e
i
n
undo recor
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_{set,m
a
p}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basi
c
_map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add i
s
l
_tab_d
u
p
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
erdoo
l
aege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
s
l_tab
.
c
:
m
a
rk_re
d
undant: only mark varia
b
le nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: to_r
o
w: allow pivoti
n
g in
a
rbi
t
rary
d
irection
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c:
simp
l
ify code by
l
ett
i
ng mark_empty
r
eturn t
a
b
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdool
a
ege
add isl_se
q
_last_n
o
n_zero
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl_tab
.
c: simplify
a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
isl_
t
ab
.
c
:
extr
a
ct allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doo
l
a
e
ge
privately ex
p
ort isl_basic_set_
s
et_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
co
n
figur
e
.
ac: explicitl
y
set AC_CONFIG_AUX
_
DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
convex_hu
l
l
:
coalesce set dur
i
ng facet com
p
u
t
ation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
isl_map_coa
l
esce: don'
t
d
r
op rationa
l
fla
g
f
r
om result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_t
a
b_cone_is_bounded: sta
r
t over aft
e
r
c
omputin
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
i
sl_basic_set
_
d
i
m_residu
e
_
c
lass: o
n
ly
set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
a
d
d is
l
_basi
c
_s
e
t_fast_di
m
_i
s
_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl
_
tab: drop isl_ctx argu
m
en
t
where not absolutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verd
o
o
l
a
ege
isl_m
a
t:
k
eep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n
Ver
d
oolaege
isl_ba
s
i
c
_
s
et_sample:
d
o
n
't project
o
u
t
l
ineality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_basic_m
a
p_f
i
x_
p
os: micro
-
optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_set_sk
e
w
_t
o
_
p
ositiv
e
_orthant to
i
sl_samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaeg
e
isl
_
t
a
b
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
lae
g
e
isl_basic_set
_
s
a
mple: break early
i
f
sa
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
e
x
p
o
rt isl_tab_s
a
mple_
i
s_in
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
i
sl_basic_se
t
_samp
l
e:
check sample st
o
red by isl_ba
s
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
i
sl_
b
asi
c
_ma
p
_is_em
p
ty: remove stale s
a
m
ple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
ge
add
i
sl
_
po
l
yhedron_sampl
e
applicati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
introd
u
c
e
g
e
n
e
ralized basis redu
c
t
i
o
n
based sampling
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
add isl_seq_cdiv_
q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_sample
.
c: in
t
erval_samp
l
e
:
drop redundan
t
ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_
s
ample
.
c: c
l
ean up
h
andling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_sa
m
p
le
.
c: extract o
u
t s
a
mple_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verd
o
ola
e
ge
i
s
l_samp
l
e
.
c: interval_sampl
e
: handle
e
qualities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sample
.
c
:
e
xtract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Ver
d
oo
l
aege
isl_sampl
e
.
c
:
generalize poi
n
t_
s
ample to zero_s
a
m
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_tab: don
'
t c
r
e
a
te new undo records d
u
ring rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
i
sl_tab_m
i
n: use g
e
neral rollback me
c
hanism
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
isl_tab: optio
n
ally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_
t
ab: add
isl_tab_add_valid
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
olaege
export
i
s
l
_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoo
l
aege
pri
v
ately export isl_
b
asic_set_re
c
ession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_convex_hull
.
c: add missing a
s
signment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
privately expor
t
isl_basi
c
_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_vec: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rd
o
olaege
isl_coalesce
.
c: fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n Verd
o
olaeg
e
u
p
date
pipli
b
fo
r
ch
a
n
ge in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Ve
r
doola
e
ge
isl_bas
i
c_map_drop_redundant_divs: coalesce
d
i
v
s
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l_basic_map_drop_redundant
_
divs: set div expres
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
s
l
_basic_map_drop
_
redundant_divs
:
d
r
op more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_
m
ap_co
m
pute_divs:
d
rop obvi
o
u
s
ly redunda
n
t divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
l
a
ege
isl_map_piplib
.
c:
e
xt
r
emum_on: dete
c
t equalitie
s
fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaeg
e
isl_pip_basic_ma
p
_compute_
d
ivs
:
remove s
o
me
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
dool
a
ege
isl_pi
p
_b
a
s
ic_map_compute_divs: sepa
r
ate o
u
t dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaeg
e
isl_ba
s
ic_se
t
_preim
a
ge
:
hand
l
e
divs
i
n inp
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoo
l
aege
is
l
_input_omega
.
c: ma
k
e
variable
_
{free,n
e
w} static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
i
s
l_map
.
c: make
a
dd_divs static
commit
|
commitdiff
|
tree
next