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
Sve
n
Verdoolae
g
e
isl_tab_
d
ete
c
t_redundant: return sta
t
us instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
S
v
en Verdoola
e
ge
isl_tab: add isl_tab_
f
r
eeze_
c
onstr
a
int
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
isl_tab_add_in
e
q and isl_tab_ma
r
k_empty: return sta
t
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven
V
erdoolaege
add missi
n
g
AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Ver
d
oolaeg
e
isl_basi
c
_s
e
t_swap_var
s
: re-
g
auss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven V
e
rdoolaege
add isl_basic_m
a
p
_
f
irs
t
_con
s
traint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
export
i
sl_basic_map_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven Ve
r
dool
a
eg
e
add isl_basic_se
t
_l
e
x
m
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolae
g
e
isl_map
_
drop_b
a
sic_m
a
p:
c
onsis
t
e
n
tly keep
basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
Verdoola
e
ge
isl_ta
b
:
r
o
w
is only (obviousl
y
)
r
edundant if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
is
l
_
ba
s
ic_map
_
simplify: make sure t
o
reru
n
G
a
u
s
s when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdo
o
laege
isl_t
a
b
_basic_m
a
p_partia
l
_lexopt: use context
c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolae
g
e
isl_tab
_
pip
.
c: ignore de
a
d col
u
m
n
s when c
h
ec
k
ing
integrality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_pip: optionally perfo
r
m
s
ome check
o
n the resul
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
rdoolaege
put op
t
i
o
ns in a separate isl_options str
u
cture
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoolaeg
e
add rud
i
mentary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_ta
b
_
compute_
r
educed_ba
s
i
s
: h
a
nd
l
e e
m
p
t
y tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
e
g
e
isl_basic
_
set_solve_
i
lp: handle
obviou
s
l
y
empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolaege
isl_basic_
s
et_solve
_
ilp: fix handling o
f
sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Ve
r
do
o
laege
add isl_s
e
t_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
a
d
d isl_se
t
_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdool
a
ege
a
d
d
i
sl_b
a
si
c
_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
extract
i
sl_ba
s
ic
_
set_scan f
r
om polytope_
s
can
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rd
o
ol
a
ege
isl
_
ba
s
ic_map_simpli
f
y
: avoid r
e
moval of div
definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl
_
map
.
c: declare va
r
iable at start of code bloc
k
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_bas
i
c_s
e
t_project_o
u
t
:
handle
rati
o
nal
s
et
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
a
d
d isl_
b
asic_set_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep
ca
c
he of parti
a
l solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n
V
erdoolaege
i
s
l_t
a
b_pip:
d
on't free isl_s
o
l on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdoolaege
isl_tab:
s
upport gen
e
ric undo records
commit
|
commitdiff
|
tree
2009-10-16
Sven
Verdo
o
laeg
e
a
dd
isl_mat_
i
s_equal
commit
|
commitdiff
|
tree
2009-10-16
S
v
e
n Verdoolaege
i
s
l
_
t
a
b_pip
.
c: remove som
e
cod
e
d
u
plication betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
m
ap_is
_
s
u
bset: add
spe
c
ial c
a
se for singleton
m
a
ps
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
isl_map_compute_divs:
skip co
m
putation if
divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_map_is_subset: exploit
ano
t
her easy special
case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdoolaeg
e
add isl_map_fast_is_univer
s
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdoolae
g
e
ma
r
k
s
ome functions as requir
i
ng use of return
v
alue
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
isl_tab: improv
e
d error
h
andling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l_tab_pip
.
c: increm
e
ntally build
r
ecession c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
isl_tab
_
pi
p
.
c: propagate some equalities from gbr context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoola
e
g
e
i
sl_
t
ab_pip
.
c: detect equalities in
gbr cont
e
xt on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaeg
e
add i
s
l_tab_detect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add
isl_ta
b
_set_initial_
b
asis_w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
Verdoolae
g
e
isl
_
ta
b
_pip: use genera
l
ized basis reduction base
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Ver
d
o
olaege
isl_tab_p
i
p
: a
d
d generalized basis r
e
ducti
o
n bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b_pip
.
c: extract
out context hand
l
ing
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
ae
g
e
i
sl_tab_pip
.
c: add_div: use more
rel
i
a
b
le w
a
y to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
la
e
ge
isl
_
tab_basic_map_parti
a
l_lexopt:
remove
s
amples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_
t
ab
.
c
: extract
o
ut samples handling from isl_t
a
b_pi
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_affine_hu
l
l
.
c: uset_affine_hull
_
bounded: use ta
b
le
a
us
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_b
a
sic
_
map_detect_equali
t
ies
:
keep track of sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
is
l
_bas
i
c_map_dete
c
t_
e
q
ualities: on
l
y c
o
mpute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_sample: handl
e
unbounded
d
i
r
ections in ini
t
ia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_tab_compute
_
reduc
e
d_basis: ha
n
dle unbounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
exploit equalities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (
i
n)equali
t
ies
o
f
b
s
e
t (if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
olaege
isl_tab_sample: be more v
e
rbose about
u
nb
o
unded dir
e
ctions
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
er
d
oolaege
s
eparate out i
s
l_tab_sample fro
m
sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
laege
sample_bounded: reimplemen
t
to
work d
i
rectly on
a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_com
p
u
t
e_r
e
duced_ba
s
i
s: work with af
f
i
ne basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doola
e
ge
isl_
t
a
b
_co
m
p
ute_reduced_basis: allow
i
ncremental co
m
p
u
t
ation
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoo
l
a
e
ge
is
l
_p
o
lyto
p
e
_
scan
:
use
isl_ta
b
_fro
m
_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
separat
e
out isl_ta
b
_
reduc
e
d
_
b
a
sis from
is
l
_ba
s
ic_s
e
t
_
r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdool
a
ege
basis_red
u
ction_tab
.
c: use isl_tab_p
r
oduct
t
o
c
onstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
add is
l
_
t
ab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ba
s
ic_set_reduced_bas
i
s: f
i
x
value in dir
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ba
s
ic_set_reduced_basis: fix up documenta
t
ion
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
basis_reduction_tab
.
c: keep t
r
ack of
c
on
_
offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
a
d
d isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
isl_tab_add_valid_eq: a
d
d sp
e
c
i
al treatm
e
nt for man
i
f
e
stl
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
do
o
laege
isl_t
a
b_exten
d
_cons: check tab
a
rg
u
ment
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verdoolaege
rename isl_t
a
b_detec
t
_equalities to isl_tab_detect_implic
i
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n Ver
d
oolaege
isl_tab_from_recession_cone
:
take basic set instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
rd
o
olaege
isl
_
i
l
p
.
c: separate o
u
t solve_i
l
p_
s
ea
r
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
isl_sample
.
c:
basi
c
_
set_sample
:
re
m
em
b
er boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
doolaege
add isl_polyhedron_detect
_
equal
i
ties test ap
p
licat
i
o
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
ad
d
isl
_
basi
c
_
set_d
e
tect_equ
a
lities
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ve
r
doolaege
i
sl_t
a
b_allocat
e
_con: add e
x
tr
a
asse
r
t
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
i
s
l
_
s
am
p
le
.
c
:
basic_set_reduced: fix typo p
r
eventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic_map_pa
r
ti
a
l_lexopt: simplify r
e
sul
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
do
o
laege
p
r
iv
a
t
ely export i
s
l_basi
c
_set
_
add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately export isl_bas
i
c_set_sam
p
le_wi
t
h_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
add isl_basi
c
_s
e
t
_u
n
de
r
l
ying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
i
sl_tab
.
c: close_
r
ow
:
push undo
r
ecord fo
r
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
a
dd isl_mat_v
e
c_i
n
verse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
ad
d
isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
rdoolaege
a
d
d
isl_i
n
t_dive
x
a
ct_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add i
s
l_se
t
_
d
i
m_re
s
idue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven
V
erdoolaege
fix long s
t
andin
g
bug in isl_mat_invers
e
_
product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
a
d
d isl_basic_map_foreac
h
_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
add isl_set
_
p
r
o
ject_out
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdo
o
laege
add isl_set_d
e
t
e
ct_eq
u
alities
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add
isl_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_lifti
n
g
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
expo
r
t isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
d
d
isl_ba
s
ic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verdoolaege
add isl_
m
ap_
f
oreach_basic
_
map
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
config
u
r
e
.
ac
:
fi
x
cut-and-past
e
er
r
or in original commit
commit
|
commitdiff
|
tree
next