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_compare_at: compu
t
e result
i
n ter
m
s of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven Verdoolaege
isl_
t
ab_pip
.
c:
add cuts for all
n
on
-
integer coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sven Verdool
a
ege
isl
_
bas
i
c_map_gist: don't drop eq
u
a
l
ities from context
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdo
o
laege
i
sl_convex_hul
l
.
c: initial_facet_constraint: d
r
op all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
Verdoola
e
ge
isl_convex_
h
ull
.
c: is
_
indepe
n
de
n
t_bound:
n
ormalize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conv
e
x_hull
.
c: extend: check hull
a
rgum
e
nt
commit
|
commitdiff
|
tree
2009-12-18
Sven
V
erdoolaege
isl_ma
t
_right_invers
e
: be
m
ore ver
b
ose on
e
r
ro
r
condition
commit
|
commitdiff
|
tree
2009-12-18
Sven V
e
rd
o
olaege
isl_const
r
aint_dup: ma
k
e
sure
l
in
e
refers to
e
quatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sve
n
Ve
r
do
o
lae
g
e
add copyright st
a
t
ements
commit
|
commitdiff
|
tree
2009-12-16
S
ven Verdoolaeg
e
re
m
o
ve functions for
c
onverting between isl an
d
Pol
y
Lib
commit
|
commitdiff
|
tree
2009-12-16
Sven Ver
d
oolae
g
e
isl_
t
ab_solve_lp: invert
optimal
value b
a
ck whe
n
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
e
n
Verdo
o
laege
isl_map_i
n
terse
c
t: add spe
c
ial ca
s
e for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven V
e
rdoolaege
i
sl_map_is_subset: break off a
s
soon as
difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolae
g
e
com
p
ute
set differe
n
ce using a
backtrackin
g
algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
v
en
V
erd
o
olaege
is
l
_map_
s
ubtract
.
c:
e
xtract from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verd
o
olaege
isl_tab: keep track
of isl
_
basic_m
a
p
instead of i
s
l_basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
privately export isl_b
a
si
c
_map_contain
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoola
e
ge
a
d
d
i
sl_b
a
s
i
c_map_add_ineq and is
l
_b
a
sic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdoolaege
isl_tab_de
t
ect_redu
n
d
ant
:
ret
u
r
n
statu
s
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
is
l
_
tab: add isl_tab_freez
e
_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verd
o
o
l
aege
isl_tab_
a
d
d
_ineq and isl_ta
b
_mark
_
empty:
return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
add
m
issing AUTH
O
RS file
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n V
e
rdoolaege
isl_basic_set_swap_vars: re-gaus
s
resulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
e
n Verdoolaege
add isl_basic_map_first_co
n
straint
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Ve
r
doola
e
ge
export isl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
add is
l
_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
isl_map_
d
ro
p
_basic_ma
p
: co
n
sisten
t
ly
k
e
ep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
s
l_
t
ab
:
row is only (obviously) re
d
undant if it d
o
es
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
e
rdool
a
ege
is
l
_basi
c
_map
_
si
m
plify:
m
ake sure
t
o rerun Gauss
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
isl_tab_basic_m
a
p_partial_
l
exo
p
t: u
s
e context cons
t
rain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
isl_tab_pip
.
c:
i
gnore dead columns when check
i
ng
i
ntegralit
y
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdool
a
ege
is
l
_p
i
p:
o
ptiona
l
ly perform
some chec
k
on t
h
e results
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdool
a
ege
p
u
t
o
ptions in a
separate
isl_o
p
tions
structure
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n V
e
rdoola
e
ge
add rudiment
a
ry argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
isl_ta
b
_compute_reduced_basi
s
: handle
e
mpt
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
i
sl_basic_set_solve_i
l
p: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
is
l
_
basic_set_solve
_
il
p
:
fix handling
of sets w
i
th
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
a
dd isl_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdo
o
laege
add
isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
add i
s
l_basic_s
e
t_fix
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verd
o
olaege
extract
isl
_
basic
_
set_scan
from polyt
o
pe_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laege
isl_bas
i
c_map_simplify: avoid remova
l
of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_
m
ap
.
c: declare va
r
iable at start of
c
ode block
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
is
l
_
bas
i
c
_
set_proje
c
t_out:
han
d
le
r
ati
o
nal sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
add isl
_
basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
olaege
isl_
t
a
b
_pip: k
e
e
p cache of pa
r
tial solu
t
ions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_tab_pip: d
o
n't free is
l
_sol on
error con
d
ition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_
t
a
b
: sup
p
ort
g
eneric
u
ndo
r
ecord
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add is
l
_m
a
t_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl
_
t
ab
_
pip
.
c: remove some code du
p
lication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
is
l
_ma
p
_is_
s
ubset:
a
dd special case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
e
g
e
isl_map_compu
t
e_divs: skip co
m
p
u
t
ation if
divs a
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doolae
g
e
i
s
l_map_is_subset: exploit ano
t
h
er easy special ca
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
o
olaege
add isl_map_fast_is_universe
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Ver
d
oolaege
mark some functi
o
ns as
r
equiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
isl_
t
ab: improved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
a
ege
isl_tab_pip
.
c
:
incrementally build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven
V
erd
o
ol
a
ege
i
sl_tab_p
i
p
.
c:
p
ropagate some equalities f
r
o
m
gbr c
o
n
t
ext
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
isl_tab_pip
.
c
:
detect equalities
i
n
g
br
c
ontext
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rd
o
olaege
add isl_tab_detect_equal
i
ti
e
s
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoolaege
a
d
d isl_tab_set_i
n
i
tial_basis_with_co
n
e
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oola
e
ge
isl_t
a
b_pip
:
use generaliz
e
d basis reducti
o
n b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
isl_tab_pip: add g
e
nerali
z
e
d basis r
e
duction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l_tab_p
i
p
.
c: e
x
tra
c
t out co
n
t
e
xt handling
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rdoolaege
i
sl_tab_pip
.
c:
a
d
d_di
v
: use more r
e
li
a
ble way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
is
l
_tab_basic
_
map_p
a
rtial_l
e
xopt:
remove s
a
mples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoola
e
ge
i
s
l_tab
.
c: extract out
s
amp
l
es han
d
ling from
i
sl_
t
ab_p
i
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolae
g
e
isl_a
f
fine_hull
.
c: uset_affine_hull_bo
u
nded: use ta
b
l
ea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_b
a
s
ic_map_detect_
e
qualities: keep track
o
f sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
laege
is
l
_basic_map_detect_equ
a
lities: only compute r
e
cessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_
t
ab_sample: h
a
ndle u
n
bounded directions in initia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
Verdoo
l
aege
isl_tab_co
m
pute_reduced_basis: handle unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoo
l
aege
expl
o
it e
q
ualit
i
es in
isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (in)e
q
ualities
of
bset
(
if any) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab
_
s
ampl
e
: be
more verbose
a
bout unbo
u
nd
e
d directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out i
s
l_t
a
b_s
a
m
p
l
e from s
a
m
ple_
b
o
unded
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoola
e
ge
sample_bounded:
r
eimplement to work dir
e
ctly
on a t
a
bleau
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl_tab_c
o
m
p
ute_re
d
u
c
ed_
b
asis: wo
r
k w
i
th affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
er
d
oolaege
isl_tab_comput
e
_r
e
duced_basis: allow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
oolaege
isl_polytope
_
scan
:
use isl
_
tab_fr
o
m_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdo
o
laege
separate
o
ut isl_tab_red
u
ced_bas
i
s
from isl
_
basic
_
s
e
t
_
r
edu
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_re
d
uction_tab
.
c: use isl_tab_produ
c
t to
const
r
uct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
ege
ad
d
isl
_
tab_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
isl_basic_set_reduced_bas
i
s
:
f
i
x
v
alue
i
n
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_bas
i
c_set_reduced_basis
:
fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven
Ve
r
do
o
laege
ba
s
is_
r
eduction
_
tab
.
c: keep track of con_
o
ffset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
add isl_tab
_
a
dd_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
isl_
t
ab_add_valid_eq: add
s
pecial treatment for
m
anifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl
_
t
a
b_e
x
tend_
c
ons
:
check tab
argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
rename i
s
l_tab_detect_
e
q
ualities
t
o isl_t
a
b_de
t
ect_imp
l
icit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
i
s
l_tab_from_recession_co
n
e: take basic
s
et instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
ola
e
ge
isl_il
p
.
c:
s
epar
a
te out sol
v
e
_ilp_searc
h
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
i
sl_sample
.
c: basic_set_sam
p
le: remembe
r
bound
e
dness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ve
n
V
e
r
d
oola
e
ge
ad
d
i
s
l_polyhedron_detect_equa
l
itie
s
test appl
i
c
a
tion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
add isl_basic_set_
d
etect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
i
sl_tab_allocate_con
:
add
e
xtra assertio
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sample
.
c:
b
as
i
c_set_reduced:
fix ty
p
o preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoola
e
g
e
isl_tab_basic_map_partial_
l
ex
o
pt: simplif
y
result
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doo
l
aege
privately export isl
_
b
asic
_
set_
a
d
d
_{in,
}
eq
commit
|
commitdiff
|
tree
next