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 private isl_{set,map}_make_disjoint
2009-10-09
Sven
Verdoolaege
isl_tab
.
c: ext
r
a
c
t
o
u
t sam
p
les handling fro
m
isl_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
is
l
_
a
ffine_hull
.
c: uset_affine_hu
l
l_bounded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verd
o
ola
e
ge
isl_bas
i
c_map
_
de
t
ect_equal
i
ties: ke
e
p trac
k
of
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_basic
_
m
a
p_detect_e
q
ualitie
s
:
onl
y
com
p
u
te recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
laege
isl_ta
b
_sample:
ha
n
dle
unbounded dire
c
tions in initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
oolae
g
e
isl_tab_comput
e
_reduced_bas
i
s: handle u
n
bounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
l
a
ege
exploit equ
a
lities in i
s
l_
t
ab
_
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
laege
i
s
l_tab: keep
(in)equalities of bset (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdool
a
ege
isl_tab_sample: be mo
r
e ver
b
ose about
u
nbounded
directions
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
separate
o
ut isl_tab_sample
f
rom s
a
mple
_
b
ounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
samp
l
e_bounded:
r
eimplemen
t
to wo
r
k directly on a
t
a
bleau
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_tab_compute_r
e
duced_basis
:
work
with affine
b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaeg
e
is
l
_ta
b
_c
o
mpute_reduced_basis: al
l
ow
i
n
cremental com
p
utation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doola
e
ge
isl_po
l
ytope
_
scan: us
e
i
s
l_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
separate out i
s
l_tab
_
r
e
duced_basis from
i
s
l_basic_
s
et_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
b
a
s
i
s
_
r
e
d
uction_tab
.
c: use isl_tab_product
t
o constru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
e
ge
add
isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_bas
i
c_set
_
reduced_basis: f
i
x value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl
_
basic_set_reduced_basis: f
i
x
u
p
docum
e
ntat
i
on
commit
|
commitdiff
|
tree
2009-10-08
S
ven Ver
d
ool
a
ege
basis
_
reduction_
t
ab
.
c: k
e
ep track
of con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
a
d
d isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdo
o
laege
i
sl_t
a
b_add_va
l
id_eq: add spec
i
al treatment for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
isl_ta
b
_
e
xtend_cons: check
tab arg
u
ment
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
rename isl_tab
_
d
e
t
ect_equalities t
o
isl_ta
b
_de
t
ect_implici
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
is
l
_tab_from_recession_cone: t
a
ke basic set ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
rd
o
olaege
i
sl_ilp
.
c
: separate out sol
v
e_i
l
p_search
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Ve
r
doo
l
aege
isl_sampl
e
.
c
:
b
asic_
s
et_sample: rem
e
mber boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
la
e
ge
add
isl_polyhed
r
o
n_detect_equalities test appl
i
cat
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
ol
a
e
ge
add isl_basic_set_detect_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
isl_tab_allocate_con: add extra asserti
o
n
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaeg
e
isl_sample
.
c: basic_set_r
e
duced
:
fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verd
o
ol
a
ege
i
s
l
_tab_bas
i
c_
m
ap_parti
a
l_l
e
x
o
pt
:
simplify
r
e
s
u
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
o
laege
pri
v
ately ex
p
ort isl_basic_set_a
d
d_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
priv
a
tely
e
xpor
t
isl_basic_set_samp
l
e_wit
h
_cone
commit
|
commitdiff
|
tree
2009-10-07
S
ve
n
V
e
rdoo
l
aeg
e
add isl_basic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verd
o
o
l
aeg
e
isl_
t
ab
.
c: close_row: p
u
sh undo rec
o
rd
f
or s
e
tting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
add isl_mat_vec_
i
n
v
e
rs
e
_product
commit
|
commitdiff
|
tree
2009-10-07
S
v
en V
e
rdoolaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add i
s
l_int_dive
x
act_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add i
s
l_set_dim_re
s
idu
e
_c
l
ass
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix l
o
ng stan
d
ing
bug
in isl_ma
t
_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ver
d
oo
l
aege
ad
d
is
l
_
basic_
m
a
p
_foreach_
l
exmi
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
ool
a
ege
add isl_set_project_ou
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
add
isl_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verd
o
ol
a
ege
ad
d
isl_
s
et_fore
a
ch_basic_
s
e
t
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verd
o
ol
a
e
ge
add isl_set_li
f
t
ing
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olae
g
e
i
s
l_
d
i
m_size: check
a
rgument
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verd
o
olaege
export isl_
m
at header
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ver
d
oolaege
a
d
d isl_b
a
sic_map_le
x
min
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_map_foreach_basic
_
m
a
p
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
e
rdoola
e
ge
configu
r
e
.
a
c
: fix c
u
t-and-paste error in ori
g
inal commit
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verd
o
olaege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verdoolaege
e
x
p
ort i
s
l_set_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_
b
asic_se
t
_universe_lik
e
_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
ad
d
isl_
s
et
_
is_stri
c
t_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven
Ve
r
doolaege
add isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODU
L
E: set PKG_CON
F
IG_PATH
commit
|
commitdiff
|
tree
2009-09-20
S
ven V
e
rdoo
l
aege
c
reate
p
kg-conf
i
g
f
i
l
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Ver
d
oolaege
AX_S
U
BMODULE:
drop options that are meanin
g
less giv
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
ae
g
e
a
dd isl_m
a
p
_
sum
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
V
e
rdo
o
l
a
ege
add isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_is_str
i
ct_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
ad
d
isl_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdo
o
la
e
g
e
add isl_map_identity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
rena
m
e isl_map
_
identity_li
k
e to
isl
_
map_
i
dentity_like_basic_
m
ap
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Verdoolaege
ad
d
isl_polytope_scan applicatio
n
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ve
r
doolaege
is
l
_seq_normalize: us
e
p
re-allocated temporary variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verd
o
ola
e
ge
a
d
d isl_vec_norm
a
lize
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
is
l
_seq_normalize: n
o
ne
e
d to scale down by on
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
dool
a
e
ge
add isl_polyhedr
o
n_minimize application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add generalized basis reducti
o
n b
a
sed I
L
P
solve
r
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
add isl_
v
ec_
m
at_pro
d
uc
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
exp
o
rt isl_ve
c
_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl_ba
s
ic_set_sampl
e
: only perform b
a
sis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
e
rdoolaege
re
n
ame
isl_s
o
l
v
e_lp to i
s
l
_
basic_{map
,
set}_solve_l
p
commit
|
commitdiff
|
tree
2009-08-28
S
ven
V
erdoolaege
isl_
s
olve_lp: optionally
r
eturn solutio
n
point
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolae
g
e
ex
p
ort
isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl
_
in
t
_
fdiv_q
_
ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_r
e
ad
_
fr
o
m_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
e
ge
isl_
b
asic_map_dro
p
_redundant_di
v
s: also investiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdo
o
l
a
ege
isl_
b
asic_map_apply_{do
m
a
i
n
,
r
ange
}
: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdool
a
ege
i
s
l_
m
ap_simp
l
ify
.
c
: fix
t
ypo
in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-28
S
ven
V
e
r
doolaege
isl_basic_set_p
r
oject_out
:
drop redundan
t
di
v
s
in resul
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_basic_map_r
e
m
o
ve:
o
nl
y
drop divs if basic
map di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
i
sl_ba
s
ic_map_detect_equalities: expli
c
itly k
e
ep tr
a
ck
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n
V
erdoo
l
aege
isl_ba
s
ic_map_ex
t
end
_
dim: keep hol
d
of sample if d
i
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
e
n
Verdoolaege
isl_tab_min: read
o
ff all informati
o
n from t
a
bleau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoolaege
i
sl_tab_add_v
a
lid_eq: keep track of whether equa
l
ity
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
co
n
figure
.
ac:
no longer use pipl
i
b
b
y
default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
an inte
r
n
a
l par
a
metric integer line
a
r program so
l
ver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_mat_extend:
m
ake s
u
re the number of rows ne
v
er
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_
a
ff
i
ne_hull
.
c: only const
r
uct affine hull in
bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdool
a
ege
isl_tab:
add
s
u
p
port for
ke
e
ping tra
c
k
o
f
s
amples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: opti
o
nally keep
t
rack of row sig
n
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab: add isl_basic_set field for
opti
o
nally k
e
eping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_tab: introduce suppo
r
t for "big p
a
r
a
meters"
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
a
e
g
e
isl
_
tab: allow introduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab: introduce param
e
t
e
r
s and di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rd
o
ol
a
ege
isl_tab
.
h
:
fix typo in comment
commit
|
commitdiff
|
tree
next