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
S
v
en Verdool
a
ege
add some
me
m
o
r
y manageme
n
t ann
o
t
ations
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
e
x
port
i
sl_
b
asic_set_
p
r
o
ject_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_basic_set
_
no
r
malize_cons
t
r
aints: ad
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl
_
map_s
i
mp
l
ify
.
c: remove unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
isl_map
.
c: remove
u
nused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolae
g
e
isl_basic_
s
et_get_
h
ash: initialize hash valu
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
ol
a
eg
e
isl_affine_hull
.
c: remo
v
e unused va
r
iable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_
h
ash
.
c: remove unused var
i
ab
l
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
isl_lp
.
c
:
add missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdoo
l
aege
isl_equ
a
litie
s
.
c: drop
r
edund
a
nt e
r
ror han
d
ling
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_
e
q
u
alities
.
c: remo
v
e unused variab
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
i
s
l_co
n
vex_hull
.
c
:
remove unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaege
i
s
l_constraint
.
c:
r
em
o
ve unu
s
ed vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaeg
e
i
sl_t
a
b
.
c:
s
ig
n
_of_m
i
n:
o
n
l
y pivot ba
c
k if we perf
o
rm
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_tab
.
c:
isl_tab_ma
r
k_redundant:
fix up
error ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_tab
.
c: remove u
n
u
sed
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab_
p
ip
.
c: remove u
n
us
e
d vari
a
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
ge
i
sl_vec
.
c: remove unused
v
aria
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_test
.
c: remove unused variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_
a
sser
t
: val
i
d
ate a
l
l
ar
g
u
m
ents and fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
p
o
lyhe
d
ron_
s
ample
.
c: add mi
s
sin
g
i
ncl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_pip
.
c: check return value of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
p
o
lyhedron_
m
in
i
m
i
ze
.
c: ha
n
dle all enumeratio
n
values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
config
u
re
.
ac: s
e
t maximal opt
i
mi
z
a
t
ion compiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_copy_basic_set:
add missing re
t
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
s
l_s
e
t
_drop_basic
_
s
et
:
add miss
i
ng
return
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erd
o
olaege
isl_set
_
coa
l
esce: add
miss
i
ng
re
t
u
rn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_coalesc
e
.
c
: add m
i
ssing
include
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoolae
g
e
is
l
_test: check
s
r
c
dir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
privately
e
x
port i
s
l_tab_kill
_
col
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
i
sl_tab
.
c: fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdo
o
laege
isl_tab_p
i
p
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoo
l
aege
isl_vec
.
c: add missi
n
g inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
export isl_
s
eq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoo
l
a
ege
f
ix return
t
ype of is
l
_co
n
st
r
aint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export
i
sl_token_free a
n
d isl_stream_e
r
ror
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdoolaege
is
l
_list
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_div
.
c: a
d
d mi
s
sing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_const
r
aint
.
c: add
m
issin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ver
d
o
o
la
e
g
e
basis_r
e
duction_tab
.
c: add
m
issing i
n
cl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ver
d
o
o
laege
isl_map_no_pip
l
ib
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
ae
g
e
ax_create_st
d
int_h
.
m4: protect some limits from
re
d
e
finition
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doolaege
p
o
l
y
t
ope_scan
.
c: add
m
issing i
n
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix retu
r
n type of isl_div_
f
ree
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_map_si
m
plify
.
c
: drop retu
r
n
f
rom
void funct
i
on
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_map_simplify
.
c
:
a
dd mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdoolaege
isl_convex_hull
.
c: use isl
_
seq_ge
t
_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
declar
e
flex
a
rrays
o
f size
1
to s
i
lence
s
un compi
l
e
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
change isl
_
basic_ma
p
_empty interfac
e
for cons
i
stency
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
A
X
_SU
B
M
O
D
ULE: mention
default type of library
to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
lae
g
e
configure
.
a
c
: use AX_SUBMODUL
E
f
o
r g
m
p for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
separate
o
ut
config header from i
s
l_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoo
l
aege
pi
l
p solv
e
r
:
don
'
t ignor
e
feasibility test on context
commit
|
commitdiff
|
tree
2009-09-01
Sven
Verdoolae
g
e
isl
_
basic_map_gauss:
t
r
y
not to remove any div definition
s
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add i
s
l_map
_
f
loordiv
commit
|
commitdiff
|
tree
2009-08-30
S
v
e
n
V
erd
o
olaege
add isl
_
map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoola
e
g
e
add isl_
m
ap_is_stri
c
t_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add isl_map_fast_is
_
f
ixed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add isl_map_ide
n
ti
t
y_like
commit
|
commitdiff
|
tree
2009-08-30
S
v
en V
e
rdoo
l
aege
rename is
l
_
map_ide
n
tity_lik
e
to isl_map_
i
dentity_like_basic_m
a
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
o
olaege
add i
s
l_polytope_scan
appli
c
ation
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_se
q
_normalize:
u
se
p
re-
a
l
located tempo
r
a
r
y variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verd
o
olaege
add isl_vec_n
o
rmalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
i
sl_seq
_
normalize: no need t
o
scale
d
own b
y
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
ege
add
i
sl_
p
oly
h
edr
o
n_minimize
applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doola
e
ge
a
d
d generalized basis reduction based ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
add i
s
l_vec
_
ma
t
_produc
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
export
isl_ve
c
_c
e
il
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
is
l
_basic_set_sampl
e
: o
n
ly perform
b
a
s
is
r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
rename i
s
l_solve_lp to isl_ba
s
ic_
{
map,
s
et}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_solve
_
lp
:
optionally ret
u
rn s
o
lution point
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
export i
s
l_vec heade
r
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
r
doolaege
add isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
add isl_
v
e
c_
r
ead_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaeg
e
isl_basic_ma
p
_dro
p
_redundant_divs:
a
l
s
o inv
e
stigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl
_
basic_map_apply_{domain,range}: drop
r
edunda
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
isl_map_simplify
.
c:
fix ty
p
o in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
e
ge
isl_basic
_
set_pr
o
ject_out: d
r
op r
e
dundant divs
i
n result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
l
aege
isl_basic_map_rem
o
v
e: o
n
ly dro
p
divs if ba
s
ic ma
p
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sve
n
Ve
r
doo
l
aege
i
s
l_basic_
m
ap
_
d
e
tect_equaliti
e
s: explicitly
k
eep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
l
aege
isl
_
basic_map_ex
t
end_dim: keep hol
d
o
f
sa
m
ple if
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab
_
mi
n
:
read o
f
f all information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n Verdoola
e
ge
i
sl_ta
b
_add_valid_
e
q:
keep
track of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
configure
.
ac: no longer use piplib
b
y default
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add an internal par
a
met
r
i
c
integer linear program solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
is
l
_mat_exte
n
d: make s
u
re the number of
rows nev
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
o
l
a
e
g
e
i
s
l_af
f
ine_
h
ull
.
c: only co
n
s
tru
c
t
af
f
ine hull in bou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaege
isl_tab: add support
for keep
i
ng
t
rack of samp
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab
:
optional
l
y
keep
t
rack of
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add isl_basic_set field f
o
r optionall
y
k
e
ep
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: introduce
supp
o
rt for
"big
p
arameters"
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verd
o
olaege
isl_tab:
a
l
low i
n
troduction
o
f
ext
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab: intro
d
uce parameters and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_ta
b
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_
t
ab: allow saving and re
s
toring
t
he complet
e
basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
privately e
x
port some functionality
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ver
d
oolae
g
e
isl_tab: store undo argument in a uni
o
n fo
r
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add isl_basic_set_
s
a
mple
_
bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
lae
g
e
p
rivately
export isl_basic_set
_
o
rder_div
s
commit
|
commitdiff
|
tree
next