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 Verdoolaege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
add a
rudimentary ma
n
ual
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
ad
d
some
m
e
mory ma
n
agement an
n
otation
s
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
erdoolaege
e
x
port isl
_
basic_set_pro
j
ec
t
_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
ol
a
e
g
e
isl_
b
asi
c
_se
t
_normalize_constraints: add m
i
ssing return
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ver
d
oolaeg
e
is
l
_
map_
s
i
m
plif
y
.
c: remove un
u
sed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
isl_m
a
p
.
c: r
e
move unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
aege
isl_bas
i
c_
s
et_
g
et_
h
ash: in
i
tiali
z
e
has
h
value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_affine_hu
l
l
.
c:
remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_hash
.
c:
r
emove unused
var
i
abl
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
isl_lp
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_e
q
ualities
.
c:
d
rop
r
edundant
error handl
i
ng
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_equalit
i
es
.
c
:
r
e
m
o
ve unused vari
a
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
ge
i
sl_c
o
nv
e
x_hull
.
c: remov
e
un
u
sed varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_constra
i
nt
.
c: remove unu
s
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
i
sl
_
tab
.
c:
s
i
gn_of_mi
n
: only pivot back if
w
e
performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
do
o
l
a
ege
i
s
l_tab
.
c: i
s
l_t
a
b_mark_redu
n
dant: fix
u
p erro
r
return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl
_
t
ab
.
c: remove
u
nused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verd
o
ola
e
ge
isl_tab
_
pip
.
c:
r
emove
u
nused
v
ari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
olaege
is
l
_
vec
.
c
:
remove u
n
used
va
r
iabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_test
.
c: remo
v
e unuse
d
variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaeg
e
isl_a
s
s
e
rt: validate
all arguments and fix up fa
l
lout
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ve
r
doolaege
polyhedro
n
_
sample
.
c:
a
dd m
i
ssing
in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolae
g
e
isl_pip
.
c: check re
t
urn v
a
lu
e
of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
poly
h
edr
o
n_mi
n
imize
.
c: h
a
n
d
le a
l
l en
u
meration val
u
es
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
configu
r
e
.
ac: s
e
t maximal optimiza
t
ion compil
e
r flags
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_set_copy_ba
s
ic_set: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoola
e
ge
is
l
_s
e
t_
d
rop_basic_set: a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
isl_
s
e
t
_coale
s
ce: ad
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_coalesce
.
c:
add mi
s
s
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
s
l_te
s
t:
c
heck srcdi
r
h
as been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
p
rivately export isl_tab_kill
_
c
o
l
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
e
r
doolaege
i
sl_tab
.
c: fi
x
up to_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_tab
_
pip
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_vec
.
c
:
a
d
d
mi
s
sing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
export is
l
_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
fix r
e
turn type of
isl_con
s
traint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ex
p
o
r
t
isl_token_fr
e
e
a
nd isl_st
r
eam_e
r
ror
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_list
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
isl_d
i
v
.
c
: add mis
s
ing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_constrain
t
.
c
:
add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ve
r
doolaege
basis_
r
eduction_tab
.
c: add missing
i
nclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolaege
isl_map_n
o
_piplib
.
c: add mi
s
sin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolae
g
e
a
x
_create_stdint_h
.
m4: protect
some limit
s
from redefiniti
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
poly
t
ope
_
scan
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
olaege
fix return
t
ype of i
s
l_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_map_sim
p
lify
.
c
: dro
p
r
e
turn
f
rom vo
i
d f
u
nction
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
is
l
_map_sim
p
lify
.
c:
add mi
s
sing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_convex_
h
ull
.
c: use isl_seq_g
e
t
_hash i
n
stead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
decla
r
e flexarrays
of size 1 to silence su
n
compiler
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
rdoo
l
aege
change isl
_
basic_m
a
p_empty inte
r
f
a
ce for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
doolaege
AX_S
U
BMODULE: mention
d
e
fault type of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
con
f
igure
.
ac:
u
se AX_SUBMOD
U
LE
for g
m
p for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
separate out config header fr
o
m
isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sve
n
V
e
rdoolaege
pilp
s
olv
e
r: don'
t
ignore
f
e
a
sibilit
y
test on context
commit
|
commitdiff
|
tree
2009-09-01
S
v
en Verdo
o
la
e
ge
isl_basic_map
_
gau
s
s
: try not to remove an
y
d
i
v defi
n
i
t
ions
commit
|
commitdiff
|
tree