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
privately export isl_basic_set_recession_cone
2009-07-13
Sven Verdoolae
g
e
pr
i
vately export isl
_
ba
s
ic_set_rece
s
sio
n
_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_convex_hull
.
c: a
d
d missing a
s
signment
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
pri
v
ate
l
y
export isl_b
a
sic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_vec:
k
eep tra
c
k
o
f
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_coa
l
esce
.
c: f
i
x typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
do
o
l
a
ege
update
p
i
p
lib for chang
e
in configure argument
s
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
d
o
o
l
a
ege
isl_
b
asic
_
map_
d
rop_redundant_divs: coalesc
e
divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_b
a
sic_ma
p
_drop_redundant_divs:
set di
v
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_ba
s
ic_ma
p
_
d
r
o
p_
r
edundant_
d
i
v
s:
dr
o
p more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verdoolaege
isl_map_compu
t
e_divs: drop
obviously r
e
d
u
ndant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olae
g
e
isl_map_pipl
i
b
.
c
: extrem
u
m_on: detect e
q
ualities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_pip_ba
s
i
c_ma
p
_c
o
mpute_divs: re
m
o
ve s
o
m
e equaliti
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Verdoolae
g
e
isl_pip_bas
i
c
_
ma
p
_comput
e
_divs:
se
p
arate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ve
r
doolaege
isl_
b
asic_set_preimage:
handle
divs in
i
nput
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_input_omega
.
c: make
v
a
riable_{free
,
ne
w
} st
a
ti
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaeg
e
isl
_
map
.
c: make ad
d
_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_basic_map_simplif
y
: de
t
ect d
i
v constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_
b
as
i
c_map_drop: properly handle dimen
s
ions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
rdool
a
ege
add isl_int_
m
ul
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaeg
e
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
add isl_seq
_
fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verd
o
olaege
isl_bas
i
c_map
_
detect_equalities: properly
handle empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
o
o
laege
i
s
l
_
bas
i
c_map_
i
s
_e
m
p
ty: e
x
p
l
i
c
itly
m
a
rk
b
asic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c:
o
rd
e
r_divs: swap with c
o
r
rect
div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
sl
_
map_coalesce: rem
o
ve
extra
d
i
vs int
r
o
d
u
c
ed by isl_map_
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
Verdoola
e
ge
add i
s
l_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_
s
et_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdool
a
e
ge
i
s
l_map_conv
e
x_hu
l
l: handle
u
nboun
d
e
d
, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolaege
p
r
i
vately ex
p
ort
i
sl_mat_un
i
modular_co
m
plete
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
doo
l
a
ege
isl
_
t
a
b
.
c:
add isl_tab_get_s
a
mple_val
u
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hull: avoid int
r
o
d
u
cing lineality s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolae
g
e
add two more convex
hull test ca
s
es
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_map_convex_h
u
l
l: remove lineal
i
ty
s
p
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
e
rdoolaege
a
d
d isl_
b
asic_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
a
dd isl_set
_
get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_con
v
ex_hull
.
c: up
d
a
te
w
rap_facet to the fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c:
f
ix t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
V
e
r
doolaege
isl_c
o
ale
s
ce
.
c:
fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
isl_ta
b
.
c: fi
x
t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
ool
a
ege
c
o
n
figure
.
i
n: set AC_
C
O
N
FIG_MACRO
_
DIR
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdool
a
ege
a
d
d isl_basic_set_g
e
t
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
eg
e
isl_b
a
s
i
c_map_gist: no
r
mal
i
ze divs (
i
f
a
ny) in context
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
Verdoolaege
isl_basic_map_simpli
f
y: remov
e
d
u
plicate divs befor
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
add isl_basic_set_di
v
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
c
han
g
e calling
c
o
nvention of is
l
_basic_m
a
p_div
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
isl_map_simp
l
ify
.
c
:
uset_gist: break
early if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_m
a
p_simplify
.
c: u
s
et_gist: br
e
ak early if interse
c
tion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaeg
e
add i
s
l_b
a
sic_set_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
upda
t
e
p
i
plib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Ve
r
do
o
laege
isl_tab
.
c: store
n
umber of equalities among the c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ve
r
d
o
olaege
is
l
_mat_extend: properly extend matrices with reorder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_gi
s
t: handle so
m
e special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add isl_map_u
n
iver
s
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add is
l
_
b
asic_map_fast_
i
s_em
p
ty
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
is
l
_basi
c
_
map_gist: re
p
lace by ne
w
version bas
e
d on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_map_simpl
i
fy
.
c: com
p
ute_elimi
n
a
t
i
on_
i
ndex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoo
l
a
ege
add isl_map_imp
l
icit_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add isl
_
basic_set_f
r
ee_equalit
y
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
isl_map
_
c
o
n
v
ex_
h
ull: mark result
a
s not
h
aving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ver
d
oolaege
convex_hull:
coalesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_s
e
t
_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl
_
inpu
t
_omega
.
c: b
a
sic_map_read: ac
c
ept "+" i
n
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoola
e
g
e
add isl_basic_set_a
l
lo
c
_d
i
v
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doo
l
ae
g
e
add isl_set_al
i
gn_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
uset_
a
ffine_hull: ign
o
re directions in aff
i
n
e hul
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_
b
as
i
c
_map_implicit_
e
q
u
a
l
i
ties
:
per
f
orm Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
d
o
olaege
isl_
a
ffine_hull
.
c:
o
utside_point: check
for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oo
l
aege
pr
i
va
t
ely export isl_basic_set_
c
ontains
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_vec_dum
p
:
h
an
d
le NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
i
sl_affine_
h
ull
.
c: extract
uset_affine_hu
l
l
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oola
e
g
e
isl_mat_transpose: h
a
ndle non-rect
a
ngular mat
r
ices
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_map_simple_hull: compu
t
e affine hull befor
e
aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
e
r
dool
a
e
g
e
i
s
l_map_simpl
e
_
h
ull: mark re
s
ult
a
s not
having a
n
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
add isl_set
_
bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaeg
e
isl_map_affin
e
_hull: detect equalities of
inte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_basic_ma
p
_dup: c
o
py flags of original to
d
uplicate
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
is
l
_
b
asic_map_extend_dim: move responsibili
t
y
of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoo
l
aege
isl_ba
s
ic_
m
ap_ex
t
end_
d
im: only
exten
d
constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
i
sl_solve_
l
p
:
u
s
e
tab
l
eaus instea
d
of calling p
i
p
l
ib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_s
o
lv
e
_lp: accept a
f
f
i
ne object function inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
e
g
e
isl_map_simple
_
h
u
ll: use ha
s
h tab
l
e
s and tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
isl_
c
onvex_hull
.
c
:
extract out uset_s
i
m
ple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
i
sl_conv
e
x_
h
ull
.
c: extend: avoid wrappi
n
g around
alr
e
ady
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_c
o
nve
x
_hull
.
c: i
n
troduce proto_hull
based on obvi
o
us
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_c
o
nv
e
x_hull
.
c: move i
n
iti
a
l
h
u
ll
c
onstructi
o
n into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_con
v
ex_hull
.
c:
move computati
o
n of boun
d
s
int
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_convex_h
u
ll: check fo
r
boundedness usin
g
recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_ba
s
ic_map_convex_hull: use tableau to detect
re
d
un
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
d
oo
l
aeg
e
i
s
l_affine_hul
l
.
c: use ta
b
l
e
au to
d
etect impl
i
c
i
t e
q
ual
i
t
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_ta
b
.
c: don
'
t detect equalities whi
l
e
setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
d
d inte
r
nal repres
e
ntation of LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add i
s
l_mat_e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_s
e
t_dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolae
g
e
privately
e
xport is
l
_basic_{set,map}_
n
or
m
aliz
e
_
const
r
aints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basic_set_ex
t
e
nd_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl
_
basic_m
a
p_elimina
t
e_vars:
clear
divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_b
a
sic_ma
p
_eliminate_
v
ars:
r
emove all dep
e
nd
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdoo
l
aege
a
dd isl_
h
ash_table_alloc and
i
sl
_
has
h
_table_free
commit
|
commitdiff
|
tree
next