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_tab_detect_redundant: return status instead of isl_tab *
2009-12-07
Sve
n
Verd
o
olaege
isl_tab_det
e
ct
_
redunda
n
t
: return
status instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verd
o
olaeg
e
isl_tab: add i
s
l_tab_
f
reeze_c
o
n
s
trai
n
t
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verd
o
olaege
isl_
t
a
b
_
add_ine
q
and i
s
l
_ta
b
_
mark_empty: r
e
tu
r
n
status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
add mi
s
sing A
U
T
H
ORS fi
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
olaege
isl_basic_set_swap_vars: re-gau
s
s resulting
b
se
t
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoolaege
a
d
d isl_basic_
m
a
p
_f
i
r
st_const
r
ai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoolaege
e
x
port isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add isl_basic_set_
l
ex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Verdoolaeg
e
isl_map
_
drop_basic_map
:
con
s
istently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verd
o
olae
g
e
isl
_
t
ab: row is only (obvi
o
u
s
ly) redundant i
f
it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ve
n
Verdoolaege
isl_basic_map_simpli
f
y: mak
e
sure to
rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ve
r
doolaege
isl_tab_basic_
m
ap_
p
artial_lexopt: use
c
o
n
t
ext c
o
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_tab_pip
.
c: ign
o
r
e
dead
co
l
umns
w
h
e
n
ch
e
c
k
i
n
g
i
ntegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_pip
:
o
p
tionall
y
perform so
m
e che
c
k on
t
he
res
u
l
ts
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
put o
p
tions in a se
p
arate isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
add rudimentary a
r
gument p
a
rsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_tab_c
o
mp
u
te_re
d
uc
e
d_basis
:
handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Ve
r
doola
e
ge
isl_basic_se
t
_s
o
lve_ilp: h
a
ndle obviously empty
s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
oo
l
ae
g
e
isl_basic
_
set_solve_ilp: fi
x
ha
n
dling of
se
t
s with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olae
g
e
add
i
sl_
s
e
t
_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_s
e
t_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
add isl_bas
i
c_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Verdoola
e
ge
ext
r
act isl_basic_set_scan f
r
om polytope_s
c
an
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olae
g
e
isl_basic
_
map_simplify: avoid removal of div defin
i
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolae
g
e
isl_
m
ap
.
c: declare variable at sta
r
t of code block
commit
|
commitdiff
|
tree
2009-10-21
S
ven V
e
rd
o
o
l
aege
isl_basic_set_project_out: hand
l
e rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
ad
d
isl_ba
s
ic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_tab_pip: keep cache
of
p
art
i
al solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven V
e
rdoolaege
isl_t
a
b_p
i
p: don
'
t
f
ree isl_
s
ol o
n
error co
n
dition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
isl
_
tab:
s
u
p
port
generic
undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaeg
e
add
i
sl
_
m
at_is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
i
s
l_tab_
p
i
p
.
c
: remove
some code dup
l
ication bet
w
een
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ve
r
doolaege
isl_map_is_sub
s
et: a
d
d
special case for single
t
on
m
aps
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
isl_map_
c
ompute_divs
:
skip com
p
utation
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_is_subset: exploit another easy spe
c
ial case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
add isl_map_
f
ast_is_univ
e
rs
e
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
add
isl
_
set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some fu
n
ctions as requ
i
ring
use of
r
et
u
rn valu
e
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoo
l
aeg
e
isl_tab:
i
mp
r
oved er
r
or
handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
is
l
_
t
ab_pip
.
c: incrementally build recession
c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
r
d
oolaege
is
l
_tab_pi
p
.
c
: propagate some equalities
f
ro
m
gbr contex
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
isl_tab_pip
.
c:
detect equalit
i
es in gbr context
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_d
e
te
c
t_equalit
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
eg
e
ad
d
isl_tab_set
_
initial_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
i
sl_tab_pip: use
g
e
n
eralized basis redu
c
tion bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
r
doolaege
isl_ta
b
_pip: add ge
n
er
a
lized basis redu
c
ti
o
n ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
r
doolaege
isl_
t
a
b_pip
.
c:
ext
r
ac
t
out context h
a
ndling
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoo
l
aege
isl_tab_pi
p
.
c: add_d
i
v: use more re
l
iable w
a
y to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoo
l
aege
isl_tab_basic_m
a
p_pa
r
tial_lex
o
pt: r
e
move samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab
.
c: extract out samples handling from isl_ta
b
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
o
o
l
aege
i
s
l_af
f
i
n
e_hull
.
c: us
e
t_affi
n
e_h
u
ll_bounded: use tab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoo
l
a
e
ge
isl
_
basic
_
ma
p
_
d
etect_
e
qu
a
lit
i
es: keep tra
c
k
o
f sampl
e
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
oolaege
isl
_
basic_map_detect_equalitie
s
: only compute r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
rdoolae
g
e
i
s
l
_t
a
b_samp
l
e: handle
u
nbounde
d
d
irections in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoolaege
isl_
t
ab_compute_reduce
d
_
basis: handl
e
unbounded dir
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verd
o
ol
a
e
ge
e
x
ploit eq
u
alities in isl
_
tab
_
s
a
m
p
le
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
isl_tab:
keep (in)equalities of bset (if any
)
in sync
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_tab
_
sample: be more
v
erb
o
se about unboun
d
ed d
i
rections
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sep
a
rat
e
ou
t
isl_tab_sa
m
ple
from sa
m
p
l
e_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample
_
boun
d
ed: rei
m
p
l
em
e
n
t
to work directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ola
e
ge
isl_tab_compute_reduced_
b
as
i
s: work with affine b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_tab_compute_
r
e
duced_basis: al
l
ow i
n
cremental computati
o
n
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_polytope_
s
can: use isl_tab_from_
b
asi
c
_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
ola
e
ge
separate out
isl_tab_reduced
_
b
a
s
is from isl_
b
asic_set_re
d
uc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab
.
c
: use isl_tab_
p
ro
d
uct to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add isl_ta
b
_product
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_b
a
sic_set
_
r
e
d
u
ced_basis
:
fix value in d
i
r
e
ct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
sl
_
ba
s
ic
_
s
e
t_reduced_basis: f
i
x up
documen
t
ati
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdo
o
laege
basis_reduct
i
on_tab
.
c
: keep track
o
f
con_offse
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaeg
e
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
ven
V
erdoolaege
isl_tab_add
_
v
ali
d
_eq:
add special treatment for m
a
nifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolae
g
e
isl_
t
ab_
e
x
tend_cons: check
t
ab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_
d
et
e
c
t
_
e
qualities to
i
sl_tab_detect_i
m
plicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
isl_tab
_
fr
o
m_recession_cone:
t
ake bas
i
c set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
i
sl_ilp
.
c: se
p
arate
out solve
_
i
lp_s
e
a
r
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdool
a
ege
isl_s
a
mple
.
c
:
b
a
si
c
_set_
s
amp
l
e: remember bo
u
n
d
edness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
add
isl_po
l
yhedron_de
t
e
ct
_
equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
ola
e
ge
add isl_ba
s
ic_set_
d
et
e
ct_equalit
i
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
is
l
_ta
b
_alloca
t
e_con:
a
dd
extra
as
s
ertion
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
isl_sam
p
le
.
c: ba
s
ic_set_re
d
uce
d
: fix ty
p
o preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
i
s
l_tab_basi
c
_map_
p
a
r
t
ial_
l
exopt: si
m
p
l
ify result
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ve
r
doolae
g
e
privately expor
t
isl_basic_set_
a
dd_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
pr
i
vately export isl_basic_set_
s
ample
_
with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
er
d
oolaege
a
d
d
isl_ba
s
ic_s
e
t
_un
d
e
rlyin
g
_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erd
o
o
l
aege
i
s
l_ta
b
.
c:
c
lo
s
e
_row: pu
s
h u
n
do
record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
d
d isl_mat_vec_i
n
verse_produc
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
d
d isl_mat_c
o
nca
t
commit
|
commitdiff
|
tree
2009-10-07
Sven
Ve
r
d
oolaege
add isl
_
i
n
t
_
d
i
vexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdo
o
laege
add isl_
s
et_dim
_
residue_class
commit
|
commitdiff
|
tree
2009-10-03
S
ven Verdo
o
laege
fix
long stan
d
ing bug in isl_mat_inve
r
se_product
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolaege
add isl_basic_map
_
foreach
_
le
x
m
in
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolae
g
e
add isl
_
set_proj
e
ct_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set
_
detect_equalit
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoolaege
add isl_se
t
_
f
o
reach_basic
_
set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verd
o
olaege
add i
s
l_set_li
f
ting
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolaege
i
s
l_dim
_
s
ize
:
check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_mat he
a
der
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l
_basi
c
_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
a
d
d
isl_ma
p
_for
e
ach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ver
d
oola
e
ge
conf
i
g
ure
.
a
c: fix c
u
t-and-paste
error in ori
g
inal commi
t
commit
|
commitdiff
|
tree
next