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_tab.c: fix up to_col
2009-09-06
Sven Verd
o
olaege
isl
_
tab
.
c:
fix up t
o
_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoolaege
isl_tab_pip
.
c: a
d
d
mis
s
ing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l_vec
.
c:
ad
d
missing
i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Verdoo
l
aege
export isl
_
seq_
c
mp
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
ool
a
ege
fix return type
o
f isl_cons
t
r
aint_f
r
ee
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
export isl_token_fre
e
and is
l
_stream_error
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
sl_
l
ist
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
d
o
olaeg
e
isl_div
.
c: ad
d
mi
s
sin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_constraint
.
c: add missing
include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoola
e
g
e
basis_r
e
du
c
tion_
t
ab
.
c:
a
dd m
i
ssin
g
in
c
lu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
l
a
ege
i
s
l_
m
ap_no_piplib
.
c: add
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ax_
c
reate_
s
tdint_h
.
m
4
: p
r
otect some limits
f
ro
m
r
edef
i
niti
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
polytope_scan
.
c: add missi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
a
ege
fix return type of
i
s
l
_
div_free
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
s
l_map_simplify
.
c:
drop return from
v
oid funct
i
on
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
i
s
l_map_si
m
p
lify
.
c
:
add mis
s
in
g
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_convex_hull
.
c: use
isl_seq_get_ha
s
h
instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
d
oola
e
ge
declare flexa
r
r
ays
of size 1 to silence sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
change isl_basic_map_empty interface for consi
s
tency
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolae
g
e
AX_S
U
BMODULE: ment
i
on defau
l
t
ty
p
e of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
confi
g
ure
.
ac: use AX_SUBM
O
DULE for gmp for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
separate
o
ut
c
onfig h
e
ader
f
rom isl_ct
x
.
h
commit
|
commitdiff
|
tree
2009-09-04
S
ven Verdoolaege
pilp solver: don't i
g
n
ore
fea
s
ibility test on context
commit
|
commitdiff
|
tree
2009-09-01
S
v
en Verdoolaege
is
l
_
b
asic_map_gauss: try not to
r
emove
a
n
y div definition
s
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
r
d
o
o
l
ae
g
e
a
d
d isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdool
a
e
ge
a
d
d
isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolae
g
e
add isl_map_is_strict
_
subset
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n V
e
rdool
a
ege
add isl_
m
ap_fas
t
_is_f
i
xe
d
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdool
a
e
g
e
add isl_map_
i
dentity_
l
ike
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
rena
m
e i
s
l_map_ide
n
t
ity_like to isl_map_iden
t
ity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
erdoolaege
add isl_poly
t
op
e
_scan applicati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_s
e
q_no
r
malize: use p
r
e-allocated
t
empora
r
y
variab
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add i
s
l_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdo
o
laege
i
s
l_se
q
_norma
l
i
z
e: no need to scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
add
i
s
l
_polyh
e
dron_minimize application
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doola
e
g
e
add gene
r
alized
b
asis reduc
t
i
on
b
as
e
d
I
L
P solve
r
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_mat_produc
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
ex
p
ort isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
is
l
_basic_set_sa
m
ple:
only perform basis reduc
t
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
rena
m
e isl_solve_lp to is
l
_basi
c
_{map,set}_s
o
lve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
i
s
l_solve_lp: optional
l
y retur
n
solution
po
i
nt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
expo
r
t isl_v
e
c header
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add i
s
l_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ver
d
ool
a
ege
add isl
_
vec_r
e
ad_fr
o
m_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_basic_map_drop_redundant_divs: also i
n
vest
i
gate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
r
d
oolaege
isl
_
basic_map_apply_{domain,rang
e
}: drop re
d
und
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_map_
s
impl
i
fy
.
c:
fix t
y
po in
c
o
m
ment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
i
s
l_
b
a
sic_set_p
r
oj
e
c
t
_out: drop red
u
ndant
divs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_rem
o
ve: only dro
p
div
s
i
f
basic m
a
p d
i
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n
V
erdoolaege
isl
_
ba
s
ic_map_detect_equalities: ex
p
lici
t
ly ke
e
p track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en
V
erdoolae
g
e
isl_
b
asi
c
_m
a
p_extend_dim: kee
p
hold
o
f
s
ample
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sve
n
Ve
r
do
o
laege
isl_tab_min: re
a
d off
a
ll information from
t
ableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoo
l
aege
i
s
l_tab_add_vali
d
_eq: keep
t
rack of w
h
e
ther eq
u
ality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
configure
.
ac: no longer use pi
p
lib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add a
n
i
nter
n
al parametric integ
e
r
l
inea
r
program solver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doo
l
aege
isl
_
mat
_
extend
:
make
s
u
re
the number of rows nev
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Ver
d
oo
l
a
ege
i
s
l_
a
ffine_
h
ull
.
c:
o
nly con
s
truct
affine h
u
ll in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab: add support for k
e
eping track of sa
m
ples
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_
t
ab: optionally k
e
ep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
i
sl_tab: add isl_bas
i
c_set fi
e
ld for
o
p
tionally
k
eeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_tab: introduc
e
su
p
por
t
f
or "big parameters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: a
l
low
introduction
o
f extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oola
e
ge
isl_tab: int
r
o
duce parameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolae
g
e
isl_tab
.
h: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
ege
i
s
l
_tab:
a
llow saving
a
nd resto
r
ing the compl
e
te b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Ver
d
oo
l
aege
isl_tab:
p
r
i
vat
e
ly export s
o
me functionalit
y
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
doolaege
isl_tab
:
s
t
o
r
e
und
o
argument
in
a union for f
u
t
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
add isl
_
basi
c
_
s
et_sample_bou
n
ded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
privately export isl_basic_set_
o
rder_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
m
ap
_
simplify
.
c: remove_dependent_
v
ars:
only r
e
m
ove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aeg
e
isl_bas
i
c
_ma
p
_
comp
u
te_d
i
v
s
: use
isl_basic_
s
et_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_pip_basi
c
_
m
ap_compute_divs: don
'
t
tur
n
d
i
vs
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
pr
i
vat
e
ly e
x
port
isl_
b
asi
c
_map_swap
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_{set,map}_
a
d
d: don't add obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine isl_pip_basic_map_lex{min,max
}
into
isl
_
pip_basic_
m
a
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
make piplib
h
e
aders private
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
rdoolaege
isl
_
mat:
kee
p
track of th
e
actua
l
number of
col
u
mn
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
_
p
ivot: fix typo that prevented n
o
rmalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
e
r
doolaeg
e
a
dd isl_bas
i
c
_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_basic_set_par
t
i
al_lex{m
i
n,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdo
o
laege
rename isl_basic_map_l
e
x{min,max} to isl_b
a
s
i
c_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaeg
e
ad
d
isl_basic_set_
f
ree_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
r
doolaege
i
sl_set_dim:
support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oola
e
g
e
isl_tab: s
t
ore index of variable in undo re
c
or
d
instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
e
g
e
add i
s
l_{
s
e
t
,map
}
_gr
o
w
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaege
add i
s
l_map_get_di
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add isl_basic_m
a
p_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdool
a
ege
add isl_ta
b
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaeg
e
export
i
sl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: m
a
r
k
_
r
e
dundant: onl
y
m
ark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolae
g
e
isl_ta
b
.
c:
t
o_row: allow pivoting in a
r
bitr
a
r
y direction
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verdoolaege
i
s
l_
t
ab
.
c:
simplify code by letting
mark_em
p
ty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolae
g
e
ad
d
isl_seq_
l
ast_non_z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ve
r
doola
e
ge
isl_ta
b
.
c
:
simplify add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ver
d
ool
a
ege
isl_tab
.
c: e
x
t
r
act alloc
a
t
e_
c
on
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
pri
v
atel
y
export is
l
_basic_set_
s
et_ra
t
io
n
a
l
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n V
e
rdoolae
g
e
configure
.
a
c
:
e
x
plicitly set A
C
_CONFIG_
A
U
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Ver
d
oolaege
c
onvex_
h
ull
:
coal
e
sce set during
facet comp
u
tat
i
on
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdool
a
e
g
e
is
l
_map_coalesce: don't drop rational f
l
ag
from
result
.
.
.
commit
|
commitdiff
|
tree
next