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
add missing AUTHORS file
2009-11-29
Sven Verdoolaege
a
d
d missing AUTHO
R
S file
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
isl_ba
s
ic_s
e
t
_
swap_vars: re-ga
u
ss resu
l
ting bset
commit
|
commitdiff
|
tree
2009-11-16
Sv
e
n Verdoola
e
ge
add isl_
b
asic_map_first_constr
a
int
commit
|
commitdiff
|
tree
2009-11-15
Sven Verdoolaege
export isl_bas
i
c_ma
p
_lexma
x
commit
|
commitdiff
|
tree
2009-11-15
S
ven Verdool
a
e
g
e
add isl_basic_se
t
_l
e
xmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
V
erdoola
e
ge
i
sl_map_drop_basic
_
map:
c
onsistently
k
eep
b
asic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sv
e
n
Ver
d
oola
e
ge
is
l
_
tab: ro
w
is
o
nly (obviously) redundant
if it do
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ven Verdoolaege
isl_basic_map_simp
l
ify: make sure to r
e
ru
n
Ga
u
ss
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven
V
er
d
oolaege
isl_tab_basic
_
map_partia
l
_
lexop
t
: use context constraints
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sve
n
Verdo
o
l
a
ege
i
sl_ta
b
_pip
.
c: ignore dead col
u
mns whe
n
checking integr
a
li
t
y
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolae
g
e
isl_pip:
opti
o
nally perform some check
on the res
u
lt
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
put optio
n
s in
a
sepa
r
ate isl_
o
pti
o
ns structure
commit
|
commitdiff
|
tree
2009-10-21
S
ven
Ve
r
do
o
laege
add
r
udimentary ar
g
ument parsing fac
i
lity
commit
|
commitdiff
|
tree
2009-10-21
S
v
e
n
Verdo
o
l
a
e
g
e
isl_tab_compu
t
e_red
u
ced_basi
s
: handle
empty tables
commit
|
commitdiff
|
tree
2009-10-21
S
v
en V
e
r
d
o
olaege
isl_bas
i
c
_
set
_
s
o
l
ve_i
l
p
: h
a
ndle obvio
u
sly empty sets
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoola
e
ge
isl_basic_set
_
solve_ilp: fix handling of s
e
ts with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdo
o
laeg
e
a
d
d
isl_set_rem
o
ve
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add i
s
l_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
r
doolaege
add isl_basic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
S
ven Verdoolaeg
e
extract
i
sl_
b
asic_set_
s
can fro
m
polytope_scan
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
is
l
_
basic_map
_
simplify: avoid rem
o
v
a
l o
f
d
i
v defin
i
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
V
e
rdoo
l
aege
isl_map
.
c: declare
v
ariable at s
t
art of code b
l
ock
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
b
asic_set_
p
roject_out
:
handle ratio
n
a
l
sets
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
a
d
d
i
s
l_bas
i
c_
s
et_remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_tab_pip: keep cache of
p
a
rtial
s
o
l
ut
i
o
ns
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
i
s
l_tab_pip: don
'
t f
r
ee isl_sol on error con
d
ition
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n
V
erdoolae
g
e
isl_t
a
b: support generic un
d
o record
s
commit
|
commitdiff
|
tree
2009-10-16
Sv
e
n Verdool
a
ege
add isl_mat_is_e
q
ual
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
isl_tab_pip
.
c:
r
em
o
ve
s
ome code d
u
plication
betwe
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoo
l
aege
i
sl_map_is_subset: add special case for singleton ma
p
s
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_map_com
p
ute_divs: skip comp
u
ta
t
io
n
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verd
o
ol
a
ege
isl_map_is_subset: e
x
ploit
anothe
r
easy
special case
commit
|
commitdiff
|
tree
2009-10-12
Sven
V
erdo
o
laege
a
d
d isl_map_fast_i
s
_u
n
i
v
erse
commit
|
commitdiff
|
tree
2009-10-12
Sve
n
Verdoolaege
ad
d
isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
m
ark so
m
e functions as requirin
g
use of return v
a
l
ue
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdool
a
ege
isl_tab:
i
m
p
r
o
ved error handl
i
n
g
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_t
a
b_pip
.
c: increment
a
lly build recessi
o
n cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaeg
e
isl_tab_pip
.
c
:
propagate
some equaliti
e
s from gbr contex
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip
.
c: detect eq
u
aliti
e
s in g
b
r con
t
ext
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
erdoo
l
aege
a
dd isl_tab_detect_e
q
ualities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaeg
e
add is
l
_tab_set_in
i
tial
_
basis
_
with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven
V
e
r
do
o
l
a
ege
isl_
t
ab_pip:
us
e
generalized ba
s
is redu
c
t
ion based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_tab_pip:
a
dd generalized basis reduct
i
on bas
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab
_
pip
.
c:
e
xtra
c
t out
c
ontext handling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_pip
.
c: add_div: use m
o
re reliab
l
e way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdool
a
e
g
e
i
sl_tab_ba
s
i
c_map
_
partia
l
_lexo
p
t: remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
is
l
_tab
.
c: e
x
tract out sampl
e
s handl
i
ng from isl_tab_p
i
p
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdoolaege
isl_affine_hull
.
c: uset_affi
n
e_hull_boun
d
ed: us
e
tableau
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_b
a
sic_ma
p
_detect
_
e
q
ualities: kee
p
t
r
ack of sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_m
a
p_
d
etect
_
equalities: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
l
a
ege
is
l
_tab_sample: handle
unbounded dire
c
tions i
n
init
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doola
e
ge
isl_tab_c
o
mpute_
r
educed_basis: han
d
le unbound
e
d
dire
c
tion
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
exploit eq
u
a
l
i
ti
e
s in
isl
_
tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
ool
a
ege
is
l
_tab:
keep (in)equal
i
ties of b
s
e
t (if
any) in
sync
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_tab_sample:
be mo
r
e verbo
s
e about unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
separa
t
e
out i
s
l_t
a
b_sample from sam
p
le
_
bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
sample_boun
d
e
d:
reimplement to work
d
irectly on a
ta
b
leau
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erdoolaege
isl_tab_compute_reduc
e
d_bas
i
s: w
o
rk w
i
th affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
ab_
c
ompute_reduced_basis: all
o
w
i
ncrem
e
ntal computa
t
ion
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
isl_polytope
_
scan: use isl_
t
ab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
dool
a
ege
separate out isl_tab_
r
educ
e
d
_bas
i
s
f
rom i
s
l_
b
asic_s
e
t_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
e
r
d
oolae
g
e
ba
s
i
s_re
d
u
c
ti
o
n_tab
.
c: use isl_tab
_
product to
construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
V
erdoolaeg
e
add
isl_tab
_
product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
i
sl_basic_se
t
_reduc
e
d_basis: fix valu
e
in directio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ba
s
i
c
_set_reduced
_
basis: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
r
doolaege
basis
_
reducti
o
n
_
tab
.
c: kee
p
track
o
f
con_offset
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl
_
tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdool
a
ege
isl_tab_
a
dd_val
i
d_eq:
a
d
d special
t
reatme
n
t for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_ext
e
nd_cons: check ta
b
a
r
g
u
ment
commit
|
commitdiff
|
tree
2009-10-08
S
ve
n
Verdool
a
ege
rename isl
_
t
a
b_det
e
ct_
e
qualitie
s
to isl_tab_d
e
tect_impli
c
i
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
isl_
t
ab_fr
o
m_recessio
n
_cone: take b
a
sic
s
et instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdo
o
laege
is
l
_ilp
.
c: separate out solve
_
ilp_sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
S
v
en
Verdoola
e
ge
isl_sample
.
c: basi
c
_set_sample:
remember bounded
n
ess
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
a
d
d
i
sl_pol
y
hedro
n
_de
t
ect_
e
qualities t
e
st application
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basi
c
_s
e
t
_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
isl_ta
b
_
alloca
t
e_con:
add extra ass
e
rtio
n
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
isl_sampl
e
.
c
:
basic_set_redu
c
ed: fix
t
y
po preve
n
tin
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
isl_tab_basi
c
_ma
p
_parti
a
l_lexopt
:
simplify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
priva
t
ely
e
xpo
r
t isl_basic_s
e
t_add
_
{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
l
a
ege
privately expo
r
t is
l
_
basic_s
e
t_sam
p
le_with_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doola
e
ge
add isl_ba
s
ic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoolaege
isl_tab
.
c: cl
o
se_ro
w
: push undo re
c
ord
for setti
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoolaege
add isl_mat_vec_invers
e
_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolae
g
e
add isl_mat
_
concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
ola
e
ge
add isl_int_divex
a
ct_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Ver
d
oo
l
ae
g
e
add
i
s
l_s
e
t_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
S
v
en V
e
rdoolae
g
e
f
i
x long standing bug in isl_mat_
i
nverse_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl
_
ba
s
ic_map_foreach_
l
e
x
m
in
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_set_p
r
oject_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
l
a
ege
add
i
sl_set_detect_equali
t
ies
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add
isl_set
_
fore
a
ch_basic_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolae
g
e
a
d
d
isl_set_liftin
g
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ve
r
do
o
laege
isl_di
m
_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
export isl_mat head
e
r
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaeg
e
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
ool
a
ege
add is
l
_map_f
o
reach_basi
c
_
m
ap
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verd
o
olae
g
e
configure
.
ac
:
fix cut-and-past
e
err
o
r in original commi
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verd
o
olaeg
e
add isl_int_
g
e
t
_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n
Verdoolaeg
e
expo
r
t isl
_
set
_
sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
ad
d
isl_
b
asic_se
t
_
uni
v
er
s
e
_l
i
ke_set
commit
|
commitdiff
|
tree
next