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_mat: keep track of isl_ctx
2009-07-16
Sven
V
erdoolaege
i
sl_ma
t
: keep trac
k
of isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n
V
erdoolaege
isl
_
basic
_
s
et_sampl
e
:
d
on'
t
project out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_basic_map_fix_pos: micro-optim
i
z
a
tio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rd
o
ola
e
ge
m
ove isl_basic_s
e
t_skew_
t
o
_
positive
_
orthant to is
l
_
s
ample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoola
e
ge
isl_tab
.
c
:
f
ix typo in
co
m
me
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rd
o
olae
g
e
isl_b
a
sic_set_
s
ample: break early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
e
x
p
or
t
isl_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_sampl
e
: check sample store
d
by i
s
l_bas
i
c_m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_basic
_
map_is_empty: remove
sta
l
e
s
a
mple
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add
i
sl_polyhedron_sample ap
p
licati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verd
o
olaege
i
n
t
roduc
e
generalized
b
asis reducti
o
n based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verd
o
ol
a
ege
ad
d
isl_seq_
c
div_q
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
doolae
g
e
isl_sam
p
le
.
c: in
t
erval_sample:
dro
p
redundant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolae
g
e
isl_sampl
e
.
c: c
l
ean u
p
handl
i
ng of lin
e
a
l
ity space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolae
g
e
i
sl
_
sa
m
ple
.
c: extract
out
s
amp
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_sample
.
c: interval_sample: handle equalities
d
irect
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoola
e
ge
isl_sample
.
c: extract out
e
mpty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_sample
.
c:
ge
n
er
a
lize point_sampl
e
to zer
o
_sam
p
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: don't
c
reate new undo records
d
uring
r
ollb
a
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab
_
min: use genera
l
rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_tab: optional
l
y
save dual solution
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
isl_tab: add
isl_tab_ad
d
_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
export is
l
_tab_
a
l
l
oc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rd
o
o
l
aege
a
dd
i
sl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
r
ivate
l
y export
i
sl_basic_set_rec
e
ssion_
c
on
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
i
s
l_co
n
vex_hu
l
l
.
c:
add miss
i
n
g
a
s
sign
m
ent
commit
|
commitdiff
|
tree
2009-07-13
S
ven
V
er
d
oolaege
privately expor
t
isl_basic_set_lin
e
a
l
ity_space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oolaege
isl_vec: keep
track o
f
isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verd
o
olaege
i
sl_coales
c
e
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
en Ver
d
oolaege
update
p
i
p
lib for chan
g
e in c
o
nfig
u
re argume
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_m
a
p_drop_redundant_
d
iv
s
: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basi
c
_map
_
drop_r
e
dundant_divs: set
d
iv expre
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
is
l
_basic
_
map_drop_redun
d
ant_divs:
d
r
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_map_comp
u
te_divs:
d
r
o
p obviously redundan
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
i
s
l_ma
p
_piplib
.
c
: extre
m
u
m_
o
n: detect equaliti
e
s fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
pip_basic_map_comp
u
te
_
d
ivs: remove so
m
e equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_pip_basic_m
a
p
_
c
o
mpute_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdo
o
l
aeg
e
i
s
l_basic_set_p
r
eimage:
h
andle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c
:
make var
i
ab
l
e_{free,new} st
a
t
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoola
e
ge
isl_map
.
c: make add_divs sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
ool
a
e
g
e
isl_basi
c
_map_sim
p
l
i
f
y
:
d
e
tect
d
iv
constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
basi
c
_map_drop:
p
roperly han
d
le dime
n
sio
n
s of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int_m
u
l_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
a
d
d is
l
_se
q
_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdool
a
ege
isl_basic_ma
p
_detect
_
e
qualiti
e
s:
p
roperly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_basic_map_i
s
_empty: expl
i
citly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
i
s
l_ma
p
.
c: order_divs:
s
wap with
c
orrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_
m
ap_coalesce: re
m
ove ext
r
a divs introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdool
a
ege
add isl_ma
p
_coale
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven Ve
r
d
o
olaege
add isl
_
set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Ver
d
oolae
g
e
export
isl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
i
s
l
_
map_convex_hull:
h
a
n
dle unbounded, but
p
oint
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
privately export isl_mat_unimod
u
l
ar_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ver
d
oolaege
isl_ta
b
.
c:
add isl_tab_g
e
t_s
a
mpl
e
_
v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
sl_map_
c
onvex_h
u
ll: avo
i
d
introducing lineality
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add two more convex
h
u
ll test cases
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Ver
d
oolaege
isl_map_convex_h
u
l
l
: rem
o
v
e
l
ineality
s
pace if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoola
e
ge
add isl_b
a
sic_set_is_unive
r
se
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdo
o
la
e
g
e
a
d
d is
l
_
set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
s
l
_
convex_hull
.
c
:
u
pdate wrap_facet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
s
l
_convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n
V
erdoolaege
isl_coalesce
.
c: fix typo i
n
c
omment
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdool
a
ege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
ol
a
ege
configure
.
i
n
:
s
e
t
AC_CONFIG_MAC
R
O
_DIR
commit
|
commitdiff
|
tree
2009-03-23
S
ven
Verdoola
e
ge
add isl_basic
_
set_g
e
t_
d
im
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Ve
r
doolaeg
e
isl_basic_map_gist:
n
ormaliz
e
di
v
s (
i
f any
)
i
n contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_basic
_
map_simplify: remove du
p
licate
d
ivs
b
efore
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ve
n
Verdo
o
laege
add isl_basi
c
_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
o
laege
change calling
c
onvention of isl_basic_map_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
S
v
en
Verdoolaege
isl_map
_
simplify
.
c: uset_gis
t
:
b
r
e
ak early if
t
here
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
e
r
dool
a
e
ge
isl_map_simplify
.
c:
u
s
e
t
_gist: bre
a
k early if
i
ntersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
add
isl_basic_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verd
o
olaege
update
pipl
i
b to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdo
o
laege
isl_tab
.
c:
s
tore nu
m
ber o
f
equalities among the constrai
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_mat_exte
n
d:
p
roperly extend m
a
trices
w
ith reo
r
d
e
red
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_gist: ha
n
dle some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaeg
e
a
d
d
i
sl_map
_
un
i
verse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_bas
i
c
_
map_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
is
l
_basic_map_gist:
repla
c
e
by new
versi
o
n bas
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
e
g
e
isl_m
a
p
_
simplify
.
c
: compute_elimination_index:
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
o
laege
a
dd i
s
l_
m
a
p_implicit_e
q
ualities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add
i
sl
_
bas
i
c
_
s
et_f
r
ee
_
equality
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map_convex_hull:
m
a
r
k
result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_hull
:
c
oalesce
set first
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oo
l
aege
add isl_s
e
t_coale
s
ce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
la
e
ge
isl
_
inp
u
t
_omega
.
c: basic_m
a
p_read:
a
ccept "+" in constraint
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Ve
r
dool
a
ege
add isl_basi
c
_se
t
_
alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl_set_align_di
v
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
uset
_
affine_hull:
i
gnore dire
c
tions in
a
ffine hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_ba
s
ic_map_implicit
_
equa
l
ities: perform Gaus
s
ia
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
is
l
_affi
n
e_hull
.
c: outside_point
:
ch
e
c
k
for
o
bvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoo
l
aege
priv
a
tely
e
xport isl
_
basic_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
i
sl_ctx: add
negon
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
do
o
la
e
g
e
isl_vec_d
u
mp: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olae
g
e
isl
_
affi
n
e_hull
.
c:
extract
u
set_affin
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_mat_transp
o
s
e
: handle
n
on-rectangular matr
i
ces
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
ma
p
_
simple_hull: comp
u
te
affine
h
ull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdo
o
l
a
ege
isl_map_simple_hull: mark r
e
sult as not
h
aving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
add isl_
s
e
t
_bounded_
s
i
m
ple_hull
commit
|
commitdiff
|
tree
next