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 some memory management annotations
2009-09-06
Sven Verdoolaege
add
so
m
e
m
emo
r
y manageme
n
t an
n
ota
t
io
n
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
e
x
port
isl_b
a
s
i
c_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aege
isl_basic
_
set_
n
ormalize
_
constr
a
ints: add missi
n
g return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_ma
p
_
simp
l
ify
.
c:
r
emove unuse
d
variable
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map
.
c:
rem
o
ve u
n
us
e
d vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aege
isl_basic
_
s
e
t_get
_
hash: initialize ha
s
h
value
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doolaege
isl_affine_h
u
ll
.
c: re
m
ove u
n
used variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
isl_has
h
.
c: re
m
ove
unused
v
ari
a
b
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_lp
.
c: add miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolaege
isl_
e
qualities
.
c: drop redundant error han
d
ling
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
laege
isl_eq
u
alities
.
c: rem
o
ve unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_convex_hull
.
c: remove un
u
sed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdool
a
ege
i
sl_constraint
.
c: remove un
u
sed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_tab
.
c: si
g
n_of_min
:
only pivot bac
k
if w
e
performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_tab
.
c: isl_tab_mar
k
_re
d
undant: fix u
p
erro
r
r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c: remove
unu
s
e
d va
r
iab
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ola
e
ge
isl_tab
_
pip
.
c: remove unus
e
d v
a
riabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdoo
l
aege
i
s
l
_
v
e
c
.
c
:
remove unused variab
l
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
is
l
_te
s
t
.
c: remove u
n
used variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdool
a
e
g
e
isl_asse
r
t: va
l
idate al
l
argu
m
ents and f
i
x up fallout
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
p
ol
y
hed
r
on
_
sample
.
c:
add mis
s
i
n
g include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
o
l
aege
i
s
l_pip
.
c:
che
c
k return value of
fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
poly
h
edron_minimize
.
c
:
handl
e
all enumeratio
n
values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
configure
.
ac:
s
et
m
aximal opti
m
i
z
a
tio
n
compiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_set_copy_basic_set: ad
d
missing r
e
tur
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_drop_basic
_
set: ad
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_s
e
t_c
o
alesce: a
d
d
m
issing
r
et
u
rn
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
isl_c
o
alesc
e
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_test: check srcd
i
r
h
a
s been se
t
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
privately export isl_tab_kill_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c: fix
u
p
to
_
col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
i
sl
_
t
a
b
_pip
.
c: add mi
s
sing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolae
g
e
isl_vec
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaeg
e
export
i
sl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
fix re
t
urn type
of i
s
l_cons
t
raint_fre
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doo
l
aeg
e
export isl_token_free an
d
isl_stream_err
o
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doo
l
aege
isl_list
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolae
g
e
isl_div
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
isl
_
con
s
t
ra
i
nt
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
basis_
r
e
d
u
ction
_
tab
.
c:
add missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_map_no_
p
iplib
.
c:
a
dd mi
s
sing in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
ax_create_s
t
dint_h
.
m
4
: prote
c
t some
limi
t
s from redefin
i
tio
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polytope_sc
a
n
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laeg
e
fix retur
n
type of isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_map_
s
i
mplif
y
.
c: drop return from void function
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
erdoolaeg
e
isl
_
m
ap_
s
im
p
lify
.
c: add mi
s
si
n
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_convex_hull
.
c
:
us
e
isl_s
e
q_
g
et
_
h
a
sh instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
decl
a
r
e flexarrays of size 1 to silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
change
i
sl_basic_map_e
m
pty inter
f
ace
f
o
r consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
AX_S
U
BMOD
U
LE: mention
def
a
u
lt type o
f
library to
u
se
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
olaeg
e
configure
.
ac
:
use
AX_SU
B
MODULE f
o
r g
m
p
f
o
r consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
s
e
para
t
e out config header fr
o
m isl_c
t
x
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven
Verd
o
ol
a
eg
e
p
ilp solver: don't
i
gnore feasibility test on context
commit
|
commitdiff
|
tree
2009-09-01
Sven V
e
r
d
oolaege
i
sl_basic_map_
g
auss: try not to remove any div definitions
commit
|
commitdiff
|
tree
2009-08-30
S
v
e
n
Verdoo
l
aege
a
dd isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaeg
e
add isl_map_fl
o
o
r
div
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add isl_ma
p
_neg
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
add isl_ma
p
_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add isl_
m
ap
_
fas
t
_
i
s_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
dd i
s
l_map_identi
t
y_like
commit
|
commitdiff
|
tree
2009-08-30
Sven
Ve
r
do
o
laeg
e
rename i
s
l_map_identity_like to isl_map_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add isl_pol
y
top
e
_scan application
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoo
l
ae
g
e
isl
_
seq
_
no
r
maliz
e
: use pre-allocated te
m
porary
v
a
r
i
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add isl_v
e
c
_normaliz
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_se
q
_norma
l
ize: no
need to
sca
l
e down by
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
a
dd isl_polyh
e
dron_minimiz
e
applic
a
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ver
d
oolaege
a
d
d generalized ba
s
is reduction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolae
g
e
add is
l
_vec_mat_prod
u
ct
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaeg
e
export isl_vec
_
c
eil
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdo
o
laege
isl_basi
c
_set_sampl
e
: on
l
y p
e
rform
b
asis
r
ed
u
cti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaeg
e
r
en
a
me
i
sl_s
o
lve_lp
to isl_bas
i
c_{
m
ap,set}_
s
o
lve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_solve
_
lp: op
t
ionally r
e
turn soluti
o
n poi
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ver
d
oolaege
export isl_vec
header
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verd
o
olaege
add isl
_
i
n
t_fdi
v
_q_ui
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verd
o
o
l
aege
add isl_vec_read_from_fil
e
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoola
e
g
e
isl_basic_map_drop_
r
edund
a
n
t_divs
:
al
s
o investiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_basic_m
a
p_apply_{domain,range
}
: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
is
l
_map_simplify
.
c: fix typo in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_basic
_
set_project_out
:
drop redundant divs in re
s
ult
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_ba
s
ic_map_rem
o
ve: only dr
o
p divs i
f
ba
s
ic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
e
n Verdoolaege
isl_basic_ma
p
_detect_e
q
u
al
i
ties:
e
xplicitly ke
e
p
track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basi
c
_map_extend_dim: keep ho
l
d of sampl
e
i
f dimensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_min: read
off all
information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_add
_
valid_
e
q: kee
p
track of whe
t
her
e
quality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdool
a
eg
e
configur
e
.
ac: no longer use piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an
i
ntern
a
l
param
e
tric intege
r
linear pro
g
ram s
o
lv
e
r
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laege
isl_mat_extend: mak
e
su
r
e
t
he number of
r
ows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_affin
e
_hull
.
c:
o
n
ly constr
u
ct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
ola
e
ge
isl_t
a
b: add support for
k
eeping tra
c
k of sam
p
le
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: op
t
i
onally kee
p
tra
c
k o
f
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
isl_
t
ab:
a
d
d
isl
_
ba
s
ic_set f
i
eld for optio
n
all
y
keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: introdu
c
e
supp
o
r
t
for "big par
a
met
e
rs
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab:
allow in
t
roduction of extra vari
a
bles
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_
t
ab:
introduce paramet
e
rs and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
sl_tab
.
h: fi
x
t
ypo i
n
comment
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
a
ege
isl_tab: allow saving a
n
d
restor
i
ng
t
he complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab
:
privat
e
ly export some fun
c
tionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: store undo argument
in a
u
nion for
f
uture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
add isl_basic_set_
s
ample_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
o
l
aege
privately export isl_
b
asic_set_order_divs
commit
|
commitdiff
|
tree
next