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 Verdoolaege
isl_basic_set_c
o
m
p
are_at: compute result in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Ver
d
ool
a
ege
i
sl_
t
ab
_
p
ip
.
c: add cuts for all non-integer coord
i
n
ates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven
V
e
rdoolaege
isl
_
basic_map
_
gist:
d
on't drop
e
qualities fr
o
m context
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Verdool
a
e
g
e
isl_convex_hull
.
c:
initial_facet_
c
onstrain
t
:
dro
p
a
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
r
do
o
l
a
eg
e
i
sl
_
convex_hull
.
c: is_independ
e
nt_bound: n
o
r
ma
l
ize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sve
n
Ver
d
oolaege
isl_convex
_
hull
.
c
:
extend: check h
u
ll
argument
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_mat_
r
ight_inverse:
be more
ver
b
ose on error cond
i
tion
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdo
o
laeg
e
isl_
c
onstraint_dup: make sure line refers to e
q
u
ation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdool
a
ege
ad
d
copyright
statements
commit
|
commitdiff
|
tree
2009-12-16
Sven V
e
rdoola
e
ge
remove f
u
nctions for co
n
ver
t
i
ng between isl and PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl
_
t
a
b_sol
v
e_lp: invert
opti
m
al
v
a
l
u
e back when computing
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verd
o
olae
g
e
isl_map_int
e
rsect: add s
p
ecial case fo
r
adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verd
o
o
laege
i
s
l_map_i
s
_subse
t
: break off as soon as
d
ifferen
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
c
ompute set
difference
u
sing a bac
k
tracking al
g
orithm
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
isl_map_subtract
.
c: extract from
i
sl_ma
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Ve
r
doolaege
is
l
_tab:
k
eep track of isl_basic_map inste
a
d
of
i
sl_basic
_
set
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rd
o
olaege
priv
a
tely export isl_basic_m
a
p_co
n
tains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
a
d
d isl_basic_
m
ap_add_ineq
a
nd
i
sl_b
a
sic_map_
a
dd_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
isl_tab
_
detect_
r
e
dundant
:
r
e
tur
n
status
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoolaege
isl_tab
:
ad
d
isl_t
a
b_freeze_co
n
s
t
raint
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
isl_tab
_
add_
i
neq and
isl_t
a
b
_
mark_empty: r
e
tu
r
n status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add m
i
ssing AUT
H
ORS f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_basic_set_swap_vars: re-g
a
uss
resulting bset
commit
|
commitdiff
|
tree
2009-11-16
Sven
V
erdoolaege
add i
s
l
_b
a
sic_map_first_constrai
n
t
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
ex
p
o
r
t i
s
l_basi
c
_
map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
g
e
add
isl_basic_s
e
t_l
e
x
max
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
isl_m
a
p_drop_basic_m
a
p
: consistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoolaege
isl_tab: row is only
(obvious
l
y)
redundant if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_bas
i
c_map
_
sim
p
lify: make sure to rerun Gaus
s
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
r
doolaege
isl_tab
_
b
asic_map_partial_lexopt: use
c
on
t
ext constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_tab_pip
.
c: i
g
nor
e
dead col
u
mn
s
when chec
k
ing i
n
tegrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optio
n
al
l
y perfor
m
s
o
m
e check
o
n the
r
esults
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
ae
g
e
put option
s
in a
separate i
s
l_
o
p
t
io
n
s stru
c
tu
r
e
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rd
o
olaege
add rudimentary
argument pars
i
ng facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
tab_compute_reduced_basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoola
e
ge
isl_basi
c
_set_solve
_
i
l
p:
handle obviousl
y
e
m
pty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
laeg
e
isl_basic_set_
s
olve_i
l
p: fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_re
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_set_fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
erdoolae
g
e
add isl_
b
asic_se
t
_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
doolaege
extract isl_basic_s
e
t_sca
n
from polyt
o
pe_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaeg
e
isl
_
basic_map_
s
implify: avoid removal of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoola
e
ge
isl_
m
ap
.
c: declare var
i
abl
e
at start
of code
block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_set_
p
roject_ou
t
:
h
andle
r
at
i
onal sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
a
dd is
l
_basic_set_re
m
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_
t
ab_pip: keep ca
c
he of
p
a
r
tial so
l
utions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
olaeg
e
isl_tab_pip: don
'
t fr
e
e isl_sol
o
n error conditio
n
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab: s
u
ppor
t
g
e
neric undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add i
s
l_
m
a
t
_
is_equal
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
i
s
l
_tab_pi
p
.
c: r
e
mov
e
some
c
o
d
e du
p
l
i
cation betw
e
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_i
s
_
subset: add spec
i
al case
f
o
r singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl
_
m
a
p_comput
e
_divs
:
skip comput
a
tion if di
v
s
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdool
a
ege
isl_map_
i
s_subset: explo
i
t another
e
asy
spec
i
al case
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaeg
e
add isl_map_
f
a
st_is_un
i
verse
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
ad
d
isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verd
o
olaege
mark som
e
f
u
n
ctions as requiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoolaege
i
s
l_tab:
improved error
h
a
n
d
ling
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
Verd
o
olaeg
e
isl
_
tab_pip
.
c: inc
r
ementally build
r
ecession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
is
l
_
t
a
b_pip
.
c: propagate some equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaeg
e
isl_tab_pip
.
c:
d
etect equalities in gbr context o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en V
e
rdoolaege
add
i
sl
_
tab
_
detect
_
equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
ad
d
isl_t
a
b_set_initial_basis_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Ve
r
doo
l
aege
isl_tab_pip: us
e
generalized basis redu
c
ti
o
n ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aeg
e
i
s
l_tab_
p
ip
:
ad
d
genera
l
ized bas
i
s reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab_pip
.
c: extract ou
t
context handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c:
add_div:
u
se more reliable way t
o
t
e
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oola
e
ge
isl_tab_b
a
sic_map_partial
_
l
e
xopt: re
m
ove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_tab
.
c: e
x
t
rac
t
o
u
t
s
a
mples handling fr
o
m i
s
l
_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ve
r
doolae
g
e
isl_a
f
f
i
ne_hull
.
c: uset_aff
i
ne_h
u
ll
_
bounded: use tab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoolae
g
e
is
l
_basi
c
_map_dete
c
t_equalit
i
es: keep
t
rack of
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_b
a
si
c
_map_detect_equalities: onl
y
c
ompute recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoo
l
ae
g
e
isl_tab_s
a
mple: handle unboun
d
ed directions in i
n
it
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
i
sl_tab_compute_reduc
e
d_basis: handle un
b
o
u
nded di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
ool
a
ege
e
x
plo
i
t e
q
ualities in i
s
l_ta
b
_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (in)eq
u
alities of bs
e
t
(
if any) in
s
ync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_ta
b
_
s
ample: be more verbose about unbounde
d
d
irections
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolae
g
e
se
p
ar
a
te
o
ut isl_ta
b
_sa
m
pl
e
fr
o
m sam
p
le_b
o
unde
d
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
a
ege
sa
m
ple_bounded: reimplemen
t
to work directly on a t
a
bleau
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_c
o
mpute_re
d
uced_basis: work wi
t
h
aff
i
ne b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
e
g
e
i
sl_ta
b
_co
m
pute_reduced_basis: allow
i
ncre
m
e
n
tal computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_pol
y
tope_sca
n
:
u
se isl_tab_fr
o
m_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erd
o
olae
g
e
se
p
arate out isl_
t
ab_redu
c
ed
_
basis
fr
o
m
isl_bas
i
c_set_red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdo
o
l
a
ege
basis_reduc
t
ion_tab
.
c: use isl_tab_product to co
n
struct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
a
d
d
i
sl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_b
a
sic_set_redu
c
ed_basis: f
i
x
v
a
l
ue
i
n directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoola
e
ge
i
sl
_
basic_set_reduced_basis: fix
u
p documen
t
ati
o
n
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolae
g
e
bas
i
s_reduction_tab
.
c: kee
p
track of con
_
offse
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
add is
l
_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
is
l
_
t
ab_add_valid_eq: add special
t
r
e
atment f
o
r manif
e
stly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
isl_ta
b
_extend_c
o
ns: check t
a
b argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
d
oolaege
rename isl
_
ta
b
_det
e
ct_equalities t
o
isl_tab_detect_i
m
p
l
icit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoo
l
aege
isl_tab
_
from_recess
i
on_con
e
: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
dool
a
ege
isl_il
p
.
c: separate
o
ut solve_ilp
_
sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
isl_s
a
mple
.
c: basic_set_sampl
e
: remem
b
er bound
e
dness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
V
erd
o
olaege
a
dd isl_p
o
lyhedron_det
e
ct_equalities te
s
t appl
i
cation
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
r
doolaege
add i
s
l
_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
l
aege
isl
_
t
a
b_al
l
o
c
a
t
e
_
co
n
: a
d
d extra as
s
ertion
commit
|
commitdiff
|
tree
2009-10-07
S
v
en V
e
rdoolaege
is
l
_s
a
m
p
l
e
.
c
: basic_set_reduced
:
f
ix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
e
r
dool
a
ege
i
s
l_ta
b
_b
a
s
i
c_
m
ap_partial_l
e
xopt: simplify resu
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
dool
a
e
ge
privately
e
x
port
i
sl_basic_set_add_{in,}eq
commit
|
commitdiff
|
tree
next