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_convex_hull.c: extend: check hull argument
2009-12-18
Sven
Verdoo
l
aege
is
l
_convex_h
u
ll
.
c: ex
t
end: check hull argument
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_mat_right_inverse: be more
verbose
on error
con
d
iti
o
n
commit
|
commitdiff
|
tree
2009-12-18
Sven Ve
r
doolaege
isl_co
n
straint_dup:
m
a
ke sur
e
l
ine
r
efer
s
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
add copyright
statements
commit
|
commitdiff
|
tree
2009-12-16
Sven Verd
o
olaege
remove fun
c
tions
for converti
n
g bet
w
een is
l
a
n
d PolyLib
commit
|
commitdiff
|
tree
2009-12-16
Sven Verdoolaege
isl_tab_solve_lp:
invert op
t
imal value back w
h
en compu
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaege
isl_map_intersect
:
a
d
d
special
c
ase
f
or
add
i
ng a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoolaeg
e
isl_map_is_
s
ubset: b
r
eak off as soo
n
as
difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
v
en Verdoolaeg
e
compute se
t
difference usi
n
g a backt
r
ackin
g
algorit
h
m
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verdoolaege
isl_map_s
u
btract
.
c
:
ext
r
a
c
t
from isl_ma
p
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_ta
b
: keep
track of
isl_
b
a
sic_ma
p
i
n
stead o
f
isl
_
basic_set
commit
|
commitdiff
|
tree
2009-12-07
Sv
e
n Verdoola
e
ge
privately export isl_basic_map_contains
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdo
o
laege
a
d
d isl_basic_m
a
p
_
add_ineq
a
nd isl
_
basic_
m
a
p
_add
_
eq
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
e
rdoolaege
isl_tab_detect_
r
edundant: return sta
t
us instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
V
erdoolaege
isl_t
a
b: ad
d
isl_tab_f
r
eeze
_
constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdool
a
e
g
e
isl_t
a
b_add_ineq and isl_tab_mark_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
S
ven
V
erdoolaeg
e
a
dd missing AUTHORS f
i
le
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
g
e
isl_basic
_
set_swap_vars: re-gauss
r
esul
t
ing bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Verdoo
l
aege
a
dd
i
sl_b
a
s
i
c_m
a
p_first_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoo
l
aeg
e
export isl_basic_
m
ap_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sve
n
Ve
r
d
o
olaege
add isl_basic
_
set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
d
o
olaege
isl_map_drop_basic_map: consisten
t
ly keep basi
c
map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab
:
ro
w
is only
(o
b
vi
o
usl
y
)
redundant if i
t
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n Ve
r
doolaege
i
sl_ba
s
ic_
m
ap_simplify: ma
k
e
s
ure to rer
u
n Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en Ve
r
doolaeg
e
isl_tab_basi
c
_map_partial_lex
o
p
t:
u
s
e con
t
e
xt constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_tab_pip
.
c: i
g
no
r
e dead columns when check
i
ng inte
g
ral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
erdo
o
laege
isl_pi
p
: option
a
ll
y
pe
r
form some c
h
e
ck on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
p
ut opt
i
o
n
s in a separate isl_options structure
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
rdo
o
lae
g
e
add rudimen
t
ary argumen
t
parsing facil
i
ty
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
er
d
oolaege
i
s
l_tab_compu
t
e
_
reduce
d
_b
a
s
i
s
:
ha
n
dle empty tab
l
es
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basic_set_solve_ilp: handle o
b
viously emp
t
y sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_basi
c
_
s
e
t_solve_ilp
:
fix ha
n
d
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
add isl_set
_
remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
aege
add
isl_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolae
g
e
extract isl_ba
s
ic_set_s
c
an fr
o
m po
l
y
t
ope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
ola
e
ge
i
sl_ba
s
i
c
_m
a
p_simplify: avo
i
d removal of div
d
efinitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
r
d
oo
l
aege
isl_map
.
c
:
declar
e
vari
a
ble at
s
tart of cod
e
b
lo
c
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_basi
c
_set_project
_
o
u
t
:
handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
add isl_ba
s
ic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
i
sl_tab_
p
i
p
: keep cac
h
e
of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdool
a
e
g
e
isl_t
a
b
_pip: don't free isl
_
sol o
n
e
r
r
or condi
t
ion
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
V
erdoolaege
isl_tab: suppo
r
t generi
c
undo rec
o
rds
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_tab_pip
.
c: remo
v
e so
m
e co
d
e d
u
plication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaeg
e
isl_map_is_subset:
a
dd special case for singleton m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoo
l
a
ege
isl
_
map_compute_d
i
vs:
skip computation
i
f divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
is
l
_map_is_subset:
e
xploit
a
n
o
t
h
e
r
easy sp
e
cial case
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rd
o
o
l
aeg
e
add isl_
m
ap_fast_is_u
n
iv
e
rse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdoolaege
m
a
rk some
f
unctions as req
u
iring us
e
of re
t
urn
value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
isl_
t
a
b: improv
e
d error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdo
o
laege
isl_ta
b
_pip
.
c
:
incrementally build
recession cone o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rd
o
o
l
aege
isl_tab_pi
p
.
c:
p
ropagate some equalities from gbr
context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
i
s
l_tab_p
i
p
.
c: detect equali
t
ies in g
b
r
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdo
o
laege
a
d
d isl_tab_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n Verdoolaege
add isl_
t
ab_set_
i
nitial_basis_with_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_ta
b
_pip: use
generalized basis reduction
b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolae
g
e
i
sl_tab_pip:
a
dd generalized basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_
p
ip
.
c: extrac
t
out conte
x
t handl
i
ng
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Ve
r
doola
e
ge
i
s
l_tab_pip
.
c: add_di
v
:
use mo
r
e
reli
a
b
le way to t
e
st
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_
b
asic
_
map_partial_lexopt: re
m
ov
e
samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_tab
.
c:
e
xtract out samples
h
a
ndling from isl_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
affine_hull
.
c: uset_affi
n
e_hull_bounded: u
s
e
tabl
e
au
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_bas
i
c_map_detect_eq
u
a
l
iti
e
s: keep tr
a
ck of
sa
m
ple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_basic_map
_
detect_
e
qualities: only compute re
c
ess
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab_s
a
m
ple: handle unbounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_ta
b
_compute_re
d
uce
d
_basis: handle
u
n
b
o
unde
d
direct
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdoo
l
aege
exploit equalities
i
n i
s
l_t
a
b_sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
i
s
l_tab: keep (in)equal
i
ti
e
s of bset
(if any
)
in sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en V
e
rdoolaege
isl_tab_
s
am
p
le
:
be more verbos
e
ab
o
ut un
b
ounde
d
directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laeg
e
sep
a
rate out isl_ta
b
_sample f
r
om s
a
mple_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sampl
e
_boun
d
ed: reimplement to w
o
rk directly on
a tabl
e
au
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
ol
a
ege
isl_tab_compute_reduced_basis: w
o
rk with affine
b
asi
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
o
o
la
e
ge
isl_ta
b
_compute_reduc
e
d
_
basi
s
: allow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_polytope_
s
can: use isl_
t
ab
_
from_
b
asic
_
set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
se
p
arate ou
t
isl_tab_red
u
ced_bas
i
s from
i
sl_
b
as
i
c
_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erdoolaege
basis
_
reduction_tab
.
c: u
s
e
isl_ta
b
_prod
u
ct t
o
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolae
g
e
add isl_tab
_
product
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoola
e
g
e
i
sl_basic_se
t
_reduced_
b
asis: fix value in
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdool
a
ege
isl_
b
asic_set_
r
educed_
b
asis: fix up d
o
c
umentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
basis_r
e
duction_t
a
b
.
c:
k
eep track of co
n
_offset
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Ve
r
d
oolaege
a
dd
isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_ad
d
_
valid_
e
q
: add specia
l
treat
m
ent for manifest
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verdoolaege
isl_tab_extend_co
n
s: check tab argume
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
re
n
ame isl_tab_dete
c
t_equ
a
litie
s
to i
s
l_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoola
e
ge
i
sl
_
tab_f
r
o
m_recession_cone: t
a
ke basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
doolae
g
e
i
sl_ilp
.
c:
separate out solve_ilp
_
search
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
doo
l
aege
isl_sampl
e
.
c
:
basic
_
set_samp
l
e: remember
b
o
u
nd
e
dness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
d
d isl_polyhedron_d
e
tect
_
equal
i
ti
e
s test applicat
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
a
dd is
l
_basi
c
_set_detect_eq
u
alities
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verd
o
olaege
isl_ta
b
_
al
l
ocat
e
_con: add extra as
s
ert
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaeg
e
isl_samp
l
e
.
c: basic_se
t
_re
d
uced
:
f
i
x ty
p
o pr
e
venting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
isl_tab_bas
i
c_ma
p
_partial_le
x
opt: simplif
y
re
s
u
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
priv
a
te
l
y
e
xp
o
rt isl_basic_se
t
_a
d
d_{in,}e
q
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
privately
e
xport isl_bas
i
c_set_s
a
mple_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oo
l
aege
add
i
sl_basic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
isl_t
a
b
.
c
:
c
lose_row: pu
s
h
u
ndo record for
s
etti
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdo
o
laege
a
d
d isl_mat_vec_inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
dool
a
ege
add
i
s
l_mat_concat
commit
|
commitdiff
|
tree
next