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
Sv
e
n
V
erd
o
ol
a
eg
e
isl 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaeg
e
add a rudimentary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add some memory m
a
nagem
e
n
t annot
a
tions
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
e
x
port isl_ba
s
ic_set
_
project_out
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdoo
l
aege
isl_ba
s
ic_set_normal
i
ze_constraints: ad
d
mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
isl
_
map_simpl
i
fy
.
c: remove
unuse
d
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
ge
isl
_
map
.
c:
remove unused
v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
is
l
_basic_set_get_has
h
: initi
a
lize h
a
s
h
value
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ve
r
doola
e
ge
isl_affine_hull
.
c: remove
u
nused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolae
g
e
isl_hash
.
c: remove un
u
sed v
a
riable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
lp
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl
_
equaliti
e
s
.
c: dro
p
redu
n
dant error handli
n
g
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
er
d
oolaege
isl_equa
l
iti
e
s
.
c: r
e
move
u
n
u
sed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
a
ege
isl_
c
onvex_hull
.
c: r
e
move u
n
used variables
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoola
e
ge
is
l
_const
r
aint
.
c: remove unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
l
a
ege
isl_
t
ab
.
c
:
sign_of_min:
only pi
v
ot back if we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_tab
.
c: isl_tab_mark_re
d
undant: fix up error retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
i
sl_tab
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab_
p
ip
.
c: remove
u
nused v
a
riabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
i
s
l_vec
.
c: remove unused v
a
riab
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
eg
e
is
l
_
t
est
.
c: remove unused va
r
iab
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_as
s
ert: validate
all arguments and fi
x
u
p
fa
l
lout
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
polyh
e
dron_sampl
e
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_pip
.
c:
ch
e
c
k
ret
u
r
n
val
u
e
o
f
fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
olaege
polyhedron_
m
ini
m
ize
.
c
:
hand
l
e all enumer
a
tion v
a
l
u
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
configure
.
ac: se
t
maxi
m
al opt
i
m
ization c
o
mp
i
ler fla
g
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_set_cop
y
_basic_se
t
: a
d
d
m
issing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
isl_set_drop_basic_set:
a
d
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
s
l_set_coalesce: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_coalesce
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_test: c
h
eck srcdir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
private
l
y e
x
port is
l
_t
a
b_kill_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_tab
.
c: f
i
x up to_col
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoo
l
aege
is
l
_
tab_pi
p
.
c: add missing in
c
lu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_vec
.
c: add m
i
ssing
i
nc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
o
olaeg
e
exp
o
r
t isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix
ret
u
rn type
o
f isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ol
a
ege
e
x
port
isl_to
k
e
n
_free and is
l
_
s
t
rea
m
_erro
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_li
s
t
.
c: a
d
d
mis
s
ing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
i
sl_div
.
c: add
m
i
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_constraint
.
c: add m
i
s
s
ing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
ege
bas
i
s_reductio
n
_
t
ab
.
c
: add mi
s
sin
g
inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
is
l
_
map_no_piplib
.
c: a
d
d
miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
ax_create_stdint_h
.
m4:
prote
c
t
s
ome l
i
mits from redefiniti
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
pol
y
tope_scan
.
c
:
a
dd miss
i
n
g include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdool
a
ege
f
i
x r
e
turn type
o
f is
l
_div_free
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
rdoolaege
isl_map_simplify
.
c: drop r
e
turn from void functio
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_map_s
i
mplify
.
c
: add missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Ver
d
oo
l
a
ege
i
s
l_convex_
h
ull
.
c:
use isl_
s
e
q
_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
declare flexa
r
rays
o
f size 1 to silence sun c
o
m
p
iler
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
change isl_
b
a
sic_map_empty interface for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
A
X
_SUBMODULE
:
mention
d
e
f
ault
t
ype of
l
ibr
a
r
y
t
o use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
o
nfi
g
u
re
.
ac: u
s
e AX_SUBMODULE f
o
r gmp for
c
onsiste
n
c
y
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
separate o
u
t con
f
i
g header from isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
S
v
e
n
Ver
d
o
o
laege
pilp
solver: don't igno
r
e fe
a
sibility test
o
n context
commit
|
commitdiff
|
tree
2009-09-01
Sven
V
erdo
o
laege
is
l
_bas
i
c_
m
ap_gauss
:
try not to remove any div definition
s
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
add isl_m
a
p_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
o
o
laege
add
i
s
l_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add is
l
_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
add is
l
_m
a
p_is_stri
c
t
_
subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
d
d
isl_map_fast_
i
s_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaege
a
d
d is
l
_
m
ap_
i
de
n
tity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
rename
i
sl_map_ide
n
tity_like to isl_map_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
doolaege
a
d
d
isl_polyt
o
pe_scan application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_normalize: u
s
e pre-alloca
t
ed
t
emporary var
i
able
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ver
d
oo
l
a
e
ge
add
i
s
l_
v
ec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
isl_se
q
_norm
a
l
ize: no need to
s
c
a
l
e do
w
n by one
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Verdool
a
ege
add isl
_
polyhedron_minimize a
p
pli
c
ation
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add genera
l
ized basis reduction based ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
add isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
ex
p
ort i
s
l
_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
isl_basic_set
_
s
a
mple: only
p
er
f
o
r
m bas
i
s reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdo
o
l
aege
rename isl
_
solve_
l
p
t
o isl_basic_{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
s
olve_lp:
o
ptionall
y
return so
l
ution point
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
expor
t
i
s
l_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ver
d
oolaege
add isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
doolaege
add isl_vec_read_f
r
om_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_b
a
sic_m
a
p_drop_redun
d
ant
_
divs: also invest
i
g
ate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl
_
basic_map
_
a
ppl
y
_{do
m
ain,ran
g
e}:
d
rop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_
s
imp
l
if
y
.
c: fix typo
in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_basic_s
e
t_project_out: d
r
op
r
e
d
undant divs in resu
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_ba
s
ic_m
a
p_re
m
ove: o
n
l
y
d
r
op divs if basic
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
i
sl_basi
c
_
map_de
t
e
c
t
_equalities:
explicitl
y
keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basi
c
_
m
a
p
_extend_dim: keep hold of sample if
dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Verdoolaege
isl_t
a
b_min: read off all
i
nformati
o
n fro
m
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoola
e
ge
isl_tab_add_valid_eq
:
keep trac
k
of
whe
t
her equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
configure
.
ac: no longer use p
i
p
l
ib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaeg
e
add an
i
n
tern
a
l
parametric integer
l
in
e
a
r
progr
a
m solver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
is
l
_mat_extend: make su
r
e the
n
u
m
ber of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
isl_aff
i
n
e
_
hul
l
.
c: only const
r
uc
t
a
ffine hull in bou
n
ded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_ta
b
: add suppo
r
t for keeping tra
c
k of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab: op
t
ionally keep track of
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
aege
isl_tab
:
add isl_bas
i
c_set
fiel
d
for optionally keepin
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_tab
:
i
nt
r
oduce
s
up
p
o
r
t for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdo
o
laege
is
l
_
tab: all
o
w introd
u
c
t
ion of
ext
r
a
varia
b
les
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaege
isl_tab
:
introduce
pa
r
amete
r
s
a
nd divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
t
ab
.
h:
fix t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdool
a
eg
e
i
sl_tab: all
o
w sav
i
ng and restoring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: p
r
i
v
ately export some functionality
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
o
l
a
ege
i
sl_ta
b
: st
o
re undo
argument in a unio
n
for future
.
.
.
commit
|
commitdiff
|
tree
next