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 Verdoolaege
privately
e
xpo
r
t isl_basi
c
_set_recession_
c
o
ne
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_convex_hull
.
c: ad
d
missing assig
n
me
n
t
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Ve
r
do
o
laege
pri
v
ately expo
r
t isl
_
basic_set_
l
i
n
eality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ve
r
doolaege
isl_vec: keep
track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oola
e
ge
isl_coalesce
.
c: fix t
y
p
o
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update
p
i
plib for c
h
ange in
c
o
n
f
i
gure arguments
commit
|
commitdiff
|
tree
2009-06-11
S
ve
n
V
e
rdoolaege
isl_basic_map_drop_r
e
d
u
n
d
ant_divs: coalesce
d
i
v
s if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Ver
d
oolaege
i
s
l_basi
c
_
m
ap_drop_re
d
undant_div
s
: set
d
i
v
e
xpr
e
s
s
io
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_
b
asic_map_drop
_
redun
d
a
nt_divs: dro
p
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoola
e
g
e
i
sl_ma
p
_compute
_
divs: drop obviousl
y
redundant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Ve
r
doolaege
isl_map_piplib
.
c:
e
xt
r
emum_on: detect
eq
u
alities fi
r
st
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
V
e
rdoolaege
is
l
_pip_basic_map_compute
_
divs
:
remove
s
ome equal
i
t
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolae
g
e
isl_p
i
p_basic
_
map_compute_divs: separate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaeg
e
isl_basic_set_
p
reimage:
handle
d
iv
s
in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
ege
isl_input_om
e
ga
.
c: make variable_{free,new} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
i
s
l_map
.
c: m
a
ke add_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map_simplify
:
detect div constrai
n
ts while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n
Verd
o
olaege
isl_bas
i
c_map_dro
p
:
properly han
d
le
d
ime
n
sions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n V
e
rdoolaege
add is
l
_
int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
ad
d
isl
_
seq
_
f
div_q
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Ve
r
doolaege
add i
s
l_s
e
q_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_basic_map_
d
etect_e
q
ualities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_ba
s
ic
_
map_is_empty: exp
l
icitly mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_map
.
c: order_divs: swap with correc
t
div
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verd
o
o
l
aeg
e
isl_map_co
a
lesc
e
: remove extra
d
ivs
i
ntroduced by isl_
m
ap_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Ver
d
oolaege
add
i
sl
_
map_
c
oalesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdoolaege
add isl_set_pro
d
u
c
t
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
e
x
port isl_ma
p
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map
_
convex_h
u
ll: h
a
n
d
le unbo
u
nded,
but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verdool
a
ege
privately expor
t
isl_mat_unimodu
l
ar
_
compl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
i
s
l_tab
.
c: add is
l
_
tab_get
_
sample
_
v
a
lue
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erd
o
olaege
isl_m
a
p
_
co
n
vex_hu
l
l: avoid introducing lineal
i
ty spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
V
erdoolaeg
e
a
d
d two more c
o
n
ve
x
hull test c
a
ses
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
isl_map
_
c
o
nvex
_
hull: re
m
ove
linealit
y
sp
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Ver
d
oo
l
aege
add isl_bas
i
c_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
erdool
a
ege
a
d
d
isl_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolae
g
e
i
s
l
_co
n
v
e
x
_
hul
l
.
c: update wrap_facet to the
f
a
ct we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_convex_hull
.
c: fix typo in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_coalesce
.
c
:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolae
g
e
i
s
l_tab
.
c
:
fix typo
i
n
com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ve
r
doolaege
configure
.
in:
se
t
A
C_CONFI
G
_MA
C
RO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_
b
asic_set_get_
d
im
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l
_b
a
sic_map_g
i
st: normalize divs (if any) in contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verd
o
olaege
i
s
l_basi
c
_map_simpl
i
fy
:
remove d
u
plicate divs befo
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven
V
erdo
o
laege
add
isl_ba
s
ic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
chan
g
e calling convention of isl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
isl_map
_
simplify
.
c:
uset
_
gist: break ear
l
y if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simplify
.
c: uset_gist: bre
a
k
ea
r
ly if intersec
t
io
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoola
e
g
e
add
i
s
l
_basic_
s
et_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ver
d
oolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
V
e
r
doolaege
isl_ta
b
.
c: store nu
m
b
e
r of equali
t
ies among t
h
e
constr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
i
s
l_mat_exte
n
d: properly extend ma
t
rices with reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
l
a
eg
e
i
sl_map_gist: handle some special
c
ases
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ver
d
oola
e
g
e
add
i
sl_map_universe
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
add isl_ba
s
ic_m
a
p_fast_i
s
_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_map_gist:
r
epl
a
ce by ne
w
version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simp
l
i
f
y
.
c: compute
_
eliminati
o
n_index
:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_map_implicit
_
equalities
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_basic_set_free_e
q
uali
t
y
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
d
o
olaege
isl
_
map_
c
onve
x
_hull: mar
k
resu
l
t as not ha
v
ing any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
c
onve
x
_
h
u
ll: co
a
les
c
e set fi
r
s
t
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolae
g
e
add i
s
l_s
e
t
_
coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
i
s
l_inp
u
t_omega
.
c: basic_map_read
:
acc
e
pt "+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolae
g
e
add isl_basic
_
set_al
l
oc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
rdool
a
ege
u
s
e
t
_aff
i
ne
_
hull:
ignore
d
ir
e
ctions i
n
affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_basic_m
a
p_implici
t
_equalit
i
es: perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
olaege
isl_
a
f
f
ine_hu
l
l
.
c: out
s
ide_po
i
nt: check for obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
privately export isl_basic_set_c
o
ntains
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_vec_dump: h
a
ndle NULL
v
ec
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
is
l
_affine_hull
.
c: extract u
s
et_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_mat
_
transpose: han
d
le non-rec
t
ang
u
lar matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_map_si
m
ple_hull:
c
o
mp
u
te affi
n
e hull before aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoo
l
aege
isl_map_simple
_
hull
:
mark result as not havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d is
l
_s
e
t_bounde
d
_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
ol
a
ege
isl_map
_
affine_hull: detect e
q
ualities
of
i
nteger affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erd
o
olaege
isl_basic_map_dup: copy flags of original to d
u
plicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
i
s
l_basic_map_extend_dim
:
move responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoo
l
aege
isl_basi
c
_map_extend_dim: o
n
ly extend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_solve_lp:
u
se tableaus
instead
o
f
c
alling pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl
_
solve_lp:
a
cc
e
pt
a
ffine object function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_m
a
p
_simple_hull: use hash tables
a
nd tabl
e
aus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olae
g
e
i
s
l_convex_
h
ull
.
c: extract out uset_simple
_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
isl_co
n
v
ex_
h
ull
.
c:
e
x
t
end: avoi
d
wrapp
i
n
g
ar
o
und already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
i
sl_con
v
ex_hul
l
.
c: in
t
r
o
d
uce proto
_
hull ba
s
ed on obvio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
isl_convex_
h
ull
.
c
: move initial hul
l
constr
u
ction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
o
ol
a
ege
isl_conve
x
_hull
.
c: move
compu
t
ation of bounds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
g
e
isl_map_convex_hull: check for bou
n
dedness u
s
i
ng recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdo
o
laege
is
l
_basic_map_convex_hul
l
: use tableau to dete
c
t redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
isl
_
a
ffine_hull
.
c: use
tableau to
d
e
tect implicit equali
t
ies
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
isl_ta
b
.
c: do
n
'
t
detect
eq
u
a
l
it
i
es whil
e
se
t
ting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
add int
e
r
n
a
l
rep
r
e
s
entation
of
L
P
tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
add isl_mat
_
e
x
tend
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
d
oolaege
add i
s
l_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
priv
a
tely export isl_basic_{se
t
,
m
ap}_n
o
rmali
z
e_
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_basi
c
_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
olaege
isl
_
basic_map_el
i
minate_vars
:
c
lear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ba
s
ic_map_elim
i
nate
_
vars: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
add isl_hash_table_all
o
c and
is
l
_hash_table_free
commit
|
commitdiff
|
tree
next