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 Verdo
o
la
e
ge
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
a
dd a rudim
e
ntary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
a
d
d some memory
management annotations
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
aege
exp
o
rt
isl_bas
i
c_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdo
o
l
aege
isl_basic
_
set_normalize_constr
a
int
s
: add m
i
ssing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map
_
si
m
plify
.
c: remov
e
unused varia
b
le
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_ma
p
.
c: remove unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
basic_set_get_ha
s
h: initialize hash
v
a
lue
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_affine_
h
ull
.
c: remove unused varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl
_
h
a
sh
.
c: remove unus
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_
l
p
.
c: add miss
i
ng
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_equa
l
ities
.
c: dro
p
redundant error handlin
g
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_equalities
.
c:
remove
u
nu
s
ed variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
is
l
_convex_hull
.
c: remove un
u
se
d
v
ariable
s
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdo
o
laege
isl_c
o
n
straint
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
i
sl_tab
.
c: sign_of_min: only pivot back if
w
e performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_tab
.
c: isl_ta
b
_mark_redundant:
fix
up error return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
eg
e
isl_tab
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_tab_
p
ip
.
c: rem
o
ve unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_vec
.
c: remove
u
nused
v
ariab
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_te
s
t
.
c: remo
v
e unu
s
ed varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
isl_assert: validate all arguments and fix up fa
l
lout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
po
l
yhedron_sam
p
le
.
c
: add miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_pip
.
c: check return valu
e
of fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Ve
r
doolaege
polyhedron_minimize
.
c
:
handle all enu
m
eration values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
d
oolaege
confi
g
ure
.
ac:
s
e
t
maximal optimization compiler
flag
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_set_c
o
py_b
a
s
i
c_s
e
t: add mi
s
sing ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
lae
g
e
isl_set_
d
rop
_
ba
s
i
c_set
:
add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_coa
l
esce: add missing
retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_
c
oalesce
.
c
:
add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_test: c
h
ec
k
srcdir has b
e
en se
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
privately export
i
sl_t
a
b_kill_co
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_ta
b
.
c: fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
olae
g
e
isl_tab_
p
ip
.
c:
add missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_vec
.
c:
a
dd missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
o
l
a
ege
export isl
_
s
eq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
ool
a
e
g
e
fix re
t
urn ty
p
e of isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export
i
sl
_
token_
f
re
e
and isl_stream_e
r
ror
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
i
s
l_list
.
c
:
add missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
a
eg
e
i
sl_div
.
c:
ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
s
l_constraint
.
c: ad
d
missin
g
i
n
cl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
bas
i
s_reduction_tab
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_m
a
p_
n
o
_pipl
i
b
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
ol
a
ege
ax_create_stdint_h
.
m4: pr
o
tect
s
om
e
limit
s
f
r
om redefinition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
po
l
ytope_scan
.
c:
a
d
d miss
i
ng incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
d
o
olaege
fix
retur
n
typ
e
of is
l
_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map_simplify
.
c: drop ret
u
rn from void functio
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
ge
isl_map_s
i
mplify
.
c
:
add mi
s
s
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
r
doolaege
is
l
_
c
onv
e
x_
h
ul
l
.
c:
u
s
e
i
s
l_seq_g
e
t_hash instead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
declare flexarray
s
of
s
i
ze 1 to silence s
u
n c
o
mpil
e
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
change
is
l
_
b
asic_map_empty interface f
o
r consis
t
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
AX_S
U
BMODULE:
m
e
ntion default
t
ype of
l
ibrary to u
s
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolaege
con
f
ig
u
re
.
ac:
use AX_SUB
M
ODULE for gmp for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
sep
a
r
ate out
config hea
d
er from
isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Ve
r
doolae
g
e
pilp
s
olver: don't i
g
nore
feasibil
i
ty test o
n
context
commit
|
commitdiff
|
tree
2009-09-01
Sven Verd
o
olae
g
e
is
l
_basic_map_ga
u
ss: try no
t
to remove a
n
y div
definitions
commit
|
commitdiff
|
tree