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 an internal parametric integer linear program solver
2009-08-07
Sven Verdoolaege
add
an internal
parame
t
ric in
t
ege
r
lin
e
ar program solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
mat_extend: make sure the number of r
o
ws never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
isl_affine
_
hul
l
.
c: only construct affine hull in
bound
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_
t
ab: add support f
o
r
k
eepi
n
g track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olaege
isl_ta
b
: optionally keep trac
k
of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
olaege
isl_tab: add isl_basic_set fi
e
ld for
op
t
iona
l
ly k
e
epin
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
is
l
_tab: int
r
oduce suppor
t
for
"
big
paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_t
a
b:
allow introduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: introduce paramete
r
s and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab
.
h: fix
t
ypo
in c
o
mment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
t
ab: allow saving and re
s
toring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab
:
private
l
y
export some functio
n
ali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doo
l
aege
isl_tab: store undo argum
e
nt in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaege
add
isl_basic_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolae
g
e
privately export
i
sl_bas
i
c
_
set
_
order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
e
g
e
isl_map_simplify
.
c:
r
emove_dependent_var
s
:
o
n
ly remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
i
s
l_basic_
m
a
p
_compute_divs: use isl_ba
s
ic_s
e
t_l
e
xmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
is
l
_
p
ip_basic_map_compute_d
i
vs: don't turn divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdool
a
ege
pr
i
vately exp
o
rt
isl_b
a
sic_map_swap_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_{set,map}_a
d
d: don't add
o
bviou
s
ly
e
mp
t
y bas
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
c
ombi
n
e
i
sl_pip
_
basic_map_lex{min,max} in
t
o
i
sl
_
pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
mak
e
p
i
plib
h
eaders pr
i
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_mat: keep tr
a
ck of the actual num
b
er of
columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_ta
b
_
p
ivot: fix typo that pre
v
ented norm
a
l
i
zat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
o
o
laege
add i
s
l_basic
_
set_positive_or
t
hant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_basic_set_par
t
ial_l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ren
a
me isl
_
basic_
m
ap_lex{min,max} to isl_b
a
sic_map_par
t
ial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
add isl_basi
c
_set_fre
e
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
is
l
_
set_d
i
m: supp
o
rt isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
laege
isl_tab: store index of variabl
e
in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
r
d
o
olaege
a
d
d isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
ege
add
i
sl_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
a
d
d isl_ba
s
ic
_
map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
e
x
p
ort i
s
l_mat
_
du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c
:
mark_
r
edund
a
nt: only mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
is
l
_
tab
.
c: to_row: allow
p
ivoting in arbitrary direc
t
ion
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
doolaege
isl_tab
.
c: si
m
pl
i
f
y
cod
e
by letting
mark
_
empty return
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
add isl
_
seq_l
a
st_no
n
_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
is
l
_
t
ab
.
c: simp
l
ify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c:
extract allocat
e
_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doola
e
ge
privately
e
x
port isl_bas
i
c_set_s
e
t_
r
atio
n
al
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolae
g
e
configure
.
ac: expl
i
citly set AC_C
O
N
F
IG_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
convex
_
hull: coalesce
set
d
u
r
in
g
f
a
c
et computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
isl_map
_
coalesce: don't drop rational
flag f
r
om re
s
ult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
isl_tab_cone_is_bou
n
ded: start ov
e
r
after c
o
mp
u
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoolaege
i
sl_tab: drop isl_c
t
x
argument where
n
ot absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
s
l_mat: keep
tra
c
k of isl_ct
x
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
erd
o
olaege
isl_b
a
s
ic_set_sample
:
don't project o
u
t
lineal
i
ty space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic
_
m
ap
_
fix_
p
os: m
i
cro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
move isl_basic_set_
s
ke
w
_to_
p
ositive_orth
a
nt to isl_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
i
s
l_ta
b
.
c
: f
i
x typ
o
in comme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
isl_basic_set_samp
l
e
:
b
r
eak
earl
y
i
f sample f
o
und in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
e
xport isl_tab_sample_is_
i
n
t
eger
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
is
l
_b
a
sic_s
e
t
_
s
ample: check sa
m
ple stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
i
s
l_basic_map
_
is_empty
:
r
e
m
ove
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
add isl_polyhedron_
s
ample app
l
ication
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
intro
d
uce genera
l
ized basis reduct
i
on based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add i
s
l_s
e
q
_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
i
s
l
_samp
l
e
.
c: in
t
erval_sa
m
p
le: drop redundant
a
r
g
um
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sampl
e
.
c
:
clean up handling of li
n
e
a
l
it
y
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl
_
samp
l
e
.
c: extract out
s
a
mple_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdool
a
ege
is
l
_sample
.
c: interval_sa
m
pl
e
:
handle eq
u
alit
i
es d
i
rect
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_
s
ample
.
c
:
e
xtra
c
t out emp
t
y_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
g
e
isl_
s
ample
.
c: generalize point_sample to z
e
r
o
_s
a
m
pl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl
_
tab: don't c
r
eate new undo reco
r
ds during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_tab
_
min: use general roll
b
ack
m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
olaege
is
l
_tab:
optionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_tab
:
add isl_tab_add_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
a
dd
i
sl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ver
d
o
o
laege
privately export isl_ba
s
ic_set_
r
ecess
i
o
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoo
l
a
ege
isl_convex_hull
.
c: ad
d
mi
s
sing assi
g
n
ment
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
pr
i
vatel
y
export isl_basic_set_lin
e
ality_
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
i
sl_vec: kee
p
track of isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven
Verdoolaege
isl
_
c
oalesc
e
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdo
o
laege
update p
i
pli
b
f
o
r
change in
c
o
n
figure a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
is
l
_basic_map_d
r
op_redundant_divs: coales
c
e divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
ge
i
s
l_basic
_
m
ap_drop_redundant
_
divs: set div ex
p
ression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_b
a
si
c
_map_drop_redu
n
da
n
t_di
v
s: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doola
e
ge
i
sl_map_
c
ompute
_
divs: drop
obvio
u
sly
r
edundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: ext
r
emum_on: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
is
l
_pip_basic_map_compute
_
divs
:
re
m
ove some equalitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
e
g
e
isl_
p
i
p_basic_map_compute_divs: separat
e
out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_basic_s
e
t_preim
a
ge: hand
l
e d
i
vs in input
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolaege
isl
_
in
p
ut_omega
.
c: make varia
b
le
_
{free,
n
ew} s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolae
g
e
isl_map
.
c:
make add_d
i
vs s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_basic_map_simpl
i
fy: detect di
v
constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
isl
_
ba
s
ic_map
_
dro
p
: pr
o
perl
y
ha
n
dle dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add isl_
i
nt_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ver
d
o
olaege
add isl_seq_fd
i
v_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Verdoo
l
aege
add i
s
l
_
se
q
_
f
d
i
v_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_b
a
sic
_
map_detect_e
q
ualities
:
p
r
operl
y
handle em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoo
l
aege
isl_b
a
s
ic_map_i
s
_emp
t
y: ex
p
licitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
i
sl_map
.
c:
o
rder_div
s
: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
isl_map_coalesce
:
re
m
ove extra divs introduced
by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoo
l
aege
add isl_ma
p
_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
expo
r
t isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_conve
x
_hull
:
h
a
ndle
u
n
b
ound
e
d, b
u
t pointe
d
.
.
.
commit
|
commitdiff
|
tree
next