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
S
v
en
Verdo
o
laege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdo
o
laege
add a rudimentar
y
manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add
so
m
e memory
m
anagemen
t
annotations
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export i
s
l_
b
asic_set_project_
o
u
t
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolaege
i
sl_basic_
s
et_normalize_c
o
nst
r
ain
t
s: add
m
issing r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
o
laege
i
sl_map
_
simplify
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_ma
p
.
c:
r
emove
u
n
use
d
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
ool
a
ege
isl_ba
s
ic
_
set_get_
h
ash: initialize hash value
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
oolaege
isl_affine_hull
.
c
: remove unus
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_hash
.
c:
remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
is
l
_
l
p
.
c
: add missing in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_
e
qualiti
e
s
.
c: drop redund
a
n
t error handling
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_eq
u
alitie
s
.
c: remove unused variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
i
s
l_convex_hull
.
c: remove unuse
d
va
r
iab
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
ae
g
e
isl_constraint
.
c:
r
emove un
u
s
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
olaege
i
s
l_tab
.
c: sign_of_min: only pivot back if we
perform
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doo
l
aege
isl_t
a
b
.
c
: isl_tab_mark_red
u
n
da
n
t
:
fix up
error re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolae
g
e
isl_tab
.
c: remove unu
s
ed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_t
a
b_pip
.
c
:
remove unu
s
ed
v
aria
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_vec
.
c
:
re
m
o
v
e
unus
e
d varia
b
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
isl_
t
est
.
c
:
remov
e
unused
v
ariable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoo
l
aeg
e
isl_
a
ssert: validate all a
r
gume
n
ts and fix u
p
fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_sample
.
c: add mis
s
i
ng inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
isl_pip
.
c: check return
value of fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
polyhedron_minimize
.
c:
h
andle all
enumeratio
n
values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
c
o
nfigure
.
ac: set maximal optimization compiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_s
e
t_copy_ba
s
ic_set: add
mi
s
sin
g
r
et
u
rn
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verd
o
olaege
isl_set
_
d
rop_basic_s
e
t
:
add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_coalesce
:
add missi
n
g r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_coalesce
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
i
s
l_test: c
h
eck srcdir has b
e
en s
e
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
ae
g
e
private
l
y export isl_tab_ki
l
l_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doola
e
ge
isl_tab
.
c: fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_tab_p
i
p
.
c:
a
dd mis
s
in
g
i
nc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_vec
.
c
: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
e
x
po
r
t isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix r
e
turn type of isl_con
s
tr
a
int_fre
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl
_
token_free
a
nd i
s
l_stre
a
m
_
e
rror
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
isl_l
i
st
.
c
:
add mis
s
ing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
isl_div
.
c: ad
d
mis
s
ing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
sl_cons
t
raint
.
c
:
add missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
basis_reduction_tab
.
c: add
m
i
ssing in
c
l
ud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_map_no
_
p
iplib
.
c: ad
d
missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaeg
e
ax_create
_
stdint
_
h
.
m4: protect some l
i
mits f
r
om redef
i
n
i
tio
n
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdoolaeg
e
p
o
lyt
o
p
e
_scan
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ver
d
oolaege
fix retur
n
ty
p
e of isl
_
div
_
f
r
e
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_ma
p
_
s
implif
y
.
c: drop
r
eturn from void function
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
i
s
l_map_s
i
mpli
f
y
.
c
:
a
d
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_convex
_
hull
.
c
: use isl_seq_
g
et_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
declare flexarra
y
s of si
z
e 1 to silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
chang
e
isl_basic_
m
ap_
e
mp
t
y
interface fo
r
consist
e
ncy
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
AX_SUBMODULE: mention default type
of library to use
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
c
onf
i
gure
.
ac
:
use AX_SUBMODULE for gm
p
fo
r
consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
separate out
config header from isl_
c
t
x
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoo
l
aege
pilp
s
olver:
don't i
g
nore f
e
a
sib
i
lit
y
te
s
t on co
n
text
commit
|
commitdiff
|
tree
2009-09-01
Sven Ver
d
oolaege
isl
_
basic_map_g
a
uss: tr
y
not t
o
r
e
move any div
d
e
fi
n
i
tions
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdool
a
ege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
o
laege
add isl_ma
p
_floordiv
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
add isl_
m
a
p_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
a
d
d isl_m
a
p_is_stri
c
t_
s
ubset
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
V
e
rdo
o
laege
add isl_
m
ap_fast_is_
f
ixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
add isl_map_identit
y
_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
d
o
olaege
rename
i
sl_map_identity_like to isl_map_identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add isl_
p
olytope_scan application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_
n
ormaliz
e
: us
e
p
re-allocated tempo
r
ary
v
a
r
ia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
add
i
sl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
isl_seq
_
normalize: no need to scal
e
d
o
wn by on
e
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaeg
e
add i
s
l
_polyhedron_mi
n
imize
applic
a
t
i
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ve
r
doolaege
add generaliz
e
d b
a
sis reduction b
a
s
ed ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Ver
d
o
o
lae
g
e
a
d
d isl_ve
c
_ma
t
_product
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
doolae
g
e
export isl_vec
_
ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
b
asic_set_sample:
o
nly
perform basis reduc
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
rename isl_solve
_
l
p
to
isl_ba
s
ic_{map,set}_solve
_
lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oo
l
aege
isl_so
l
ve_l
p
: optionally
r
et
u
r
n
sol
u
tio
n
p
o
i
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ve
r
d
o
olaege
export isl_v
e
c header
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
add i
s
l
_
int
_
fd
i
v_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add is
l
_vec_rea
d
_from_
f
ile
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n V
e
rdoo
l
aege
is
l
_basic_map_drop_re
d
undant_divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolae
g
e
isl
_
b
asic_
m
ap_a
p
ply_{
d
omain,range}:
drop re
d
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_si
m
plify
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verd
o
o
l
aege
isl_basic_s
e
t_project_ou
t
: drop redundant div
s
in re
s
ul
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_
b
a
s
i
c
_ma
p
_re
m
ov
e
: only
drop divs if ba
s
ic
ma
p
di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sve
n
Ve
r
do
o
laege
i
s
l_basic_map_
d
etect_equaliti
e
s: exp
l
icitly k
e
ep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Ve
r
doolaege
i
s
l
_
b
a
sic_map_ext
e
nd_dim
:
keep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ve
n
Verdoolaege
i
sl_t
a
b
_min: read of
f
all information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ver
d
ool
a
ege
i
s
l_
t
ab_
a
dd
_
vali
d
_eq: keep
track of
w
het
h
er equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
confi
g
ure
.
a
c:
n
o l
o
nge
r
use
p
ipli
b
b
y
d
efault
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
a
dd
a
n
i
n
ternal parametri
c
integer linear pro
g
ram
solver
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
o
laege
isl_mat_extend: make sure the number of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoolaege
isl_affine_hull
.
c: on
l
y c
o
nst
r
uct affine hull
i
n
bounde
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
ge
i
s
l_tab: a
d
d
support for keepin
g
track of sampl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab:
o
ptionall
y
keep track of ro
w
signs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
i
s
l_tab
:
add isl_basic_set
f
i
eld for optionally
k
e
e
ping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_
t
ab: introduce support
fo
r
"big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
l
ae
g
e
i
s
l_tab
:
allow introduction of
ext
r
a variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: introduce parameters
and div
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
la
e
ge
isl_tab
.
h
: fix ty
p
o in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
la
e
ge
is
l
_tab:
allow saving a
n
d
r
estori
n
g the com
p
lete basis
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ver
d
oolaege
isl_tab: privately
ex
p
ort some fun
c
tionality
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
isl_tab: sto
r
e u
n
do argument i
n
a
union for futu
r
e
.
.
.
commit
|
commitdiff
|
tree
next