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 V
e
rdoolaege
samp
l
e_bounded: reimpleme
n
t to
wo
r
k dir
e
ctly
on
a ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olaege
isl_tab_co
m
pute_
r
ed
u
ced_bas
i
s: work with af
f
ine b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_tab_compute_reduce
d
_bas
i
s: all
o
w incremental computat
i
on
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_polytope_
s
c
an: use isl_tab_from_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
s
eparate out
i
sl_tab_reduced
_
basis f
r
om isl_basic
_
set_re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
oolaege
basis_reducti
o
n_
t
ab
.
c
: u
s
e isl_tab_product
t
o
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
add isl
_
tab_pr
o
duct
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_b
a
sic_set_reduce
d
_basis: fix v
a
lue in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
ege
isl_basi
c
_set_redu
c
ed_bas
i
s: fix up docu
m
entation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
basis_reduction
_
tab
.
c: keep trac
k
of con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdool
a
ege
add isl_tab_a
d
d_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoola
e
ge
isl_t
a
b_add_
v
alid_eq:
a
dd special treatment for manife
s
tly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_tab_extend_c
o
ns:
c
hec
k
tab argument
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdool
a
e
g
e
re
n
ame isl_tab_
d
ete
c
t_equal
i
ties t
o
i
s
l_tab_detect_implic
i
t_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolae
g
e
i
s
l_tab_from_rec
e
ssio
n
_co
n
e: take basic set ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
i
sl_ilp
.
c: separate out solve_ilp_
s
earch
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
isl_
s
ample
.
c: b
a
s
i
c
_set_sample:
r
e
m
emb
e
r
boundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaege
add isl_polyhedron_detec
t
_eq
u
alities test application
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add i
s
l_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdool
a
ege
isl_ta
b
_allocate_co
n
: add extra
assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl
_
sample
.
c:
b
a
s
ic_set_reduced
:
fi
x
typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoo
l
aege
isl_tab_bas
i
c
_map
_
partial_l
e
xopt:
simplify res
u
lt
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_basi
c
_set_ad
d
_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
privately ex
p
ort
isl_b
a
s
ic_set_s
a
mple_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
ad
d
isl_b
a
sic_
s
et
_
u
nd
e
rlying_s
e
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
oolaege
isl_tab
.
c
: clos
e
_row
:
push
u
n
do record
for sett
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ver
d
ool
a
ege
add
isl_
m
at_vec_invers
e
_
product
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
e
r
d
oolaege
add isl_mat_conca
t
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
erd
o
olaege
a
d
d
isl_int_
d
i
vexac
t
_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
a
dd isl_s
e
t
_
dim_residu
e
_
class
commit
|
commitdiff
|
tree
2009-10-03
S
ve
n
Verd
o
o
l
aege
fix long standing bug in isl
_
m
a
t_in
v
erse_product
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add i
s
l_
b
asi
c
_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoo
l
a
e
ge
a
d
d isl_set_
p
roj
e
ct_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ve
r
doolaege
add isl_s
e
t_foreach_bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
ool
a
e
ge
a
dd
i
sl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdool
a
ege
i
s
l
_dim_si
z
e:
c
heck argu
m
ent
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
a
d
d isl_bas
i
c_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_map_foreach_
b
asic_map
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoo
l
ae
g
e
conf
i
gure
.
a
c: fix cut-and-
p
as
t
e e
r
ror in orig
i
nal commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int
_
get_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verd
o
olaege
e
x
port isl_
s
et_sampl
e
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolae
g
e
add i
s
l_basic_set_univ
e
rs
e
_like_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd isl_se
t
_is_st
r
ict_subs
e
t
commit
|
commitdiff
|
tree
2009-09-20
S
v
e
n Ver
d
oolaege
a
d
d isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoo
l
aege
A
X
_
SUBMODULE: set PK
G
_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoola
e
ge
c
r
eate pkg-co
n
fig fil
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Ver
d
oola
e
ge
A
X_SUBMODULE: dr
o
p o
p
tions that
a
r
e
meaningle
s
s gi
v
en
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verd
o
o
laege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Ver
d
oolaege
add
isl_
m
ap_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
rdoolaege
add is
l
_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erdoolaege
a
d
d isl_map_i
s
_stri
c
t_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
rdoo
l
aege
add isl_
m
ap_f
a
st_
i
s_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoo
l
a
e
ge
add isl_m
a
p_identit
y
_like
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
r
e
n
am
e
isl_m
a
p_identity_like t
o
isl
_
m
a
p_ident
i
ty_l
i
k
e_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoo
l
aege
isl_seq_normaliz
e
: use pre-allocated temp
o
rary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
eg
e
add
i
sl_vec_nor
m
alize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
la
e
ge
isl_se
q
_norm
a
li
z
e: no ne
e
d to scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
a
d
d
i
sl_polyh
e
dron_m
i
ni
m
ize applic
a
ti
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ver
d
oolaege
a
d
d generali
z
ed basis
r
eduction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add
isl_vec_mat
_
product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
e
ge
export
i
s
l_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
isl_basi
c
_
set_sample: only perform basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdo
o
lae
g
e
rename
i
sl_solve_lp to
i
sl_b
a
s
ic_{map
,
set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_solve_lp
:
o
ptional
l
y r
e
turn s
o
lution po
i
nt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
expo
r
t
isl_vec
h
e
a
d
er
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
doolaege
a
d
d
isl
_
int_f
d
iv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdo
o
laege
add isl_vec_rea
d
_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
i
sl_b
a
sic_map_drop_redundant_d
i
v
s
:
als
o
investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
isl_basic_
m
ap
_
a
pply_
{
d
o
main,
r
a
nge}: drop
redundan
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
ae
g
e
isl_map_simplify
.
c
: fix
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Ve
r
do
o
lae
g
e
isl_basic_set_projec
t
_out: d
r
o
p redundant divs in
resu
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
isl_basic_map_
r
e
m
o
v
e: only drop divs if basic m
a
p d
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolae
g
e
isl_basic_map_detect
_
equalities: expl
i
c
itly k
e
ep t
r
ack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
l
aege
isl_b
a
sic_map_e
x
t
e
nd_di
m
:
keep h
o
ld
of sample if d
i
m
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
e
rdoolaege
isl_t
a
b_min: r
e
ad
of
f
a
l
l informat
i
on from
t
ableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_ad
d
_valid_eq: keep
t
rack
o
f w
h
ether e
q
uality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
rdoolaege
co
n
fi
g
ure
.
a
c:
n
o longer use pipli
b
b
y
default
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolaege
add an
i
n
t
e
rnal parametric integer linear prog
r
a
m
solver
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
lae
g
e
isl_mat_extend: ma
k
e sure the number of r
o
w
s never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
l
a
ege
isl
_
affine_hu
l
l
.
c: on
l
y
c
onstruct affi
n
e hull in b
o
unde
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
e
g
e
isl_ta
b
: add support for
k
eeping track
of s
a
m
ples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab:
o
ptionally keep
track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: ad
d
i
sl_basic_se
t
fi
e
ld for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_ta
b
:
i
ntroduce support f
o
r "big parame
t
ers"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab: al
l
ow intr
o
duction of extra variabl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
o
l
aeg
e
isl
_
tab: introduce parameters
a
nd divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab
.
h: fix typo in commen
t
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
sl_ta
b
:
a
l
l
o
w
saving
and restoring
the compl
e
te basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab
:
p
r
ivate
l
y e
x
port some functi
o
n
a
lity
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
isl_tab: stor
e
und
o
argument in a union fo
r
futu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_basi
c
_set_sampl
e
_
b
o
unded
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
privately
e
xport isl
_
basic_se
t
_
o
r
d
e
r_divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ver
d
oola
e
ge
isl_map_simplify
.
c: rem
o
v
e_depen
d
e
n
t_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
basic_map_c
o
mpute_
d
ivs: use isl_
b
asic_set
_
lex
m
in
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oola
e
g
e
i
s
l_pi
p
_b
a
sic_map
_
compute_divs: d
o
n
'
t
t
urn d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
p
r
i
vately export isl_basic_map_swap_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
s
l
_{set,
m
ap}_add: don't a
d
d ob
v
iously
e
mpty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
combine is
l
_pip_basic
_
map_le
x
{min
,
max} into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
next