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_basic_map_drop_redundant_divs: also investigate divs that have a definition
2009-08-28
Sven Verdoo
l
aege
isl_basic_map_
d
rop_redun
d
a
n
t_divs: also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_a
p
ply_
{
domain,range}:
d
r
op redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_map
_
simplify
.
c:
fix typo in
c
o
mment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
i
sl_basic_set_project_out: d
r
op redun
d
a
n
t divs in
r
e
sult
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
la
e
ge
isl_basic_
m
ap_remove: only drop divs if bas
i
c map di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Ver
d
oolae
g
e
is
l
_basic_map
_
det
e
ct_equalities
:
explicitl
y
keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Ver
d
oolaege
i
s
l_basic_
m
ap
_
extend_dim
:
keep hold of sample if di
m
e
ns
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_tab_min:
r
ead off all information
from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdo
o
l
a
eg
e
isl_tab_add_va
l
id_eq: keep track of whether equali
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
config
u
re
.
ac: no longer use
p
iplib by defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olae
g
e
add an
i
nternal parametric integer l
i
n
ear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat_exte
n
d: make
sure t
h
e numbe
r
of
r
o
w
s
never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_affine_hull
.
c: onl
y
construct aff
i
ne hull in
bo
u
nde
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
e
ge
is
l
_tab: add
s
u
ppor
t
for keeping tr
a
ck of sampl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
is
l
_t
a
b: option
a
lly
keep tra
c
k
of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
isl_
t
ab: add
i
sl_basic_se
t
f
i
e
ld for opti
o
nally keepin
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaege
isl_tab:
in
t
roduce sup
p
ort f
o
r
"big pa
r
ameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
i
s
l
_tab
:
allow introdu
c
ti
o
n of e
x
tra variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
V
e
rdoolaege
i
sl_tab: i
n
tro
d
uce para
m
eters a
n
d
d
i
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoo
l
aege
i
sl_tab
.
h:
f
ix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
isl_
t
ab: all
o
w savin
g
an
d
rest
o
ring t
h
e
co
m
plete basis
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
e
g
e
isl_tab:
privately export some functiona
l
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl
_
tab: sto
r
e
undo argu
m
ent in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
a
dd isl_basi
c
_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
priv
a
tely e
x
p
ort
isl_basic_se
t
_order_d
i
vs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoo
l
aege
isl
_
m
ap_s
i
mpli
f
y
.
c: remove_dependent_vars
:
only
remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
b
asic_m
a
p_c
o
m
p
ute_divs: use isl_b
a
s
ic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_pip_basic_map_compu
t
e_divs: do
n
't turn divs int
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
priva
t
ely
e
x
p
o
r
t isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
do
o
laege
isl_{set,map}_a
d
d: don't add obviously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
co
m
bine isl
_
pip_basic_map_lex{min,
m
a
x
} into isl_pip_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
make pipli
b
headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_mat: keep track
of th
e
a
ctual nu
m
b
e
r
of
c
olumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab_
p
ivot
:
fix typo
that prevented normal
i
zation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
add i
s
l_
b
a
sic_set_
p
o
sitive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
add
i
s
l
_
b
asic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ren
a
m
e
isl_
b
a
sic_map_l
e
x{min,m
a
x} to isl_basic_map_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_basic_s
e
t_fre
e
_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
a
e
g
e
is
l
_set_dim: support
i
sl_
d
im
_
all
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab: store index of va
r
iable
in undo
reco
r
d
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
isl_{set
,
map}_g
r
ow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add isl
_
ma
p
_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
laege
add i
s
l_basic_map_
g
et_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
a
d
d isl_
t
ab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export i
s
l_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Verdoolaege
i
s
l
_
tab
.
c: mark_re
d
u
nda
n
t: only mark
v
ariable n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
r
d
ool
a
ege
is
l
_tab
.
c: to_row: allo
w
pivoti
n
g in arbitr
a
ry direction
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ve
r
dool
a
ege
is
l
_tab
.
c: simplify c
o
de by letting mark_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
add isl_s
e
q_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doo
l
a
ege
i
sl
_
t
ab
.
c: s
i
m
p
l
i
fy add_e
q
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
l
aege
i
sl
_
t
ab
.
c: extract alloca
t
e_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
priv
a
tely export isl_basic_set_
s
et_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
doolaege
con
f
ig
u
re
.
ac: explicitly set
A
C_CONFIG_A
U
X_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
erdoolaege
convex_hu
l
l
: coalesce
set duri
n
g facet
c
o
mputat
i
on
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
isl_map_coalesce: don't drop ratio
n
al flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
e
r
d
oolaege
isl_tab_cone_is_boun
d
ed: s
t
a
r
t over after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
is
l
_basic_set_d
i
m_residue_class: only set *m
o
dul
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Ve
r
doolaege
a
d
d
i
sl_b
a
sic_set_fast_dim_is_
f
i
xed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verd
o
o
laege
isl_tab: drop is
l
_ctx
argu
m
ent wher
e
not absolu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
o
o
laege
isl_mat: keep trac
k
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoolaege
isl_
b
asic_set_sample: don't
p
roject ou
t
l
ineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_m
a
p_fix_pos: mi
c
ro-o
p
timi
z
ati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move i
s
l_basic_set_skew_to_pos
i
t
i
v
e
_
orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
i
sl_tab
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_b
a
sic_set_s
a
m
ple: break early if sample f
o
und in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verd
o
olaege
export isl_tab_sample_is_i
n
teger
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
olaege
i
s
l_
b
a
s
ic
_
set_sample: c
h
ec
k
sample sto
r
ed by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doolaege
is
l
_basic_map_is
_
e
mpty: remove
s
tale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
g
e
add
isl_polyhedro
n
_sample applic
a
tion
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoola
e
ge
in
t
roduce gene
r
aliz
e
d basis reduction ba
s
ed
s
ampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
dd isl_
s
eq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_sample
.
c: interval
_
sample: d
r
op redundant
argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
isl
_
s
ample
.
c
:
clean up handling of lineality
s
pa
c
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
e
rd
o
olaege
is
l
_sample
.
c
: extract out sample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: inte
r
val_sample: handle equalities direc
t
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_s
a
mple
.
c:
extract o
u
t emp
t
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_sample
.
c: generalize point_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_tab: don'
t
create new undo r
e
cords du
r
ing rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_t
a
b_m
i
n: use general rollback mechan
i
sm
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoo
l
aeg
e
is
l
_tab:
o
ptionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
i
sl_tab: ad
d
i
s
l_tab_add_va
l
i
d
_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdoolaege
export is
l
_
t
a
b
_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
a
dd isl_int
_
le
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
priva
t
e
ly expor
t
isl_basi
c
_set_recession
_
cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_convex_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
priva
t
ely
e
xpor
t
isl_
b
asic_set_lineality_
s
p
ace
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoo
l
aege
isl_
v
ec: keep t
r
ack o
f
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
do
o
l
a
ege
update p
i
plib for chan
g
e
in config
u
re arguments
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verd
o
olaeg
e
isl_basic_m
a
p
_drop_
r
edundant_divs: c
o
alesc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoo
l
aege
isl_basic_map_drop_red
u
ndant_divs
:
set div e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_re
d
unda
n
t
_divs:
d
r
op more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laeg
e
isl_map_compute_divs: d
r
op
obvious
l
y
red
u
ndan
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ver
d
oolaeg
e
i
s
l
_map_piplib
.
c: extrem
u
m
_
o
n: detect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdool
a
ege
isl_pip
_
b
a
sic_map
_
compute_divs: remo
v
e
some equal
i
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_pi
p
_basic_map_compute_d
i
vs: separate out dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doo
l
aege
isl_ba
s
ic_s
e
t_preimage
:
han
d
le di
v
s in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
is
l
_i
n
put_
o
mega
.
c: make
v
ariable_{free,new} s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_map
.
c: ma
k
e a
d
d
_di
v
s static
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verdoolaeg
e
isl_basic_map_simp
l
ify: detect div constraint
s
w
h
ile
.
.
.
commit
|
commitdiff
|
tree
next