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
privately export isl_tab_kill_col
2009-09-06
Sven V
e
rdoolaege
privately export isl_
t
a
b
_kill_col
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_ta
b
.
c: fix
up to
_
col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl
_
tab_
p
i
p
.
c: add mis
s
i
n
g inc
l
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
s
l_
v
e
c
.
c: a
d
d missing in
c
l
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl_
s
eq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix return type
o
f isl_cons
t
raint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
export i
s
l
_t
o
ken_free
a
nd isl_stream_error
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_list
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
isl_div
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_constraint
.
c: ad
d
missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolae
g
e
ba
s
is_reduction_t
a
b
.
c: add mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
i
s
l_map_no_piplib
.
c
: add missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
a
x
_create_stdint_h
.
m4:
p
r
o
t
ect s
o
m
e
limits from re
d
ef
i
nition
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdo
o
laege
polytope_scan
.
c: add missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
f
i
x return type of
i
sl_div_
f
r
e
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_map_simplify
.
c: dro
p
re
t
u
rn from void function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl
_
m
a
p_s
i
mplify
.
c
: add mis
s
ing in
c
l
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
l
a
ege
isl_convex_hul
l
.
c: use i
s
l_seq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
declare
f
lexarrays of si
z
e 1 to
s
ilence sun
compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
change isl_b
a
sic_ma
p
_
e
mpty
i
nt
e
r
face for consistency
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
AX_
S
U
B
MO
D
ULE: mention defaul
t
type of library
to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
con
f
igur
e
.
a
c
:
use
AX_SUBMODULE
f
or gmp
for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
separate out config heade
r
f
rom i
s
l_ct
x
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pilp solv
e
r
: do
n
't igno
r
e fea
s
ib
i
lity test o
n
context
commit
|
commitdiff
|
tree
2009-09-01
Sv
e
n
V
erdoolaege
i
sl_basi
c
_map_gauss: t
r
y not
to remove any div defi
n
i
tions
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdo
o
laege
add isl_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Ver
d
o
olaege
add
i
sl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
d
d isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_ma
p
_
i
s_stric
t
_subset
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verd
o
olaege
ad
d
isl_map_fast_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoo
l
aege
a
d
d
isl_ma
p
_iden
t
it
y
_
like
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Ver
d
oolaege
rename is
l
_ma
p
_i
d
ent
i
t
y
_like to isl_map_identi
t
y_like_basic_ma
p
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
add isl_polytope_scan applica
t
ion
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_se
q
_normaliz
e
: u
s
e pre-allocated tem
p
ora
r
y
varia
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
add isl_v
e
c
_
normalize
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verd
o
o
laege
isl_seq_normalize: no need to sca
l
e down by
o
ne
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_
p
olyhedron_minimize app
l
ication
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaeg
e
add generalized b
a
sis reduct
i
on based IL
P
solv
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
add
isl_vec_mat_prod
u
ct
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
export isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verd
o
olae
g
e
isl_
b
asic_set_samp
l
e: only perfo
r
m
b
asis re
d
uctio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
Ver
d
o
o
laege
ren
a
me isl_solve_lp to is
l
_basi
c
_{ma
p
,set
}
_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolae
g
e
isl_solve_lp: option
a
lly return
solu
t
ion
p
oi
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
expo
r
t isl
_
vec
h
e
a
d
er
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoola
e
ge
add
i
sl_v
e
c
_
read
_
from_file
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verd
o
ol
a
ege
isl_b
a
si
c
_map_d
r
op_redundan
t
_di
v
s:
also
investig
a
te
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_ma
p
_apply_{
d
omain,range}: dro
p
red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
o
o
laege
is
l
_map
_
simplify
.
c: fix
t
ypo
i
n comme
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl_basic_se
t
_p
r
oje
c
t_out: drop
redunda
n
t div
s
in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl
_
basic_map_remove
:
only drop
divs
i
f
basic
ma
p
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en
V
erdoo
l
a
e
ge
isl_b
a
s
i
c_map_detect_equalities: ex
p
licitly keep trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoo
l
aeg
e
isl_basic
_
map_extend_dim: keep hold of sample if dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoola
e
g
e
isl
_
tab_min:
r
ea
d
off a
l
l
i
nform
a
tion fro
m
t
ab
l
e
au
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
i
s
l_tab_add
_
val
i
d_eq: kee
p
track o
f
whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olae
g
e
c
o
nfigur
e
.
a
c: n
o
longer
u
se piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add an internal p
a
rametric intege
r
line
a
r pro
g
ram
s
ol
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_m
a
t_ext
e
nd: mak
e
sure the nu
m
ber of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
isl_a
f
fine_hull
.
c:
onl
y
constr
u
ct affine h
u
ll in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl
_
tab:
a
dd support for keeping tra
c
k
of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_t
a
b
: opt
i
onally keep track of
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
add i
s
l_basic_set fiel
d
fo
r
optiona
l
ly k
e
eping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
i
sl_
t
ab:
i
ntroduce suppor
t
for "bi
g
parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
ge
isl_t
a
b: allow in
t
roduction of ex
t
ra
v
ariab
l
es
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
g
e
isl_tab:
introduce param
e
ters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_t
a
b
.
h: fix t
y
po in
com
m
ent
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
s
l_tab
:
allo
w
s
a
ving an
d
restoring the complet
e
ba
s
is
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdo
o
laege
i
sl_tab: privately export
so
m
e func
t
i
o
nality
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
aege
isl_t
a
b
: store undo argument in a union for
f
utu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
a
d
d isl
_
basic
_
s
et_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
privately export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_
m
ap
_
sim
p
lify
.
c: remove_dependent_vars: only remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_basic_map_compute_divs:
u
se isl_basic_set_le
x
min
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
l
a
e
g
e
isl_pip_basic_map_com
p
ut
e
_divs: don'
t
turn
divs
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
p
rivatel
y
e
xport isl_basi
c
_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
o
l
a
eg
e
isl
_
{s
e
t
,
map}_add: don't add obvio
u
sly empt
y
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
co
m
bine isl_pip_basic_map_le
x
{min,max} into isl_p
i
p_bas
i
c_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
make
piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat: keep track of the a
c
t
u
a
l
number of c
o
lumn
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab_pivot: fix
typo that
p
revented nor
m
aliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
add i
s
l_basi
c
_s
e
t_positiv
e
_orth
a
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add
is
l
_
b
as
i
c_
s
e
t_parti
a
l_le
x
{
m
in,
m
ax}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
rename
i
sl
_
bas
i
c_map_lex{min,max}
to isl_ba
s
i
c
_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
ad
d
is
l
_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_s
e
t_dim: support
i
sl_d
i
m
_all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
isl_tab: store
i
nd
e
x o
f
va
r
i
able in u
n
do reco
r
d instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
doola
e
ge
add isl_
{
set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
lae
g
e
add isl_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
isl_ba
s
ic_map_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdool
a
ege
add isl_
t
ab_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
doolaege
export isl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
oolaeg
e
isl_
t
ab
.
c: mark_redun
d
ant: onl
y
mark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: to_row: allow pivoting i
n
arbitrary
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify co
d
e by letting mark_empty re
t
urn
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdo
o
laege
add isl
_
se
q
_last_non_
z
ero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
i
s
l_tab
.
c: simpli
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: extract allocate
_
con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privatel
y
export isl_basic_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verd
o
ol
a
ege
configure
.
ac: e
x
plicitl
y
set AC
_
CONFIG_AUX
_
DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
c
o
nvex_hu
l
l: coales
c
e s
e
t during facet comput
a
tion
commit
|
commitdiff
|
tree
next