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_basic_set_compare_at: compute result in terms of maximal (integral) difference
2009-12-24
Sven Verd
o
olaege
isl_basic_se
t
_
c
ompar
e
_at: co
m
pute r
e
sult in
terms
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoo
l
a
e
g
e
isl_tab_pip
.
c:
a
d
d
cuts for all non-integer co
o
rdinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdool
a
eg
e
isl_basic
_
map_gist: don'
t
dro
p
equa
l
it
i
es
f
r
om context
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erd
o
olaege
isl_convex_
h
ull
.
c:
i
n
iti
a
l
_facet_constraint: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven
Verdoola
e
ge
isl_convex_
h
ull
.
c:
is_inde
p
enden
t
_
bo
u
nd: normal
i
z
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdoolae
g
e
is
l
_convex_
h
u
l
l
.
c:
e
x
t
end: check h
u
ll argu
m
ent
commit
|
commitdiff
|
tree
2009-12-18
Sv
e
n Verd
o
olaege
isl_mat_rig
h
t_inverse: be
m
ore
ve
r
b
o
se on error condit
i
on
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaeg
e
isl_c
o
nstra
i
n
t_dup: make sure line refers to
e
quation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
isl_map_inte
r
s
ect: add
s
pecial case for adding a si
n
gle
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_is_subset: break
off as soo
n
as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
V
e
r
d
oolaege
compute set differenc
e
u
s
i
ng a
b
ac
k
t
r
ack
i
ng alg
o
rithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaeg
e
isl_map_
s
ubtract
.
c: e
x
tract from is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_tab: keep track of isl_basic_map instea
d
o
f
isl_bas
i
c
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verd
o
olae
g
e
p
r
i
v
a
tel
y
exp
o
r
t isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
add isl_basi
c
_ma
p
_a
d
d_ineq and isl_bas
i
c_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolae
g
e
isl_tab_detect_re
d
undant: retu
r
n
s
tatu
s
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
r
doolaege
isl_tab:
add
i
sl_tab_f
r
eeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
i
s
l_tab_
a
dd_in
e
q and isl_
t
ab_mark_emp
t
y: return statu
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
a
d
d missing AUTHO
R
S
file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
o
laege
i
s
l_basic_
s
e
t
_
s
w
a
p_vars: re-gauss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoolaege
add isl_basi
c
_map_first_const
r
a
i
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Ver
d
oolaege
exp
o
rt isl_basic_map_lexm
a
x
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
add is
l
_
basic_
s
et
_
le
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
isl_m
a
p_dr
o
p_basic_ma
p
:
con
s
is
t
e
ntly
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
V
erdoolaege
isl_
t
ab: row
i
s
o
nly (obviously) redunda
n
t if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
is
l
_bas
i
c_map
_
simp
l
ify
:
m
ake sure to rerun Gau
s
s
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdoolaege
isl_tab_basi
c
_map
_
p
a
r
t
i
al_lexopt:
use
co
n
text
constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pi
p
.
c: ignor
e
dead co
l
umns when checking int
e
grality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
pip:
o
p
t
i
onally perform some
c
heck on th
e
results
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
dool
a
ege
put options
i
n a separa
t
e isl_op
t
ion
s
structur
e
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaeg
e
add rudimentary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
t
ab_compute_reduced_basis: han
d
l
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl
_
ba
s
ic
_
set_so
l
ve
_
ilp:
handle
obviousl
y
em
p
ty
set
s
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ver
d
o
ola
e
ge
i
sl_basic_
s
et_so
l
ve
_
ilp: fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add
i
sl_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
doolaege
add
i
sl_
s
et
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
la
e
ge
add isl_bas
i
c_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
Ver
d
o
olaege
e
xtract
i
sl_basic_set_scan from po
l
y
t
op
e
_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_map_si
m
pl
i
fy: avoid removal of
div
d
efini
t
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_
m
a
p
.
c: d
e
cl
a
r
e
v
a
riable at start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
i
sl_basic_set_project_out:
handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verd
o
olaege
add isl_basic_s
e
t_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
ola
e
ge
is
l
_ta
b
_pip: keep ca
c
he of partial sol
u
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip: don'
t
fre
e
isl_sol on error c
o
n
dit
i
o
n
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdool
a
ege
i
s
l_tab
:
supp
o
rt g
e
neric undo
r
ecords
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
add isl_m
a
t
_
i
s
_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
tab_pip
.
c: remove so
m
e code du
p
lication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
g
e
i
s
l_map_is_subset
:
a
d
d
spec
i
al ca
s
e for singleton
m
a
p
s
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
isl_map_compute_d
i
vs:
ski
p
c
omputa
t
ion if divs ar
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_map_
i
s_subset: exploit another e
a
s
y
special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add is
l
_
map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
r
d
ool
a
ege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some functions as requi
r
ing use
o
f re
t
u
rn valu
e
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verd
o
o
laege
isl_tab:
imp
r
oved
error ha
n
dlin
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
a
e
g
e
i
sl_tab_
p
ip
.
c
: incrementall
y
build reces
s
i
o
n cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdo
o
laege
isl_
t
a
b
_
p
i
p
.
c: propagate some equa
l
ities from gbr co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_
t
ab_pi
p
.
c: detect equ
a
l
i
tie
s
in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven
Ver
d
oo
l
a
e
ge
add isl_tab_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdoolaege
add is
l
_tab_set_initial_basis
_
wit
h
_
c
o
ne
commit
|
commitdiff
|
tree
2009-10-10
S
v
en
Verdoolaege
isl
_
tab_pip: use generalized basis red
u
ctio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
r
d
oola
e
g
e
isl_tab_p
i
p: add gener
a
l
ized basis reduct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doo
l
ae
g
e
i
s
l_tab_
p
ip
.
c
:
extract out contex
t
hand
l
ing
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
oolaege
is
l
_tab_
p
ip
.
c
:
add_div: us
e
more
r
e
l
i
able
w
ay to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_tab_basic_map_partial_l
e
xopt: rem
o
ve sampl
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoo
l
aege
isl_tab
.
c: extrac
t
o
ut samples handlin
g
from isl_tab_
p
ip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verd
o
olaege
isl
_
affine
_
hull
.
c
:
uset_af
f
ine_hull
_
b
o
u
nd
e
d: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
i
s
l_ba
s
i
c
_map_det
e
ct
_
equ
a
litie
s
: keep
t
rack of
s
ample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
i
s
l_b
a
sic_ma
p
_detect_e
q
ualit
i
es: only comp
u
te recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_s
a
mp
l
e: handle unbounded direct
i
on
s
i
n
in
i
tial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_compute_red
u
c
e
d_basis: handle unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoo
l
a
e
ge
explo
i
t equa
l
ities
in isl_
t
a
b_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab: keep (in)equalities of
b
set (if any)
in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolae
g
e
isl_tab_
s
a
m
ple: be
m
ore verbose abo
u
t unbounde
d
d
i
rectio
n
s
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
separate
o
ut isl_tab
_
samp
l
e
f
rom s
a
mple_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
oolaege
s
a
m
ple_bound
e
d
:
reim
p
lement to
w
ork dire
c
tly
o
n a ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolae
g
e
isl_tab_compute_reduc
e
d_basis: work with a
f
fin
e
basi
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_compute_reduced_basis: allow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_polytope
_
s
c
an
:
use isl_tab_from_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
dool
a
ege
sepa
r
a
t
e
o
ut isl_
t
a
b_reduc
e
d_
b
asis f
r
om
isl_basic_s
e
t_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
basi
s
_
r
e
ductio
n
_tab
.
c: use
i
sl_tab_
p
r
o
duct
t
o co
n
struct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdool
a
eg
e
add
isl_t
a
b_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_basi
c
_set_reduced_ba
s
i
s
: fix value
i
n direc
t
ions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdool
a
ege
isl_basic_set_
r
educed_basis:
f
ix u
p
documentation
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
ba
s
is_reduct
i
o
n_t
a
b
.
c: keep track of con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdool
a
eg
e
add
i
sl_ta
b
_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
o
o
laege
isl_tab_add_valid_eq: ad
d
speci
a
l
trea
t
ment fo
r
manife
s
tly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
is
l
_tab_
e
x
tend_
c
ons: check tab arg
u
ment
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
rename
i
sl_tab_d
e
tect_equ
a
lities to i
s
l_tab_d
e
tec
t
_implic
i
t_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
i
s
l_tab_from_rece
s
sion
_
c
o
ne: take basic set ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
is
l
_
i
lp
.
c: separate out
solve_
i
lp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
is
l
_sample
.
c
: basic_
s
et
_
sample: reme
m
b
e
r b
o
undedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
l
aege
a
d
d isl_polyhedron_detect_e
q
ualities tes
t
a
ppli
c
ation
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
add isl_basic_
s
et_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolae
g
e
isl_tab_allocate_con: add ext
r
a assert
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
is
l
_samp
l
e
.
c: ba
s
ic
_
set_reduced
:
fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
i
sl_t
a
b_basi
c
_
map_pa
r
tial_lexopt:
s
imp
l
if
y
resu
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoo
l
aege
privately expor
t
isl_basic_set
_
add
_
{in
,
}eq
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
Ve
r
do
o
l
aege
pri
v
ately export isl_basic_set_
s
ample_with
_
c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add
isl_basic_s
e
t_un
d
erlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
isl_tab
.
c: close_row:
p
u
s
h
undo record
f
or setting
.
.
.
commit
|
commitdiff
|
tree
next