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_detect_redundant: return status instead of isl_tab *
2009-12-07
Sven Ver
d
o
o
l
aege
isl_t
a
b
_detect_redun
d
ant: return statu
s
inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven
Verd
o
olaege
isl_t
a
b: add isl_tab_
f
reeze_co
n
straint
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n Ve
r
doolaeg
e
isl
_
tab_add_ineq
an
d
i
s
l
_
tab_m
a
rk_empty: return s
t
atus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
o
olae
g
e
a
d
d mis
s
ing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
S
ven
V
erdoolaege
isl_basi
c
_set_
s
wap_vars: re-gaus
s
r
e
sulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven V
e
rdoolaege
add is
l
_
b
asic_map_fi
r
st_c
o
nstr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
expo
r
t isl_
b
asic
_
map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven V
e
rdoola
e
ge
add isl_
b
asic_set_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdool
a
e
g
e
is
l
_m
a
p_drop_basic_map: consisten
t
ly
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdo
o
laege
isl_t
a
b
: row is only (obvio
u
sly) r
e
dunda
n
t if it
does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basic_m
a
p_simplify: make sure to rerun Gauss
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_ta
b
_
b
asic_map_partial_
l
exopt: use co
n
text con
s
t
r
aints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
e
n
Ver
d
oolaege
isl
_
tab_pip
.
c: ignore de
a
d co
l
umns
when c
h
ecking
i
n
t
egrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl
_
pip: option
a
ll
y
perform some
c
h
eck
on
t
he results
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
put options in a separate isl_optio
n
s struc
t
u
re
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add rudim
e
n
t
ary ar
g
ument parsi
n
g
f
acility
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
i
sl
_
ta
b
_compu
t
e_redu
c
ed_basis:
h
andle empty
table
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doo
l
aege
isl_basi
c
_
set_sol
v
e_ilp:
handl
e
obviously empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
is
l
_
basi
c
_set_solve_ilp: fix h
a
ndling of
se
t
s with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaege
add isl_se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
dd isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract i
s
l_ba
s
ic_set_scan
from po
l
ytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
r
doolaege
isl_
b
asic_map_simplify: avo
i
d removal of
div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdo
o
laege
i
s
l_map
.
c: declare var
i
able at
s
tart
of code bl
o
ck
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
laege
isl_basic_se
t
_
p
roject
_
out:
h
andle ration
a
l s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
add isl_basic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaege
isl_tab_p
i
p
:
k
e
ep c
a
che
o
f parti
a
l soluti
o
ns
commit
|
commitdiff
|
tree
2009-10-16
S
ven Verdoolaege
isl_tab_pip: don't f
r
ee
i
s
l_sol on er
r
or condition
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
V
erdoolaege
i
s
l
_tab: s
u
pport gene
r
ic undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven
V
erdoolaege
a
d
d
isl_mat_is_
e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
Verdo
o
l
a
ege
is
l
_tab_
p
ip
.
c: remove some code
d
uplication
be
t
ween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_ma
p
_is_su
b
set
:
add sp
e
ci
a
l
cas
e
f
or single
t
on maps
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n
V
er
d
oolaege
isl_map_c
o
m
p
ut
e
_d
i
vs: skip computation
if div
s
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
ge
i
sl_ma
p
_is_s
u
bset: expl
o
it
a
n
other easy
special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_ma
p
_fast_is
_
u
n
iv
e
rse
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
add isl_
s
et_size
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoolaege
ma
r
k
s
ome functions as requiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
is
l
_tab: improv
e
d e
r
ror
h
a
ndling
commit
|
commitdiff
|
tree
2009-10-12
S
ve
n
Verdool
a
ege
i
sl_tab_pip
.
c:
incre
m
e
n
tally build
recessi
o
n cone o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
S
v
en Verdool
a
ege
isl_tab_pip
.
c: propa
g
ate some
equa
l
i
ties fr
o
m g
b
r context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n Ve
r
doolaege
is
l
_
t
ab_
p
ip
.
c
:
detect equalitie
s
in gbr context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Ver
d
oolaege
add isl_tab_
d
etect_equali
t
i
es
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
a
d
d
isl_t
a
b_set_initial_
b
as
i
s
_
w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
i
sl_tab_p
i
p
:
use generalized basis re
d
u
ctio
n
ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_t
a
b_pip: add gen
e
r
a
lized ba
s
is
r
eduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_tab_p
i
p
.
c
:
extract out co
n
text hand
l
i
ng
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
isl_tab_pip
.
c: add_d
i
v: use more relia
b
l
e way
to te
s
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_basic_map_parti
a
l
_
l
e
xopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Ver
d
oo
l
aege
i
s
l_tab
.
c:
e
x
t
r
a
ct o
u
t samples han
d
li
n
g from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_a
f
fine_hull
.
c: uset_affine_hull_bou
n
ded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic
_
map_d
e
tect_equ
a
lities
:
keep
track
of
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doo
l
aege
isl_bas
i
c_map_detect_equalities: onl
y
compute
r
e
cession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaege
isl
_
tab_sample: h
a
n
d
le unbounded
dir
e
ctions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute_
r
educe
d
_bas
i
s: hand
l
e
u
nbou
n
d
ed directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
explo
i
t
equa
l
ities in isl_ta
b
_
sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab: keep (in)equalities o
f
bset (if a
n
y) in sync
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erdoo
l
aege
isl_tab_sample
:
be mor
e
ve
r
bose ab
o
u
t
unbo
u
nded directions
commit
|
commitdiff
|
tree
2009-10-09
S
ve
n
Verdoolaege
se
p
ara
t
e out
isl_t
a
b
_
samp
l
e
f
r
om s
a
mple_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sam
p
l
e
_bounded: reimplemen
t
to work directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_compu
t
e_reduced
_
ba
s
i
s
:
work
w
ith affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Ver
d
oolaege
isl
_
ta
b
_compute_r
e
du
c
ed
_
basis:
allow incremental computati
o
n
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
a
e
g
e
isl_pol
y
tope_scan: use isl_tab_f
r
om_basic_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolae
g
e
separ
a
te out isl_tab_reduced_basis from
i
sl
_
basic_
s
et_re
d
uce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
eg
e
basi
s
_reduction_tab
.
c: use isl_tab_product to construc
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdool
a
e
g
e
add is
l
_tab_p
r
oduc
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
isl_basic_se
t
_reduced_basis: fi
x
value in di
r
ections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_redu
c
ed_basi
s
:
f
ix
u
p docum
e
n
tati
o
n
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdo
o
laege
b
asis_redu
c
tion_tab
.
c: keep track of con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
d
o
o
lae
g
e
add
i
sl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Ver
d
oolaege
i
sl_t
a
b
_a
d
d_vali
d
_eq: ad
d
special treatment
f
or manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
isl_tab_extend_cons: check ta
b
a
rgument
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdool
a
ege
r
e
name isl_tab_det
e
c
t
_
equaliti
e
s to
i
s
l_tab_detect_implici
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
isl_t
a
b_from_r
e
ces
s
ion_cone: take basic set in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: separa
t
e o
u
t
solve_ilp_searc
h
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
V
e
r
d
oo
l
a
e
ge
isl_
s
a
m
ple
.
c
: basic_set_sampl
e
: remember b
o
undedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
dd isl_
p
olyhedro
n
_d
e
t
e
c
t_equalities test application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
is
l
_tab_all
o
cate_con: add extr
a
asser
t
ion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
is
l
_samp
l
e
.
c: basic_se
t
_reduced: fi
x
typo pre
v
enting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doo
l
aege
isl_tab_ba
s
ic_map
_
partial
_
lexopt: simplify resu
l
t
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoo
l
aege
privately export
isl_basic_set_add_
{
in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
pri
v
ately expo
r
t isl_basic_set_sample_with_
c
one
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add
isl_ba
s
ic_
s
et_under
l
y
ing_set
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
isl_
t
ab
.
c:
close
_
row: p
u
sh undo re
c
ord for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
add
i
s
l_mat_vec
_
inverse_
p
roduct
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
a
d
d isl
_
m
a
t
_
concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add isl_in
t
_
d
ivexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verd
o
olaege
add isl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Ve
r
doola
e
ge
fix lon
g
standing bug in i
s
l
_
mat_
i
nverse_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
a
d
d
isl_basic_
m
ap_foreach_l
e
xmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add isl_set_detect
_
equalit
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
r
doolaege
add isl_set_foreach_b
a
si
c
_set
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rd
o
o
laege
add is
l
_set_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_size:
c
heck a
r
gument
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdool
a
eg
e
exp
o
rt isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
lae
g
e
add
i
sl_basic_map_l
e
xm
i
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_map_
f
o
r
eac
h
_ba
s
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoola
e
g
e
c
o
n
f
igu
r
e
.
ac: fix cut-a
n
d-paste
e
r
r
or in
o
riginal commit
commit
|
commitdiff
|
tree
next