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_map_compute_divs: drop obviously redundant divs first
2009-06-11
Sven Verdoola
e
g
e
isl_map_compute_divs:
drop ob
v
iou
s
ly redundant div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
is
l
_map_pip
l
ib
.
c:
e
xtrem
u
m
_on: detect
e
qualities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_pip_basic_map_compute_divs:
r
emove some
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_p
i
p_basic_map_com
p
u
t
e_divs:
s
eparate out
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_
b
asic_set_preimage: handle divs in inpu
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdo
o
laege
isl_i
n
put_
o
mega
.
c: make variable_{free,
n
ew} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ver
d
oolaege
isl_m
a
p
.
c:
mak
e
add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolaege
i
s
l
_basic
_
map_simpl
i
f
y
: detect
div
c
onstraint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_drop
:
p
roper
l
y handle dim
e
nsions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
add
i
sl_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verd
o
olaege
a
d
d isl_s
e
q_f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
ad
d
isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_
m
a
p_dete
c
t_equalit
i
es: p
r
operl
y
handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Ver
d
oo
l
a
e
ge
isl_
b
asic_map_is_em
p
ty: explicitly mark
basic s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdo
o
l
a
ege
isl_map
.
c:
o
rder_divs: swap with correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_map_coales
c
e: remove e
x
t
r
a
divs introduced
by isl_m
a
p_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
v
en Verdo
o
laeg
e
add isl_ma
p
_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
olaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
e
x
port isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
i
s
l_map_co
n
vex_hull:
h
a
ndle unbounded, but
poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Verdoolaege
pri
v
ately expo
r
t isl_mat
_
unimodular_
c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rdoolaege
isl_tab
.
c: add isl_tab_get_samp
l
e_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_con
v
ex_hull: a
v
oid introduci
n
g
linea
l
ity spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoola
e
ge
a
d
d two more convex hull
t
est case
s
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
aeg
e
i
s
l_
m
ap_convex
_
hull: remove lineality
s
pace if a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoola
e
g
e
add
isl_basic_s
e
t_is_unive
r
s
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
dd
i
sl
_
set_get_d
i
m
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdo
o
laeg
e
isl_convex_
h
ull
.
c: update wr
a
p
_
fac
e
t to
t
he fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
i
s
l_conv
e
x
_hull
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ve
r
d
oo
l
aege
i
s
l
_
coalesce
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Verd
o
olaege
isl_
t
ab
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laege
configure
.
in: set A
C
_CONFIG
_
M
ACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaeg
e
add
is
l
_basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdool
a
ege
is
l
_
basic_map_gist:
n
o
r
m
alize divs
(
if any) in co
n
text
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
isl
_
b
asic_
m
a
p_si
m
plify
:
remove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
ad
d
isl_b
a
sic_set_di
v
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ve
r
d
o
ola
e
ge
cha
n
ge calling co
n
vention
of
isl_b
a
sic_map
_
div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdo
o
laege
isl_
m
a
p
_si
m
p
lify
.
c: uset_gist: break early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_map_sim
p
lify
.
c: uset
_
gist: br
e
a
k
early if
i
ntersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
o
o
laege
a
d
d is
l
_ba
s
ic_se
t
_fast
_
is_
e
m
p
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Ve
r
doolaege
update pipl
i
b to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
isl_tab
.
c: store numbe
r
o
f
e
q
u
a
lities amo
n
g the constrain
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
isl_mat_
e
xte
n
d: pro
p
erly extend
matr
i
c
es w
i
t
h re
o
r
der
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
o
l
aege
isl_map
_
gist:
h
andle some special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl_map_
u
niver
s
e
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_basic_map_fast
_
is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basi
c
_map_g
i
st:
r
eplac
e
by
new version b
a
s
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
map_sim
p
l
i
fy
.
c: comp
u
te_elimi
n
atio
n
_inde
x
: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aeg
e
add
i
sl_map_im
p
licit_equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
ad
d
is
l
_basic_set_free_
e
q
ual
i
ty
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
is
l
_map_convex_
h
ull: ma
r
k
result
as not having a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
c
onvex_hull:
c
oa
l
e
s
ce set fi
r
st
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
dool
a
ege
add isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_inp
u
t_omega
.
c: basic_ma
p
_
r
e
ad: acc
e
pt "+" in
constr
a
i
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laeg
e
add isl_ba
s
ic_s
e
t_
a
lloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laeg
e
add
isl_set_a
l
ign_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_affine_hull: ignore dire
c
tions i
n
affine hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolae
g
e
i
s
l_b
a
sic_map_impl
i
cit_equalities:
per
f
o
r
m G
a
u
s
sian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_a
f
fine_hull
.
c: outside_point: chec
k
f
o
r
ob
v
ious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
privately expor
t
isl_bas
i
c_set_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Ve
r
dool
a
eg
e
is
l
_ctx: add ne
g
one
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
is
l
_vec_d
u
mp: ha
n
dle
N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_affi
n
e_hull
.
c: extra
c
t
u
set_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_mat_transp
o
se: handle non-rectangu
l
ar matrice
s
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oolaege
isl_map_simple_hu
l
l: compute affine hull
befo
r
e aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_map_simpl
e
_h
u
ll: mark resul
t
a
s
not having
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_set_bounded_
s
imple_hul
l
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
isl_ma
p
_affine_hull:
de
t
ect
e
q
u
alities of integer af
f
ine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_b
a
sic_map_du
p
:
c
op
y
fl
a
g
s
of original
to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_ba
s
ic_
m
ap_
e
xtend_dim: move responsibility of c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_ba
s
ic_map
_
ex
t
end_dim: only extend con
s
t
raint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_solve_lp
:
use ta
b
leaus instead of calling pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solve_lp:
a
ccept affine
o
b
ject funct
i
on
instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
e
g
e
isl_map_simple
_
hull: use hash tab
l
es
a
nd tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_co
n
vex
_
hull
.
c
:
e
x
t
ract ou
t
us
e
t_simpl
e
_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
i
sl_convex
_
h
u
ll
.
c:
e
xtend: av
o
id wrapping
a
r
o
un
d
a
lready
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_conv
e
x
_
hull
.
c:
int
r
o
duce proto_
h
ull b
a
sed on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdool
a
e
ge
i
s
l_convex_hull
.
c
:
move initial hu
l
l cons
t
ruction
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl_convex_hull
.
c: mov
e
computation of boun
d
s into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
m
ap_convex_hull
:
c
h
eck
f
or boun
d
e
dn
e
ss
using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
isl_basi
c
_map_
c
onv
e
x_h
u
l
l: use tab
l
eau to det
e
ct r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_af
f
ine_hull
.
c: use tab
l
eau to
d
etect
implicit
equ
a
lit
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c: don't detect equalitie
s
while set
t
ing up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
laege
add int
e
rnal representa
t
ion
o
f
L
P tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_mat_extend
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
e
rdoolaege
add is
l
_se
t
_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
oo
l
aege
privately export isl_b
a
sic_{set,map}_no
r
mali
z
e
_cons
t
rain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
add i
s
l_basic_set_exten
d
_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl
_
bas
i
c_map_eliminate_v
a
r
s
:
clear divs fi
r
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_map_elim
i
n
a
t
e_vars: remove all
dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
ool
a
e
ge
add isl_hash_t
a
ble_alloc and isl_
h
ash_
t
a
ble
_
f
r
ee
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl
_
ha
s
h
_
table_ini
t
:
t
ake
m
inim
a
l siz
e
i
nstead of
number
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoola
e
ge
isl_{basi
c
_,}se
t
_preimag
e
: drop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_b
a
sic_map_intersect: reuse
s
ample value of eith
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
ola
e
ge
add
isl
_
i
nt_g
e
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_
b
a
si
c
_set_has_defining_ine
q
ualities:
f
i
x typ
o
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_co
n
s
traint_div: pe
r
form required referen
c
e i
n
crease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
r
d
o
o
laeg
e
isl_basic_
m
ap
:
put inequa
l
i
t
ies before equalitie
s
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
add isl_seq_normali
z
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_ctx
.
h:
m
ake FL_
I
SSET
return a boolea
n
v
alue
commit
|
commitdiff
|
tree
next