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
erdoolaege
is
l
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ver
d
oolaege
a
dd a rud
i
ment
a
ry manual
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
ol
a
ege
add some mem
o
ry
m
anagement
a
nnotati
o
ns
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
ge
export isl_ba
s
ic_set_proj
e
ct_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_basi
c
_set_
n
o
rmalize_con
s
train
t
s
:
add miss
i
ng retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_map_
s
impl
i
fy
.
c
:
remove
unused
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
is
l
_map
.
c: r
e
move
u
nused v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_
b
as
i
c_set_get_hash:
initialize hash value
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ve
r
doolaege
isl_aff
i
ne_h
u
ll
.
c: remove
u
n
used variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
isl
_
hash
.
c: remove unused
va
r
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_
l
p
.
c:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_
e
qualities
.
c: drop
r
edundant er
r
or handlin
g
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_equalitie
s
.
c: re
m
ove un
u
sed
v
ariable
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
erdoolaege
i
sl_
c
onvex_hu
l
l
.
c: remov
e
unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
isl_constraint
.
c: remove unu
s
ed variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
i
s
l_tab
.
c:
sign_of_min: only piv
o
t back if we perfor
m
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
laeg
e
isl_ta
b
.
c: isl_tab_mark_redund
a
nt: fix up
e
rror return
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l_tab
.
c
:
r
e
move
u
nused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_tab
_
pip
.
c
:
remove unused variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoola
e
g
e
isl
_
vec
.
c: r
e
move u
n
used v
a
ria
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_test
.
c: remove
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verd
o
olaege
isl_assert: va
l
idate all a
r
guments
and f
i
x up fallou
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
p
o
l
yhedron_samp
l
e
.
c: add mi
s
sing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoolaege
isl_pi
p
.
c:
c
heck return value of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
ae
g
e
po
l
yhedron_m
i
n
i
mize
.
c
:
handle all
enumeration values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
co
n
figu
r
e
.
ac: s
e
t m
a
ximal optimization c
o
mpil
e
r f
l
ags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_se
t
_copy_b
a
sic_set: add missing ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Ve
r
doolaege
isl_set_d
r
op_ba
s
ic_set: add miss
i
ng
r
eturn
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
i
s
l
_
s
et_coalesce: add mis
s
in
g
retur
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_coalesce
.
c
: add m
i
ssing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_test:
c
heck srcdir
h
as been
s
et
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
rdoolaege
privately exp
o
rt is
l
_
tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_tab
.
c: fix u
p
to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_
t
ab_p
i
p
.
c: ad
d
missi
n
g in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aeg
e
isl_vec
.
c: add
m
i
ssing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
export isl_s
e
q_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
fix return type o
f
isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rd
o
ol
a
eg
e
export isl_token_free and
i
s
l
_stream_error
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoo
l
aeg
e
is
l
_list
.
c:
a
d
d
missing
inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_di
v
.
c
: add
m
issing
i
nclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
isl_constraint
.
c
: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
basis_reduc
t
ion_tab
.
c: ad
d
missi
n
g i
n
clud
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
isl
_
m
ap_no_piplib
.
c: add m
i
ss
i
ng
i
nc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
ax_create_stdint_h
.
m4:
p
r
o
tect some limi
t
s from redefinition
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
p
olytope_scan
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
erdoolaege
fix r
e
turn type
o
f isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verd
o
ol
a
ege
i
s
l_map_simp
l
i
f
y
.
c: drop retu
r
n from v
o
id
f
unct
i
on
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_map
_
simplify
.
c
: add
m
issin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_convex
_
hull
.
c: use isl_seq_get
_
ha
s
h instea
d
of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
declare fle
x
a
r
rays of siz
e
1
t
o
silence su
n
co
m
piler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
la
e
g
e
change isl_basic_map_empty interface
f
or consistenc
y
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdoolaege
AX_SU
B
MODULE: mention
d
efault type
o
f
l
i
b
rary
t
o use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
configure
.
ac: use AX_SUBMODULE for gmp fo
r
c
o
nsistency
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
separate o
u
t config header from isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Ver
d
oola
e
ge
p
i
lp solver: do
n
't ign
o
r
e
f
easibility test on context
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
isl_b
a
sic_map_g
a
uss: try not to
r
emo
v
e
any
div d
e
fini
t
ions
commit
|
commitdiff
|
tree