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_equalities.c: drop redundant error handling
2009-09-06
Sven Verdoolaege
isl_e
q
ualities
.
c: drop red
u
n
dan
t
error handling
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
isl_equa
l
ities
.
c: remove
u
nused
variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
i
sl_con
v
ex_hull
.
c: remove unused
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_constraint
.
c: r
e
move
unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_tab
.
c: sign_of_mi
n
: only pivot ba
c
k if
w
e performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
ool
a
ege
i
s
l_tab
.
c
: isl_
t
ab
_
mark_r
e
dundant: fix up error return
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoola
e
g
e
isl_ta
b
.
c: r
e
m
o
v
e unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
t
a
b_pi
p
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_vec
.
c: remove
u
nused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_test
.
c:
remove u
n
use
d
v
a
r
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_assert
:
validate a
l
l a
r
gumen
t
s and fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
polyhedron_s
a
mple
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_pip
.
c: check
r
eturn value of
f
scanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
p
o
l
yh
e
dron
_
m
i
nimize
.
c
: handl
e
all enumera
t
ion
valu
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaege
con
f
igure
.
ac: set maximal op
t
imization compiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
is
l
_set_copy_bas
i
c_set: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_
d
rop_basic_set: add
missi
n
g return
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
is
l
_set_coalesc
e
: add missing re
t
ur
n
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
i
s
l_coal
e
sce
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_test
:
che
c
k srcdir has been
set
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
privately export i
s
l_
t
ab_kill
_
col
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_tab
.
c: fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_tab
_
pip
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoo
l
aege
isl_v
e
c
.
c: add missi
n
g include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
fix
r
e
turn type of isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
export isl_token_
f
ree and isl_str
e
am_error
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doolaege
is
l
_list
.
c: a
d
d missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
is
l
_div
.
c: ad
d
m
is
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
ae
g
e
isl_constrai
n
t
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
e
rdoolae
g
e
basis_reducti
o
n_tab
.
c: a
d
d
missing
include
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdoolaeg
e
i
s
l_map_no_piplib
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
ax_cre
a
te_stdint_h
.
m4: protect some limi
t
s from r
e
definition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polytope
_
scan
.
c
:
ad
d
missing
i
nclud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
fix return type of
isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolae
g
e
isl_map_s
i
mplify
.
c: drop return f
r
om void function
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
o
laege
i
sl_map
_
simplify
.
c: add miss
i
n
g i
n
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_c
o
nvex
_
hull
.
c
: use isl_seq
_
get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
d
o
olaege
d
eclare fl
e
x
arra
y
s o
f
size 1 to sile
n
ce sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
hang
e
is
l
_basic_map_em
p
ty interface for consi
s
t
ency
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
AX
_
SUB
M
ODULE: mention
d
efau
l
t type o
f
library
to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
e
g
e
config
u
r
e
.
ac: use
A
X
_
SUBMODULE
f
o
r
gmp for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
sep
a
rat
e
out config header fro
m
isl
_
ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verd
o
olae
g
e
pilp solver: don
'
t ignore feasi
b
ilit
y
test
o
n context
commit
|
commitdiff
|
tree
2009-09-01
Sven Verd
o
o
laege
isl_ba
s
ic_map_
g
a
u
ss: try n
o
t
to remove any
d
i
v definitions
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolae
g
e
add isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
add isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
add isl_ma
p
_i
s
_s
t
rict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
do
o
laege
add isl_map_fast_is_f
i
xed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_id
e
ntity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoola
e
ge
rename isl_ma
p
_identit
y
_
like to
i
s
l_map_
i
d
e
n
t
ity_like_bas
i
c
_
m
ap
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
a
dd isl_
p
olytope_s
c
a
n
a
pplication
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_
s
eq_
n
ormalize: use pre-allocated
t
emporary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoola
e
ge
add isl_
v
ec_normalize
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl_seq_normalize:
no n
e
ed
t
o
scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add i
s
l_polyhe
d
ron
_
minimize
application
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add
generaliz
e
d
basis reduction
bas
e
d
ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec
_
mat
_
product
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
e
x
port isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
ven
Ve
r
d
oolaege
isl_
b
asic
_
set_sa
m
ple: only per
f
orm basis red
u
ction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
d
oolaeg
e
r
e
name is
l
_solve_lp to isl_basic_{ma
p
,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ve
r
doolae
g
e
is
l
_solve_lp: op
t
io
n
ally
return
s
olution p
o
int
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
expor
t
isl_
v
ec hea
d
er
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erd
o
olaege
ad
d
i
sl
_
int_f
d
i
v_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
add isl_vec_read
_
fr
o
m_file
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolaege
isl_basic_map_drop_redundant_divs: al
s
o
in
v
e
s
tigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
oo
l
a
e
ge
isl
_
basi
c
_map_apply_{domain,
r
ange}: drop
r
edundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_map_simplify
.
c: fi
x
ty
p
o in
c
omment
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdool
a
ege
i
sl_
b
asic_
s
et
_
projec
t
_out
:
drop redundant divs
in r
e
sul
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_b
a
sic_map_remove:
only drop divs if basic map di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl
_
basic_m
a
p_detec
t
_equalities: exp
l
icitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Ver
d
oolaege
isl_
b
asi
c
_
map_exte
n
d_dim: keep hold of sampl
e
if dimensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en
Verdoolaege
isl_tab_min: read off all in
f
orma
t
i
on from
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdo
o
l
a
ege
isl_tab_a
d
d_
v
al
i
d_
e
q
:
k
e
e
p
track of whether equal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
ae
g
e
confi
g
ure
.
a
c
:
no l
o
nger use piplib
by d
e
fault
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d an
i
n
ternal param
e
tr
i
c i
n
tege
r
linear
program sol
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
m
at_extend: mak
e
sure the number of
rows
never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_affine_hull
.
c: only constru
c
t affine hul
l
in bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaeg
e
isl_tab: add sup
p
ort for kee
p
ing tr
a
ck of sample
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
i
sl_tab
:
o
ption
a
lly keep track of row si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
isl_tab: add
isl_b
a
sic_
s
et field
for optionally kee
p
ing
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
is
l
_tab: in
t
roduce s
u
pport f
o
r "big
p
a
rameter
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
all
o
w
intr
o
d
u
ction of extra va
r
iables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaege
is
l
_tab: introduce parameters
and divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
doolaeg
e
isl_tab
.
h:
fix typo
i
n commen
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolaege
i
sl_tab: a
l
low saving
a
nd restorin
g
the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: privately export some fu
n
ctiona
l
ity
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
i
sl
_
t
ab: store undo a
r
gument in
a union f
o
r future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
olaege
add isl_basi
c
_set_sample_bou
n
d
e
d
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export isl_b
a
s
i
c
_
set_o
r
d
e
r
_
d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
isl_map_simplify
.
c: remove_dependent
_
vars: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
laege
i
s
l
_basic_map_com
p
u
t
e_d
i
vs: use isl_basic_
s
et_lex
m
in
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_pip_
b
asic_m
a
p_
c
ompute
_
div
s
: don't t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately export is
l
_ba
s
ic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{set,map}_add: don't add obvio
u
s
l
y empt
y
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
com
b
ine isl_pip
_
basic
_
map_lex{min,
m
ax
}
into isl_pip_ba
s
ic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
make
p
iplib headers
privat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
i
sl_mat: kee
p
track
o
f
the actual numb
e
r
of col
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
i
s
l_
t
ab_p
i
vot: fix typ
o
that preven
t
ed normalization
.
.
.
commit
|
commitdiff
|
tree
next