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: introduce support for "big parameters"
2009-08-07
Sven Verdoolaege
i
s
l_tab: intro
d
uce
su
p
port for "big parame
t
ers"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
is
l
_tab
:
all
o
w
introduction of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: introduc
e
para
m
eter
s
and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
doola
e
ge
is
l
_tab
.
h: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
g
e
isl_tab:
a
llow saving
a
n
d re
s
toring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_t
a
b: pr
i
vately export some
f
unctionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab:
s
tore undo argument
in
a union for futur
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
a
dd
i
s
l
_
ba
s
ic_set_sampl
e
_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
pri
v
a
t
ely e
x
port isl
_
basic_se
t
_orde
r
_
divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
erdoolaege
is
l
_map_simpli
f
y
.
c
: remove_d
e
penden
t
_vars:
only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
i
sl_basic_map
_
compute_divs: use isl_basic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_pip_basic_map_compute_divs: d
o
n't t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
privat
e
ly expor
t
i
sl_bas
i
c
_
ma
p
_s
w
ap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_{
s
e
t
,map}_add: don'
t
add o
b
v
i
ously emp
t
y
b
asi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
l
aege
combine isl_
p
ip
_
basic_map_lex{
m
in,max} into is
l
_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdo
o
l
aege
make pi
p
l
ib hea
d
er
s
private
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_m
a
t: keep t
r
ack
o
f the actual n
u
mber of c
o
l
umns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoolaege
is
l
_tab_
p
ivot: fix ty
p
o that preven
t
ed normalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add isl_basic_set
_
posit
i
ve_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
e
g
e
add isl_
b
asic_se
t
_parti
a
l_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaege
r
e
name isl_ba
s
ic_ma
p
_lex{min,max} to isl_basic_m
a
p_
p
arti
a
l
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
rdool
a
ege
add isl_b
a
si
c
_
set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_set_dim: support
i
sl_dim_a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
:
s
tore
i
ndex
of variable in u
n
d
o
r
ecord
ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
i
s
l_{set,
m
ap}_gro
w
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verd
o
olaege
add
i
sl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
ae
g
e
a
d
d
i
sl_ba
s
ic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdool
a
ege
add is
l
_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
ex
p
o
rt i
s
l_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
V
er
d
o
olaeg
e
isl_tab
.
c: mark_redundant
:
only m
a
rk variabl
e
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
lae
g
e
isl_tab
.
c: to
_
row:
a
llo
w
pivoting
i
n arbitrary dire
c
tion
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ver
d
o
olaege
isl_tab
.
c
: s
i
m
plif
y
code by letting ma
r
k_
e
m
p
ty re
t
urn
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
add isl_seq_la
s
t_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olaege
isl_tab
.
c: s
i
mplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl
_
tab
.
c: extr
a
ct
allocate_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
private
l
y e
x
po
r
t
isl_basic
_
set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
ol
a
e
g
e
configu
r
e
.
ac: explicitly set AC_
C
ONFIG_A
U
X_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
l
a
ege
c
on
v
ex_
h
ull: coalesce set duri
n
g facet co
m
putation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_
c
o
ale
s
c
e: don't drop rational f
l
ag from
re
s
ult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
isl_tab_co
n
e_is_bounded: st
a
rt over after compu
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
v
en
V
erdool
a
ege
isl_
t
ab: drop isl_ctx
argum
e
nt
where not
absol
u
tely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
isl_mat: keep track of
is
l
_
c
tx
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoolaege
is
l
_basic_
s
et_sample: don't
p
r
oject out
l
ineali
t
y
spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_ma
p
_
f
ix_pos: mi
c
ro-o
p
timization
commit
|
commitdiff
|
tree
2009-07-15
S
ven Ve
r
doo
l
a
e
ge
move
isl_bas
i
c_set_skew_to_pos
i
tive_orthant
t
o
isl_s
a
mple
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_
t
ab
.
c: fix t
y
po in
c
o
m
men
t
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
is
l
_basic_set_sample: break early
i
f sam
p
le found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oo
l
aege
e
x
port i
s
l_ta
b
_sample_is_
i
n
t
eger
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdo
o
laege
is
l
_basic_s
e
t
_
sample:
c
h
eck sample stored by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_map_is_empty: rem
o
ve stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
ad
d
isl_p
o
ly
h
edron_samp
l
e applicat
i
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
Verdool
a
ege
introduce gene
r
alized bas
i
s
redu
c
t
i
on based s
a
m
pling
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdoolaege
ad
d
isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ve
r
doolaeg
e
i
s
l
_sample
.
c: interval_s
a
mple
:
drop
r
edundant ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
is
l
_sampl
e
.
c: c
l
ean up handling of lineal
i
ty
s
pace
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
e
ge
i
s
l_s
a
m
p
le
.
c
:
extract
o
ut sample_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ve
r
d
oo
l
ae
g
e
isl_sample
.
c: in
t
erva
l
_sample:
h
andle equalities
d
irectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_
s
ample
.
c: extract out empty_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
erdoo
l
aege
isl_sample
.
c: generalize po
i
nt_sa
m
ple to zero_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_tab
:
don't cre
a
te new undo records duri
n
g rollback
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
s
l_tab_min: use general
r
ollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
i
s
l_tab: opti
o
nally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
i
s
l_tab
:
ad
d
is
l
_
t
a
b_a
d
d_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
export
i
sl
_
tab_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdo
o
laege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
p
riva
t
el
y
expo
r
t isl_basic_set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
e
ge
isl_convex_hull
.
c: add miss
i
ng as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
priv
a
tely
e
xport
i
s
l
_
basic_
s
et_line
a
l
it
y
_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
v
ec: keep t
r
ack o
f
i
s
l
_
ct
x
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoolaege
i
sl_coales
c
e
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdoolaege
up
d
ate pi
p
lib
f
or
change
i
n configure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolae
g
e
i
s
l_basic_map_dro
p
_redundant_
d
i
v
s: co
a
l
e
sce
d
iv
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_dr
o
p_red
u
ndant_
d
ivs:
set div
e
x
p
ression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
d
o
o
laeg
e
isl_basic_map_drop_redundant_divs:
drop mor
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdo
o
la
e
ge
i
sl_map
_
c
ompute_divs: drop obviou
s
ly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en V
e
rdoolaege
isl_map_piplib
.
c: extremum_on: detect
e
qual
i
ties first
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolae
g
e
isl_pi
p
_basic_map_compute
_
divs: rem
o
ve s
o
me equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl
_
pip_basic
_
m
a
p_compute_divs:
se
p
arate
o
ut dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoola
e
ge
isl_basi
c
_set_preimage: ha
n
dle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omeg
a
.
c: make variabl
e
_{f
r
ee,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
o
o
laege
isl_map
.
c: ma
k
e add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
i
sl_ba
s
ic_map_simpl
i
fy: detect d
i
v cons
t
raints wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_b
a
s
i
c
_
map_d
r
o
p
:
properly handle dimensions of
t
y
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add
i
s
l_int_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rd
o
olaege
add
isl_s
e
q_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
add isl
_
seq_fdiv
_
r
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
is
l
_
b
asic_map
_
detect_equal
i
ties: pr
o
perly handle em
p
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Ver
d
oo
l
aege
i
s
l_basic_m
a
p_is_empt
y
: e
x
p
licitly mark basi
c
sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c:
order
_
d
ivs:
s
wap
w
it
h
co
r
rect div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
erdo
o
l
a
ege
isl_map_coa
l
es
c
e: re
m
ove extr
a
divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
e
n Verdoolaege
add is
l
_map_coale
s
c
e
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add i
s
l_set_
p
r
o
d
uct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export
i
sl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_c
o
n
v
ex_hull:
h
an
d
le
unboun
d
e
d
, bu
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
laege
privately
expo
r
t
i
sl_ma
t
_un
i
modular_comp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
isl_ta
b
.
c: add isl_ta
b
_get_sample_valu
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aege
isl_map_convex
_
hu
l
l:
a
v
oid introdu
c
ing linea
l
i
t
y s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
add two more convex hu
l
l t
e
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
is
l
_m
a
p
_convex_hull
:
remove
l
i
neality spac
e
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
ad
d
isl_bas
i
c_se
t
_is
_
unive
r
se
commit
|
commitdiff
|
tree
next