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_map_transitive_closure: use more generic acyclicity test
2009-12-07
Sven
V
e
r
do
o
laege
isl_tab: ad
d
is
l
_
t
ab_f
r
eeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_ineq
a
nd isl_tab_mark_empty: return
s
t
a
tus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add miss
i
ng AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
S
v
en V
e
rdoolaeg
e
isl_basic_set_s
w
a
p_vars
:
re-
g
auss
r
esul
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
Sven V
e
rdoolaege
add isl_basic_map_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_basic_map_le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add
i
sl
_
b
asic_
s
et_lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdoolae
g
e
isl_map_
d
rop_bas
i
c_map: c
o
ns
i
stently keep basic
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Verdoolaege
isl_tab:
r
ow is only (obv
i
ou
s
ly) redundant if i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
isl
_
ba
s
i
c_map_simpli
f
y: make sure
t
o rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
i
s
l_
t
ab_basic_m
a
p_pa
r
tial_lexopt: use co
n
text constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
V
e
rd
o
olaege
isl_tab_pip
.
c
:
ignore
d
ead
c
o
lumns
when c
h
eck
i
ng integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
la
e
ge
isl_pip: optional
l
y perfo
r
m some ch
e
ck on t
h
e
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
laege
put options in a
s
eparate isl_option
s
structur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
add rudimentary argu
m
ent parsi
n
g facility
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
i
sl_tab_comput
e
_reduced_basi
s
:
handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdool
a
ege
isl_b
a
sic_set_solve_ilp: handle obviously em
p
ty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ol
a
e
ge
i
s
l_basic_set_
s
olve_ilp:
f
i
x handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
l
aege
add isl_s
e
t_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add i
s
l_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
V
erdoo
l
a
e
ge
add isl_basi
c
_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
extract
isl_basic_set_scan
from po
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
isl_ba
s
ic
_
map_simplif
y
:
avoid removal of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
i
s
l_map
.
c: decla
r
e
va
r
iable at start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
ge
isl_
b
asic
_
se
t
_project_
o
ut: handle ra
t
ional sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ola
e
ge
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
ge
isl_tab_pi
p
: keep ca
c
he of partial
s
o
lu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdo
o
laege
isl_tab_pip: don't free isl_sol on erro
r
c
ondition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
isl_tab: sup
p
ort generic und
o
reco
r
ds
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaege
add
i
sl_mat_is
_
equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
i
sl_
t
ab_pip
.
c
:
rem
o
v
e
some code
d
uplicat
i
on b
e
tw
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
en
V
erdoolaege
isl_map_i
s
_subs
e
t: ad
d
special cas
e
for single
t
on ma
p
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doola
e
ge
isl_map_comp
u
te_div
s
:
skip computa
t
i
on
i
f divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdo
o
laege
isl_map_is_subset:
exploit an
o
ther easy
speci
a
l case
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
add isl_map
_
f
a
st_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl
_
set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
mark some func
t
i
ons as requiring
use of return value
commit
|
commitdiff
|
tree
2009-10-12
S
ven V
e
r
doolaege
isl_
t
a
b
: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_
tab_pip
.
c: incrementally bui
l
d
r
ece
s
sion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdool
a
ege
isl_tab_pip
.
c: pro
p
agate some eq
u
a
l
i
ties from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdo
o
laege
i
s
l_
t
ab_pip
.
c:
d
etect equal
i
ties in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Verdool
a
ege
a
d
d isl_t
a
b_det
e
ct_equa
l
i
t
ies
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_set_initial_bas
i
s_
w
i
t
h
_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
isl
_
tab_pip
:
use generalized basis reducti
o
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
s
l_tab
_
p
ip: add
generalized basis r
e
duction ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
is
l
_
tab_pi
p
.
c: extrac
t
out
c
o
n
text handling
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verd
o
o
l
aege
isl_tab_pip
.
c:
a
dd_div: use more reliable way to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_
t
ab
_
basic_map_partial_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
i
s
l_
t
ab
.
c: extract out samples handling from isl
_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdo
o
laege
isl_affine_
h
ul
l
.
c: uset_affin
e
_
hull_bou
n
ded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_map_detect_equalities:
k
e
e
p
t
rack of sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
e
rdoola
e
ge
isl
_
basic_map_detect_equalit
i
e
s: onl
y
comput
e
recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolae
g
e
isl_tab_sample:
h
andle
u
nbounded directi
o
ns in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
lae
g
e
isl
_
tab_compute
_
r
e
d
u
ce
d
_basi
s
: h
a
ndle u
n
bounded directio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
e
x
p
loit equal
i
ties in
i
sl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (in)equalities of bset (if
a
ny)
i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
erdoolaege
isl_tab_sampl
e
:
b
e m
o
re verbos
e
about unbounde
d
di
r
e
cti
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
se
p
arate out isl_tab_samp
l
e
from samp
l
e_boun
d
ed
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sampl
e
_bounded:
r
eimplement to work di
r
ec
t
ly
o
n
a ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduced_basis: wo
r
k w
i
th af
f
in
e
basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab_compute_red
u
ced_basis: allow incr
e
mental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doola
e
ge
i
sl_pol
y
tope_scan: use
i
sl_
t
ab_from_ba
s
i
c
_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
s
e
parate out isl_tab_reduced_basis from isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
ba
s
is_r
e
duction_t
a
b
.
c: use is
l
_tab_product to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
oolaege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
l
a
ege
isl_basic
_
set_redu
c
e
d_basi
s
:
fix value in direc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basi
c
_se
t
_reduced_
b
a
s
is: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
S
ven
Verdoolaege
basis_red
u
ct
i
on_ta
b
.
c: keep track of c
o
n
_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
d
oolaege
add isl_
t
a
b_add
_
eq
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rd
o
olaege
i
sl_tab_add_valid_eq: add special treatment
for manifes
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdo
o
laege
isl_tab
_
extend_cons: check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
rename isl_tab_de
t
ect_equalities to isl_tab_d
e
t
e
c
t
_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_from_recession
_
c
o
ne: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: s
e
parate out
s
o
l
ve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
is
l
_sample
.
c: basic_se
t
_sample: remem
b
er boun
d
ednes
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add is
l
_polyhedron_detect_
e
qualities test a
p
plication
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
add isl_b
a
s
i
c_set_d
e
tect_e
q
ualit
i
es
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_allocate
_
con: add extra
asser
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
e
rd
o
o
laege
i
sl_s
a
mpl
e
.
c:
b
asic_se
t
_r
e
duc
e
d
: fix t
y
po preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
r
doolaege
i
s
l_tab_basic_map_parti
a
l_lexopt: simplify r
e
sult
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
e
rdool
a
ege
privately e
x
port isl_ba
s
ic_
s
et_ad
d
_{i
n
,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
privately e
x
po
r
t is
l
_basic_set_s
a
mple_wi
t
h_cone
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erdoo
l
a
ege
add is
l
_ba
s
ic_set_underlying
_
set
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ve
r
d
oo
l
aege
isl_tab
.
c:
close_row:
p
ush undo record fo
r
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl_mat_vec_inver
s
e_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdo
o
laege
add isl_int_
d
ivexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add isl_s
e
t_dim_resid
u
e
_cla
s
s
commit
|
commitdiff
|
tree
2009-10-03
S
v
e
n Verdoolaeg
e
fix long s
t
and
i
n
g
bug in is
l
_
m
a
t_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
erd
o
olaege
add i
s
l_basic_map_f
o
r
e
ach_le
x
min
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
e
ge
add isl
_
set_
p
roje
c
t_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl
_
set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
add isl_set_fore
a
ch_basic_set
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ve
r
doolaege
add isl_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Ve
r
doolaege
isl_di
m
_size: check argume
n
t
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdool
a
e
g
e
e
x
port is
l
_ma
t
h
e
ader
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basi
c
_m
a
p
_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
a
d
d
isl_map_for
e
a
c
h
_
basic
_
map
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdoolaege
configure
.
ac: fix cut-and-paste error in o
r
igina
l
c
ommit
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
add isl
_
int_get_si
commit
|
commitdiff
|
tree
next