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_pip.c: extract out context handling
2009-10-09
Sv
e
n
Verdoola
e
g
e
i
sl_tab_
p
ip
.
c: extract
o
ut cont
e
x
t
h
a
ndling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab_pip
.
c
:
add_d
i
v:
u
se
more rel
i
able way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
isl_tab_basi
c
_map_partial_lexopt
:
remove samples that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl
_
tab
.
c: extract out samples ha
n
d
l
ing from is
l
_t
a
b_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
a
ffine_hull
.
c: uset_affine_hul
l
_bounded: use tab
l
e
aus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_basic_map_dete
c
t_
e
qual
i
ties
:
kee
p
track
o
f
s
ample
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl
_
bas
i
c_ma
p
_detect_equal
i
t
i
es: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
Verdoo
l
aeg
e
isl_ta
b
_
sam
p
le: ha
n
dle unb
o
unded directions in initial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_compute
_
red
u
ced_ba
s
is: han
d
l
e u
n
b
o
unded
d
ir
e
ctions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoo
l
aeg
e
expl
o
i
t
equalities
i
n isl
_
t
a
b_sam
p
le
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_t
a
b: keep
(
i
n)
e
qualities of bset (if any) in
s
ync
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
a
ege
isl_tab_sa
m
p
l
e
:
b
e more
v
e
rb
o
se about unbounded
dir
e
ct
i
ons
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
separ
a
te out isl_tab_sample
f
rom sa
m
p
le_bounded
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
sample_bounded: reimplement to work dire
c
tly o
n
a tabl
e
a
u
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
i
s
l_tab_comput
e
_reduce
d
_basis: w
o
rk
with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
i
sl_tab_com
p
ute_redu
c
ed_basis: allo
w
incremental com
p
u
t
a
t
i
on
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoolaege
isl_polytope_
s
can: use
isl_t
a
b_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separa
t
e out isl
_
tab_reduced_basis from
i
sl_basic_set_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
b
a
sis_reduction_ta
b
.
c: use isl_
t
ab_product to constru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add
i
sl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basi
c
_set
_
reduced_basis: fix va
l
ue in dir
e
ctio
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
i
s
l
_
basi
c
_se
t
_reduced_
b
asis: fix
u
p doc
u
me
n
t
ation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
bas
i
s
_reduction
_
tab
.
c: keep track of con
_
offset inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
doolaege
a
dd i
s
l_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_tab_add_val
i
d_e
q
:
a
dd
s
pe
c
ial trea
t
ment for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
ege
isl
_
tab_ex
t
end
_
cons:
c
heck tab ar
g
u
ment
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_detect_e
q
ualities
to
i
sl_tab_det
e
ct
_
i
mplicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
isl_tab
_
from_
r
ecess
i
on_cone:
take basic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: separate out solve_ilp_
s
earc
h
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
Ve
r
d
o
o
l
a
eg
e
isl_sample
.
c: basic_
s
et_sa
m
ple: r
e
mem
b
er boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaege
a
d
d
isl
_
polyhedron_detect
_
equ
a
lit
i
es tes
t
ap
p
lication
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
a
d
d is
l
_basi
c
_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Ver
d
oo
l
aege
isl_ta
b
_allocate_
c
on: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
r
doolaege
isl_sample
.
c: basic_
s
e
t
_
r
e
duced: fi
x
t
ypo prevent
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab_basic
_
map_p
a
rtial_l
e
xo
p
t:
s
implify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
pri
v
ately export isl_basi
c
_set
_
a
d
d_{in
,
}eq
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
privately
export isl_basic_set_sample_wit
h
_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoo
l
aege
ad
d
isl_bas
i
c_set_
u
nderlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rd
o
olaege
isl_ta
b
.
c
: close
_
row: push undo
re
c
ord
f
or
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl_mat_ve
c
_inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add isl_
m
at_conca
t
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
e
rdoolaege
add isl
_
int_divex
a
c
t
_ui
commit
|
commitdiff
|
tree
2009-10-05
Sv
e
n Verdoolaege
add
i
sl_set_dim_residue
_
class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix
long st
a
nding b
u
g
i
n isl_mat_invers
e
_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_basic_m
a
p
_
f
orea
c
h_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erd
o
olaege
add isl_
s
et_p
r
oject_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
isl_set_
d
etect
_
equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_forea
c
h_basic
_
set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_set
_
lift
i
ng
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
i
s
l_dim_size: c
h
eck argum
e
nt
commit
|
commitdiff
|
tree
2009-10-02
S
v
en V
e
rdo
o
laege
export
i
sl
_
mat hea
d
er
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
ad
d
isl_basic_map
_
lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
er
d
oo
l
aege
add isl
_
map_foreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
con
f
igure
.
ac: fix
cut-and-paste e
r
ror
i
n original commit
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolae
g
e
add is
l
_int_
g
et_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export
isl_s
e
t_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
add
i
sl_bas
i
c_se
t
_univers
e
_
like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_s
e
t_is_st
r
ict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoolaege
ad
d
isl_s
e
t_univer
s
e_lik
e
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
r
d
oolaege
AX_S
U
BMODULE: set
P
KG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Verdoolaege
c
r
e
at
e
pkg-config f
i
le
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Ver
d
oola
e
ge
AX_SUBMO
D
ULE: drop options t
h
at are mea
n
ingless given
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
ol
a
ege
add isl_map
_
sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
add isl_map_floordi
v
commit
|
commitdiff
|
tree
2009-08-30
S
ven
V
erdoola
e
ge
add is
l
_map_n
e
g
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
a
d
d
isl
_
map_is_
s
trict_subset
commit
|
commitdiff
|
tree
2009-08-30
S
v
e
n
Verd
o
olaege
add isl
_
map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
S
v
e
n
Verdool
a
ege
add is
l
_m
a
p
_
identity
_
like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
a
ege
rename isl_ma
p
_ident
i
t
y
_l
i
ke to isl_map_
i
dentity_
l
ike_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
i
sl_polytope_scan application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_se
q
_normalize: use pre-allocat
e
d tempora
r
y variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven V
e
r
doolaege
add isl
_
vec_no
r
m
aliz
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
i
s
l_seq_normalize:
no nee
d
to
s
cale down
b
y one
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
doolaege
add isl_polyhedron_minimize application
commit
|
commitdiff
|
tree
2009-08-28
S
ven
Verd
o
ola
e
ge
add generaliz
e
d basis reduction base
d
ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
e
rdoolaege
add is
l
_ve
c
_mat_prod
u
ct
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
dool
a
ege
e
x
port
isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
isl_basic_set_
s
ample: only
p
er
f
orm basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoolaege
rename isl_
s
olve_lp to isl_basic
_
{
map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_solve_lp
:
opt
i
onall
y
r
e
turn solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
export
i
sl_vec
h
ea
d
er
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
add isl_int_fdiv
_
q_u
i
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add isl_vec_r
e
ad_from
_
fi
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl
_
basic_map_drop_r
e
dundant_divs:
a
ls
o
inves
t
i
gate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
isl_basic_map_app
l
y_{do
m
ain,
r
ange}: d
r
op re
d
u
n
dant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
isl_map_simpl
i
fy
.
c: fix
typo in
c
omment
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoo
l
aege
isl_basic_set_pro
j
e
c
t_out: drop re
d
undant di
v
s
i
n resul
t
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdo
o
l
aege
isl_basic_map_remove
:
o
nly drop divs if b
a
s
i
c
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_map_d
e
te
c
t
_
equalit
i
es
:
e
xpl
i
citl
y
keep trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ve
r
dool
a
ege
isl_basic
_
map_
e
xtend_dim
:
k
eep hold of sample i
f
d
imen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven V
e
rdoolaege
isl_tab
_
m
in: read off all information
f
rom
t
ableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdool
a
ege
isl_tab_add_valid_eq: keep track
of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
c
onfigure
.
a
c: n
o
longe
r
use pi
p
l
i
b by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laeg
e
add
an i
n
t
e
rna
l
parametric
integer lin
e
ar pr
o
gram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
is
l
_mat_
e
xtend: make su
r
e t
h
e
num
b
er of rows neve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_affine_hull
.
c: only construct affine h
u
ll in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
a
b
: add
suppor
t
f
o
r
k
eeping track of s
a
mples
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab: optional
l
y keep tr
a
ck of
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab: a
d
d isl_basic_set
f
ield fo
r
optiona
l
ly keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
isl_
t
ab: intr
o
duce supp
o
rt
f
or "big parame
t
ers"
commit
|
commitdiff
|
tree
next