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 Verdoolaege
isl
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
add a rudimentary manua
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
add
s
ome memory management annot
a
t
ions
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
exp
o
rt is
l
_b
a
sic_set_project_ou
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
i
sl_bas
i
c
_
s
et_
n
o
r
malize_constrain
t
s:
a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_map
_
s
i
mplify
.
c: remove
unu
s
e
d
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map
.
c: remove unused
v
aria
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
is
l
_
b
a
sic_set_get_hash
:
initiali
z
e hash value
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
i
sl_affi
n
e_hull
.
c: r
e
move u
n
used
v
a
r
iable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l
_has
h
.
c
:
remove
un
u
s
ed v
a
riable
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
i
sl_lp
.
c: ad
d
missing
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_equalit
i
es
.
c: drop re
d
undant
e
rror handlin
g
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
oolaege
is
l
_e
q
u
ali
t
ies
.
c: r
e
move u
n
used varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ver
d
oolaege
isl_convex_
h
ull
.
c: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doolaege
i
s
l_const
r
aint
.
c: rem
o
ve unused variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
i
sl_tab
.
c
: sign_of
_
min
:
o
nly pivot
back if we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolaege
i
s
l_tab
.
c
:
is
l
_tab_mark_redund
a
n
t: fix up error return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
sl_
t
a
b
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
s
l_tab_p
i
p
.
c: remove u
n
used varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolae
g
e
isl
_
vec
.
c: remo
v
e unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_
t
est
.
c
: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_assert: validate
a
ll
a
r
guments
and fix up fal
l
o
u
t
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoo
l
aege
polyh
e
dron_sample
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
sl_
p
ip
.
c
: check r
e
tu
r
n value of
fsca
n
f
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_minimize
.
c:
handle
a
ll
enume
r
ation values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rd
o
o
l
aege
conf
i
gure
.
ac
:
set maxima
l
optimizat
i
on co
m
piler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ola
e
ge
isl_set_cop
y
_basic_set: add
m
issing
ret
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoola
e
ge
i
s
l
_set_drop_basic_set: add mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
s
l_set_coa
l
es
c
e:
a
d
d missing ret
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
i
sl_co
a
lesce
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl
_
test: c
h
eck
s
r
c
d
i
r has been
s
e
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
privately
ex
p
ort
isl_tab
_
kil
l
_co
l
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_tab
.
c: fix
u
p to_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
is
l
_tab_pip
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoola
e
ge
i
s
l_ve
c
.
c: a
d
d miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
expor
t
isl
_
seq_cm
p
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoolaeg
e
fix return type
of
is
l
_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
e
x
port i
s
l_token_
f
ree an
d
is
l
_strea
m
_error
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
isl_l
i
st
.
c: add mi
s
sing i
n
cl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
olae
g
e
isl_
d
i
v
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoo
l
ae
g
e
isl_constrai
n
t
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
basis_reduction_tab
.
c
:
add missing incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdoolaege
isl_m
a
p_no_piplib
.
c: add mis
s
in
g
inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
ax_create
_
stdint_h
.
m4: protect som
e
limits from redef
i
nition
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
polyt
o
pe
_
scan
.
c: add missing
include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdool
a
ege
fix return type of is
l
_
d
i
v
_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ver
d
oolaege
isl_map_simpli
f
y
.
c: dro
p
retu
r
n
fro
m
v
oid function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_map
_
s
i
mplify
.
c:
a
dd miss
i
ng in
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_convex_hull
.
c: use isl_seq_
g
et_hash
i
n
stead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
lae
g
e
declare
f
l
e
xar
r
ays o
f
size
1
to
silenc
e
sun
c
ompiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
change isl_
b
a
s
ic_map_empt
y
int
e
r
face
for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
AX_SUBMODULE
:
ment
i
on d
e
fault type of librar
y
to use
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ver
d
oolaege
configu
r
e
.
a
c
:
u
se
AX_SUBMOD
U
LE
for gmp for consisten
c
y
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
se
p
ara
t
e out conf
i
g hea
d
er from isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verd
o
olaege
p
i
l
p
sol
v
er: don't ign
o
re
f
e
asi
b
il
i
ty test
o
n con
t
ext
commit
|
commitdiff
|
tree
2009-09-01
S
v
en Verdoo
l
ae
g
e
isl_basic_map_gaus
s
:
t
r
y
not t
o
remove
a
n
y div definitions
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doolaege
add is
l
_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
V
e
rdoolaege
add
i
sl_map_
f
loord
i
v
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verd
o
o
l
aeg
e
ad
d
isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verd
o
olaege
add i
s
l_m
a
p_is_strict_subse
t
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdool
a
ege
add isl_ma
p
_fa
s
t_is
_
fix
e
d
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
Verdoolaege
add
i
sl_map
_
identit
y
_
l
i
ke
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
o
o
laege
re
n
ame
i
sl_
m
ap_identi
t
y_li
k
e to isl_map_identity_like_ba
s
ic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaeg
e
add
i
sl_polytope_scan applicati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_se
q
_normalize: use pre
-
a
llocated te
m
pora
r
y varia
b
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
eg
e
a
d
d isl
_
ve
c
_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoo
l
aege
isl_s
e
q_normalize: no ne
e
d
to scale down by
one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
add isl_
p
olyhedron_minimize ap
p
licati
o
n
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaeg
e
add g
e
ner
a
lized
b
a
s
is reduc
t
ion b
a
se
d
ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
a
dd isl
_
vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolaege
e
xport isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
isl_basic_
s
et_sample
:
only p
e
rfor
m
basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaeg
e
ren
a
m
e
i
s
l_sol
v
e_lp to
isl_basic_{map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdool
a
ege
isl_solve_lp: o
p
ti
o
n
a
lly r
e
turn solu
t
i
on point
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
o
o
lae
g
e
e
x
p
ort isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add isl
_
int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
r
doolaeg
e
add isl_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_drop_redundant_divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
Verdoolaeg
e
isl_b
a
sic_m
a
p_app
l
y_
{
dom
a
i
n,ran
g
e}: drop redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdool
a
ege
isl
_
map_sim
p
l
i
fy
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_
b
asic_set_project_out: dro
p
redund
a
n
t d
i
vs in result
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Verd
o
olaege
isl_basic_ma
p
_remove: only
drop divs if basic map d
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basi
c
_map_detec
t
_
e
q
u
a
lities:
e
x
pl
i
cit
l
y kee
p
t
rack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
Verdoolaege
isl_b
a
s
i
c
_map_exte
n
d_dim: k
e
ep hold of sample if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ver
d
oolaege
i
sl_tab_min: rea
d
off
a
l
l inform
a
tion from t
a
bleau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ver
d
oolaege
isl_
t
a
b_add_vali
d
_
eq
:
keep track
o
f whet
h
e
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oolaege
config
u
re
.
ac:
n
o
lon
g
er use piplib by defau
l
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an internal parametric inte
g
er linear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
er
d
ool
a
ege
isl_mat_ex
t
end: make sure the number
of ro
w
s never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolae
g
e
isl
_
af
f
ine
_
hull
.
c: on
l
y co
n
struct aff
i
ne hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
s
l_tab:
add support for keeping
t
rack of samples
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
r
doolaege
isl_tab: optionall
y
ke
e
p trac
k
of r
o
w si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
r
doolaege
isl_tab:
add isl_basic_set
field for
o
ptionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_tab:
i
ntroduce suppo
r
t for "big p
a
rameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
i
s
l_tab: allow introduction of extra
v
a
riabl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
isl_tab: introd
u
ce pa
r
ameter
s
and divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolae
g
e
is
l
_tab
.
h: fix typo in co
m
ment
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaege
isl_tab: allow saving and rest
o
ring the c
o
mplete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_t
a
b: private
l
y ex
p
ort
s
ome
f
un
c
tional
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rd
o
olaege
isl_tab: store undo argument in
a
un
i
on
f
or future
.
.
.
commit
|
commitdiff
|
tree
next