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 Verdoola
e
ge
introduce g
e
neralize
d
basis reductio
n
b
ased sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oola
e
g
e
add
i
s
l_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
isl
_
sample
.
c
:
i
n
terval_sample: dr
o
p r
e
dundan
t
argument
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aege
is
l
_sample
.
c: c
l
ean u
p
h
a
ndl
i
n
g
o
f
linealit
y
space
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdo
o
laege
isl_sample
.
c: extra
c
t out s
a
mp
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
er
d
oolaege
isl_sam
p
l
e
.
c:
i
nterv
a
l_sample: handle equalit
i
es
directly
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
r
doolaege
i
sl
_
sa
m
p
le
.
c: e
x
tract out empty_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sam
p
le
.
c: generaliz
e
point_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoo
l
aege
i
s
l_ta
b
: don't create new undo records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl
_
tab_min:
us
e
g
e
ne
r
al rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: optionally save dual solutio
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l_ta
b
: ad
d
isl_tab_add_valid_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdo
o
laege
export isl_tab_
a
lloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
Verd
o
ol
a
ege
privately e
x
port isl_basi
c
_s
e
t
_
recessio
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_conv
e
x_hull
.
c: add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdo
o
laeg
e
priv
a
tely export
isl
_
basic
_
set_l
i
neality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoo
l
aege
isl_v
e
c: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Verdoo
l
aege
i
sl_
c
o
alesce
.
c
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n
V
erd
o
olaege
u
pdate piplib for change in configure a
r
gumen
t
s
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_basi
c
_map_drop_redundant_div
s
:
coale
s
c
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_
m
ap_dr
o
p
_
redundant_divs: set di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Ve
r
doolaege
isl_
b
as
i
c_map_dr
o
p
_
r
ed
u
nd
a
nt_divs:
d
rop m
o
re kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_map_
c
o
m
p
ute_divs: drop obv
i
o
u
sly redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
rd
o
o
laege
i
s
l_map_
p
iplib
.
c: ext
r
emum_
o
n
: detect eq
u
a
l
itie
s
fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_b
a
sic_map_com
p
ute
_
divs
:
r
e
move so
m
e
equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
laege
isl_pip_basic_ma
p
_compu
t
e_d
i
vs
:
separate out dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n V
e
rdool
a
e
g
e
isl_basic_set_p
r
e
imag
e
: handle
d
i
v
s
i
n in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ve
r
do
o
laege
i
s
l
_input_o
m
ega
.
c: ma
k
e var
i
a
ble_
{
free,new}
sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_map
.
c:
make add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl
_
basic_map_simplif
y
: detect div constra
i
nts whil
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verd
o
olaege
isl_basic_map
_
d
rop:
properly ha
n
dle dimensio
n
s of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
er
d
ool
a
e
g
e
ad
d
isl_
i
nt_mu
l
_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
add isl_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
V
erdool
a
ege
add is
l
_seq_
f
div_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_ba
s
ic_m
a
p_detect_e
q
ualities
:
p
roperly
handle e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_ba
s
i
c
_map_is
_
empty: explicitly m
a
rk basic
s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c
: order_
d
ivs:
s
w
a
p with correct d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map_coalesce: remove extra divs introd
u
ced by isl
_
map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Ve
r
dool
a
ege
add isl_
m
ap_coal
e
sce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolae
g
e
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdo
o
laege
isl_m
a
p_convex_h
u
ll
:
ha
n
dle unbo
u
nded, but
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verdoolaege
pr
i
vately export isl_
m
at_unimodul
a
r
_comp
l
ete
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoolaege
i
sl_ta
b
.
c:
a
dd isl_tab_ge
t
_sa
m
ple_
v
alue
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verd
o
olaege
isl_map_convex_hull: avoid
introdu
c
ing linealit
y
s
pa
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
add two more con
v
ex h
u
ll test c
a
ses
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l_ma
p
_
convex_hu
l
l: remove l
i
neality
sp
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoolaege
add is
l
_bas
i
c_
s
et_
i
s_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
add isl
_
s
et_get
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdool
a
ege
isl_convex_
h
u
ll
.
c
: u
p
date wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
i
sl_convex_hull
.
c
:
fi
x
ty
p
o
in co
m
m
e
nt
commit
|
commitdiff
|
tree
2009-05-05
S
v
en V
e
rdoolaege
is
l
_coale
s
ce
.
c:
f
i
x
t
ypo in
c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_tab
.
c: fix typo in
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaeg
e
configure
.
in: set
A
C
_CONFIG_MAC
R
O
_
DIR
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
doolaege
add
i
sl
_
basic_set_g
e
t_
d
i
m
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_gis
t
: normali
z
e divs (
i
f any) in
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic_map_simplify
:
remo
v
e duplicate div
s
be
f
ore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
Ver
d
oolaeg
e
add isl
_
ba
s
ic_se
t
_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
c
hange calling conventi
o
n
o
f isl_
b
a
s
ic_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl
_
map_simpl
i
f
y
.
c: uset_gist: br
e
ak ea
r
ly i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_s
i
m
plify
.
c: u
s
et_gist:
b
rea
k
earl
y
i
f
int
e
rs
e
ction
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oola
e
ge
add isl_
b
a
s
ic_se
t
_fast_
i
s_em
p
ty
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoola
e
g
e
u
pdate piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_tab
.
c: store num
b
er of equalities amo
n
g the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_extend:
properly
extend matr
i
c
e
s
with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
laege
isl_map_gist
:
handle
so
m
e
s
p
ecial ca
s
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
add isl_m
a
p_univers
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
add isl_
b
asic_m
a
p_fas
t
_is_em
p
ty
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
e
r
doolaege
isl_ba
s
i
c
_map_gist:
replac
e
b
y new v
e
rsion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_map
_
simplif
y
.
c: compute_elimi
n
atio
n
_
index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
add isl_map
_
i
m
plicit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
add isl_basic_set_f
r
ee_eq
u
ality
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
isl_m
a
p
_
co
n
vex_hull: mark result a
s
not
h
a
v
ing any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
co
n
vex_hull: coalesce s
e
t first
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verd
o
olaege
add isl_set_coa
l
esce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
a
e
g
e
isl
_
i
n
put_
o
mega
.
c:
basic_
m
ap_
r
ead: accept "+" in
constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
ad
d
isl_basic_s
e
t_allo
c
_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_
s
et_align_d
i
vs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
u
s
et_affine_hu
l
l: igno
r
e directions in af
f
ine h
u
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoo
l
a
ege
isl_
b
asic_map_implicit_equa
l
ities: perform Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_a
f
fine_hull
.
c
: outside_poin
t
:
c
he
c
k for
o
b
v
iou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erdoolaege
privately export is
l
_basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
isl_ctx: add neg
o
ne
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoo
l
aege
isl_v
e
c_
d
ump: han
d
le NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_
a
ffine_hull
.
c: ex
t
ract us
e
t
_affi
n
e_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
i
s
l_mat_tra
n
spose: h
a
ndle n
o
n-rectangular
m
atr
i
ces
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdool
a
e
g
e
isl_map_simple_hull: comp
u
t
e affine hull be
f
ore
a
ligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
is
l
_map_simple_hull: m
a
rk re
s
ul
t
as not h
a
v
i
n
g a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ver
d
oolaege
add
i
sl_
s
et_bounded
_
sim
p
le_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
s
l_map_affine
_
hull:
de
t
ect equalities
o
f
integer aff
i
ne
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_b
a
sic_map_dup
:
copy
flags of
original to
d
uplicat
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaege
is
l
_basic_map_extend_dim: mo
v
e responsibi
l
ity of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doola
e
ge
i
s
l_b
a
s
i
c_map_extend_dim
:
o
nly
extend constraint ma
t
rix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
eg
e
isl_solv
e
_lp:
u
se tab
l
ea
u
s instead
o
f call
i
ng pip
l
ib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solve_lp: accep
t
a
f
fine object fu
n
ction instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_
m
ap_simpl
e
_hull: use
h
a
sh ta
b
les an
d
tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
do
o
laege
is
l
_c
o
nvex_hull
.
c: ext
r
act out uset_si
m
ple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
i
sl_convex
_
hull
.
c: e
x
t
end:
a
void wrapping arou
n
d a
l
ready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_conv
e
x_hul
l
.
c: introduce proto
_
h
u
ll based
on obvious
.
.
.
commit
|
commitdiff
|
tree
next