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
Sven Verdool
a
ege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
d
oolaege
a
dd a rudimentary ma
n
u
al
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
add some memory
manage
m
ent a
n
notations
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
ex
p
ort is
l
_ba
s
ic_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_basic
_
set_norm
a
lize_constrai
n
ts: ad
d
missing
r
et
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ve
r
d
o
o
l
aege
isl_map_simpl
i
fy
.
c
: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_map
.
c: remov
e
unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
s
l_ba
s
ic_
s
et_ge
t
_hash: initialize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
is
l
_af
f
ine_hu
l
l
.
c:
r
e
move unu
s
ed varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_hash
.
c
:
r
emove unused
v
ariable
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
is
l
_lp
.
c: ad
d
mi
s
sing
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdo
o
laege
isl_equalities
.
c: drop redundant er
r
or h
a
n
d
ling
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oo
l
a
e
ge
isl_e
q
ua
l
ities
.
c: remo
v
e
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_c
o
nvex_hull
.
c
: remove unuse
d
va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_c
o
nstraint
.
c: remove unused v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_ta
b
.
c: sign_o
f
_
min: only
p
i
vot back i
f
we
performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
oolae
g
e
isl_tab
.
c: i
s
l_ta
b
_mar
k
_re
d
u
n
dant: fix up err
o
r re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdo
o
laege
i
sl_tab
.
c
:
r
emove unu
s
e
d
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
sl
_
t
a
b_pip
.
c: re
m
ov
e
unu
s
e
d
variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_vec
.
c:
remove un
u
sed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
lae
g
e
isl_test
.
c: remove
u
nu
s
e
d variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
doolaege
isl_assert:
v
al
i
date all argume
n
ts and
fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
o
olaege
polyh
e
dron_sample
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_pip
.
c: check return value of f
s
canf
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaege
polyhedron_minim
i
z
e
.
c: handle
all
enume
r
a
t
i
on v
a
lues
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdo
o
laege
configure
.
ac: set maximal optimization compiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_set_cop
y
_basic_set: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
is
l
_set_d
r
op_basic_set: a
d
d missing
re
t
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_coale
s
c
e: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
e
rdoola
e
ge
isl_c
o
a
l
e
sce
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_
t
est:
ch
e
ck
s
r
cdir
h
as been set
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
erdoo
l
a
ege
priv
a
te
l
y export isl_tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
g
e
isl_
t
a
b
.
c: fix
u
p to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
isl_tab_pip
.
c: a
d
d
mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
i
sl_vec
.
c: add miss
i
n
g
includ
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
export isl_
s
eq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
f
i
x
return
t
ype of isl_c
o
nstraint
_
free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
export i
s
l_token_free and isl_stream
_
error
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
oolaege
isl_list
.
c:
add m
i
ssing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
r
doolaege
isl_d
i
v
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olae
g
e
isl_c
o
nstr
a
i
n
t
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
basis_reductio
n
_ta
b
.
c: add
missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
isl_map_no_pipli
b
.
c: a
d
d
m
issing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n V
e
r
d
oolaege
ax_cr
e
a
t
e
_stdi
n
t_h
.
m4: pr
o
tect some limits from redefin
i
tion
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
po
l
yt
o
p
e
_
scan
.
c
: add
missi
n
g inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
fix retu
r
n ty
p
e of isl_
d
iv_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_map_simpl
i
fy
.
c: drop r
e
turn fro
m
void function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
i
s
l_map_s
i
m
plify
.
c: add mi
s
sin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_con
v
ex
_
hull
.
c:
use isl_seq_get
_
ha
s
h instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
d
eclare flexarrays
o
f
size 1 to si
l
ence
s
un com
p
iler
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaeg
e
ch
a
nge isl_b
a
sic_map_
e
m
p
ty in
t
erface for consi
s
t
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ver
d
oo
l
aege
AX_SUBMODULE: mention defau
l
t type of library to
u
s
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
configure
.
ac: use
A
X_SUBMODULE f
o
r gmp for
c
onsisten
c
y
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
s
e
par
a
te out
c
o
n
fig h
e
ader fr
o
m is
l
_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven
V
erdoola
e
ge
pilp sol
v
er: don't ignore feasibility te
s
t on
c
on
t
ex
t
commit
|
commitdiff
|
tree
2009-09-01
S
ven Verdoolaege
i
sl_basi
c
_map_gauss: try not to remove any div de
f
ini
t
ions
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Ve
r
dool
a
ege
add is
l
_map_
s
u
m
commit
|
commitdiff
|
tree
2009-08-30
Sven
Ver
d
oolaeg
e
add is
l
_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
o
o
laege
ad
d
i
sl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Ve
r
doolaege
add
i
sl_map_is_st
r
i
c
t_
s
ubset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl
_
map_f
a
s
t
_
is_fixe
d
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add isl_map_identit
y
_lik
e
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doolaeg
e
rename isl_map_identity_li
k
e to i
s
l_m
a
p
_
identity_like_basic_
m
a
p
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
add isl_p
o
lytope_scan
applic
a
tion
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
i
s
l
_seq_normal
i
ze: use pre-all
o
cated temporary variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
is
l
_vec
_
normalize
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ve
r
doo
l
aege
isl
_
s
e
q_normalize: no need to scale down
by one
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
ad
d
isl_polyhedron_minimiz
e
applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
ad
d
gene
r
ali
z
ed
b
as
i
s reduction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_ve
c
_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verd
o
olae
g
e
export
isl_
v
ec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
isl_basic_set_
s
ample:
only
p
erform
b
asis red
u
ction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
l
a
ege
ren
a
me isl_solve_lp to isl_basi
c
_{
m
a
p
,s
e
t}_s
o
lve
_
l
p
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoola
e
ge
is
l
_
sol
v
e
_l
p
: optionally r
e
turn solut
i
o
n point
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Verdoo
l
aege
e
xp
o
rt i
s
l_vec heade
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
add isl
_
int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
o
o
laege
a
d
d isl_vec_read_f
r
om_file
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
is
l
_basic
_
map_drop_redu
n
dant_div
s
: als
o
investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaeg
e
isl_basic_map_ap
p
ly_{d
o
main,
r
ange}
:
d
rop redu
n
dan
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
e
rdoolaege
isl
_
m
a
p_simplify
.
c
: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ve
r
doolae
g
e
isl_bas
i
c_set_
p
roject_out
:
drop
r
ed
u
ndant d
i
vs i
n
resu
l
t
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
isl_basic_map_remove: only dr
o
p
d
ivs
if basic
m
a
p
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
Verdoolaege
isl
_
basic_map_detect_equ
a
lities: exp
l
icitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdoolaege
i
s
l_b
a
sic_map_extend_dim
:
keep h
o
ld of sam
p
le if
dimens
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoolaege
isl_tab_min:
read
off all i
n
f
orma
t
ion
f
ro
m
t
ableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdo
o
laeg
e
i
sl_t
a
b
_
add_val
i
d_eq: k
e
ep trac
k
o
f
whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
la
e
ge
configu
r
e
.
ac: n
o
l
o
nger use piplib b
y
de
f
ault
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d a
n
intern
a
l paramet
r
ic int
e
ger lin
e
ar p
r
o
g
r
am
s
o
l
ver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_mat_extend: ma
k
e
s
ure the number of
rows nev
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_affine_h
u
ll
.
c: only constru
c
t affine hull i
n
bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_tab: add support for keeping track o
f
s
a
mple
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab: opti
o
n
ally keep track of row si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
s
l_tab: add isl_basic_set field for optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
t
a
b: i
n
troduce
support fo
r
"b
i
g paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
i
sl_tab:
a
llow introduction of extr
a
variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
: introduce pa
r
a
m
eters a
n
d di
v
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
i
sl_tab
.
h:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: a
l
low saving and restoring the
c
omplet
e
basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaeg
e
is
l
_
t
ab: priv
a
tely export some functiona
l
ity
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: store undo ar
g
ument i
n
a u
n
ion f
o
r f
u
ture
.
.
.
commit
|
commitdiff
|
tree
next