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_constraint.c: remove unused variables
2009-09-06
Sven
Verdoolaege
isl_constra
i
n
t
.
c: remove unus
e
d vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_tab
.
c
: sign_of_min: only piv
o
t
b
ack
if
we pe
r
formed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdo
o
laege
isl_tab
.
c: isl_tab
_
m
ark_redu
n
d
a
nt: fix up
e
r
r
o
r return
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
isl_ta
b
.
c
:
remove unused
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Ve
r
doolaege
i
s
l
_
tab_pip
.
c: remove unu
s
ed v
a
ri
a
bles
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl
_
vec
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoo
l
aege
i
s
l
_
test
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ver
d
ool
a
ege
isl_assert
:
validat
e
all
arguments and fix
u
p
fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
p
o
l
yhedro
n
_sample
.
c: add
m
issing in
c
l
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
isl_pip
.
c: check return val
u
e of fs
c
anf
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
polyhedron_minimiz
e
.
c: h
a
ndle
all en
u
mer
a
t
i
on
v
alues
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
con
f
igure
.
a
c: se
t
maximal
optimiz
a
tion co
m
piler flags
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_se
t
_
copy_basic_set: add miss
i
ng retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
is
l
_set_drop_b
a
si
c
_set
:
add missing
return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_set_coa
l
e
sce: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
i
s
l_
c
oalesce
.
c
: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_test
:
c
heck srcdir has been
set
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
pr
i
vately export isl
_
tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_
t
ab
.
c: fix up
t
o_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
is
l
_
ta
b
_pip
.
c: add m
i
ssing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doola
e
ge
isl_vec
.
c
: add mi
s
sin
g
i
nc
l
ud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
expo
r
t
i
s
l
_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoola
e
ge
fix re
t
urn type of isl_c
o
nstra
i
nt_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
e
x
port isl_token_
f
r
ee an
d
isl_stream_
e
rror
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_list
.
c: add
m
issing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_di
v
.
c: ad
d
m
i
ssing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_constraint
.
c: add
m
i
s
s
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
d
o
o
l
aege
bas
i
s
_reduction_
t
ab
.
c: add miss
i
ng includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
i
sl_map_
n
o_pi
p
l
ib
.
c: add mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ax_create_std
i
nt_h
.
m4:
p
rotect
some
limits from redefiniti
o
n
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
d
oolaege
p
oly
t
o
p
e_
s
can
.
c
: add missi
n
g
i
n
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix
return t
y
pe of isl
_
div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aege
isl_map_simp
l
ify
.
c: dr
o
p
r
e
turn from voi
d
function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_map_simp
l
ify
.
c
: add
missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
i
s
l
_
con
v
ex_hull
.
c: use isl_seq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
declare flexarr
a
ys of size 1
t
o silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
h
a
nge
isl_basic_map_empt
y
interfac
e
for cons
i
stency
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
AX_S
U
B
MODULE
:
mention def
a
ult type of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
co
n
figure
.
a
c:
use AX_SU
B
MOD
U
LE
for gmp for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
separate o
u
t co
n
fig heade
r
from
i
s
l_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven
Ver
d
oolaege
pilp solver: don't i
g
no
r
e feasibility test on cont
e
xt
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
isl_basi
c
_map_gauss: try not to r
e
move
a
ny div definitions
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add
isl_map_
s
u
m
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoola
e
ge
a
d
d
isl_m
a
p_f
l
oordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
add i
s
l_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolae
g
e
add
i
s
l
_
map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
S
v
en V
e
rdoo
l
aege
add isl_map_fast_is_f
i
xed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add
i
sl_ma
p
_identity
_
l
i
k
e
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
Verdool
a
e
g
e
rename i
s
l
_
map_ident
i
ty_like t
o
isl_map_identity_like_
b
as
i
c_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
lae
g
e
a
d
d isl_po
l
ytop
e
_
s
can
a
p
pli
c
ation
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaeg
e
isl_seq
_
normaliz
e
: us
e
pre-allocated
t
emporar
y
varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl
_
v
e
c
_
n
ormal
i
z
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_se
q
_
n
o
rmalize: no need to scale
down
b
y one
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdool
a
ege
a
d
d
is
l
_
p
o
l
yhedro
n
_m
i
nimi
z
e
applicatio
n
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoola
e
g
e
add
g
en
e
r
a
l
i
zed ba
s
is reduction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n V
e
rdoolae
g
e
a
dd
isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ver
d
oolaege
ex
p
ort
isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
i
s
l_basic_set_sample: only
p
erform basis
r
e
d
uc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verd
o
olaege
ren
a
me isl
_
sol
v
e_
l
p t
o
i
sl_basic_{map,s
e
t}_so
l
ve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoo
l
aege
isl_solv
e
_
lp: opti
o
nally re
t
urn sol
u
tion
point
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoolaege
expor
t
i
sl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoo
l
ae
g
e
add isl_int_fdi
v
_q_u
i
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
Ver
d
ool
a
ege
add
i
sl_ve
c
_read
_
fr
o
m_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
l
aege
isl_basic
_
map_drop_redundant_
d
i
vs
:
a
l
so investigat
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
i
sl_b
a
sic_map_ap
p
ly_{
d
om
a
in,range}: d
r
op r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl_map_si
m
p
l
i
fy
.
c: f
i
x typo
i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verd
o
olaeg
e
isl_basic_se
t
_projec
t
_out: drop
r
edundant divs in
r
esult
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_basic_map_remove: onl
y
d
rop
d
iv
s
if
b
asic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoo
l
aeg
e
isl_
b
a
sic_m
a
p_dete
c
t_equalitie
s
: explicitly k
e
ep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en Verdoolaege
isl_bas
i
c
_
map_
e
xtend_dim
:
keep hold of sa
m
ple if
d
i
m
e
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl
_
tab_min
:
read off all inform
a
tio
n
f
r
om tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoo
l
aege
i
sl_tab_ad
d
_val
i
d_eq: keep track of wh
e
ther equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
l
aege
c
onfigur
e
.
ac: no longer us
e
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
add an internal param
e
tric in
t
eger linear program solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_m
a
t_extend: make sure
the number o
f
r
ows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaeg
e
isl_affine_hull
.
c:
on
l
y construct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
aege
isl
_
tab: add suppo
r
t
f
o
r ke
e
pi
n
g track o
f
s
a
m
p
le
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
isl_ta
b
:
o
p
t
ionally
keep
t
rac
k
o
f
row
s
i
g
n
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
i
sl_tab: add is
l
_basi
c
_set field
f
or optionally ke
e
ping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: i
n
tr
o
d
uce su
p
p
o
rt for "b
i
g p
a
rameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
laege
is
l
_tab
:
a
l
low
i
ntr
o
duction of extra
v
a
riable
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab
:
introduce para
m
eters
a
nd div
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laeg
e
i
sl_tab
.
h
: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl
_
tab: allow saving and restoring
t
he
comple
t
e basis
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: privately
ex
p
ort some funct
i
onality
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab: store undo argument in a
unio
n
for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add isl_
b
asic_set_sampl
e
_bound
e
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export isl_basic_set
_
or
d
e
r
_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_m
a
p_simplify
.
c: remove_depende
n
t_va
r
s:
only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
isl_basic_map_compute_divs: use isl_
b
asi
c
_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
i
s
l_pip_b
a
sic_
m
ap_compute_
d
ivs: don't tu
r
n divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export isl_basic_map_swap_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
isl_{set
,
map}_add: don't
add
obviou
s
ly
e
m
p
ty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
combine isl_pip_
b
asic
_
map_le
x
{min,max} in
t
o isl_
p
ip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
a
ege
make p
i
plib headers pri
v
at
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
o
laege
is
l
_mat: keep track of the actual
n
umber of column
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix typo that prevented normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doolaege
a
dd isl_ba
s
ic
_
set_po
s
i
t
ive_orth
a
n
t
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
do
o
l
a
ege
ad
d
isl_basic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
r
en
a
m
e isl_basic_map_lex{min,max} to isl_basic_ma
p
_partial_
l
.
.
.
commit
|
commitdiff
|
tree
next