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_mat_right_inverse: be more verbose on error condition
2009-12-18
Sven Verdoolaege
isl_mat_right_inverse: be more
verbose on error c
o
ndition
commit
|
commitdiff
|
tree
2009-12-18
S
v
en
V
e
r
doolae
g
e
isl_constraint_dup: ma
k
e sure
l
ine
ref
e
r
s
to equation
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sv
e
n
Verdoo
l
a
ege
i
s
l_m
a
p_in
t
ers
e
ct: add special ca
s
e
f
o
r addi
n
g a sin
g
le
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
S
ven Verdoolaege
isl_map_is_
s
ubset:
b
reak
o
ff as so
o
n as difference
.
.
.
commit
|
commitdiff
|
tree
2009-12-08
Sve
n
Verdoolaege
c
ompu
t
e set d
i
fference using a b
a
ckt
r
acking algorithm
commit
|
commitdiff
|
tree
2009-12-07
Sve
n
Verdo
o
lae
g
e
isl_map_s
u
btr
a
c
t
.
c
: e
x
t
ract
from isl_map
.
c
commit
|
commitdiff
|
tree
2009-12-07
S
v
e
n
Ve
r
doo
l
aege
isl_ta
b
: keep track of isl_bas
i
c_map
i
n
stead of
i
sl_ba
s
i
c
_set
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdoolaege
p
r
i
vately export isl
_
b
a
sic_map_cont
a
i
n
s
commit
|
commitdiff
|
tree
2009-12-07
Sven Ver
d
o
olae
g
e
add
isl_basic_map_add
_
ineq an
d
isl_b
a
sic_map_add_eq
commit
|
commitdiff
|
tree
2009-12-07
Sven V
e
rdoolaege
isl_tab_detect_redundant: return s
t
atu
s
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-12-07
Sven Verdool
a
ege
isl_tab: add isl_tab_free
z
e_constraint
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoo
l
aege
isl_tab_add_i
n
e
q
and isl_tab_ma
r
k_empty: return status
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verd
o
o
l
aege
add missing AUTHO
R
S f
i
l
e
commit
|
commitdiff
|
tree
2009-11-29
Sven V
e
rdoolaege
isl_basic_set_
s
wap_vars: re-g
a
uss resulting bset
commit
|
commitdiff
|
tree
2009-11-16
S
v
en Verdoolaege
add
i
sl_basic_m
a
p
_first_constraint
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export
isl_b
a
sic_map_
l
exmax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
add isl_basic_
s
et
_
lexmax
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdool
a
ege
i
s
l
_map_drop_basic_map: consistentl
y
keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en
V
e
rdoola
e
ge
is
l
_tab: ro
w
is only (obvious
l
y)
redundant
i
f it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoola
e
ge
is
l
_basic_map_
s
implify: make
sur
e
to
rerun Gauss
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
erdoola
e
g
e
isl_t
a
b_basic_map_p
a
r
t
ial
_
l
exopt: use
c
ontext constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven V
e
rdoolae
g
e
i
sl_tab_pip
.
c: ignore dead co
l
u
m
ns when checking inte
g
rali
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdo
o
laege
isl_p
i
p:
o
ptio
n
a
l
ly perform some c
h
eck
o
n the results
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaeg
e
pu
t
op
t
ions in a separate isl_optio
n
s st
r
ucture
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
add rudimentary argument par
s
ing fa
c
ility
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n V
e
r
d
o
o
laege
isl_tab_com
p
ute_re
d
u
c
ed_basis: handle
e
mpty tabl
e
s
commit
|
commitdiff
|
tree
2009-10-21
Sv
e
n Verdoolaege
isl_basic_
s
et_
s
olve_ilp: handle ob
v
i
o
usl
y
empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaeg
e
isl_basi
c
_set_so
l
ve_ilp: fix ha
n
dling o
f
sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oolaege
add isl_set_remo
v
e
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolae
g
e
add isl_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaeg
e
a
dd is
l
_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
extract is
l
_basic_set_scan
f
r
o
m polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_basic_m
a
p_sim
p
lify: avoid removal of div
d
efinitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoola
e
ge
isl_map
.
c
:
de
c
lare variabl
e
at start of code block
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolae
g
e
i
sl_b
a
sic_set_project_
o
ut: handl
e
ra
t
ion
a
l se
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Ve
r
doolaege
a
d
d
isl_ba
s
i
c
_
se
t
_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip
:
k
e
e
p cache of
p
ar
t
ial sol
u
tio
n
s
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
l
a
e
ge
isl_tab_p
i
p: don't
f
ree
isl_sol on error
co
n
dition
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
oolaeg
e
isl_tab: sup
p
ort generic undo
r
ecords
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
add isl_mat_is_equal
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_
t
a
b_pip
.
c: remove
so
m
e code du
p
l
ication
b
etween
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_map_is
_
s
u
bset: ad
d
s
p
ecial case for singleto
n
maps
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
i
s
l_map_compute_divs:
s
kip computa
t
i
on if div
s
are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdool
a
ege
i
s
l_map_is_subset: exploit another easy special case
commit
|
commitdiff
|
tree
2009-10-12
S
v
en
Verdool
a
ege
add
i
sl_map_fa
s
t_is
_
u
niverse
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doolaege
add isl_set_s
i
z
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oo
l
aege
mark some functio
n
s as r
e
quiring use
o
f
return val
u
e
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
olaege
i
s
l
_
tab: impr
o
ved error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
i
sl_
t
ab_pip
.
c: incrementa
l
ly build recession cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_tab_pip
.
c: pro
p
a
g
ate some
e
q
ua
l
i
t
i
e
s f
r
om gbr cont
e
xt
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven V
e
r
d
oo
l
aeg
e
isl_tab_pi
p
.
c: detect equalities in
g
br co
n
text on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaeg
e
add
isl
_
tab_d
e
te
c
t_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-10
Sven Ver
d
oo
l
aege
add isl_tab_set_initial_basis
_
w
it
h
_
c
one
commit
|
commitdiff
|
tree
2009-10-10
Sv
e
n
V
er
d
oolaege
isl_ta
b
_pip: use gen
e
rali
z
e
d
basis r
e
duction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
isl_tab_p
i
p: a
d
d generalized
basis
reductio
n
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_tab_
p
ip
.
c:
extract
o
ut con
t
ext handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab_pip
.
c: ad
d
_div: use m
o
re relia
b
l
e
way
to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
is
l
_tab_basic_map_
p
art
i
al_lexopt:
r
emove sampl
e
s that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdo
o
laege
isl_t
a
b
.
c: extract out samples handlin
g
fr
o
m isl
_
t
a
b
_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaeg
e
isl
_
affine_hu
l
l
.
c: uset_affine_hul
l
_bounded: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oo
l
aege
isl_
b
a
s
i
c_map_detect_equalities: keep
t
rack of sam
p
le
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_basic_ma
p
_detect_equal
i
ties:
o
n
ly compute rece
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaeg
e
isl_
t
ab_samp
l
e: handle unbounde
d
directions in
in
i
tia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolae
g
e
i
s
l_tab_comput
e
_reduced_bas
i
s:
h
andle
u
n
b
o
u
nded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
exploit
e
q
ualities
i
n
i
sl_tab_s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
i
s
l_tab: keep (in)equa
l
ities
o
f bset
(if any) in
sync
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Ver
d
oolae
g
e
isl_tab_sample: be more verbose about unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
e
g
e
s
eparate out isl_t
a
b_sa
m
pl
e
f
rom sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
sampl
e
_bounded:
rei
m
plement to work d
i
r
e
c
tly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_
compute_red
u
ced_ba
s
i
s
:
work
w
ith
aff
i
ne basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl_tab_co
m
pute_reduced_basis:
allow i
n
cremental
computation
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
laege
isl_pol
y
t
ope_scan
:
use is
l
_tab_from_
b
as
i
c_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
se
p
a
r
a
t
e out
i
sl_tab_
r
educed_basis f
r
om isl_bas
i
c_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
Verdoola
e
ge
basis_re
d
u
c
tio
n
_
tab
.
c: use isl_tab_produ
c
t
to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
Verdoolaege
add isl_t
a
b_produc
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ba
s
ic_se
t
_reduced_basis: fix value i
n
dir
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_
b
a
s
ic_set_reduced_ba
s
i
s
: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
Verdoolaege
basis_reduct
i
o
n
_tab
.
c
:
keep
track of con
_
offset i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
a
dd isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ta
b
_add_v
a
l
i
d
_eq: add sp
e
cial treatme
n
t for man
i
festly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
isl_t
a
b_e
x
t
e
n
d_c
o
n
s
: check
t
a
b ar
g
umen
t
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_de
t
ect_equaliti
e
s
t
o i
s
l_t
a
b_de
t
ect_i
m
plicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoo
l
aeg
e
isl_tab_from_
r
ec
e
ssion_cone: take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdool
a
ege
is
l
_ilp
.
c: separate out
s
o
l
ve_ilp
_
search
commit
|
commitdiff
|
tree
2009-10-08
Sven Ver
d
oolaege
isl_sample
.
c: basic_set_s
a
mple: remember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhe
d
ron_det
e
ct_equal
i
ties
test appli
c
a
t
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl
_
basic_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
isl
_
t
a
b_allo
c
ate_con: add
e
xtra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
oolaege
isl_sample
.
c
: basic_set_reduced: fix typo pre
v
e
nting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_
t
ab_
b
asic_map_partial_
l
exopt: simplify
res
u
lt
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
Ve
r
doola
e
ge
privately
e
xport isl_basic_
s
et_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
privately
e
xpor
t
isl_basic_set_
s
ample_with_c
o
n
e
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
add
isl_b
a
sic_
s
et_und
e
rly
i
ng_set
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ver
d
oolaege
isl_tab
.
c
: clos
e
_
ro
w
: push und
o
recor
d
fo
r
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
e
r
d
oola
e
ge
a
d
d
isl
_
mat_v
e
c_inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add i
s
l_mat_
c
o
ncat
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verd
o
olae
g
e
add isl_int
_
divexact_u
i
commit
|
commitdiff
|
tree
2009-10-05
Sven
V
erdoolae
g
e
add i
s
l_set_dim_resi
d
ue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven
Verdoolaeg
e
fix long standi
n
g bug in isl_mat_inv
e
r
s
e_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_b
a
sic_map_f
o
r
each_le
x
min
commit
|
commitdiff
|
tree
next