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_map.c: remove unused variables
2009-09-06
S
v
en Verdoolaege
i
s
l_map
.
c
:
r
emove unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
rd
o
o
l
ae
g
e
isl_bas
i
c_set_
g
e
t_hash: initialize hash va
l
ue
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoo
l
aege
isl_affine
_
hul
l
.
c: remove unus
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_hash
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
i
s
l_lp
.
c
:
add mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl
_
equalit
i
es
.
c
:
d
rop red
u
ndan
t
error ha
n
dling
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_equ
a
l
ities
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_co
n
vex_hull
.
c: remove
unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdo
o
l
aege
isl_constrain
t
.
c: remove unu
s
ed v
a
ria
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdo
o
laege
isl_tab
.
c
: sign_of_min:
only p
i
vot back
if w
e
perform
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_ta
b
.
c: isl_tab_mar
k
_re
d
undant: fix
up error
r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
sl_
t
a
b
.
c: rem
o
ve unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdo
o
laege
isl_
t
ab_pip
.
c: re
m
ove
u
nused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_vec
.
c: r
e
move u
n
u
s
e
d
varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_
t
e
s
t
.
c: remove u
n
u
s
ed vari
a
b
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_assert:
v
alid
a
te all
a
rguments and
f
i
x up
fallout
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
polyhe
d
r
o
n_samp
l
e
.
c: add
missing
i
nc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_pip
.
c
:
che
c
k ret
u
rn v
a
lue of fsc
a
n
f
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_m
i
nimize
.
c: ha
n
dle all enumera
t
ion va
l
ue
s
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
ol
a
ege
c
o
n
fig
u
re
.
ac: set maximal optim
i
zat
i
o
n
compi
l
er flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_set_copy_basic
_
set: add missing re
t
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_se
t
_drop_basic_set: a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_coalesce: ad
d
missing re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdool
a
e
g
e
isl_coalesce
.
c: add mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolae
g
e
isl_test: c
h
e
ck src
d
ir has b
e
e
n set
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
pri
v
ately ex
p
ort isl_tab_kill_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
i
s
l_tab
.
c:
fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdo
o
laege
isl_t
a
b_pip
.
c: add mis
s
ing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
laege
i
s
l
_
vec
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
exp
o
rt isl_
s
eq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
fix return ty
p
e of isl_
c
onstraint_fre
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
export
isl_toke
n
_free and isl_stream_error
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
l
aege
i
s
l_list
.
c
: add missing i
n
c
lu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
l
a
eg
e
isl_div
.
c
:
add missing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_constraint
.
c: add miss
i
n
g
incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
b
asi
s
_r
e
d
u
ctio
n
_tab
.
c: add mis
s
ing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map_no_piplib
.
c
:
add
m
issing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
a
x
_c
r
eate_stdint_h
.
m4: protec
t
some limits from rede
f
in
i
tio
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
erdo
o
lae
g
e
polytope_scan
.
c
: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix return type of isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_ma
p
_simplify
.
c: drop return from voi
d
fu
n
c
tion
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_ma
p
_simplify
.
c: a
d
d mis
s
ing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
i
sl_convex_hull
.
c: use isl_seq_get_h
a
sh in
s
tead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
g
e
decl
a
re flexarrays of size 1
to
silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
cha
n
ge
isl_basic_map
_
empty int
e
rface for con
s
is
t
ency
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Ve
r
doola
e
g
e
AX_SUBMODULE: mention d
e
fault type o
f
library to use
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaege
confi
g
u
r
e
.
ac: use AX_SUBMODULE f
o
r
g
mp for
con
s
istency
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdool
a
e
g
e
separa
t
e ou
t
co
n
fig header
f
rom isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pilp solver:
don'
t
ignor
e
fea
s
ibil
i
ty test on contex
t
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
is
l
_ba
s
ic_map_gauss
:
t
r
y not
to remov
e
any div definitions
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
a
d
d
isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
Verdoolaege
add isl_m
a
p_floord
i
v
commit
|
commitdiff
|
tree
2009-08-30
Sven
Ve
r
doolaege
add is
l
_m
a
p_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
r
doolaege
add i
s
l_map_is_stri
c
t_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add
isl
_
m
a
p_fast
_
is_fixe
d
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
aege
add isl_
m
ap_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verd
o
olaege
rename isl_map_identity_like to is
l
_
map_identity_like_ba
s
ic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erd
o
o
laege
a
d
d isl_polytope_sc
a
n application
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
e
rdoo
l
aege
i
sl_seq_normalize: use
p
re-allocated tempo
r
ary vari
a
ble
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
ad
d
isl_vec_normali
z
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
ool
a
ege
i
s
l_seq_normalize: n
o
nee
d
to scale
d
own
b
y one
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add isl_polyhedron_m
i
ni
m
ize applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
add genera
l
ized basis red
u
ct
i
on based ILP sol
v
er
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ve
r
doolaege
add isl_vec_mat
_
product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
expo
r
t isl_v
e
c
_
c
eil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
isl_basi
c
_set_sa
m
p
le: only
perform basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
r
e
na
m
e isl_so
l
ve_lp to is
l
_basic_{
m
ap,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdool
a
eg
e
isl_solve
_
l
p
: o
p
tionally return s
o
lu
t
ion point
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
export isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
laege
add isl_int_fdiv_
q
_ui
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verd
o
olaege
add isl_vec_read_from_fi
l
e
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdool
a
ege
isl_basic_map
_
drop
_
redundant
_
divs: also investiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
e
rdo
o
laege
isl_basic_map_appl
y
_{
d
omain,range}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_m
a
p_simpl
i
f
y
.
c:
fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n V
e
rdo
o
laege
isl
_
basi
c
_s
e
t
_
p
r
o
j
ect_out:
d
r
o
p red
u
n
d
ant
d
ivs i
n
res
u
lt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
l
aege
isl_b
a
sic
_
map_remove: only drop divs
if basic m
a
p
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
erdoola
e
ge
isl_bas
i
c_map_detect_equalities:
explicitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdoo
l
aege
is
l
_basic_map
_
extend_di
m
: keep hold
o
f s
a
m
p
l
e if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdo
o
la
e
ge
i
s
l_tab_min:
read of
f
all
i
nforma
t
ion
f
rom tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n V
e
rdoolaege
is
l
_
tab_add_vali
d
_
e
q:
keep
track of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
con
f
igure
.
ac: no longer use piplib by defau
l
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
a
d
d
an inte
r
n
al parametric integer
linear p
r
ogram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
isl
_
mat_ex
t
end: make
s
ure the n
u
mber of
r
ows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_affine_hull
.
c: only constr
u
ct affine
hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab
:
add sup
p
ort for keeping
t
r
ack of sampl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: optional
l
y keep track of row sign
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
i
s
l_tab: add isl_basic_set field fo
r
o
pti
o
nally keep
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab: introduce suppo
r
t for "bi
g
paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
s
l_tab: allow int
r
oduction o
f
extra variab
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
g
e
isl_tab: introd
u
ce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
isl
_
tab
.
h: fix typo in c
o
mment
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
isl_tab: allow saving
a
nd r
e
storing th
e
compl
e
te bas
i
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab: privately e
x
port
s
o
m
e functio
n
ali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
i
s
l_tab: sto
r
e und
o
argum
e
n
t
in a
u
nion
for
f
uture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_sampl
e
_
bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
private
l
y expo
r
t isl_basic
_
set_or
d
er_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simplify
.
c:
remove_depen
d
ent_vars:
o
nl
y
re
m
o
ve
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_bas
i
c_map_compute_d
i
vs: use
isl_basi
c
_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
do
o
laege
isl
_
p
i
p
_
bas
i
c_map
_
compute_
d
iv
s
: don't
turn divs in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
privately
export isl_basi
c
_map_swap_div
commit
|
commitdiff
|
tree
next