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 0.01
2009-09-06
S
ven Verd
o
o
la
e
ge
i
sl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
add a
rudime
n
tary manual
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolae
g
e
add some memory ma
n
agement
annotations
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
export isl_basic_s
e
t
_
proj
e
ct_ou
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_basic_set_normalize_
c
onstraints: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map_simpli
f
y
.
c: r
e
m
ove unus
e
d variable
s
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl
_
map
.
c: remo
v
e
unus
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doolae
g
e
isl_basic_set_
g
e
t
_
hash: in
i
tia
l
ize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
isl
_
affin
e
_
hull
.
c: r
e
move un
u
sed va
r
iable
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolaege
isl
_
hash
.
c
: remove unus
e
d v
a
riable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoola
e
ge
isl_lp
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_eq
u
alit
i
es
.
c: drop redundant error handling
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
is
l
_equali
t
ie
s
.
c: remove unused vari
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
a
e
ge
isl_con
v
ex_hull
.
c
:
r
emov
e
unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_constraint
.
c: remove
u
nused
v
ar
i
ab
l
es
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_tab
.
c: s
i
g
n
_of_min:
o
nl
y
pivot bac
k
if we pe
r
f
o
rm
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_tab
.
c: is
l
_tab_
m
ark_
r
edunda
n
t:
f
ix up e
r
ror return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c: r
e
move unus
e
d variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
isl_tab_pip
.
c: remove unuse
d
variables
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erd
o
olaege
isl_vec
.
c: remove unus
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
isl_test
.
c: remo
v
e
unused va
r
iable
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
i
sl_a
s
sert: validate all argument
s
and fix up fallo
u
t
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoola
e
ge
polyhedron_sample
.
c: a
d
d mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_pip
.
c: c
h
e
ck return
value of fsca
n
f
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
polyhedron_minimize
.
c:
h
andle all en
u
meration values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
configure
.
a
c: set m
a
ximal optimization com
p
iler
fl
a
g
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
sl
_
set_copy
_
basic_set:
a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
i
sl_set_drop_basic_set: add mis
s
ing retur
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_set_c
o
a
l
esce:
a
d
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_coale
s
ce
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_test: c
h
e
c
k
s
rcdir
h
as been
s
et
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
priv
a
tely export isl_tab_kil
l
_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdool
a
ege
isl_tab
.
c: fix up
t
o_col
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rd
o
olaeg
e
i
sl_tab_p
i
p
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
sl_ve
c
.
c: add miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoo
l
aege
ex
p
ort isl_
s
eq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
fix
return ty
p
e o
f
isl_
c
onstraint
_
fre
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erd
o
olaege
e
x
port
isl_to
k
en_
f
ree
a
nd isl_st
r
e
a
m_error
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_
l
ist
.
c
:
a
d
d
mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
i
sl_d
i
v
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
isl_constrain
t
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
basis_r
e
d
u
c
t
ion
_
ta
b
.
c:
a
dd miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ve
r
doolaege
isl_map_no_pipli
b
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdo
o
laege
ax_create_stdin
t
_h
.
m
4
: prot
e
ct
s
ome limit
s
from redefinition
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
ol
a
ege
polytope_scan
.
c: add mi
s
s
i
n
g inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix return
type of isl_
d
iv_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_map_simp
l
i
fy
.
c:
d
rop ret
u
rn
f
ro
m
void function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_map_simplify
.
c: add missi
n
g include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l
_
convex
_
hull
.
c: use isl_seq_get_
h
ash ins
t
ead
of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
declare fl
e
xarrays of
size 1 to silence sun c
o
mpiler
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doolaeg
e
ch
a
nge isl_b
a
sic_map_empt
y
i
n
te
r
f
ace for
consistency
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
AX_SUB
M
ODULE: menti
o
n default
type
of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
c
o
nfigu
r
e
.
ac
:
use AX_SUBMOD
U
LE for gmp for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
separate out config header from isl_c
t
x
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven
V
e
r
doolaeg
e
pilp s
o
lver: don't ignor
e
feasibility test
o
n co
n
tex
t
commit
|
commitdiff
|
tree
2009-09-01
S
ven
Ve
r
doolaege
isl_basi
c
_
m
ap_gauss: tr
y
not
to
remove
a
ny d
i
v
definitions
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
r
doola
e
ge
add isl_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
add isl_
m
ap_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl
_
map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl
_
map_is_str
i
ct_subset
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdool
a
ege
add i
s
l_map
_
f
a
st_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
ae
g
e
add isl_m
a
p_identity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
Verdool
a
ege
r
e
n
a
m
e
i
sl_ma
p
_ident
i
t
y
_lik
e
to
isl_map_identity
_
like_basic_
m
ap
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add isl_p
o
lytope_scan applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl_seq_normalize: use pr
e
-allo
c
ated temporar
y
varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
a
d
d isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_seq_normalize: n
o
need to scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
add isl
_
polyh
e
d
r
on_minimize appli
c
ati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
ad
d
generalized basis reducti
o
n
b
ased ILP
s
olv
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl
_
ve
c
_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
export i
s
l_vec_ce
i
l
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_ba
s
ic_set_sa
m
p
le:
o
n
l
y perform b
a
sis redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
r
ename isl_solve_
l
p t
o
is
l
_basic
_
{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ve
r
dool
a
ege
isl_
s
olve_
l
p: optionall
y
return solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolae
g
e
export isl_v
e
c header
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoo
l
a
e
ge
add isl_int_
f
div
_
q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
a
d
d isl_vec_read_fro
m
_file
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verd
o
olaege
isl_basic
_
map_
d
rop_redu
n
dant
_
divs: also
i
nvestigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
isl_ba
s
ic_map_apply_{dom
a
in,range}: drop
r
edu
n
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
isl_ma
p
_simplify
.
c
: fix ty
p
o in com
m
ent
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
oolae
g
e
isl_basic_set_projec
t
_out: drop redundant divs in result
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
doolaege
isl_basic_
m
ap_r
e
mo
v
e:
o
nl
y
drop div
s
i
f
basic map
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verd
o
ola
e
ge
isl_basic_map_de
t
ect_equa
l
ities:
explic
i
t
ly keep tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
er
d
oolaege
is
l
_basic_map_ex
t
end_dim:
k
eep hold o
f
sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Verdoo
l
aege
i
sl_tab_
m
in: read off all
information from
t
abl
e
au
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
Verdoo
l
ae
g
e
isl_tab_a
d
d_valid_eq: keep track
o
f
w
hether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
c
o
nfigure
.
ac: no
l
onge
r
use pipl
i
b
by defaul
t
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add
a
n
internal parametr
i
c integer linear program solver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_
m
at_
e
xtend: make
sure t
h
e number of
r
ows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
a
ffine_h
u
l
l
.
c: only
construct affine hull
i
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
i
s
l_tab:
ad
d
support for k
e
ep
i
ng track of
s
am
p
les
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
is
l
_
t
ab: option
a
lly keep tr
a
ck of r
o
w
si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab: add
isl_basic_set field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl
_
tab: introduce
s
upp
o
rt for "big p
a
ramete
r
s
"
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
isl_tab: all
o
w introduction
of
e
x
tra variab
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaege
isl
_
tab: introduce parame
t
ers a
n
d
divs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
s
l
_tab
.
h:
fix t
y
po in c
o
mmen
t
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
isl_t
a
b: all
o
w sa
v
ing and restoring the com
p
lete basis
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_
t
ab:
privately export some func
t
ionalit
y
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
l
a
ege
isl_t
a
b: store
u
ndo ar
g
ument
i
n a union for f
u
tu
r
e
.
.
.
commit
|
commitdiff
|
tree
next