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
Sve
n
Ver
d
oolae
g
e
isl_basic_map_drop_
r
ed
u
ndan
t
_divs: al
s
o i
n
vestigat
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_map_appl
y
_{domain,range}: dr
o
p redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_map_si
m
p
lify
.
c
:
fi
x
typ
o
i
n co
m
ment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
isl_ba
s
ic_
s
et_
p
rojec
t
_ou
t
: drop redund
a
nt divs in
r
es
u
lt
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_
b
asic_m
a
p
_
r
emove: only drop d
i
vs if ba
s
ic
m
a
p did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
Verdoolaege
i
s
l_basic_map_detect_equal
i
tie
s
: explicitl
y
ke
e
p
t
r
a
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoola
e
g
e
isl
_
basic_map_e
x
tend_dim: ke
e
p hold of sample
if d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven
V
erdoola
e
ge
isl_tab_min:
r
e
a
d o
f
f all information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
en
V
erd
o
olaege
isl_tab_add_valid_eq: keep
t
rack of whether equalit
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
configure
.
ac: no longer us
e
piplib by default
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add
a
n
i
n
ternal
parametric in
t
e
g
e
r
linear prog
r
am sol
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ma
t
_
extend: make sure the number
o
f rows n
e
ver
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
a
e
ge
i
sl_affine_h
u
ll
.
c: only construct a
f
fine h
u
l
l
in
bo
u
nded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab
:
add support for keeping track of sa
m
ples
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_
t
ab: optionally
keep
t
rack of row si
g
ns
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
isl_tab: add
i
sl_ba
s
i
c
_se
t
fie
l
d for
o
ptionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
isl_tab: int
r
oduce support for "b
i
g
parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab: allow intro
d
uction
o
f
e
xtra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
sl_tab: introduce p
a
rameters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h: fix
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
i
s
l_tab: allow saving
and restoring the comp
l
ete basis
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: privately exp
o
rt some fun
c
tional
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
isl_
t
a
b:
s
tore undo argument i
n
a uni
o
n
for
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_ba
s
ic_se
t
_sample_boun
d
ed
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
pri
v
ately export
isl_basic_se
t
_
o
r
der_di
v
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_map_s
i
m
plify
.
c: remove_dep
e
ndent
_
vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
sl_basic_m
a
p
_compute_divs: u
s
e
i
sl
_
basic_
s
et
_
lex
m
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_pip
_
basic_map_compute_divs:
d
on't
turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
privately expo
r
t isl_basic_map_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
isl_{set,map}_add: don't
a
dd obv
i
ously empty bas
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
d
oolaege
com
b
ine i
s
l_pip_
b
a
s
ic_map_lex{mi
n
,ma
x
} into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doola
e
ge
m
a
ke piplib header
s
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_mat: keep track of the act
u
al number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_tab_pivot: fix typo that pr
e
vented
n
ormalization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
ege
add isl
_
basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolae
g
e
a
dd isl_basic
_
set_
p
art
i
al_lex{min,max
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
r
e
name isl_bas
i
c_map_lex{min,
m
a
x}
t
o isl_basic_map_partial
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
isl_set_dim: support isl
_
di
m
_all
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
r
doola
e
g
e
isl_tab: store
index of variable
in undo record ins
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add
isl_{set,map
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add isl_map
_
get_dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
a
dd isl
_
b
a
s
i
c_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaege
add isl_t
a
b
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdool
a
ege
isl
_
t
ab
.
c: mark_redundant:
only m
a
rk variable
nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdo
o
lae
g
e
isl_
t
ab
.
c: to_
r
ow:
a
ll
o
w pi
v
oting i
n
ar
b
itrary directi
o
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
s
l_tab
.
c: simplify code by
letting mark_empty
return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
a
dd isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl_tab
.
c: s
i
mplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolae
g
e
isl_tab
.
c: extract
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verd
o
olaege
privately export isl_basic_se
t
_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac: exp
l
icit
l
y set AC
_
CONFIG
_
AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven
Ve
r
doola
e
g
e
convex_hull: coalesce se
t
durin
g
f
a
cet compu
t
ati
o
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
ol
a
ege
isl_ma
p
_coalesce: d
o
n't dr
o
p rat
i
onal flag from res
u
lt
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
isl_tab_cone_
i
s_
b
o
u
nde
d
: start over
a
f
t
er computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
e
r
doolaege
isl_basi
c
_set_dim_residue_class: only
s
e
t *
m
od
u
l
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
e
n Ver
d
ool
a
ege
add
isl_b
a
sic_s
e
t_fast_dim_is_fixe
d
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
e
r
d
o
o
l
a
e
g
e
isl_tab: drop isl_ctx ar
g
ument where not a
b
s
o
lutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaeg
e
isl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
ven
V
e
r
d
o
olaege
isl_
b
asic_set_sa
m
ple: don
'
t project ou
t
linea
l
i
t
y space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_basic_ma
p
_fix_
p
os: micro-optimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n
V
erdoola
e
ge
m
ove
i
sl_basi
c
_set_ske
w
_t
o
_positive_o
r
thant to is
l
_
sampl
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_ta
b
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
S
ven V
e
rd
o
olaege
isl
_
b
asic_
s
et_
s
ample: break early if s
a
mple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aege
ex
p
ort isl_tab_s
a
mp
l
e_is
_
i
nte
g
er
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verd
o
olae
g
e
isl_basic_set
_
s
a
mple
:
ch
e
ck
samp
l
e stored by isl_b
a
s
i
c_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdool
a
ege
isl_basi
c
_map_is_empty: rem
o
ve stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
add
isl_polyhedron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
in
t
rod
u
c
e generalized basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoo
l
aege
a
dd isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl_s
a
mple
.
c:
i
nterval_sa
m
ple: drop re
d
undant argument
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
ege
isl_sample
.
c: clean
u
p h
a
ndling
o
f lineali
t
y space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_sam
p
le
.
c
: extract out
s
a
m
p
l
e_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c:
i
nterval_
s
ample: handle equalities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c: e
x
tract out
e
m
p
ty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
isl_sample
.
c
: gene
r
a
li
z
e p
o
int_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_tab:
don't create new
u
ndo reco
r
ds during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab_min: use
ge
n
era
l
rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
i
sl_tab:
optionally sav
e
dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
o
o
l
a
ege
isl_tab: ad
d
isl_tab_a
d
d_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
e
x
port isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laege
a
dd
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
priv
a
t
ely export isl_
b
a
sic_set
_
r
ecession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
is
l
_convex_hull
.
c
:
add mi
s
sing as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
olaege
privately export isl_basic
_
s
et_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
isl_v
e
c: keep track of i
s
l_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven
Verdoolaege
isl_coalesce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update pi
p
lib
f
o
r
change
i
n configu
r
e arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl
_
b
a
s
ic_m
a
p_d
r
op_redunda
n
t_divs: coalesce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdo
o
laege
isl_bas
i
c_m
a
p_
d
rop_re
d
u
n
dant_divs: set div expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
basic_
m
a
p
_
drop_redundant_divs: dr
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
is
l
_
m
ap_com
p
u
t
e_di
v
s:
d
rop obviously redundant
div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_piplib
.
c: extremum_
o
n
:
detect eq
u
ali
t
ies first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
lae
g
e
isl_pi
p
_
basic_map_comput
e
_divs: rem
o
ve so
m
e equa
l
itie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_p
i
p_basic_map_compute_divs: s
e
parate ou
t
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basic_se
t
_preimage: handle divs
in in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
erd
o
olaege
isl
_
input_o
m
ega
.
c: make variab
l
e_{f
r
ee,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
en V
e
rdo
o
l
a
ege
isl_map
.
c:
make
a
d
d_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_
b
asic_
m
ap_simplif
y
:
dete
c
t di
v
constraints
w
hile
.
.
.
commit
|
commitdiff
|
tree
next