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 V
e
rdo
o
laege
is
l
_
pip: optionall
y
perform some c
h
eck on the re
s
ul
t
s
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n Ve
r
doo
l
aege
pu
t
options in a separate
i
sl_options structure
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdo
o
laege
add
r
u
d
i
m
e
ntary argum
e
nt parsing facilit
y
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
ae
g
e
isl_tab_compute_red
u
c
e
d_basis: h
a
ndl
e
empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
l
a
ege
isl_basic_set
_
solve_ilp:
h
andle obv
i
ously empt
y
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_ba
s
ic_set_solve
_
i
lp: fix handling of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
add
i
sl_set_
r
e
m
ove
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoo
l
aege
add isl_set
_
fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add isl_
b
asic_se
t
_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdoo
l
aege
extract
i
sl_basic
_
set_
s
can fr
o
m polyto
p
e_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
d
o
ol
a
e
g
e
isl_b
a
sic_map
_
si
m
plify: avoi
d
remov
a
l of div definition
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
aege
isl_map
.
c:
declare var
i
able
a
t start of co
d
e block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
isl
_
basic_set
_
project_out
:
handle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_tab
_
pip: keep
c
ache of partial solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
:
don'
t
fr
e
e isl_sol on error con
d
ition
commit
|
commitdiff
|
tree
2009-10-16
Sven Verd
o
ol
a
ege
isl_tab: suppor
t
gene
r
ic undo reco
r
ds
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
Verdoolaege
add
i
s
l_
m
at_
i
s_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
Verdoolaeg
e
isl_tab_pip
.
c
:
remove
s
om
e
c
o
de duplication b
e
tween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
is
l
_map_is_sub
s
et: add special case for
s
i
n
gleton
m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n Verdoola
e
ge
isl_map_comput
e
_
divs: skip computation
i
f divs
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_map_is_subset: exploit
another easy specia
l
case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_map_fas
t
_is_uni
v
erse
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoolaege
a
d
d isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
a
ege
mar
k
some f
u
nctions as requiring us
e
of return val
u
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
do
o
lae
g
e
isl_t
a
b: improv
e
d error handl
i
ng
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
isl_ta
b
_pip
.
c
: incrementally build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
l
aege
isl_tab_pi
p
.
c: pr
o
p
a
gate some equalities from gbr conte
x
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ve
n
V
erdoo
l
aege
isl_tab
_
pip
.
c
:
detect equa
l
itie
s
in
gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoolaege
add isl_t
a
b
_
detect_equalities
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Verdool
a
ege
add i
s
l_tab_set_ini
t
i
al_bas
i
s_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sve
n
Ve
r
d
o
o
l
aege
isl_tab_pip: use genera
l
iz
e
d
basis
re
d
uction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
V
erd
o
ol
a
ege
isl_
t
ab_pip: add generalize
d
basis red
u
ctio
n
bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_tab_pip
.
c: extr
a
ct out contex
t
h
a
ndling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_pip
.
c
: add_d
i
v:
use m
o
r
e reli
a
bl
e
way to tes
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolae
g
e
isl_tab_b
a
s
ic_map_par
t
ial_lexop
t
: remov
e
samp
l
es tha
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab
.
c: ex
t
ract ou
t
samples handling fr
o
m is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
i
s
l_affine_hull
.
c: u
s
et_affine_hu
l
l_bounded:
use tabl
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
i
s
l_basic_map_det
e
c
t_e
q
ualities: keep track
o
f sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_b
a
sic_map_detect_equalities: o
n
ly
c
ompu
t
e recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
oolaege
isl_tab
_
s
a
mp
l
e: handle un
b
o
unded dire
c
tions in initia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
e
g
e
i
sl_tab_compute_reduced_basis:
h
andl
e
unbound
e
d directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
exploit equalities in isl_tab
_
sample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
laeg
e
isl_tab: keep (in)equali
t
i
es
o
f
bs
e
t
(
i
f
a
ny) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
i
sl_tab_sample: be more verbose abo
u
t
u
nbo
u
nded d
i
rections
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
ool
a
ege
separat
e
out isl_tab_samp
l
e fr
o
m
sample_
b
ounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
sa
m
ple_bound
e
d
: re
i
mplement
t
o work d
i
rectly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
l
aege
isl_tab_
c
ompute_reduced_bas
i
s
: work wi
t
h affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoola
e
ge
isl_tab
_
compute_reduced_basis: allow incrementa
l
c
omputation
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoolaege
is
l
_polytope_scan: use
i
s
l_ta
b
_from_
b
asic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sep
a
ra
t
e o
u
t isl_
t
a
b
_reduced_ba
s
is from isl_basic_set_
r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
l
a
eg
e
basis_reduction
_
tab
.
c: use isl_tab_product to c
o
nstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
do
o
laege
a
dd i
s
l_tab_produ
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ver
d
oolaege
i
s
l
_
basic_set_
r
educed_basis: fix value
in directi
o
ns
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_basic_set_re
d
uced_basis: f
i
x up documentation
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Ver
d
oolae
g
e
b
a
sis
_
r
eduction_tab
.
c: keep track of con_
o
ffset in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verdoola
e
ge
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdo
o
laege
isl
_
tab_add_valid_eq: add s
p
ecial tr
e
atme
n
t for manifestl
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
is
l
_
tab_extend_cons: check
tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
rename isl_tab_detect_e
q
ualitie
s
t
o
is
l
_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
isl_
t
ab_from
_
r
ece
s
sion_cone: take
b
asic
s
et
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoo
l
aege
i
sl_ilp
.
c: separ
a
te out solve_ilp_s
e
arch
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoo
l
a
e
ge
i
s
l_sample
.
c: basi
c
_set_sample: re
m
ember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdo
o
laege
add isl_polyhedro
n
_detect_equalitie
s
test application
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
e
r
doolaege
ad
d
isl
_
ba
s
ic_set_det
e
c
t
_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
erdoolaege
is
l
_tab_
a
llocate_co
n
: add
e
xtra a
s
sertion
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
r
d
o
olaege
i
s
l_samp
l
e
.
c: basic_set
_
reduced:
fi
x
typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
isl_tab_basic_ma
p
_
p
artial_lexopt: s
i
mplify resul
t
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaeg
e
privat
e
ly e
x
p
o
rt
i
sl_ba
s
ic_s
e
t
_
a
dd_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privat
e
l
y
e
xport isl_basic_s
e
t_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
ad
d
isl_basic_set_unde
r
lying_set
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n Verd
o
olaege
isl_
t
ab
.
c
: c
l
o
s
e_row: push undo r
e
cord
f
or setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
o
l
aege
add isl_mat_
v
ec_inverse_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
ae
g
e
add isl_
m
at_c
o
ncat
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdo
o
l
a
ege
add isl
_
int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaeg
e
add
i
sl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
S
ven Verdo
o
laege
fix lo
n
g s
t
anding bug in isl_mat_inverse_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add isl
_
ba
s
ic
_
map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
add isl_set
_
projec
t
_out
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoola
e
ge
add i
s
l_set_detect_eq
u
alit
i
e
s
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add is
l
_set_foreach_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
ad
d
is
l
_s
e
t_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_siz
e
: check ar
g
ument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdo
o
laege
add
i
sl
_
basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoolaege
add
isl
_
map_f
o
r
each_bas
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdool
a
ege
conf
i
g
u
re
.
ac: fix cut-an
d
-p
a
st
e
e
r
ror i
n
original com
m
it
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
e
xport is
l
_set_s
a
mple
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
e
ge
add isl_
b
a
s
i
c_set_universe_l
i
ke_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_set_i
s
_strict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
er
d
oolaege
a
d
d
isl_
s
e
t
_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolae
g
e
AX_SUBMODULE:
se
t
P
K
G_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdo
o
laeg
e
create pkg-confi
g
file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoola
e
ge
AX_SUBMODUL
E
: drop opti
o
ns that are mean
i
ngle
s
s
give
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
add isl_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdo
o
laege
add isl_ma
p
_floord
i
v
commit
|
commitdiff
|
tree
2009-08-30
S
v
e
n
Verd
o
olae
g
e
a
d
d isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdool
a
ege
add is
l
_map_is_strict_s
u
bse
t
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
a
dd isl_map_fast_i
s
_fix
e
d
commit
|
commitdiff
|
tree
next