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_pip: optionally perform some check on the results
2009-10-21
Sven Verdoolaege
isl_pip: optionally perform some check
o
n t
h
e re
s
ults
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n
V
e
rdool
a
ege
put
o
ptio
n
s in a separate isl
_
options struc
t
ure
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
o
o
la
e
ge
a
d
d rudimen
t
ary a
r
gument
p
arsing f
a
cility
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
i
sl_tab_com
p
u
t
e_r
e
duced_basis: handle
e
m
p
t
y
tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_ba
s
ic_set_s
o
lve_ilp: handle obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
is
l
_bas
i
c
_
set_solv
e
_ilp:
fi
x
ha
n
dling
o
f sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
do
o
l
a
ege
add isl_s
e
t_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aeg
e
a
dd isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolae
g
e
extract isl_bas
i
c
_set
_
scan fr
o
m pol
y
to
p
e_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aeg
e
isl_basic_map_simplify: avoid removal of div def
i
nitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_map
.
c: de
c
l
are variable at start
o
f code bl
o
ck
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
is
l
_bas
i
c
_s
e
t_project_out: handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add
i
s
l_b
a
sic
_
set_remov
e
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laege
i
s
l_tab_pip: kee
p
c
a
che o
f
part
i
al
solutio
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
isl_tab_
p
ip: don't free isl_sol
on error
condition
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
isl_tab:
s
uppo
r
t g
e
neri
c
undo records
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verd
o
ola
e
ge
add is
l
_
m
a
t_
i
s_
e
qual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
isl_
t
ab_pi
p
.
c
:
remove
s
ome code dup
l
ica
t
i
o
n
b
etween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdoolaege
i
s
l_map_is_subs
e
t: add special case for sin
g
l
eton maps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n V
e
rdoolaege
isl_m
a
p_
c
om
p
ute_divs:
skip comp
u
tation if di
v
s are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
m
ap
_
is_su
b
s
et: ex
p
loit a
n
oth
e
r easy special case
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n Ve
r
doo
l
a
e
g
e
add isl_m
a
p
_
fast_is_univ
e
rse
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add
isl
_
set_si
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
mark
s
o
me functions as requirin
g
use of retu
r
n val
u
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
aege
is
l
_tab: imp
r
oved
error handli
n
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oo
l
aege
i
sl_tab_pi
p
.
c: incremental
l
y b
u
il
d
r
e
cession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
isl
_
tab_pip
.
c
: pro
p
agat
e
s
o
me equalit
i
e
s fro
m
gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Verdoolaege
isl_tab_pip
.
c: detect
equali
t
ies in gbr co
n
text on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
r
doo
l
aege
add isl_ta
b
_detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_set_init
i
al_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verd
o
olaege
isl_tab_
p
i
p: use generali
z
ed basis
r
educt
i
o
n based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip: add generalized
b
a
sis
r
e
d
uction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab_pip
.
c: extrac
t
out
c
o
ntext
h
andling
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdool
a
ege
isl_
t
ab_pip
.
c
:
add_di
v
: use more reliable way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
i
s
l_tab
_
basic_map_parti
a
l_lexopt: remove sample
s
t
h
at
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_ta
b
.
c
:
e
x
t
ract out samples
h
andli
n
g
f
r
om is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_a
f
fine_hu
l
l
.
c: u
s
et_affine
_
hull_
b
ounded
:
use t
a
blea
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
isl_basic_map_
d
et
e
ct_
e
qualiti
e
s
: keep trac
k
of sam
p
le
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaeg
e
isl_
b
asic_map_detect_equ
a
lities:
only compu
t
e recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_
t
ab_
s
a
mple: han
d
le unbounded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_tab_
c
ompute_reduce
d
_basis
:
handle unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit
e
q
u
a
l
itie
s
in
i
sl_tab_sampl
e
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
r
d
oolaege
isl
_
tab: kee
p
(in
)
e
qualities of bset (if any
)
i
n sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: be more ver
b
ose ab
o
ut unbound
e
d directio
n
s
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
separate o
u
t i
s
l_tab_sample
from sample_bou
n
ded
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
s
a
mple_bounded: reimplement to w
o
rk direct
l
y on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_re
d
uced_basis: work wit
h
affine bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_compute_reduced_ba
s
is:
a
llow increm
e
nt
a
l
com
p
ut
a
tion
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoo
l
aege
isl_polytope_s
c
a
n
: use isl_
t
ab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
s
e
parate out is
l
_tab_reduced_ba
s
is from
isl_ba
s
ic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
basis_reduction_tab
.
c: use isl_tab_product
to
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdool
a
ege
isl_ba
s
ic_set
_
reduced_b
a
sis
:
fix value in
direc
t
i
on
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolae
g
e
isl_b
a
sic_se
t
_reduced
_
basis: fix up
docu
m
entation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
basis_r
e
duction
_
tab
.
c: keep trac
k
of con_offset ins
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
ae
g
e
add isl_t
a
b_add_e
q
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
i
s
l_t
a
b
_add_valid_eq: ad
d
special trea
t
ment for manifes
t
ly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdool
a
e
ge
i
sl_tab_e
x
t
e
nd_cons
:
c
h
eck
t
a
b argument
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdool
a
e
g
e
rename
is
l
_tab_d
e
tec
t
_e
q
ualities to i
s
l_ta
b
_detect_imp
l
icit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdoolaege
i
s
l
_
tab_from_recessio
n
_cone: take basic
s
et
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: sep
a
r
ate
o
ut solv
e
_il
p
_sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
i
sl_sample
.
c: basic_set_
s
a
m
pl
e
:
remember bo
u
ndedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verd
o
olaege
a
d
d isl_
p
olyhedron_de
t
ect_equalities test ap
p
lication
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl_
b
asic_set_detect
_
equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
i
s
l_
t
a
b
_alloca
t
e_con: add
extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_s
a
m
p
le
.
c: basic_se
t
_red
u
ced: fi
x
typo p
r
eventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoola
e
ge
isl_tab_basic_map_partial_le
x
o
p
t: simpl
i
fy result
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
privately expo
r
t i
s
l_
b
as
i
c_set_ad
d
_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
pr
i
vately export is
l
_basic_set_sample_with_
c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verd
o
olaege
add isl_basic_
s
et_underl
y
i
n
g_set
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verd
o
olaege
isl_tab
.
c: clo
s
e_row: push undo
r
eco
r
d for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
Verdo
o
l
a
ege
add
isl_mat_
v
ec_inverse_p
r
o
d
uct
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdool
a
ege
add isl_mat
_
concat
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
add isl_int_d
i
vex
a
ct
_
ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add
i
sl
_
set
_
dim
_
re
s
id
u
e
_
class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoo
l
aege
fix long
s
t
a
ndin
g
bug in isl_mat_inve
r
se_product
commit
|
commitdiff
|
tree
2009-10-02
S
ven
Verdoola
e
ge
add isl_basic_map_
f
oreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
a
d
d isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
a
d
d isl_set_
d
etect_
e
qua
l
ities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
s
l_set_forea
c
h_ba
s
i
c
_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_
l
ift
i
ng
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl
_
dim
_
siz
e
: c
h
eck argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
l
aege
export i
s
l_mat he
a
d
er
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ve
r
doolaege
add isl_basic_map
_
lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Ve
r
doola
e
ge
a
dd isl_map_foreach_
b
asic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
e
ge
co
n
fig
u
re
.
ac: fix cut-and-paste er
r
or in original commit
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoola
e
g
e
add is
l
_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export i
s
l_s
e
t_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
add isl_basic_set_universe_like_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
a
dd i
s
l_set_is_s
t
rict_sub
s
et
commit
|
commitdiff
|
tree
2009-09-20
S
v
e
n Verdoolae
g
e
add i
s
l_set_u
n
iverse_like
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Verdool
a
e
g
e
AX_SUBM
O
DULE: set PKG_CONFIG_PAT
H
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdool
a
ege
create pkg-config fil
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
d
o
ola
e
ge
AX_
S
UBMODULE: dr
o
p options that are me
a
n
i
ngless given
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
er
d
oolae
g
e
add i
s
l_ma
p
_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doolaege
a
d
d
isl_m
a
p
_
neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
o
o
laeg
e
ad
d
isl_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
add isl_
m
ap_fast_is
_
fi
x
ed
commit
|
commitdiff
|
tree
next