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
V
erdoolae
g
e
add a
n
internal parametric inte
g
er
l
inear pr
o
gram
solver
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
i
sl_m
a
t
_
extend: make sure the
number
o
f rows ne
v
er
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolae
g
e
isl_affine_hull
.
c: only
c
onstruct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab
:
a
dd s
u
p
p
ort for keeping track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
lae
g
e
isl_tab
:
optio
n
all
y
keep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
ae
g
e
isl_tab: a
d
d
isl
_
basic_set
f
iel
d
for
o
ption
a
lly keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaeg
e
isl_tab: intr
o
d
u
ce suppor
t
for "big
p
a
r
amete
r
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab: allo
w
introduction of extra
variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
isl_tab: in
t
roduce
param
e
ter
s
and
d
i
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
t
ab
.
h: fix
typo in
comment
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
ola
e
ge
is
l
_ta
b
: allow sav
i
ng and restori
n
g the complet
e
b
asis
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: privately export some function
a
li
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
l
aege
i
s
l_t
a
b: store undo argum
e
nt i
n
a
u
n
ion
f
or
f
u
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add isl_basic_set_sample_b
o
unded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately
export
i
sl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoola
e
g
e
is
l
_map_si
m
p
l
ify
.
c
:
remo
v
e
_
d
epend
e
n
t_vars: o
n
ly remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
is
l
_bas
i
c_
m
ap_compute_divs: use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_p
i
p_basic_ma
p
_compute
_
divs: don't turn divs
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
p
r
ivately ex
p
ort isl_basic_map_swa
p
_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{set,map
}
_
add: don
'
t add obviousl
y
empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
r
d
o
olaege
combine i
s
l_pip_basic_map_lex
{
min,max
}
i
n
to isl_pip_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
make pipl
i
b headers pr
i
v
ate
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_mat: keep tr
a
ck o
f
the ac
t
ual n
u
mbe
r
of
columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab_pivot:
f
ix typo t
h
at pre
v
ented
n
or
m
aliza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
add i
s
l_basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
add
isl
_
b
asic_set_par
t
i
al_lex{m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
rename isl_ba
s
ic
_
map_lex{
m
in,max} to
isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
add isl_ba
s
ic_set_free
_
div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oolae
g
e
isl_set_dim
:
supp
o
rt
isl_di
m
_
all
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_
t
ab:
s
tore
i
ndex
of var
i
able i
n
undo
r
ec
o
rd instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
a
dd isl_map_g
e
t
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_basic_map_
g
et_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olae
g
e
add i
s
l_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaege
e
xpor
t
isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
e
ge
isl
_
tab
.
c
: mar
k
_redundant: on
l
y mark varia
b
l
e
nonne
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_t
a
b
.
c:
t
o
_
row: a
l
low pivoting in
a
rbi
t
rary
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl_tab
.
c: simplify code by
lett
i
ng ma
r
k_em
p
t
y re
t
urn tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
do
o
l
aeg
e
a
dd isl_seq_last_non
_
ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
a
e
ge
isl_tab
.
c: simp
l
ify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: extrac
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdool
a
ege
pri
v
a
tely export
isl_basi
c
_
s
e
t
_
set_r
a
ti
o
n
a
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
confi
g
u
re
.
a
c
: explicitl
y
set
A
C
_CONFI
G
_AU
X
_
D
I
R
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
convex_h
u
ll:
co
a
lesce
s
et during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doolaege
isl_m
a
p_coale
s
ce: don't drop rational
flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
a
ege
isl_tab_cone_is_bounded: s
t
ar
t
over after
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
Verdoo
l
aege
i
s
l_basic_set_dim_r
e
sidue_cla
s
s: only s
e
t *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
e
n
V
e
r
doolaege
add isl_basic_set_fa
s
t
_
dim_i
s
_
f
ixed
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoolaege
isl_tab
:
drop isl_ctx a
r
g
u
ment w
h
ere not ab
s
olutel
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaeg
e
isl_mat:
k
eep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
V
erdool
a
ege
is
l
_ba
s
ic_set_sample: don't project out lineali
t
y space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoola
e
g
e
isl_basic_
m
ap_fix_
p
o
s:
m
i
c
r
o
-optimizat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
move
i
s
l
_basic_set_skew_to
_
positive_orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaeg
e
is
l
_tab
.
c
:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erd
o
o
laege
isl_
b
asic_set_sam
p
le:
break ear
l
y
i
f sample fou
n
d in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
e
x
port
i
s
l
_tab_sample
_
is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoola
e
g
e
is
l
_basic_set_sample:
che
c
k sa
m
ple stored by i
s
l_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
o
l
a
ege
isl_basi
c
_ma
p
_is_empty: remov
e
st
a
le sample
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
rd
o
olaege
ad
d
i
s
l_
p
o
l
yhedron_sample
a
pplication
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdo
o
laege
intr
o
duce generalize
d
basis r
e
duction based sampli
n
g
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaeg
e
add isl_seq_
c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoola
e
ge
i
s
l
_sample
.
c
: inte
r
val_sa
m
ple: drop redundan
t
argume
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_sample
.
c: cle
a
n
u
p
handling o
f
lineality
s
pa
c
e
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
ol
a
ege
is
l
_sample
.
c:
ex
t
ract out
s
am
p
l
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_sample
.
c: interval_sampl
e
:
handl
e
equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_sample
.
c: extract out e
m
pty_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdool
a
ege
isl_samp
l
e
.
c:
g
e
ne
r
alize poin
t
_sampl
e
t
o
zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laege
isl_tab:
d
on't creat
e
ne
w
un
d
o records du
r
ing rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_
t
a
b
_min: u
s
e ge
n
eral rollb
a
ck mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: optionally s
a
ve dual solution
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
doolaege
isl_tab
:
a
dd
i
sl_tab_add_va
l
id_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
r
doolaege
ex
p
o
rt
isl_tab_a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoolaege
add is
l
_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
privately
e
xport
isl_basic_s
e
t_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
is
l
_convex_
h
ull
.
c
:
a
d
d
missing
a
ssignm
e
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export isl_basic_s
e
t_l
i
neality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_vec: ke
e
p tra
c
k
of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
v
en Verdoolae
g
e
isl_coalesce
.
c:
f
ix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sven
V
erdoolaege
upd
a
te pip
l
ib for
c
hange in
c
onfigure ar
g
u
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
la
e
ge
isl_
b
asic_map_drop_
r
ed
u
ndan
t
_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_basi
c
_map_drop_redundant_divs: set di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaeg
e
isl_basic_map_drop_redundant_divs: drop more
k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_map_comp
u
te_d
i
vs:
d
rop obviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
l
aege
isl_map_pi
p
lib
.
c: extremum_
o
n
: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rdoo
l
aege
isl
_
pip_ba
s
ic_
m
a
p_co
m
pu
t
e_divs: r
e
mo
v
e some
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
o
o
laege
i
s
l_
p
ip
_
basic_map_compute_divs: se
p
arate out
d
i
mens
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
asic_set_preimage: handle d
i
vs in input
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
erdoolaege
isl_input_omega
.
c: make va
r
ia
b
le_{f
r
e
e
,new} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_map
.
c: mak
e
add
_
div
s
s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
i
s
l_basi
c
_map_s
i
mplify: detect di
v
cons
t
rain
t
s while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
basic_map_drop: p
r
operly handle dimensions of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven V
e
rdool
a
ege
add isl_int
_
m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven V
e
r
d
oolaege
ad
d
isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdo
o
lae
g
e
add
isl_
s
e
q
_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verd
o
olaege
isl_basi
c
_
map_detect_equa
l
it
i
e
s
: properly handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
b
asic
_
map
_
is_emp
t
y
:
explicitly
mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
er
d
oolaege
isl_map
.
c
: order_divs: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
ool
a
e
ge
is
l
_map_coale
s
ce
:
remove e
x
tra div
s
introduced by
i
sl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolae
g
e
add is
l
_
m
ap_co
a
lesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Ver
d
ool
a
ege
add isl_set_product
commit
|
commitdiff
|
tree
next