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_set_sample: check sample stored by isl_basic_map_is_empty first
2009-07-15
Sven Ver
d
oolaege
isl_basic
_
set_sam
p
l
e
:
check
s
ampl
e
s
t
ored by isl_ba
s
i
c
_map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_ma
p
_is_e
m
p
ty: remove stale sa
m
ple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
e
ge
add isl_polyhedr
o
n_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
r
doolaege
i
n
troduce gen
e
ralized basis
reduc
t
ion ba
s
ed s
a
mpling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
ola
e
g
e
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
erdoolaege
i
s
l_sa
m
ple
.
c
: interval_sa
m
ple
:
drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_sample
.
c: clean up handling of
lineality
s
pace
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdoolaege
isl_
s
ample
.
c: extra
c
t ou
t
s
a
m
ple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
d
oolaege
isl_
s
ample
.
c
:
interval_
s
a
mple:
h
andle eq
u
alities directly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoo
l
a
e
ge
isl_sampl
e
.
c: extract out empty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_sample
.
c:
g
enerali
z
e point_sample to ze
r
o_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_tab: don't create n
e
w u
n
do
r
ec
o
rds d
u
ring rollback
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
doolaege
isl_tab_min:
u
s
e general rollbac
k
mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_tab:
o
pti
o
nal
l
y save dual solu
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
r
doolaege
isl_tab: add
isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
e
rdo
o
l
a
ege
export isl_t
a
b
_
a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
a
dd isl
_
int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erd
o
olaege
privately exp
o
rt
isl_basic_
s
e
t
_recession_
c
on
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_c
o
nve
x
_hull
.
c: add missing as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
privately export isl_bas
i
c_set_lineal
i
ty_space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_vec: keep t
r
a
c
k of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven V
e
rdo
o
laege
isl_coal
e
s
ce
.
c: fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdool
a
eg
e
u
p
date p
i
p
l
ib
f
or change in configure arguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
ae
g
e
isl_basic
_
map_
d
rop_redundant_div
s
:
c
oal
e
sce di
v
s if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
i
sl_ba
s
ic_map_dr
o
p_red
u
ndan
t
_d
i
v
s
:
set
d
iv expr
e
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_drop_redun
d
ant_divs: dr
o
p more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl
_
map_compute_div
s
: drop obvio
u
sly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
a
ege
isl_map_p
i
plib
.
c: extrem
u
m_on: detect
e
quali
t
ies first
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_pip_basic_map_compute_div
s
: remo
v
e
som
e
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_p
i
p_basi
c
_map_
c
omp
u
t
e
_
d
i
vs: separ
a
t
e
out di
m
ensio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_basic_set_preimag
e
: handle di
v
s in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl
_
input_omega
.
c: make variable_{free,ne
w
} static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoola
e
g
e
isl_map
.
c: make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
olaege
isl
_
b
a
sic_map_
s
i
m
plify: dete
c
t
div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erd
o
ola
e
ge
isl_basic_map_dr
o
p: properly handle dimen
s
ions of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Ve
r
do
o
l
ae
g
e
add isl
_
int_mu
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add isl_se
q
_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
o
o
laege
add isl_s
e
q_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdo
o
l
aege
is
l
_bas
i
c_map_detect_equalities: p
r
o
perly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
Ve
r
doolaege
isl_ba
s
ic_map_is_empty: explicitly
m
ark bas
i
c sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
isl_map
.
c: order_divs:
swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
r
doolaeg
e
is
l
_map
_
coalesce: re
m
o
ve extra divs int
r
oduced by i
s
l_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Ver
d
oolaege
add
i
sl_map
_
coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
Verdoolaege
a
dd isl_set_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdool
a
ege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoo
l
aege
isl_map_convex_hull: hand
l
e unbounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven
V
erdoolaeg
e
priv
a
te
l
y export
isl_ma
t
_uni
m
odular_comp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoo
l
aege
isl_t
a
b
.
c:
add isl_tab
_
get_sample_
v
alue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aeg
e
isl_map_convex_hu
l
l: avoid
i
ntrodu
c
i
ng lineal
i
ty spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add two mor
e
con
v
ex hull tes
t
cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_
m
ap_conve
x
_hul
l
: rem
o
ve lineality space if
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
ad
d
isl_basic_set_i
s
_uni
v
erse
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Ve
r
doolaege
add isl_set
_
get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex
_
hull
.
c: u
p
date wrap_facet to th
e
fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
dool
a
e
g
e
isl_convex
_
hull
.
c: fix typo
i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
i
s
l_coalesce
.
c: fix ty
p
o
i
n
comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
is
l
_tab
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
configure
.
in:
s
et AC_CONFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
a
d
d
i
sl_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_ba
s
i
c_map_gi
s
t: no
r
mal
i
ze
d
ivs
(if any) in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_
b
a
sic_map_si
m
p
l
ify: r
e
move duplicate divs
b
e
fore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
doola
e
ge
add
i
sl_basic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoolaege
ch
a
n
ge ca
l
ling con
v
ention of isl_basi
c
_map_div
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rdoolaege
isl_map_s
i
mplify
.
c: uset_g
i
st: break early if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
isl_ma
p
_si
m
p
lify
.
c:
uset_gist: break ea
r
ly
if intersecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
add isl_b
a
si
c
_set_f
a
st_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_tab
.
c: store n
u
mber of equalities a
m
ong
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
isl_ma
t
_ext
e
nd: proper
l
y extend mat
r
ices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_map_gist
:
handle some spec
i
al ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
add i
s
l_map_u
n
iverse
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oo
l
aege
add isl_basic_map_fast_is_empt
y
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
isl_b
a
sic_map_gi
s
t: r
e
pl
a
ce by new version bas
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
o
laege
isl_map_simpli
f
y
.
c: c
o
mpute_elimin
a
t
ion_index:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
l
aege
add
i
sl_map_implicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_basic_set_fre
e
_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_convex_hull: mark result as n
o
t hav
i
ng any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
conve
x
_hull: coalesce set
f
irst
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_set_
c
oalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
isl_input
_
o
m
e
g
a
.
c: basic
_
map_read
:
acc
e
pt "+
"
in constraints
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
do
o
laeg
e
add isl_basic_se
t
_all
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_
s
et_al
i
gn
_
divs
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoo
l
a
e
ge
uset_affine_hull
:
ignore directio
n
s in affine h
u
ll
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_ba
s
i
c_map
_
implicit_eq
u
alitie
s
:
p
erform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ol
a
ege
isl_affine_hu
l
l
.
c: outsid
e
_po
i
nt: check
for obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
privately export isl_basic_set_
c
ontains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
isl_ctx
:
add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_v
e
c_dump: ha
n
dle NUL
L
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_affine_hu
l
l
.
c: e
x
tract uset_affi
n
e
_
hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
ae
g
e
isl_mat_t
r
anspose: ha
n
dle non-rectangular matric
e
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
isl_map
_
simpl
e
_h
u
l
l
: compute affine hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdo
o
laege
is
l
_m
a
p
_s
i
m
ple_h
u
ll: mark
result as not
h
avi
n
g
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
a
d
d
isl_set_bounded_si
m
ple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_map_affine_hull: dete
c
t equalities of integer affi
n
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolae
g
e
isl_
b
asic_map_du
p
: copy
f
lags of
original
t
o dup
l
i
c
a
te
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_basic_map_
e
xten
d
_
dim: move respon
s
i
b
i
l
ity of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
ge
isl_basic_map_extend_dim: only
extend constr
a
int
m
atrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_solv
e
_lp:
use t
a
bleaus instead of calling pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solve_lp: accept affine
o
bject function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ma
p
_simple_hull: use hash tables an
d
tableaus
commit
|
commitdiff
|
tree
next