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 Verdool
a
eg
e
i
sl_tab
:
add isl_t
a
b_freeze_constra
i
nt
commit
|
commitdiff
|
tree
2009-11-29
S
v
e
n
V
erdoolaege
is
l
_tab_add_ineq and isl_ta
b
_mark_em
p
t
y
: return stat
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-11-29
Sven Verdoolaege
add mi
s
s
ing AUTHOR
S
file
commit
|
commitdiff
|
tree
2009-11-29
S
v
en Verdoolaege
isl_basic_se
t
_
swap_vars: re-gauss
r
esu
l
t
i
n
g
bset
commit
|
commitdiff
|
tree
2009-11-16
Sven Ver
d
o
o
laege
add isl_basic_map_first_con
s
traint
commit
|
commitdiff
|
tree
2009-11-15
S
v
en
Verdoolaege
export
i
sl_bas
i
c_map
_
lex
m
ax
commit
|
commitdiff
|
tree
2009-11-15
S
v
en Verdoolaege
add isl_basic_set_lexmax
commit
|
commitdiff
|
tree
2009-11-15
Sven
Ver
d
oolaege
isl_map_
d
rop_basic_map:
consisten
t
ly keep basic map
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Ver
d
oolaege
isl
_
ta
b
:
row is onl
y
(obviously)
r
edundant
if it does
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
Sven Verdoolaege
isl_basi
c
_
map_simp
l
i
fy:
make sure to rerun Gauss when
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
ve
n
Verdoolaege
isl_tab_bas
i
c_
m
ap_partial_lex
o
pt:
u
se cont
e
xt
c
onstra
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-11-01
S
v
en
Verdoola
e
ge
isl_ta
b
_
p
i
p
.
c: ignor
e
d
ead
c
olumns when ch
e
ck
i
ng inte
g
rality
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
isl_
p
i
p
:
optionally perform some
c
heck on the results
commit
|
commitdiff
|
tree
2009-10-21
Sven
Verdoolaege
put options in a separate isl
_
o
ptions structure
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add
r
udime
n
tary argument parsing facility
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoo
l
a
ege
isl_tab_compu
t
e
_
red
u
ced
_
basis: handle empty tables
commit
|
commitdiff
|
tree
2009-10-21
Sven Ver
d
oo
l
aege
isl_basic_set_solve_ilp: ha
n
d
le obviously empt
y
s
e
t
s
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
i
sl_
b
asic_set_solve_i
l
p:
f
ix han
d
l
ing of sets with
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven
V
erdoola
e
ge
add is
l
_
set_remov
e
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
do
o
la
e
ge
ad
d
isl_set
_
fi
x
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
add isl_b
a
sic_set_fix
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
extract i
s
l_basic_set
_
sc
a
n
from po
l
ytope_s
c
a
n
.
c
commit
|
commitdiff
|
tree
2009-10-21
Sve
n
Verdoolaege
isl_
b
a
s
ic_map_simp
l
ify: avoid removal of div definitions
.
.
.
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoolaege
i
s
l_map
.
c
: d
e
clar
e
variable
at s
t
art of code block
commit
|
commitdiff
|
tree
2009-10-21
Sven Ve
r
doolaege
isl_b
a
sic
_
set_pro
j
e
ct_out: h
a
ndle rational sets
commit
|
commitdiff
|
tree
2009-10-21
Sven V
e
rdoolae
g
e
add isl_b
a
s
i
c_set
_
remove
commit
|
commitdiff
|
tree
2009-10-21
Sven Verdoola
e
ge
isl_tab_pip: keep
c
ache o
f
partial solutions
commit
|
commitdiff
|
tree
2009-10-16
S
v
en Verdoolaege
isl
_
ta
b
_pip: don'
t
free isl
_
sol on error condition
commit
|
commitdiff
|
tree
2009-10-16
Sven Ver
d
o
o
laeg
e
i
sl_tab: sup
p
or
t
generic undo reco
r
ds
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdo
o
laege
ad
d
isl_mat_is_equa
l
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolae
g
e
isl_ta
b
_
p
ip
.
c:
r
e
m
ove some code duplication between
.
.
.
commit
|
commitdiff
|
tree
2009-10-16
Sven Verdoolaege
is
l
_map_is_subset
:
add s
p
ec
i
al
case
fo
r
si
n
gleton maps
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
d
ool
a
ege
isl_map
_
compute_
d
iv
s
: s
k
i
p
c
omputatio
n
if divs are
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
ool
a
ege
isl_ma
p
_i
s
_subse
t
:
e
xploit another eas
y
sp
e
cia
l
c
ase
commit
|
commitdiff
|
tree
2009-10-12
S
ven Verdoola
e
ge
ad
d
isl_map_fa
s
t_is_u
n
iv
e
rse
commit
|
commitdiff
|
tree
2009-10-12
Sven V
e
rdoola
e
g
e
add isl_set_size
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolae
g
e
mark some funct
i
ons
as requ
i
ring use of re
t
u
rn v
a
lue
commit
|
commitdiff
|
tree
2009-10-12
Sven Ve
r
doo
l
aege
isl_tab: improved err
o
r h
a
ndling
commit
|
commitdiff
|
tree
2009-10-12
Sven Ver
d
oolaege
isl_t
a
b_pip
.
c
:
incre
m
entally b
u
ild rec
e
s
s
ion cone of
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolaege
isl_
t
ab
_
pip
.
c: propagate
some equaliti
e
s fro
m
g
b
r context
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven V
e
r
d
oolaeg
e
i
sl_t
a
b_pip
.
c
:
detect e
q
ualitie
s
i
n gb
r
context on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
add isl_tab_detect_equalitie
s
commit
|
commitdiff
|
tree
2009-10-10
S
v
e
n Verdoo
l
aege
add isl_tab_
s
et_init
i
al_bas
i
s_with_cone
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolae
g
e
is
l
_
t
ab_pip: use generalized basis
re
d
uction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdoolaege
isl_ta
b
_p
i
p
:
add genera
l
ized bas
i
s red
u
ction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
lae
g
e
i
s
l_tab_
p
ip
.
c: extract out contex
t
handlin
g
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aege
isl_tab_pip
.
c:
a
dd_
d
iv:
u
se
more
r
eli
a
ble way t
o
tes
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdo
o
laege
isl_tab_basic_map_part
i
al_l
e
xop
t
:
r
emo
v
e sa
m
ples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
d
oolaege
isl_tab
.
c: extract out sample
s
handling f
r
o
m
i
s
l_
t
ab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_aff
i
ne_hull
.
c: uset_affine_hull_bounded:
u
s
e
t
ableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdo
o
la
e
ge
isl_basic_
m
ap_detect_equalities: keep track
o
f
sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_basic
_
ma
p
_detect_equ
a
lit
i
es: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_ta
b
_
s
am
p
le: handle un
b
oun
d
ed directions in init
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
ool
a
ege
isl_tab_compute_reduc
e
d_basis: han
d
l
e
unb
o
und
e
d dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
exploit
e
qualities in isl_tab_sa
m
ple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep
(
i
n)equalities of
b
set
(
i
f
any) i
n
sync
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab_s
a
mple: be m
o
r
e
verb
o
se about
unbounded dire
c
tions
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
erdool
a
ege
separate out isl_tab_sample fr
o
m sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
sample_b
o
un
d
ed:
r
eimp
l
em
e
nt to work dire
c
tly on a tab
l
eau
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
isl_tab_com
p
ut
e
_reduced_ba
s
is:
w
ork with aff
i
ne
b
a
sis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
isl_tab_compute
_
reduce
d
_b
a
sis: all
o
w inc
r
emental compu
t
ation
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n V
e
rdoolaege
isl_polytop
e
_scan
:
use is
l
_tab_from_bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoolaege
separate out isl_tab_reduc
e
d_
b
asis from
i
sl_b
a
sic_set_red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdo
o
l
ae
g
e
basis
_
reducti
o
n_t
a
b
.
c
:
use
isl_tab_product to
c
onstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
erdoolaege
a
d
d isl_tab
_
product
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdool
a
e
g
e
isl
_
basi
c
_set_reduc
e
d_basis: fix value in directio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
isl_basic_set
_
reduc
e
d_basis:
fix up documentat
i
on
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
basis_r
e
duction_tab
.
c: ke
e
p t
r
ack of
con_offset instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
erd
o
olaege
ad
d
is
l
_tab
_
add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
isl_tab_
a
d
d_valid_eq: ad
d
s
p
ecial treatm
e
nt for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ve
n
V
erd
o
ol
a
e
g
e
isl_tab_extend_cons: check tab arg
u
men
t
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
rdoolaege
ren
a
m
e
isl_tab_detect_
e
qualities to isl_tab_
d
et
e
ct_im
p
licit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_t
a
b_from_rece
s
sion_cone: take
basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
er
d
o
o
laege
isl_ilp
.
c: s
e
parate out solve_i
l
p_s
e
arch
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Verdo
o
l
a
ege
isl_
s
a
mpl
e
.
c:
b
a
sic_set_sample: remember
bou
n
d
e
d
ness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
add isl_p
o
lyhedron_detect_
e
qualities test applicat
i
o
n
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
l
a
ege
a
d
d isl_basic_se
t
_de
t
ect_equa
l
ities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
o
l
aege
i
s
l
_tab_
a
l
locate_con:
a
dd extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sa
m
p
l
e
.
c: basi
c
_s
e
t_r
e
duc
e
d:
fix t
y
po preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
Ver
d
oolaege
isl_tab_basi
c
_map_partial
_
lexop
t
: s
i
mpl
i
fy result
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
e
rdoolae
g
e
private
l
y export isl_
b
asic_set_
a
d
d_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
p
r
ivately ex
p
ort isl_basic_s
e
t_sample_with_co
n
e
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add
i
s
l_bas
i
c_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Verdoo
l
aege
isl_tab
.
c: close_row: push un
d
o record for setti
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
ad
d
i
s
l
_
mat_vec
_
inverse_
p
roduct
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
add
i
sl_int_
d
ivexact
_
ui
commit
|
commitdiff
|
tree
2009-10-05
Sv
e
n Verdoolaege
add
isl_set
_
d
i
m_r
e
sidue_class
commit
|
commitdiff
|
tree
2009-10-03
S
ven Verdo
o
laege
fix
lo
n
g standin
g
bug
in isl_
m
at_inverse_
p
roduct
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaeg
e
a
dd isl_basic_map_fo
r
eac
h
_
lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add isl_
s
et
_
projec
t
_out
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n
Ve
r
doolaeg
e
add isl_s
e
t_de
t
e
c
t_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaege
add isl_set_
f
oreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdo
o
l
aege
add is
l
_set_li
f
ting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
isl_dim_size: check argumen
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
ex
p
o
r
t
isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ver
d
ool
a
e
g
e
add isl_basic_map_
l
exmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oola
e
ge
add isl_map_
f
o
reach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
o
l
aege
co
n
figure
.
ac: fix cut-a
n
d
-paste error
i
n o
r
iginal
co
m
mit
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
erdoolaege
add is
l
_int_get
_
si
commit
|
commitdiff
|
tree
next