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
add isl_map_coalesce
2009-06-05
S
v
e
n
Verdool
a
ege
add
i
sl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_
s
e
t
_product
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoo
l
aege
export isl_ma
p
_
di
m
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
isl_map_convex_hull: handle un
b
ounded, b
u
t pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
priv
a
tel
y
e
x
p
o
rt isl_mat_unimodular_complete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_tab
.
c: add isl_tab_
g
et_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
r
d
oolaege
i
sl_map_convex_hull: avoid introducin
g
lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
V
erdool
a
e
g
e
add tw
o
more conve
x
hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
sl_map_con
v
ex
_
hull: remove lineality
space
if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
ad
d
isl
_
b
a
s
i
c_set_is_universe
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
add is
l
_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdo
o
l
aege
is
l
_co
n
vex_hull
.
c: update wrap_
f
acet to the
f
act we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Ve
r
doolaege
isl_convex_h
u
ll
.
c
:
fi
x
typ
o
in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
e
rdoo
l
aege
i
sl_coalesce
.
c: fix typo i
n
com
m
e
n
t
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
isl_
t
ab
.
c:
f
i
x
t
y
po in
c
o
mment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdo
o
laeg
e
configure
.
i
n: set AC_CO
N
FIG
_
M
A
CRO_D
I
R
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
d
o
ol
a
ege
add isl_basic_set_g
e
t_di
m
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n Ve
r
doolae
g
e
isl
_
bas
i
c_map_gist
:
normalize
d
i
vs
(i
f
a
ny)
in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
ege
isl_basic_m
a
p_simplify: remove duplicate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
en V
e
rd
o
o
laege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
change calling convention of isl_
b
asic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
isl_map_s
i
m
pl
i
fy
.
c: us
e
t
_
gist:
break early if th
e
re
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verd
o
olaege
isl_map_simpl
i
fy
.
c: u
s
et_gist: break early
if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoo
l
aege
add isl_
b
as
i
c_set_fast_
i
s
_
e
mp
t
y
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
dool
a
ege
u
p
date pi
p
l
ib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
isl_tab
.
c: store
n
umber o
f
eq
u
alities among the c
o
nstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_mat_extend:
p
roperly extend matrices wit
h
re
o
rdered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p
_g
i
s
t: han
d
le
som
e
special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doo
l
aege
add
i
sl
_
map_univer
s
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
add
is
l
_basic_map_fast
_
is_empt
y
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oo
l
a
e
ge
isl_basic_map_gist: replace by new
v
ersion based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
doolaeg
e
isl_m
a
p_sim
p
lify
.
c: compu
t
e_elimina
t
i
on_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doolaeg
e
add isl_map_implicit_e
q
ualities
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ve
r
doolaege
add isl_b
a
sic_se
t
_free_equ
a
lity
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolae
g
e
isl_m
a
p
_c
o
n
v
ex_hull:
m
ark resu
l
t as no
t
having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
convex_hull: c
o
alesce set firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
add isl_set_coalesce
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolaege
isl_input_omega
.
c: basic_m
a
p_read: ac
c
e
p
t "+"
in con
s
traints
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
add isl_basic
_
se
t
_
alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
ad
d
isl_set_align
_
div
s
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
u
set_
a
ffine_hull
:
ignore d
i
rections in affine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_basi
c
_map_im
p
licit_equalities: perform Gauss
i
an
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_affi
n
e_hull
.
c: outside_point: check
for ob
v
ious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdo
o
la
e
ge
private
l
y ex
p
ort isl_basi
c
_s
e
t_contains
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
r
doolaege
isl_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdo
o
la
e
ge
isl_vec_du
m
p: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_aff
i
n
e
_hull
.
c: extract
uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Ver
d
oolaege
isl_mat_tr
a
n
s
pose: handle non-rectan
g
ular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_map_simple_hull: co
m
pu
t
e
a
ffine hull befo
r
e
aligning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_simple_hull: mark resu
l
t as not
h
a
v
i
n
g
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
a
d
d isl_se
t
_bounded_simple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_map_
a
ffine_hull
:
d
etect equalities of i
n
teger a
f
fine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_
b
asic_map_
d
up: copy flags of origi
n
al to
dupli
c
ate
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_basic_map_exten
d
_dim: move re
s
ponsibility of c
o
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
d
o
olaege
isl_b
a
sic_
m
ap_extend_dim: on
l
y extend constraint matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_solve_lp: use table
a
us instead of calling
p
ip
l
i
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_so
l
ve_lp: accept affine objec
t
function instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simpl
e
_hull:
use ha
s
h tables and
tab
l
eaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
is
l
_conve
x
_h
u
l
l
.
c: extract
o
u
t uset_s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_convex
_
hull
.
c: extend: av
o
id wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolae
g
e
isl_convex_hull
.
c: i
n
troduce proto_hu
l
l
based on obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_convex_hull
.
c: move initi
a
l hull constr
u
ction
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
is
l
_convex_hull
.
c: move computation o
f
bou
n
ds into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_map_convex_hull: check for boun
d
ednes
s
using
recessi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_basic_ma
p
_convex_hull: use tableau to detect r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_affine_hull
.
c: use tableau
to detect impli
c
it eq
u
a
l
ities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_tab
.
c: don't detect equalities wh
i
le se
t
ting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add
i
nternal rep
r
esentation o
f
LP tableaus
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
isl_
m
at_extend
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_dim
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
privately expo
r
t isl_
b
a
sic_{
s
et,
m
ap}_no
r
malize
_
c
onstraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
dd isl_bas
i
c_set
_
ext
e
nd_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_b
a
s
ic_map_
e
l
iminat
e
_vars
:
clear
d
ivs firs
t
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaege
is
l
_
b
asic_map_elimina
t
e_vars: remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
add isl_hash_table_al
l
o
c
and
i
s
l_hash_t
a
b
le_free
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoolaege
isl_hash
_
table_init: tak
e
minimal
s
ize instead of numb
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_{
b
asic_,}set
_
pr
e
image
:
d
rop ctx argument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_ma
p
_
inter
s
ect: reu
s
e samp
l
e v
a
lue of e
i
ther
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
a
d
d
i
s
l_int_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_basic_set
_
ha
s
_
d
efining_inequali
t
i
es: fix typo
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaeg
e
i
sl_constraint_div
:
perf
o
rm required refe
r
en
c
e increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
i
sl_basic_map: pu
t
in
e
q
ualiti
e
s befo
r
e equalities
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
a
dd is
l
_seq_n
o
rmalize
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
dool
a
ege
isl_ctx
.
h:
m
ak
e
FL_ISSET
retu
r
n a boolea
n
value
commit
|
commitdiff
|
tree
2009-03-08
S
ven
Verdool
a
e
ge
ren
a
me F_ and
FL_ macros
t
o ISL_F_ and ISL_FL_ t
o
avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verd
o
olaege
add
isl_mat_s
w
ap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdoolaege
isl
_
m
a
t_dump:
a
lso
i
ndent NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add isl_calloc_type
commit
|
commitdiff
|
tree
2009-03-08
Sven
Verdo
o
laege
is
l
_map
_
conv
e
x_hull: normalize map first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdool
a
ege
i
sl_se
t
_
p
r
ei
m
age: clear IS
L
_
SET_NORMALIZED flag
commit
|
commitdiff
|
tree
2009-02-23
Sven Ve
r
d
o
o
laege
add isl_basi
c
_ma
p
_detect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdool
a
ege
add isl_map_remove
commit
|
commitdiff
|
tree
2009-02-22
S
ven Verdoolaege
ex
p
ort
i
s
l_basic_m
a
p_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdo
o
laege
add isl_b
a
s
i
c_m
a
p_remove
commit
|
commitdiff
|
tree
2009-02-22
Sven V
e
rdoolaege
add isl_dim_r
a
nge
commit
|
commitdiff
|
tree
2009-02-22
Sven Ve
r
doola
e
g
e
add i
s
l_
m
ap_product
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
add isl_basic_
m
a
p
_
a
dd_constraint
commit
|
commitdiff
|
tree
2009-02-22
Sven Verd
o
olaege
add
i
sl_dim
_
ad
d
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
isl_map_pipli
b
.
c:
i
sl_map_fro
m
_q
u
ast: properly keep
.
.
.
commit
|
commitdiff
|
tree
2009-02-22
Sven Ver
d
o
olaege
chang
e
call
i
ng conven
t
ion of
i
sl_basic_map_{equal,
l
e
s
s_at
.
.
.
commit
|
commitdiff
|
tree
next