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_set_copy_basic_set: add missing return
2009-09-06
Sven Verdo
o
l
aege
is
l
_set
_
copy_b
a
sic_se
t
:
a
dd missing retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl
_
s
et_drop_basic_
s
et
:
a
dd missing
ret
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
e
rdool
a
ege
isl_set_coa
l
es
c
e: add missing
r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdo
o
l
aege
isl
_
coales
c
e
.
c:
ad
d
m
issin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_t
e
s
t
: c
h
eck srcdir h
a
s been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
privately export
i
s
l_
t
a
b
_kill_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
i
s
l_
t
ab
.
c: fix
u
p to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_tab_pip
.
c
: add
m
iss
i
ng in
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoo
l
ae
g
e
isl_vec
.
c
: ad
d
missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdoola
e
ge
expo
r
t isl_seq_c
m
p
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix ret
u
r
n
ty
p
e of isl_c
o
nstraint_fr
e
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
ae
g
e
e
x
por
t
is
l
_token_fre
e
and
i
s
l
_
strea
m
_erro
r
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_
l
ist
.
c: add m
i
ssing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolae
g
e
isl_di
v
.
c:
add miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_constrai
n
t
.
c: add mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
aege
bas
i
s_r
e
duc
t
i
o
n
_
tab
.
c: add mis
s
i
ng
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_map_no_
p
iplib
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
erd
o
olaege
a
x_create
_
std
i
nt
_
h
.
m4
:
p
rote
c
t s
o
me
limits
from redef
i
nition
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
dool
a
ege
polytope
_
s
c
an
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolae
g
e
fix
return
type
o
f
i
sl_d
i
v_
f
ree
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
ool
a
e
g
e
i
s
l_map_si
m
plify
.
c: drop
return fro
m
voi
d
function
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoolaeg
e
i
s
l_m
a
p_simp
l
i
fy
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
conve
x
_hull
.
c
:
us
e
isl_s
e
q_get_hash
i
nstead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoola
e
g
e
declare flex
a
rrays of size 1 to silence
s
u
n compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
change
i
sl_b
a
si
c
_
m
ap_empt
y
interfa
c
e for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
AX
_
SUBMODUL
E
: ment
i
o
n defa
u
l
t type o
f
library to u
s
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
configure
.
ac: use A
X
_SUBMOD
U
L
E f
o
r gmp for consistenc
y
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
separat
e
o
ut
c
o
nfig hea
d
er
from isl_
c
tx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pi
l
p solver: d
o
n't ignore feasibilit
y
test on con
t
ext
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
isl_basic
_
map_gauss: try no
t
to remove any div defi
n
it
i
ons
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoo
l
ae
g
e
add isl
_
map_s
u
m
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_
f
lo
o
rdiv
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
add
isl
_
m
ap_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoolaeg
e
add isl_map_
i
s_stric
t
_
s
ubse
t
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
ad
d
isl_map_
f
ast_is_
f
ixed
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_identity_l
i
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
d
oolaege
renam
e
isl_ma
p
_identi
t
y
_
lik
e
to isl_map_identity
_
l
i
ke_ba
s
ic_m
a
p
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
e
rdoolaege
add isl_p
o
lytope_
s
ca
n
applicat
i
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
isl_seq_normalize: use
p
re-alloc
a
ted
t
em
p
orary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
erdo
o
la
e
ge
ad
d
isl_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_normalize: no need
t
o
s
c
a
l
e down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_polyh
e
d
r
on_mi
n
imize application
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoolaege
add g
e
neralized basis reduction ba
s
ed ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
lae
g
e
add is
l
_vec_mat_
p
roduct
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
expor
t
isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolae
g
e
is
l
_basic_set
_
sam
p
le: only perform bas
i
s redu
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
r
e
n
ame isl
_
so
l
ve_
l
p to is
l
_b
a
sic_{map,set}
_
solve_lp
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ve
r
doo
l
a
e
ge
i
sl_solve_l
p
:
optional
l
y retur
n
solu
t
ion point
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoo
l
aege
export
isl_vec he
a
d
e
r
commit
|
commitdiff
|
tree
2009-08-28
S
ven
V
erdoolaege
ad
d
isl_int_fdiv_q_
u
i
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erd
o
olaege
add isl_vec_read_from_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
isl_bas
i
c_
m
ap_drop_redunda
n
t_divs:
a
l
so in
v
esti
g
ate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoolaege
isl_basic_map_apply
_
{domain,r
a
nge
}
: dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
r
d
oolaege
is
l
_ma
p
_simpl
i
f
y
.
c:
f
i
x typo in
comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
isl_basic_s
e
t_project_out: drop redundan
t
divs in
r
e
sult
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdo
o
l
a
ege
is
l
_bas
i
c_
m
ap_remove: only d
r
op divs i
f
b
a
sic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_
m
ap_de
t
ect_equalit
i
es: expl
i
citly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verd
o
olaege
isl_
b
asic_
m
ap_extend_dim: k
e
ep hold o
f
sample if
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoo
l
a
e
ge
isl_ta
b
_min: read off a
l
l informatio
n
fro
m
tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Verdoolaege
isl_tab_add_valid_eq: keep track of whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
configure
.
ac: no long
e
r
u
s
e
p
i
p
lib by default
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
ege
add an i
n
ternal par
a
metric in
t
eger linear
p
rogra
m
solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat
_
extend: make sure the number of row
s
nev
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
i
sl_affine
_
hull
.
c: on
l
y c
o
nstruct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdo
o
l
a
ege
isl_tab: add support
f
or kee
p
i
ng trac
k
of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
g
e
isl
_
tab: opti
o
nally ke
e
p
t
rack of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl
_
tab: add
i
sl_ba
s
i
c
_set field fo
r
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdo
o
l
a
ege
isl_ta
b
:
i
nt
r
o
d
uce suppor
t
for "big p
a
rameters"
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl_tab: allow introduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
isl_tab: int
r
oduce parameters a
n
d divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
isl_tab
.
h: f
i
x
t
y
po in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaege
isl_tab: allow s
a
v
ing and restori
n
g
the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
isl_t
a
b
:
privat
e
ly export
som
e
f
u
nctionality
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
i
s
l
_
tab: st
o
re
u
ndo a
r
gumen
t
i
n
a
u
n
ion for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
add isl_
b
asic_se
t
_
s
ample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
privately
e
xport isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simplify
.
c: remove_dependent
_
v
a
r
s
: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_ba
s
ic_
m
ap_co
m
pute_divs: use
i
sl_
b
asic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
i
sl_pip_
b
asic_map_compute_d
i
v
s:
don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
priv
a
tely export isl_bas
i
c
_
map_s
w
ap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_{set,map}_add:
d
o
n't add obvi
o
u
sly empty bas
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oo
l
aege
comb
i
ne isl_pip
_
basic_
m
a
p
_
lex{
m
i
n
,
max} i
n
to is
l
_pip
_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
make p
i
plib headers priv
a
te
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolae
g
e
isl_mat: keep track
o
f
the actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdo
o
laege
isl_t
a
b_p
i
vo
t
: fix typo that pr
e
vented n
o
rm
a
lization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add is
l
_basic_set_posit
i
v
e
_
or
t
hant
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add isl_b
a
sic_set_
p
a
rt
i
al_l
e
x{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoo
l
ae
g
e
rename isl_basic
_
ma
p
_
l
ex{min,max} to isl_basi
c
_ma
p
_pa
r
t
ial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
ad
d
isl
_
b
a
sic_set_free
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_set_dim: s
u
p
p
ort isl_dim_
a
ll
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaeg
e
is
l
_tab:
store index
o
f
variable in und
o
record ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
add isl
_
{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
add
isl
_
basic_m
a
p_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
V
erdool
a
ege
a
dd
i
sl
_
tab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolae
g
e
export isl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: mark_redu
n
dant:
o
nly mark variable no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoo
l
ae
g
e
isl_tab
.
c: to_row: allo
w
p
iv
o
ting in arbitrary directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_tab
.
c: simplif
y
code b
y
letting mar
k
_
empty return
t
ab
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
V
erd
o
olaege
add
i
sl_seq_last_non_ze
r
o
commit
|
commitdiff
|
tree
next