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
sample_bounded: reimplement to work directly on a tableau
2009-10-09
Sven Verdoolaege
sampl
e
_bounded
:
reimplem
e
nt to work directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoolaeg
e
isl_t
a
b_com
p
ute_reduced_basis:
w
ork with
a
ffine b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
er
d
oolaege
i
s
l_tab_comput
e
_reduc
e
d_basis: allow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
is
l
_
polytope_scan: use isl_t
a
b_from_basi
c
_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
ol
a
eg
e
s
e
parate
out
i
s
l_ta
b
_reduced_basis
f
r
om isl_basi
c
_set_r
e
d
uce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
basis_reduction_
t
a
b
.
c:
use isl_tab_product to constru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaeg
e
a
d
d
i
s
l_tab
_
prod
u
ct
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
olaege
isl_basic_s
e
t_reduced_basis
:
fix value in direct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
s
l_b
a
sic_set_reduced_ba
s
is:
f
ix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verd
o
olaege
basis_reduction_tab
.
c: keep track of
c
on_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
a
d
d
i
sl_tab_add
_
eq
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaege
isl_t
a
b_add_valid_eq: a
d
d s
p
ec
i
al treatment
for man
i
fest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
i
s
l_ta
b
_extend_cons: check tab
argu
m
ent
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verd
o
olaege
renam
e
isl_tab_d
e
tect_equalities
t
o isl_
t
ab_detect_imp
l
icit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n V
e
rdoolaege
isl_tab_from_recession_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolae
g
e
i
s
l_ilp
.
c: separate ou
t
s
o
lve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_sampl
e
.
c: basic_set_
s
ampl
e
: remember b
o
undednes
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
add
i
sl_polyh
e
dron_detect_e
q
u
a
lities tes
t
applica
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
add
i
sl_
b
a
sic_s
e
t_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdool
a
ege
i
s
l
_
t
ab_allocate_
c
on: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
S
ve
n
Verdoolaege
isl_sam
p
l
e
.
c: ba
s
ic_set_red
u
ced: fi
x
t
y
po p
r
eventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
isl_tab_b
a
sic_ma
p
_partial
_
lexop
t
:
s
implify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
pri
v
ately expor
t
isl_basic_set_add_{i
n
,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately ex
p
ort isl_ba
s
ic_set_
s
a
mple_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl_basic_set_und
e
rly
i
ng
_
set
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
isl_tab
.
c: close
_
ro
w
: push undo
rec
o
rd for
s
etting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
a
dd is
l
_mat_vec_inve
r
se_produ
c
t
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Ve
r
do
o
laege
add isl_mat_c
o
ncat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
add isl_int_
d
i
v
exact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add isl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix long standing bug in
i
s
l
_
mat_inve
r
se_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rd
o
olae
g
e
add isl_
b
asic_map_foreach_le
x
m
in
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_se
t
_project
_
o
u
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl
_
s
e
t
_d
e
t
e
ct_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolaege
add isl_set_foreach_bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add i
s
l_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
isl
_
d
i
m_
s
i
ze: ch
e
ck argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
export i
s
l_mat header
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
a
dd
i
sl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
a
dd isl_m
a
p_fo
r
each_
b
asic_map
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoola
e
ge
co
n
fig
u
re
.
ac: fi
x
cut-and-paste error in origin
a
l commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolae
g
e
export isl
_
set_sample
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
add
isl_basic
_
set_un
i
verse_lik
e
_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoola
e
ge
a
d
d isl_set_is_stri
c
t_
s
u
b
set
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add is
l
_
s
et_univ
e
r
s
e
_like
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Ver
d
oolaege
AX_SUBMODULE: set PKG_C
O
N
F
IG_PA
T
H
commit
|
commitdiff
|
tree
2009-09-20
Sven Verd
o
olaege
create
p
kg-config file
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdoolaege
AX_SUBMOD
U
LE: drop options that ar
e
meaningless given
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
o
olaege
a
d
d i
s
l_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl
_
map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
V
erdoolaege
a
d
d isl_
m
ap_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
a
dd is
l
_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
ad
d
isl_map_fast_is
_
fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add
isl_map_
i
de
n
tity
_
like
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaeg
e
rename isl_map_
i
de
n
tity_lik
e
t
o
isl_map
_
i
d
e
nti
t
y_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
add isl_polytope_scan appl
i
catio
n
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoola
e
ge
isl_
s
eq_no
r
ma
l
i
z
e
: use pr
e
-allocated
tem
p
orary va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
isl_seq
_
no
r
malize: no
ne
e
d
to
sca
l
e
down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
a
d
d
is
l
_
polyh
e
dron_minim
i
ze
app
l
ication
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n V
e
rdoolaege
add generalized basis reduction
based I
L
P sol
v
er
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolae
g
e
add
i
sl_vec_mat_produ
c
t
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdool
a
e
ge
e
x
port
i
sl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_b
a
sic
_
set_sample: only
p
e
rform
b
asis re
d
u
c
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolae
g
e
r
e
na
m
e
i
sl_solve_lp to
isl_b
a
s
ic
_
{map,set}_
s
olv
e
_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
do
o
laege
isl_solve
_
lp: optionally return solut
i
on point
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ver
d
o
o
laege
ex
p
ort isl_vec
h
eader
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoola
e
ge
add
isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verd
o
olaege
add
i
sl_v
e
c_read_f
r
om_file
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
i
s
l_basic
_
map_drop_redundant
_
d
i
v
s
: a
l
so investiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map
_
app
l
y_{d
o
mai
n
,range
}
: d
r
op redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
doolaege
isl_map_simplif
y
.
c: fix typo
in co
m
ment
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
oola
e
g
e
isl_basic_set_project_o
u
t: drop redundan
t
divs
i
n
result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_m
a
p_remove: onl
y
drop divs if b
a
sic
map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ver
d
oolaege
isl_basic_map_det
e
ct_equa
l
ities: e
x
pl
i
citly
k
eep t
r
ack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Ver
d
oolaege
isl_basic_map_extend_dim: keep hol
d
of
sample i
f
di
m
ension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven V
e
r
doolaege
isl_t
a
b
_min:
r
ead off all
information fr
o
m tablea
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoo
l
a
ege
isl_
t
ab_a
d
d
_
v
a
l
id_e
q
: keep t
r
a
c
k of
whether e
q
uality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
lae
g
e
configure
.
ac:
n
o long
e
r use
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
ola
e
ge
ad
d
an internal parametric intege
r
linear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
i
sl_mat_extend
:
ma
k
e sure
the
n
u
mber o
f
rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
o
olaege
isl_
a
ffine_hull
.
c: only c
o
nstru
c
t
affine hull in
b
o
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
s
l_tab:
add
support for keeping track of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab
:
optio
n
ally keep track of row si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_
t
ab: add isl_basic_
s
e
t field
f
or optionally
k
e
e
p
ing
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
i
s
l_tab
:
i
ntro
d
uce support for "big p
a
ram
e
t
er
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_ta
b
: allow int
r
o
d
uction of ex
t
ra
variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
g
e
isl_tab: in
t
roduce parameter
s
an
d
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
ola
e
g
e
i
sl_tab
.
h
:
fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
isl_tab: allow saving an
d
restoring the comp
l
ete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: pri
v
ately ex
p
or
t
s
ome func
t
io
n
a
l
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab: store undo argument in a union f
o
r future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaege
add isl_
b
asic_set_samp
l
e_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export isl_b
a
sic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simplify
.
c: remove_dependent_vars: only rem
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_basic_map_co
m
pute_divs: use isl_basic_set_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
p
i
p_basic
_
map_compu
t
e_divs: do
n
't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
r
doolaege
p
riv
a
tely e
x
port isl_basic_map_swap_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{
s
et,map}_add: don't add obv
i
ously empty basic
.
.
.
commit
|
commitdiff
|
tree
next