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
Sven V
e
rdo
o
laege
isl_tab_detec
t
_re
d
unda
n
t
:
return status instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ver
d
ool
a
e
ge
isl_t
a
b: add is
l
_tab_free
z
e
_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_
a
d
d
_ineq a
n
d
isl_tab_mark_empty: re
t
urn status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaeg
e
add missing
A
UTH
O
RS fil
e
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolae
g
e
isl_
b
a
si
c
_s
e
t_
s
wa
p
_var
s
: r
e
-gauss r
e
sulting
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoola
e
ge
add isl_basic_map_first_cons
t
rai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
doolaeg
e
e
x
port isl_basi
c
_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Ve
r
d
o
ola
e
ge
a
d
d i
s
l_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ver
d
oolaege
is
l
_ma
p
_drop_basic_map: c
o
ns
i
stentl
y
keep ba
s
ic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab: row i
s
only (obviously) redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_
b
a
sic_map_simplify: make sure to rerun
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoolaege
i
s
l_tab_basic_map_partial_lexopt: us
e
context c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_
p
ip
.
c: ign
o
re dead
col
u
mns whe
n
checki
n
g
integral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oola
e
ge
is
l
_pip: optionally perform
some ch
e
ck
o
n
t
h
e results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put
o
ptions in a separ
a
t
e
is
l
_
o
p
t
ions structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add r
u
dimentar
y
argument parsing
facility
commit
|
commitdiff
|
tree
2009-10-21
S
v
en
Verdoolaege
isl_tab_compute_re
d
uced_basi
s
:
handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_basic
_
set_solve_ilp:
h
andle obviously empty
s
e
ts
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
d
ool
a
ege
isl_basi
c
_set_s
o
l
v
e_i
l
p: fix h
a
ndli
n
g
o
f s
e
t
s
with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
e
ge
add
i
sl_s
e
t_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
d
oola
e
g
e
add
i
s
l_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoo
l
aege
add
i
sl_bas
i
c_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laeg
e
e
xtra
c
t
i
s
l_basic_set_
s
c
an from polytope
_
scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_
m
ap_s
i
mplif
y
:
a
void removal of div def
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_map
.
c: d
e
clare variable at st
a
rt of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
olaege
i
sl_
b
asic_set_project_out: handle ra
t
ional sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdool
a
ege
add isl_basic_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoola
e
ge
isl_tab_pip: keep c
a
c
h
e of
par
t
ial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_tab_pip: don't free
i
sl_sol on error conditio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_
tab
:
support generic undo records
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
a
d
d isl_m
a
t_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_ta
b
_
p
ip
.
c:
r
e
move so
m
e code duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoola
e
ge
i
s
l
_
map_i
s
_sub
s
et:
add
spe
c
ial case fo
r
si
n
gleto
n
maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
isl_map
_
compute_divs: skip
c
omp
u
tatio
n
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
V
er
d
oolae
g
e
isl_
m
ap_is_subse
t
: expl
o
it anothe
r
easy special ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
ad
d
i
sl_map_fa
s
t_
i
s_unive
r
se
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add i
s
l_set_si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark
some
f
unctio
n
s as r
e
quiring use o
f
ret
u
rn
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
r
d
oolaege
i
s
l_t
a
b
: improved e
r
r
o
r
handling
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdool
a
ege
isl_tab
_
p
i
p
.
c: increm
e
nta
l
ly bui
l
d
r
ecession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven V
e
rdoolaege
isl_
t
ab_pip
.
c: propagat
e
some equ
a
l
i
ties f
r
om gbr cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
i
s
l_t
a
b
_p
i
p
.
c: dete
c
t equa
l
ities in gbr context
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ver
d
oo
l
aeg
e
add is
l
_t
a
b_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
add isl
_
tab_set_in
i
t
ial_b
a
sis_wi
t
h_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
isl_
t
ab_pip
:
u
s
e genera
l
i
zed basis
r
ed
u
cti
o
n
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oolaege
i
s
l
_
tab_pip: add
g
eneralized basis red
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_
t
ab
_
p
i
p
.
c: extrac
t
out context handl
i
ng
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
i
sl_ta
b
_
pip
.
c: add_div: us
e
m
o
re reliable wa
y
to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoolaege
isl_tab_
b
asi
c
_map_part
i
al_lexopt: r
e
move
s
amples tha
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab
.
c: extract ou
t
sample
s
handlin
g
f
rom
i
sl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
dool
a
ege
isl_af
f
ine_
h
ull
.
c
:
uset_a
f
fine_
h
ul
l
_bou
n
d
e
d: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ve
r
d
o
o
laege
isl_bas
i
c_map_detect_equali
t
ies: keep track of s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
e
ge
isl_ba
s
ic_m
a
p_detect_equalities: only c
o
mpute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_sample:
h
a
ndle unbounded di
r
ections in initia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoola
e
ge
isl_tab_compute_reduced_basis
:
handle unbounded
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verd
o
olaege
exploit e
q
u
alities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl
_
t
a
b: keep (in)equ
a
liti
e
s o
f
bset (if any)
i
n
s
ync
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
is
l
_ta
b
_sample: be more
v
erbos
e
a
b
ou
t
u
n
bounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
s
e
par
a
te out
isl_tab_s
a
mple from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sam
p
le_bounded: reimplement to
w
o
rk direct
l
y on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduc
e
d_basi
s
:
w
o
rk with a
f
fine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b_c
o
mpute_reduced_basis: allow incre
m
ental computation
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdool
a
ege
isl_polytope_scan: use
isl_tab_from_ba
s
i
c
_
set
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
s
e
parate out isl_tab_r
e
duced_basis
f
ro
m
isl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oola
e
ge
b
asis_reduc
t
ion_tab
.
c: use is
l
_tab_product t
o
con
s
tru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
add isl_
t
ab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdo
o
l
aege
isl
_
basic_
s
et_reduced_basis: fix value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_basic_set_reduce
d
_b
a
sis: fix up docume
n
t
ation
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
basis_reductio
n
_t
a
b
.
c: kee
p
track of con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
d
oolaege
ad
d
is
l
_
t
ab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_tab_add_valid
_
eq: add special treat
m
ent for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
erdoolaege
isl_tab_extend_con
s
: check
t
ab argum
e
nt
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
rename isl_tab_dete
c
t_equ
a
lities to
isl_tab_de
t
ect_
i
m
p
licit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoo
l
aeg
e
isl_tab_from_reces
s
ion_c
o
ne: take basic se
t
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
i
s
l_il
p
.
c: sepa
r
ate out solve_i
l
p_s
e
arch
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoo
l
a
e
ge
isl_sample
.
c:
b
asic_s
e
t_sample: remember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
dd isl_polyhedron_detect_eq
u
alities te
s
t
appl
i
cation
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
add i
s
l_basi
c
_
s
e
t_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
isl_
t
ab_all
o
cat
e
_c
o
n:
a
dd
extra
a
ssertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sample
.
c: ba
s
ic_s
e
t
_reduced: fix
typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoola
e
ge
isl_tab_basic_map_partial_lex
o
pt: si
m
plify result
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
Ver
d
oolaege
private
l
y e
x
port isl_b
a
s
i
c_set_add_{in,
}
eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
pri
v
atel
y
export isl_basic_s
e
t_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_
s
et_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
is
l
_
tab
.
c
:
close
_
row:
push undo reco
r
d f
o
r setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaeg
e
add isl_mat_vec_inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
add
i
s
l_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
add
i
s
l
_int_
d
ivexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sve
n
Verdoolaege
a
d
d isl_se
t
_di
m
_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoo
l
aege
fix long
standing bug i
n
i
s
l_mat_inverse_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-02
S
ven Ver
d
o
olaege
ad
d
isl_ba
s
i
c
_
map_foreach_lexmi
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oo
l
aege
add i
s
l
_
set_
f
oreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdo
o
la
e
ge
add isl_set
_
lifting
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
erdo
o
laege
is
l
_dim_siz
e
:
check argument
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolae
g
e
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
d
o
olaege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolaege
add is
l
_map_foreac
h
_basic_m
a
p
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
configur
e
.
ac
:
fix cut-and-paste error
in
o
riginal commit
commit
|
commitdiff
|
tree
next