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
Sven
V
erdoo
l
aege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaeg
e
add
a
rudimenta
r
y man
u
al
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdool
a
e
g
e
add so
m
e memory
ma
n
a
g
emen
t
annotations
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
export
i
sl
_
basic_set_
p
roject_out
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
g
e
isl_ba
s
ic_set_normal
i
ze_constra
i
nts: add miss
i
ng ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l_map
_
simplify
.
c: remove unus
e
d var
i
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_map
.
c: remo
v
e unused var
i
ables
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdo
o
laege
isl_b
a
si
c
_set_get_hash: i
n
itia
l
ize
h
ash
v
alue
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_affin
e
_
h
ull
.
c
: rem
o
ve u
n
used
variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
i
sl_hash
.
c: rem
o
ve unused variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_lp
.
c: a
d
d missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
doolaege
isl
_
equalities
.
c:
d
rop redundan
t
error
ha
n
dling
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
o
olaeg
e
isl
_
e
qualities
.
c: remo
v
e unu
s
e
d v
a
riable
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdool
a
e
g
e
isl_convex_hull
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_constra
i
nt
.
c: remo
v
e unused v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_t
a
b
.
c
: sig
n
_of_min: only
p
ivot ba
c
k i
f
we
p
e
r
forme
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doola
e
ge
isl_tab
.
c: isl_
t
ab_mark_redundant: fix up error retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
l
a
e
g
e
isl_t
a
b
.
c
: remove unused v
a
riab
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_tab_pip
.
c: r
e
m
o
ve unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoola
e
ge
isl_vec
.
c
:
remove unused var
i
abl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_test
.
c
: remove un
u
sed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_assert: validate all
arguments and
fix up
f
allout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhed
r
on_samp
l
e
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
i
s
l_pip
.
c: chec
k
return value of fscan
f
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
polyhedro
n
_mi
n
imize
.
c: handle a
l
l enum
e
ration values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
configure
.
ac
:
se
t
maxi
m
al optimizatio
n
compi
l
e
r f
l
ags
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_set_copy_basic_set: a
d
d missing re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
isl_set
_
drop_basic_set: add m
i
ssing
r
eturn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_set_coalesce
:
ad
d
m
issing retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
o
laege
isl_coa
l
esce
.
c:
add m
i
ssi
n
g i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
e
r
doolae
g
e
isl_test:
c
hec
k
srcdir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
ege
private
l
y export i
s
l
_
tab_kill_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_ta
b
.
c
:
f
ix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolaege
i
s
l
_tab_p
i
p
.
c: add mi
s
si
n
g inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoola
e
ge
isl
_
vec
.
c
:
add missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoo
l
aege
ex
p
o
rt i
s
l_se
q
_
cmp
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
fix
r
e
turn type o
f
is
l
_
cons
t
raint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
aege
e
x
p
o
rt isl_tok
e
n_free
and isl_
s
tream_error
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolae
g
e
isl_l
i
st
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdo
o
laege
isl_di
v
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdo
o
laege
isl_constr
a
int
.
c: ad
d
missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
basis_reduction_tab
.
c
:
add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
do
o
laege
isl_map_no_
p
ipli
b
.
c
: add missin
g
includ
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
ax_create_stdint
_
h
.
m4: protect
some li
m
its from re
d
efini
t
i
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rd
o
olaege
polytope
_
scan
.
c: add
missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
f
i
x
r
e
t
urn type of isl
_
div_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoo
l
a
e
ge
isl_map_sim
p
lify
.
c: drop retur
n
fr
o
m void funct
i
on
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolaege
isl_map_simplify
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
conve
x
_hull
.
c
:
use i
s
l
_
seq
_
get_hash
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
ol
a
ege
declare flexarrays of
s
i
ze 1 to silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
c
hange isl
_
basic_m
a
p_empty interfa
c
e
f
or cons
i
st
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
A
X_SUBMODULE: me
n
t
ion defaul
t
type of l
i
brary to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
o
nf
i
g
ure
.
ac
:
use AX_SU
B
M
O
DULE
for gmp for consist
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
se
p
arate o
u
t config header
from is
l
_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
S
v
en Verdoolaege
pil
p
solver: don't ignor
e
feasibi
l
ity test
o
n
context
commit
|
commitdiff
|
tree
2009-09-01
S
ve
n
Verdoolaege
isl_basi
c
_map_gauss: try not to remove any
di
v
definitions
commit
|
commitdiff
|
tree