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_basic_map_partial_lexopt: properly handle empty input map
2010-01-24
Sven
Verdoolaeg
e
isl_tab_basi
c
_
m
a
p
_partial_lexopt: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2010-01-24
Sven
Ve
r
do
o
laege
isl_
b
asic_map_s
e
t
_
to_empty: remo
v
e s
a
mple (if any)
commit
|
commitdiff
|
tree
2010-01-24
Sven Verd
o
olaege
add isl
_
set_fast_is_e
m
pty
commit
|
commitdiff
|
tree
2010-01-13
S
v
en
V
e
r
d
oolaege
properly remove p
i
plib submodule
commit
|
commitdiff
|
tree
2010-01-08
Sven Verdo
o
laege
is
l
_basic_map_updat
e
_
from_tab:
r
e-gauss re
s
ulting bmap
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
a
x
_
submodul
e
.
m4:
d
on't l
e
t --with-modu
l
e conflict
w
ith
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
S
v
en Verdoolaege
isl_basic
_
s
et_compar
e
_at: compute r
e
s
ult in terms of
.
.
.
commit
|
commitdiff
|
tree
2009-12-24
Sven
Verdoolaege
i
s
l_tab_pip
.
c:
add cut
s
fo
r
a
l
l non-
i
nt
e
ger coordinates
.
.
.
commit
|
commitdiff
|
tree
2009-12-19
Sv
e
n Verdoolaege
isl_bas
i
c_map_gis
t
: d
o
n't drop equalitie
s
from c
o
ntex
t
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
is
l
_conv
e
x_h
u
ll
.
c: initial_facet_
c
onstrai
n
t: drop all
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
Sven Verdoolaege
isl_conve
x
_hull
.
c
:
is_independ
e
nt_bound: no
r
malize
.
.
.
commit
|
commitdiff
|
tree
2009-12-18
S
v
en Verdoolaege
isl_c
o
nvex_hull
.
c
: ext
e
nd: check hull
argument
commit
|
commitdiff
|
tree
2009-12-18
S
ven Verdo
o
laege
i
s
l_ma
t
_right_inverse:
b
e more verbose on error condition
commit
|
commitdiff
|
tree
2009-12-18
S
v
e
n Verdoolaege
isl_constraint_dup:
m
ake sure
l
i
ne refers to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
Verdoolaege
isl_map_int
e
rsect: a
d
d special cas
e
for adding a single
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven Verdoolaeg
e
is
l
_ma
p
_is_subset
:
break o
f
f as
s
oon as dif
f
ere
n
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sven
V
erdoolaege
c
ompute
set
dif
f
e
renc
e
using
a
ba
c
kt
r
a
cking algorithm
commit
|
commitdiff
|
tree
2009-12-07
S
ven Verdoolaege
isl_map_subtract
.
c: extract f
r
om is
l
_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
Sven Verd
o
ola
e
ge
isl_tab: keep tra
c
k
o
f
isl
_
b
asic
_
map i
n
stead of isl_basic
_
s
e
t
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
pri
v
a
tely expor
t
isl
_
basic_
m
ap_
c
o
n
tains
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Ver
d
oolaege
add isl_basic_map_add_ineq and isl_ba
s
ic
_
map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
V
e
r
d
oolaege
isl_tab_
d
etect_redundant: retu
r
n status
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
oolaege
isl_tab: add isl_ta
b
_freeze_const
r
aint
commit
|
commitdiff
|
tree
2009-11-29
Sven
Verdoolaeg
e
i
s
l_ta
b
_add_ineq
a
nd i
s
l
_tab_mark_empty: re
t
urn s
t
a
t
us
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdo
o
laege
add miss
i
ng AU
T
HORS
file
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
e
r
doolaege
isl_basic_set_
s
wap_
v
ars:
re
-
ga
u
ss result
i
ng bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdoolaeg
e
a
d
d is
l
_basic_map_fir
s
t
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoola
e
ge
export isl_basic_map_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
a
dd
i
sl_basic
_
s
et_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdo
o
lae
g
e
isl_m
a
p_drop_
b
asic
_
m
ap:
c
onsistently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en V
e
r
do
o
laege
isl_tab: row
i
s
o
nly (obviously) redundant if
i
t does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
er
d
oola
e
ge
i
s
l_b
a
s
i
c_ma
p
_simp
l
i
f
y:
m
ake sure t
o
reru
n
Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Ver
d
oola
e
ge
isl_tab
_
basic_map_partia
l
_l
e
xopt: use
context
c
onstrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
i
sl_ta
b
_p
i
p
.
c: ignore dead columns when ch
e
cking inte
g
r
ality
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoolaege
isl_pip: option
a
lly pe
r
f
o
r
m some check on the results
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ver
d
oolaege
put
o
ptions in a se
p
a
r
a
te
isl_o
p
tions s
t
ructure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
add
r
udimentary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdoo
l
aege
is
l
_
tab_c
o
mpute_reduc
e
d_basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ver
d
ool
a
ege
i
sl_basic_set_solve_ilp: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_basic_set_solve_ilp: f
i
x handli
n
g of s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add
i
s
l
_set_remove
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdoolaege
add
i
sl_s
e
t_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add
i
s
l_b
a
sic_s
e
t_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aege
e
x
tract isl_
b
asic
_
set
_
scan
f
rom p
o
lytop
e
_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
eg
e
i
sl_
b
asic_ma
p
_
s
implify: avoid removal of
div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_map
.
c: declar
e
var
i
ab
l
e at start of code block
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ver
d
oolae
g
e
isl_basic_set_project_out: handle
r
ational sets
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
laege
add i
s
l_basic_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
t
ab_pip: k
e
ep
cache of
p
a
rtial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoola
e
ge
isl_tab_pip: don't free isl_s
o
l on erro
r
condition
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdo
o
l
aege
is
l
_tab: sup
p
o
rt generic un
d
o records
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add
i
sl_mat_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_t
a
b
_pip
.
c: remove
some code duplic
a
tion be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
isl_map_is_subs
e
t
:
add
s
pecial case for singleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Ve
r
doolaege
isl_
m
ap_compute_divs: skip com
p
utation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl
_
map_i
s
_subset
:
explo
i
t anot
h
er easy spec
i
al case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaege
ad
d
isl_map_fast_is_
u
niverse
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
a
d
d isl_
s
et_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark some functions as
requiring
use of
r
e
t
urn value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl_tab: improv
e
d e
r
ror handli
n
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pi
p
.
c: incrementally
b
uild recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c:
p
ropagate some eq
u
alities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven
V
erdoolaege
is
l
_
t
ab_pip
.
c:
detect equa
l
ities in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erd
o
olaege
add
isl_tab_
d
etect_equal
i
t
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdo
o
laege
add
i
sl_t
a
b_set_i
n
it
i
al_basis_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
isl_tab_pip: use genera
l
iz
e
d
basis reduct
i
on bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoo
l
aeg
e
i
s
l_tab_pip
:
add gener
a
lized bas
i
s reduct
i
on ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoolaege
i
s
l_
t
ab
_
pip
.
c:
e
x
trac
t
o
ut
c
ontext handl
i
ng
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_pip
.
c: add_div: use more reliable way t
o
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_basic_map_partial
_
lex
o
pt:
r
emove samples
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_
t
ab
.
c: e
x
trac
t
out sam
p
les
h
andling f
r
om isl_t
a
b
_p
i
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_affine_
h
ull
.
c: uset_affine_hull_bounded
:
use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_basic_map_detect_equalities: keep tr
a
ck
o
f s
a
m
p
le
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_basic
_
map_detect
_
equalities:
o
nly co
m
pute recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolae
g
e
isl
_
tab_sample: handle unbounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
i
sl_t
a
b_com
p
ute
_
r
educed_bas
i
s:
handle unbounded dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
e
xp
l
oi
t
equalities in isl_tab_sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
is
l
_tab: keep (in)equal
i
ties of bset
(if any) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_sample: be
m
ore verbos
e
about unbounded directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separate out
i
sl_tab_sample
f
rom sa
m
ple_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
sample_bou
n
ded
:
r
e
impleme
n
t to
w
ork directly on
a table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
aege
isl_tab_c
o
mpute_reduce
d
_basis: wor
k
with
a
ffine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_reduc
e
d_ba
s
i
s
: allow incre
m
e
n
tal computation
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oola
e
ge
isl_polytope
_
s
can: use isl_
t
ab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
s
e
p
a
r
a
t
e out is
l
_tab_red
u
ced_basis fro
m
i
s
l_bas
i
c_set_re
d
u
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
basis
_
reduction_tab
.
c: use isl_tab_product to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
add
i
sl_tab
_
product
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_basic_set_reduced
_
basis: fix value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl
_
basic_set_reduced_basis: fix up docum
e
nt
a
tion
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
b
a
sis_redu
c
t
i
on
_
tab
.
c:
k
eep
t
r
ack of con_o
f
fset i
n
s
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
add is
l
_
tab_a
d
d_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_add_valid_eq:
add s
p
ecial treatment
for manifes
t
ly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaege
isl
_
ta
b
_exte
n
d_cons: ch
e
ck tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdool
a
ege
ren
a
me isl_tab_detect_equaliti
e
s to isl_
t
ab_
d
etect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_t
a
b_from_rece
s
s
ion_cone: ta
k
e basic s
e
t inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n Verd
o
olaege
i
sl_ilp
.
c: separate
out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
erdoolaege
isl_s
a
mple
.
c
:
basi
c
_set_sample: remembe
r
b
o
undedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_poly
h
ed
r
on_
d
e
tect_equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
a
dd
i
sl_ba
s
ic_
s
et_detect_e
q
u
alities
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdo
o
laege
isl_tab
_
allocate_co
n
: add extr
a
assertion
commit
|
commitdiff
|
tree
next