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: add isl_tab_freeze_constraint
2009-12-07
Sven Verdoolaege
i
s
l_tab: add isl_tab_freeze_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_tab_add_i
n
e
q and isl_tab_mark_empty: return
s
tatus
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Ve
r
doolaege
a
d
d m
i
ssing AUTHORS file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoola
e
ge
i
sl_basic_set_swap_vars
:
re-gauss result
i
n
g
bset
commit
|
commitdiff
|
tree
2009-11-16
S
ven Verdoola
e
ge
add is
l
_basic_map_fi
r
st
_
constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven
Verdoolaege
export isl_basic_
m
a
p
_lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdool
a
ege
add isl_b
a
sic_set_lex
m
a
x
commit
|
commitdiff
|
tree
2009-11-15
Sv
e
n Ve
r
dool
a
e
ge
i
sl_map_dro
p
_basic_ma
p
:
con
s
i
s
tently keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en
Verdool
a
ege
i
s
l_ta
b
:
r
o
w
is only (obviousl
y
) redundant if it
d
oes
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl
_
b
as
i
c_m
a
p_simplif
y
: ma
k
e sure to
r
erun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Verdoolaege
isl_tab_
b
asic_map_partia
l
_l
e
xopt:
u
se
co
n
text co
n
strain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaeg
e
is
l
_tab_p
i
p
.
c:
ignore dead column
s
when checking integral
i
ty
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
laeg
e
is
l
_pip: optionally perf
o
rm some c
h
eck
on
t
h
e
results
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdool
a
ege
put options in a separate is
l
_
o
ption
s
s
tructur
e
commit
|
commitdiff
|
tree
2009-10-21
S
ven Ve
r
doolaege
add rudi
m
entary ar
g
ument parsing f
a
cility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
g
e
isl_tab_
c
ompute_
r
ed
u
ced_ba
s
i
s
: han
d
le emp
t
y t
a
bles
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
aege
isl_basi
c
_set_
s
ol
v
e_ilp: handle obv
i
ously
e
mpty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verd
o
o
laege
isl_bas
i
c_se
t
_s
o
l
v
e_
i
l
p
: fi
x
hand
l
ing
of s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verd
o
olaege
ad
d
i
s
l_se
t
_
rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
add isl_set_
f
ix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
ad
d
isl_basi
c
_set_f
i
x
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
e
r
doola
e
ge
ext
r
act isl_basic_set_sc
a
n from
polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaeg
e
isl_basic_map_s
i
mp
l
ify: avoid remov
a
l
of
d
iv definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
v
en Verdo
o
laege
isl_map
.
c: declare vari
a
ble
a
t
start of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laege
isl_basi
c
_
s
et_pro
j
ect_out: han
d
le
r
ational se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
a
d
d isl_ba
s
ic_set_
r
e
move
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
isl_tab_pi
p
: k
e
ep cache of p
a
rtial
solutions
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
ege
isl_tab_pip: don't free i
s
l_sol o
n
error condition
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolae
g
e
isl_tab: support gene
r
ic
u
ndo
recor
d
s
commit
|
commitdiff
|
tree
2009-10-16
S
ven Ve
r
doolaeg
e
add isl_
m
at_is_e
q
u
a
l
commit
|
commitdiff
|
tree
2009-10-16
Sve
n
Verdo
o
laege
isl_tab_pip
.
c: remov
e
some
code dup
l
ication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdool
a
e
g
e
isl_map_is_subset: add spe
c
ial case
f
o
r singleton
m
aps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
d
o
olaege
isl_map_c
o
mput
e
_
d
ivs:
s
k
i
p com
p
utation if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sv
e
n
V
e
r
do
o
l
a
ege
isl_map
_
is_subset: exploit another e
a
sy special case
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
ol
a
e
ge
a
dd isl
_
map_fast_is_un
i
v
erse
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verd
o
olaege
a
d
d isl_set_
s
ize
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdo
o
laege
mark
some fun
c
tions as requiring
use of return value
commit
|
commitdiff
|
tree
2009-10-12
S
v
e
n V
e
r
d
oolaege
isl_ta
b
: i
m
proved error hand
l
ing
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
s
l_tab_
p
ip
.
c
: increm
e
nta
l
ly build rece
s
sion c
o
ne of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pi
p
.
c: prop
a
gate some equalitie
s
fr
o
m
gbr co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
ege
isl_tab_pip
.
c: det
e
ct equalities i
n
gbr c
o
ntext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
rdoolaeg
e
a
d
d isl_tab_detect_eq
u
a
l
i
ties
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdoola
e
ge
add i
s
l_tab
_
s
e
t
_
initial_b
a
s
i
s
_
with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
Ve
r
do
o
laege
isl_
t
ab
_
pip: use generalized basis r
e
duct
i
on
b
a
s
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oola
e
ge
isl_
t
ab_pip: add gene
r
a
lized bas
i
s reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_tab_
p
ip
.
c: ex
t
ract
o
ut contex
t
handlin
g
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolaeg
e
isl
_
tab_pip
.
c: a
d
d_div: use mo
r
e reliable
way to
t
e
st
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
laege
i
sl_tab_basic_map
_
par
t
ial_lexopt: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
isl_tab
.
c: extr
a
ct out sam
p
l
es handling from i
s
l_tab
_
pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l_a
f
fi
n
e_hull
.
c:
u
set_affine_hull_boun
d
ed:
us
e
tabl
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_bas
i
c_m
a
p_detect_equal
i
t
i
e
s: keep tr
a
ck
o
f
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_bas
i
c_map_detect
_
equalities: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_
t
ab_
s
ample
:
handle unbounded
directi
o
n
s
in initi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolae
g
e
isl_ta
b
_com
p
ute
_
r
educed_basis:
h
andle unbounded direct
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
e
r
doolaeg
e
exploit
equaliti
e
s in i
s
l_t
a
b_sampl
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b: keep (in)equali
t
i
es of bset (if any)
i
n sync
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl
_
tab
_
sample:
b
e mo
r
e verbose abou
t
unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
separate out isl_
t
a
b
_sample f
r
om sample
_
bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
sample_bounded: reimplement to work
d
i
rectly on a table
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_t
a
b_compute_r
e
duced_basis: w
o
rk wit
h
a
f
f
i
n
e
b
asis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
isl_tab_
c
ompute
_
redu
c
ed_basis: allo
w
in
c
remental comp
u
tation
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_polytop
e
_scan: use i
s
l_tab
_
from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
oo
l
a
ege
separate
out isl_tab_r
e
duced_basi
s
from isl_basic_set
_
r
e
duc
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
b
a
sis_reduct
i
on_tab
.
c:
u
se is
l
_tab_product
to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n Verdoolaeg
e
a
d
d isl_tab
_
prod
u
ct
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_basic_set_reduced_basis:
f
ix
val
u
e i
n
di
r
e
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_basic_set_reduced_basis: fix up
docu
m
entation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aege
ba
s
is_re
d
u
c
tion_tab
.
c: keep tra
c
k
of con
_
offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolae
g
e
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
i
sl_tab_add
_
v
a
lid_eq: add sp
e
cial treatment for m
a
nifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doola
e
ge
isl_tab_
e
xtend_
c
ons: check ta
b
ar
g
umen
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
ola
e
ge
rena
m
e
i
s
l
_tab_detect_equ
a
litie
s
to i
s
l_tab_detect_implicit
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
ola
e
ge
is
l
_tab_f
r
om_recession
_
c
one: take basic set
i
ns
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdo
o
laege
isl
_
ilp
.
c: separate
o
ut
solve_i
l
p_search
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_s
a
mpl
e
.
c: basic_s
e
t
_sample: rem
e
mber
boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolae
g
e
ad
d
i
s
l_polyhedron_dete
c
t_eq
u
alities t
e
st appli
c
ation
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
dd is
l
_
b
asic_set
_
detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
isl_tab_all
o
cate
_
con: add extra
ass
e
rtion
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoo
l
aege
isl_sample
.
c
:
b
asic
_
s
et
_
reduced: f
i
x typo p
r
e
v
e
nting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
isl_tab_ba
s
ic_map
_
p
a
rtia
l
_lexopt: simp
l
ify result
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdo
o
laege
priva
t
ely export isl
_
basi
c
_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
eg
e
pri
v
ately export isl
_
basic_set_s
a
m
p
le_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
ad
d
isl_
b
asic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
isl_
t
ab
.
c: close_row: push undo record for
s
e
tting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoo
l
aege
add
isl_
m
at_vec_inverse_pro
d
u
c
t
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoola
e
ge
add i
s
l
_
mat
_
concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
o
olaege
add is
l
_int_div
e
xac
t
_ui
commit
|
commitdiff
|
tree
2009-10-05
S
v
e
n V
e
r
d
o
o
laege
add
isl_set_dim_residu
e
_cla
s
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoo
l
aeg
e
fix
l
ong
s
t
a
n
ding bu
g
in isl_mat_inverse_p
r
o
du
c
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
ad
d
isl_basic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add
i
sl_s
e
t_proj
e
c
t
_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aeg
e
add isl_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
erdool
a
ege
a
dd
isl_set_fore
a
ch_ba
s
ic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd isl_set_liftin
g
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdo
o
laege
isl
_
dim_s
i
ze: check
argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
exp
o
rt isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdool
a
ege
add
i
s
l_basic_map_lexmi
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
isl
_
map_foreach_basi
c
_m
a
p
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
c
o
nfigur
e
.
a
c
: fix cut-and-paste er
r
or in original
c
ommit
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoola
e
ge
add
isl_int_get_si
commit
|
commitdiff
|
tree
next