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
update piplib for change in configure arguments
2009-06-13
Sven Verd
o
olaege
update piplib fo
r
change in configure
a
rguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_basic_ma
p
_
d
rop_redundant_divs: coalesce divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaeg
e
isl_basic_map_drop_redundant_divs: set div
e
xpression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en
Ver
d
oolaege
isl_basi
c
_
map_drop_redundant_di
v
s: drop more
k
inds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl
_
map_compute_divs: drop
o
bviously redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_ma
p
_piplib
.
c:
ext
r
e
m
um_on
:
d
e
te
c
t equ
a
lities fir
s
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic_m
a
p_compute
_
divs:
r
e
m
ove
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Ver
d
o
olaege
isl
_
pip_ba
s
ic_map_compute_divs: separate out
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
i
s
l_basic_set_preimage: han
d
le divs in
i
npu
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_i
n
put_omega
.
c: make variable_{free,new} sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl
_
m
a
p
.
c: make add_d
i
v
s
static
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoola
e
ge
i
s
l
_basic_map_si
m
plify: detect div con
s
train
t
s
whi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_basic_map_d
r
o
p: properly handle dimensions of t
y
pe
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdool
a
e
ge
add isl_int_mul
_
ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
d
d
i
s
l_seq_fdiv_
q
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdo
o
laege
add
i
sl_seq_fd
i
v_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
do
o
l
ae
g
e
is
l
_basi
c
_
m
a
p_detect
_
equalitie
s
:
properly handle
e
mpty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl
_
basic
_
map_is_
e
mpty: explicitly mark basic
s
ets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaege
is
l
_map
.
c: o
r
d
e
r
_divs: swa
p
with correct
di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map_coalesce: r
e
mov
e
e
xtra d
i
vs intro
d
uced by isl
_
ma
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sv
e
n Verdoola
e
ge
add is
l
_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdool
a
e
g
e
add isl_set_prod
u
ct
commit
|
commitdiff
|
tree
2009-05-19
S
v
e
n
V
erdoolaege
export
i
s
l_map
_
dim
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n V
e
rdool
a
ege
isl_map_convex_hull: handle un
b
ounded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
pr
i
vate
l
y
e
xport isl_ma
t
_
u
nimodular_c
o
mplete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
l
aege
i
s
l_ta
b
.
c:
a
dd isl_t
a
b_get_sample
_
v
alue
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
isl_map_conv
e
x_hull: av
o
id introduci
n
g
l
ine
a
lity sp
a
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
doola
e
ge
add two more con
v
ex
hull te
s
t cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
o
olaege
isl_ma
p
_conv
e
x_
h
ull: remove lineal
i
ty space i
f
any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdoolaege
add i
s
l_basic_set_is_univ
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
i
sl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
Verdoolaege
isl
_
co
n
vex_hull
.
c: u
p
date
wrap_face
t
to the fact
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdoolaege
isl_convex_hull
.
c
: fix ty
p
o i
n
commen
t
commit
|
commitdiff
|
tree
2009-05-05
S
v
en Ve
r
dool
a
ege
isl_coalesce
.
c: fix
t
ypo
in com
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
isl_
t
ab
.
c: fix typo
i
n comme
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n Verdoolaege
con
f
igure
.
in:
s
et
A
C_CONFIG_MAC
R
O_D
I
R
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoola
e
ge
add isl_basic_s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaeg
e
isl_ba
s
i
c_map_gi
s
t
:
normalize
d
ivs (if any)
in
c
ontext
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_
b
asic_
m
ap_simplify: remove duplicate divs bef
o
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoolaege
add
i
sl
_
basic_set_
d
iv
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
ch
a
nge cal
l
i
ng convention of isl
_
basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdoolaege
isl
_
ma
p
_
simplif
y
.
c: uset
_
gist
:
b
r
eak
early i
f
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
i
s
l_map_si
m
plify
.
c
:
u
s
et_
g
i
st:
b
reak
early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
add
isl_basic_set_fast_is
_
empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
update piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaeg
e
i
s
l
_tab
.
c:
s
t
o
re num
b
e
r of
e
q
u
alities among the c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdo
o
laege
isl_
m
at_
e
xtend
:
properl
y
extend
matrices
w
i
th reorder
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolae
g
e
isl_ma
p
_gist: handle
s
ome speci
a
l cases
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add
i
sl_ma
p
_univ
e
rse
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_ba
s
ic_map_fa
s
t_
i
s
_
empty
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
i
s
l_basic_
m
a
p
_gist: repl
a
c
e
by ne
w
version ba
s
ed on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_s
i
mp
l
ify
.
c: compute_elimi
n
ati
o
n_in
d
ex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
ola
e
ge
a
d
d
isl_map_implicit_equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Verdoolaege
add isl_basic_set_f
r
ee_equalit
y
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
isl_map_con
v
ex_hull: mark
result as n
o
t h
a
ving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
conv
e
x_hull:
c
oales
c
e s
e
t
first
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
a
d
d
isl_set_coa
l
esce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_inpu
t
_omega
.
c:
basi
c
_map_r
e
ad: ac
c
e
pt "+" in constrai
n
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
add isl_
b
a
s
i
c_set_all
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_se
t
_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
u
s
et_affi
n
e_hu
l
l
:
ignore d
i
re
c
tions
i
n
aff
i
ne hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basic_map_im
p
licit_equa
l
itie
s
: perform
Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
i
sl_
a
ffine_hull
.
c
: outside_point: check fo
r
obviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oola
e
g
e
p
r
ivat
e
ly export
i
sl_
b
as
i
c_set_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl
_
ct
x
: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdool
a
ege
i
s
l_vec_dump: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdo
o
laege
isl_affine_h
u
ll
.
c
:
extract
u
se
t
_
a
f
fine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
i
s
l
_m
a
t_tran
s
pose: handle non-rectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolae
g
e
isl_map_simple_hul
l
: compute aff
i
ne hull be
f
ore ali
g
nin
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_ma
p
_simple_hul
l
: mar
k
result as not havin
g
an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdo
o
l
a
eg
e
add isl_set_bounde
d
_simpl
e
_h
u
ll
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_affine_hull: detect equaliti
e
s of integer
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_basic_map_du
p
:
copy flags of or
i
ginal to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
olaege
isl_
b
as
i
c_ma
p
_ex
t
end_dim: move
responsibility of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ba
s
ic_map_extend_dim
:
only exte
n
d constr
a
i
nt matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_solve_lp: use
t
ableaus in
s
tead o
f
ca
l
ling piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_solve_lp:
accept
aff
i
n
e object f
u
nc
t
io
n
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p
_simple
_
hull: use hash tables
a
nd tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaege
isl_
c
on
v
e
x_
h
ull
.
c
: extract out uset
_
sim
p
le_h
u
l
l
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
isl_convex_hull
.
c: extend: avoid
wrap
p
ing around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_
conv
e
x_hull
.
c: introduce proto_hull b
a
sed on o
b
vio
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_convex_hull
.
c:
m
ov
e
initial hull cons
t
r
uction i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
aege
isl_co
n
v
ex_hull
.
c: move comp
u
tation of boun
d
s into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaeg
e
isl_m
a
p_conv
e
x_hull: chec
k
fo
r
bou
n
dedness u
s
ing
r
e
ce
s
sion
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
i
s
l
_
b
asi
c
_map_convex_hull: use tableau to detect redundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_affine
_
h
ull
.
c:
us
e
ta
b
leau to det
e
ct i
m
p
l
i
c
it equal
i
t
i
es
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
i
sl_tab
.
c: don't detect equalities while setti
n
g
u
p
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
n
ter
n
al repres
e
n
tation of LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
add isl
_
mat_
e
xtend
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
add
i
sl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
g
e
privately export is
l
_basic_{set
,
map}_normal
i
ze_constraints
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
add is
l
_basic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
oolaege
isl_basic_map_eliminate_vars: clear divs f
i
rst
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
laege
is
l
_basic
_
map_
e
liminate_vars: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_has
h
_ta
b
l
e_
a
l
loc a
n
d
i
sl_hash_tab
l
e_
f
ree
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
i
sl_ha
s
h
_
t
a
ble_init: take minimal size instead of
n
umber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_{ba
s
i
c
_,
}
set_p
r
eimage: drop
c
tx argument
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verd
o
ola
e
g
e
i
sl
_
basi
c
_m
a
p_intersect:
r
e
u
se sample
v
alue of eith
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdool
a
ege
add isl_int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
is
l
_
basic
_
set_has_defining_inequalities: fix typo
commit
|
commitdiff
|
tree
next