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
introduce generalized basis reduction based sampling
2009-07-15
Sven Verdoolaege
introduce generalized b
a
sis redu
c
tion based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
a
dd isl
_
seq
_
cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
ege
isl_sample
.
c: interval_sample:
drop redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
isl_sa
m
ple
.
c: cl
e
an up handlin
g
of lineality spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
isl_sam
p
le
.
c:
e
xtract
out sample_
e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
i
sl_s
a
mple
.
c
:
inte
r
val_sample
:
han
d
le
e
qualitie
s
di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl
_
sample
.
c
: extract ou
t
empty_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaeg
e
is
l
_samp
l
e
.
c: ge
n
e
r
a
lize point_sample to zer
o
_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
is
l
_ta
b
: don't create ne
w
undo
r
e
cords
during rollb
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoola
e
ge
isl_tab_min: use
gener
a
l
r
ollb
a
ck mec
h
a
nism
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_t
a
b: op
t
iona
l
ly sa
v
e
dual solution
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verdool
a
eg
e
isl
_
tab:
add isl_tab_add
_
valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
export isl_tab_al
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
a
ege
add
isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoo
l
aege
pr
i
vate
l
y expo
r
t isl_basic_
s
et_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
ola
e
ge
i
s
l
_co
n
vex_h
u
ll
.
c: add missing
a
ssi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pr
i
v
ately expo
r
t isl_basic_
s
e
t
_lineality_spa
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
is
l
_ve
c
: keep track of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coal
e
sce
.
c:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoolae
g
e
up
d
ate pi
p
lib
for cha
n
ge in configure argument
s
commit
|
commitdiff
|
tree
2009-06-11
S
ven
Ve
r
doolaege
is
l
_basic_map_drop_re
d
und
a
nt_divs: coale
s
ce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_b
a
s
i
c
_map_dr
o
p_redundant_divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdoolaege
isl_basic_map_drop_r
e
d
undant_divs: drop m
o
r
e
kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ve
r
doolaege
isl_m
a
p_comput
e
_
divs:
drop obvi
o
usly redund
a
nt d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
Verdoolaege
isl
_
map_pipli
b
.
c
: extremum_on: detect equalit
i
e
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_pip_basic
_
map_compute
_
d
ivs: remo
v
e s
o
me
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
doolaege
isl_
p
ip_basic_map
_
c
ompute_divs:
s
epar
a
te out dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_basic_set_preimage: han
d
le divs in i
n
pu
t
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
V
erdo
o
l
a
ege
i
s
l_input_omega
.
c
: m
a
ke variable_
{
fr
e
e,ne
w
}
s
t
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
Verdoolaege
isl_map
.
c: make a
d
d_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl_basic_
m
ap_simplify: detect div const
r
aints
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolae
g
e
isl_basic
_
map_drop: proper
l
y handle di
m
e
n
sions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
ad
d
isl_int_
m
ul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaeg
e
add
i
sl_seq_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
add isl_seq_f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n
V
erdoolaege
isl_
b
asi
c
_ma
p
_dete
c
t
_equ
a
litie
s
: prope
r
ly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdoolaeg
e
isl_basic_map_is_em
p
ty: e
x
p
l
icitly
ma
r
k ba
s
ic se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_map
.
c: order_divs: s
w
ap
w
ith correc
t
di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
o
olaege
isl_map
_
coalesce: remove extra divs intro
d
uced by
isl_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
o
l
a
e
ge
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verd
o
olaege
add
isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolae
g
e
e
x
port isl_
m
ap_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l
_map_co
n
vex_hull: handle unbounded, b
u
t pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
laege
priva
t
ely
exp
o
rt
i
sl_mat_unimod
u
l
ar_com
p
l
e
t
e
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoolaege
isl_tab
.
c: add is
l
_
t
a
b
_
get_sam
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_
c
onv
e
x_hull:
a
v
oid introducing lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
add two more convex
hull test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
lae
g
e
isl_map_convex
_
hull: remove line
a
lity space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
a
d
d isl_basic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verd
o
olaege
add i
s
l_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl
_
conv
e
x
_
h
ull
.
c:
up
d
at
e
wrap_facet to th
e
fa
c
t we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex
_
hull
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
o
o
l
aege
isl_coalesce
.
c: fi
x
t
ypo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
r
d
oo
l
aege
i
s
l_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
configure
.
in: set
A
C
_C
O
NFIG_MACRO_
D
IR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_s
e
t
_
get_
d
im
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolae
g
e
isl_b
a
s
i
c_map_gist: normal
i
ze divs (if any) in
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl_ba
s
ic_map_si
m
plify: remove
d
uplic
a
te div
s
b
e
f
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoola
e
ge
add
i
sl_
b
asic_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
e
g
e
change calling
convent
i
on o
f
isl
_
ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
o
la
e
ge
is
l
_map
_
simplify
.
c: uset_gist: break earl
y
if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoolae
g
e
i
s
l_map_s
i
mplify
.
c: uset_
g
ist: br
e
ak early if intersecti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
add isl_basic_s
e
t_f
a
s
t
_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
e
g
e
u
pdate piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
i
sl_tab
.
c
:
s
tore
n
umber
of equalities among the co
n
straints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_m
a
t_exte
n
d: pr
o
perly extend matrices with re
o
rder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_gist:
handle so
m
e
spec
i
al cases
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
a
dd isl_m
a
p_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_b
a
sic_map_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_b
a
sic_map_g
i
st: replace by new ver
s
ion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_map_simplify
.
c
:
compute_eliminatio
n
_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
olaege
add isl_ma
p
_implicit_equalit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
r
doolaege
add isl_b
a
sic_set_fr
e
e_e
q
ual
i
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_map_conv
e
x_hull: mark result a
s
not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laeg
e
convex_hull: coa
l
es
c
e s
e
t fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoola
e
ge
isl_input_ome
g
a
.
c: b
a
sic_map_read: a
c
ce
p
t
"+" in
constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_b
a
sic_se
t
_allo
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
ege
a
d
d isl_set_
a
lign_d
i
vs
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
u
set_affine_hull: ignore d
i
rect
i
ons in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_basic_map_implicit_equalities
:
p
e
r
f
o
rm G
a
ussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
oolaege
i
sl_affine_hull
.
c: outside_po
i
nt:
check for obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
privately expor
t
isl_basic_set
_
c
o
ntains
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoola
e
ge
isl_ctx
:
add n
e
gon
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl
_
vec_dum
p
: handle NULL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_affine_
h
u
ll
.
c: extract uset
_
a
f
fi
n
e_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolae
g
e
isl_mat_transpose: hand
l
e non-rec
t
a
ngular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoo
l
aege
isl_map_simple_hull: compute affine
h
ull
b
efore aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoo
l
a
ege
i
s
l_map_simple_hull: mark result as
not h
a
vi
n
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
o
l
aege
ad
d
isl_set_bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaeg
e
isl_map
_
affine_hu
l
l: de
t
ect equalities
of integer a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_m
a
p
_d
u
p: copy fla
g
s of origin
a
l to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
ool
a
ege
i
sl_b
a
sic_map_extend
_
d
im: move res
p
onsib
i
lity
o
f cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolaege
isl_basic_m
a
p_e
x
tend_
d
im:
only e
x
tend constraint ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
isl_solve_l
p
: use tableaus inst
e
ad
o
f
calling pipl
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_sol
v
e_l
p
:
a
cce
p
t
aff
i
ne object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_simple_hull: use hash
t
a
b
le
s
and tableau
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
d
o
o
l
a
ege
isl_convex_h
u
ll
.
c: extract out uset_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoola
e
ge
isl_convex_hull
.
c: extend: avoid wrapping aro
u
n
d
a
lready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
is
l
_convex_h
u
ll
.
c: introdu
c
e proto_hu
l
l
b
ased on obvious
.
.
.
commit
|
commitdiff
|
tree
next