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
isl_pip: optionally perform some check on the results
2009-10-21
Sven Verdoolaege
isl_pip:
o
ptionally perform some che
c
k on th
e
r
e
sults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
put options in a separ
a
te
isl_op
t
ions structure
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
ad
d
rudiment
a
r
y argum
e
nt parsing fac
i
lity
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
o
olaeg
e
isl_t
a
b_compute_reduc
e
d
_ba
s
is: handle
e
mpty
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_s
e
t_sol
v
e_ilp: handle obv
i
ous
l
y empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_basic_set_solve_il
p
:
fix handling of sets
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add is
l
_s
e
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
Verdoolaeg
e
a
dd isl_set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract isl
_
b
as
i
c_set_scan from polytope_sc
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
laege
isl_basic_ma
p
_simpli
f
y: avoid removal of
d
iv defi
n
it
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
sl_map
.
c: dec
l
are va
r
iable at sta
r
t o
f
c
o
d
e block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_basic_se
t
_pr
o
jec
t
_out:
h
and
l
e rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_ba
s
ic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
ve
n
Ve
r
doolaege
i
sl_tab
_
pip: keep cache o
f
par
t
ial sol
u
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
er
d
oolaege
isl_tab_pip:
d
on't free isl_sol o
n
error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erd
o
olaege
isl
_
tab: support generic undo
r
e
cor
d
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
is
l
_
tab_pip
.
c: remov
e
some c
o
de duplication
b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaege
is
l
_map_is
_
s
ubset: add spe
c
ial case for
singl
e
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_c
o
m
pute_divs: skip computat
i
on if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdo
o
lae
g
e
isl_m
a
p_is_subset: exploit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
a
dd isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
Verdoolaege
mark some functions as requiring use
o
f re
t
urn v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_tab:
i
mpro
v
ed error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c: incremen
t
ally build
r
ecess
i
o
n
cone o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
V
erdoo
l
ae
g
e
isl_tab_pip
.
c: pr
o
pagate some equa
l
ities from gbr con
t
ex
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
rdoo
l
aege
isl_
t
ab_pip
.
c
:
detect e
q
ualities in gbr contex
t
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n
Verdoolaege
a
d
d isl_ta
b
_detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
add isl
_
tab_set_initial_basis
_
with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
d
o
olaege
isl
_
tab_pip: us
e
gener
a
liz
e
d b
a
s
i
s
re
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip
:
a
d
d generalized basis reductio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaeg
e
i
s
l
_t
a
b_
p
ip
.
c: extract out context handling
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoolaege
isl_t
a
b_pip
.
c
: add_div:
u
se more reliable
w
a
y
t
o te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
isl_tab
_
b
asic_map_par
t
i
al_lex
o
pt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
i
s
l_t
a
b
.
c: ex
t
ract out samples handling from isl_tab
_
pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_affine
_
hull
.
c:
u
set_af
f
ine_
h
ull_bounded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_basic_map_dete
c
t_equalities: keep track
of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic_ma
p
_detect_equ
a
lities: only compute rece
s
si
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab
_
sample: handle unbounded d
i
recti
o
ns in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaeg
e
is
l
_tab_compute_r
e
duced_basis
:
handle un
b
ounded direction
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit
equalities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab: keep (in)equalities
of
b
set (if
a
n
y) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
o
la
e
ge
isl_tab_s
a
m
p
le: be more ve
r
b
o
se about unboun
d
ed dir
e
ction
s
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
s
e
parate
o
ut isl_tab_sample fro
m
sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
sample_bounded: reimplement to
work di
r
ectl
y
on
a
table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
is
l
_tab_comput
e
_reduced_basis:
w
ork w
i
th affine ba
s
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
oolaege
isl_ta
b
_c
o
m
pute_reduced_basi
s
: allow
incrementa
l
com
p
utation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_po
l
ytope_scan
:
u
s
e is
l
_tab_from_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
s
e
parate out
i
sl_tab_reduce
d
_basis from i
s
l
_
basic_set_
r
e
duc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab
.
c
:
use isl_tab_p
r
oduct to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolae
g
e
add isl_
t
ab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_basic_set_red
u
ce
d
_basis: fix value in
direct
i
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl_ba
s
ic
_
set_redu
c
ed_basis: fix up documen
t
ati
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduction_tab
.
c:
k
e
e
p t
r
ack of con_offset in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
add isl_tab
_
a
dd_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
isl_ta
b
_
a
dd_valid_eq: add
special treatment
f
or manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n V
e
r
d
oo
l
a
ege
isl_tab_extend_cons: c
h
eck tab arg
u
ment
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
rename i
s
l_tab_de
t
ect_e
q
u
alities
t
o isl_tab_detect_
i
mplic
i
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaeg
e
isl_tab
_
from_recession_cone:
t
ake basic set
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
d
o
ol
a
ege
isl_ilp
.
c
:
s
e
p
arate out
s
olve_
i
lp_search
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
o
o
l
a
ege
isl_sample
.
c
:
ba
s
i
c
_set
_
sample: remembe
r
boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
a
dd
i
sl_polyhedron_d
e
tect
_
equalities test ap
p
licatio
n
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdo
o
l
aege
add isl_basic_set_detect
_
e
q
u
alities
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
isl_tab_al
l
ocate_co
n
: add extr
a
assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
g
e
isl_
s
ample
.
c: basi
c
_set_reduced: fix
typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic_map_partial_lexopt:
s
implify result
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoo
l
a
e
ge
privately export isl_basi
c
_se
t
_a
d
d_{in,
}
e
q
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
privately expor
t
isl_
b
a
s
ic_set_sample_
w
i
t
h_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
add is
l
_basic_set_underlyi
n
g
_
set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
l
a
eg
e
isl_tab
.
c: close_row: push undo re
c
o
rd
for
s
etting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verd
o
o
laege
add isl_m
a
t_vec_inve
r
se_produ
c
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
add isl_mat_
c
oncat
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
doo
l
aeg
e
add isl_int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven
V
e
r
doolaege
add isl_set_di
m
_resi
d
ue_clas
s
commit
|
commitdiff
|
tree
2009-10-03
S
v
e
n
Verdoolaege
fix long
s
tanding bug in isl
_
mat_inverse_produ
c
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_
b
a
s
ic_map_fo
r
each_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaege
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_
d
et
e
ct_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
ola
e
ge
ad
d
isl_set_fo
r
each_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_s
i
ze: che
c
k argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
e
x
port isl_
m
a
t
heade
r
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
add isl_basic
_
map_
l
exm
i
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_map
_
foreach_ba
s
ic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
configu
r
e
.
ac: fix cut-and-paste error in
origi
n
al com
m
it
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int_get_s
i
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolae
g
e
exp
o
rt isl_set_
s
ample
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oola
e
ge
add isl_basic_set_univer
s
e_like_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en
Verdoolaege
a
d
d
isl_s
e
t_is_
s
trict_s
u
b
set
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaeg
e
add isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdo
o
laeg
e
AX_SUBMODULE: s
e
t
P
KG_CO
N
F
IG_PATH
commit
|
commitdiff
|
tree
2009-09-20
S
ven
V
erdoolaege
create pkg-confi
g
f
i
le
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdoolaege
AX_SUBMODUL
E
: drop
o
ptions t
h
at are me
a
ningless given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
S
ven Verdoolaege
isl_basic
_
m
ap_from
_
constraint: retur
n
c
o
py
of b
m
ap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
S
v
en Verdoolaege
do
c
: fix descrip
t
io
n
of lexicog
r
ahpic order relations
commit
|
commitdiff
|
tree
2009-09-16
Sv
e
n
V
erdoola
e
ge
ad
d
isl_
m
a
p
_lex
_
le
a
nd isl_m
a
p_l
e
x_g
e
commit
|
commitdiff
|
tree
2009-09-14
S
v
en Ve
r
doo
l
aege
e
x
port isl_
b
asic
_
map_gist
commit
|
commitdiff
|
tree
2009-09-14
S
ven Verdoola
e
ge
a
dd isl_
b
asic_map_sample and isl_map_
s
ample
commit
|
commitdiff
|
tree
next