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
export isl_vec header
2009-06-11
Sve
n
Ver
d
oola
e
ge
i
sl_basic_map_simplify: d
e
tec
t
div c
o
nstr
a
i
n
t
s
wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
isl_basic_
m
ap_
d
rop: pr
o
per
l
y hand
l
e dimensions of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdoolaege
add isl_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Ver
d
oolaege
a
dd 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 V
e
r
d
oolaege
isl
_
basic_map
_
detect_equ
a
lities: p
r
operly hand
l
e e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_basic_map_is_empt
y
:
e
xpl
i
ci
t
ly
m
ark
basic
s
ets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n V
e
rdoolaege
isl_map
.
c: order
_
d
i
vs: swap wit
h
cor
r
ect d
i
v
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l
_ma
p
_
coalesce: remove
extra div
s
introduced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
olaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
ven Verdoolaege
add isl_
s
et_product
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Ver
d
oolaeg
e
export
isl_m
a
p_di
m
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl
_
map_con
v
ex
_
h
u
ll: h
a
ndle unboun
d
ed
,
but
poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oola
e
ge
p
ri
v
a
t
ely export isl_ma
t
_unimo
d
ular_compl
e
te
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_ta
b
.
c: add isl_tab
_
get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdo
o
laege
i
s
l_map_conv
e
x_hu
l
l: a
v
oid int
r
oducing lineality spa
c
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
d
oolaeg
e
add two more convex hull
t
est
c
a
s
es
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_map_convex_hu
l
l:
remov
e
lineality
s
pace if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verd
o
olae
g
e
add
isl_basic_set_is_uni
v
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdo
o
l
aege
add
i
sl_s
e
t_get_dim
commit
|
commitdiff
|
tree
2009-05-05
S
v
en V
e
rdoolaege
isl_convex_hull
.
c:
u
p
d
a
te wrap
_
facet to the f
a
c
t we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_
c
onvex_hull
.
c:
f
i
x typo
i
n
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdool
a
e
g
e
is
l
_coalesce
.
c: f
i
x typo in co
m
men
t
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
V
e
rdoolaege
i
s
l_tab
.
c: fix
typo in
comme
n
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add
i
sl_basic_set_
g
et
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l
_
basic
_
ma
p
_gist: normalize divs
(
if any
)
in contex
t
commit
|
commitdiff
|
tree
2009-03-23
Sven Ver
d
oolaege
isl
_
basic_map
_
simplify: remove dupli
c
ate di
v
s before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
a
e
ge
add isl_
b
asic_set_div
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
change calling c
o
nvention of isl_basic_ma
p
_div
commit
|
commitdiff
|
tree
2009-03-23
Sven
Verdoolaege
is
l
_map_si
m
plify
.
c: uset_gist: break
early if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
v
e
n
Verdoo
l
a
e
g
e
isl_map_s
i
mplify
.
c: us
e
t_gist: b
r
e
a
k early i
f
inters
e
ction
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
l
a
ege
add
i
sl_
b
asi
c
_s
e
t_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
update p
i
plib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ve
r
doolaeg
e
isl
_
tab
.
c: store number of equalitie
s
among the
c
onstraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
i
s
l_mat_extend: properly extend matrices with r
e
or
d
er
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Ver
d
o
ola
e
ge
i
s
l_ma
p
_gi
s
t
: handle some special cases
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
ad
d
isl_ma
p
_un
i
verse
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
a
dd isl_basi
c
_map_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl
_
basi
c
_map_gist: replace by ne
w
version
b
as
e
d
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verd
o
olaege
isl_map_simplify
.
c: compute_el
i
mination_index: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
add isl
_
map_implic
i
t_equalities
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
add isl_basic_set_free_equality
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_map_convex_hull: m
a
rk result as not hav
i
n
g any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
co
n
vex_hull: coalesce se
t
first
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
a
d
d
isl_
s
et_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_input_omega
.
c:
b
asic_map_read: accept
"+" in constraints
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl
_
basic_s
e
t_all
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolae
g
e
add is
l
_set_align_divs
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
us
e
t_affine_h
u
ll: ignore dir
e
ctions in
a
f
f
ine hu
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
i
s
l
_bas
i
c_map_im
p
licit_equalities: perf
o
rm Gau
s
si
a
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doolaeg
e
isl_a
f
f
in
e
_hull
.
c: outsid
e
_point: check
f
or obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
privatel
y
export isl_bas
i
c_
s
e
t
_
contain
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl
_
c
t
x: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
isl_vec_dump: handle N
U
LL vec
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
Ve
r
doolaege
isl_affine_hull
.
c: extract uset_
a
ffine_hull
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
V
e
rd
o
olaege
is
l
_mat
_
transpos
e
: handle n
o
n-rectangul
a
r
m
a
trice
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_
m
ap_simple
_
hu
l
l: c
o
mpute af
f
in
e
hul
l
before al
i
gning
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_map
_
sim
p
le_hull: mark result as not having any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolae
g
e
add isl_s
e
t
_bounded_
s
imple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map
_
aff
i
n
e
_hul
l
:
det
e
ct eq
u
ali
t
ies of
i
ntege
r
affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
ege
isl_basic_map_dup: copy flags of original to du
p
licate
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verd
o
olaege
isl_basic_map_ex
t
en
d
_dim: move
respon
s
ibili
t
y of co
w
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoolaege
i
sl_basic
_
map
_
extend_dim:
only
e
xtend constraint
matrix
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_solv
e
_lp: u
s
e tableaus
i
nstead of ca
l
l
i
ng piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolae
g
e
isl
_
solve
_
lp: accept a
f
fine obj
e
c
t f
u
n
ct
i
on instead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
aeg
e
isl
_
m
a
p
_
s
i
mple_h
u
ll: use hash t
a
ble
s
and tab
l
e
aus
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaeg
e
isl_convex_hu
l
l
.
c: extract out
u
s
et_
s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
aege
isl_con
v
ex_
h
ull
.
c: exten
d
: avoid wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_convex_hull
.
c: introduce prot
o
_hul
l
based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
isl_convex_hull
.
c: move in
i
tia
l
hull constr
u
ction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdool
a
eg
e
i
s
l_
c
onve
x
_
hull
.
c: m
o
ve comput
a
ti
o
n of bounds
into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoola
e
ge
isl_map_con
v
ex_hull: c
h
ec
k
f
or b
o
un
d
edne
s
s using recessio
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ve
r
d
o
olaege
i
s
l_basic_map_conv
e
x_h
u
ll: use tab
l
eau to
de
t
ec
t
redu
n
dant
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_tab
.
c: don't d
e
tect
equalities
w
h
ile setting up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
ad
d
isl_mat_exte
n
d
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
ad
d
isl_set_d
i
m
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
pri
v
ately e
x
port isl_basic_{set,map}_normalize_cons
t
rain
t
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add
i
sl_basic_set_extend_dim
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
Verdoolaege
isl_ba
s
ic_m
a
p_e
l
imin
a
t
e_vars
:
cle
a
r divs first
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
r
doolae
g
e
isl
_
basic_map_eliminate_v
a
rs
:
remove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdool
a
ege
add isl_hash_table_alloc and isl_ha
s
h_ta
b
le_free
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_
h
ash_table
_
init: ta
k
e
m
inimal siz
e
instead of nu
m
b
er
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
V
erd
o
olaege
i
sl_{basic_
,
}
set_preimage: d
r
op
ctx a
r
gument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
i
sl_basic_map_intersect: reu
s
e s
a
mple value of
e
i
t
h
e
r
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Verdoolaege
add
isl_int
_
g
e
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoo
l
a
e
ge
i
sl_constraint
_
d
i
v: pe
r
form r
e
q
u
ired referen
c
e in
c
rease
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
i
sl_basic_map: pu
t
inequali
t
ies before equali
t
ies
commit
|
commitdiff
|
tree
2009-03-08
S
ve
n
Verd
o
olaege
a
d
d isl_seq_no
r
ma
l
ize
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoolaege
i
sl_c
t
x
.
h
: m
a
ke FL_ISS
E
T
return a boole
a
n value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
rename F_ an
d
FL_
m
acros to
ISL_F_ an
d
ISL
_
FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
olaege
add i
s
l_mat_s
w
ap_cols
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Verdoolaege
isl_
m
at_d
u
mp: also
indent
NUL
L
mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoo
l
a
e
ge
a
d
d isl_ca
l
l
o
c_
t
ype
commit
|
commitdiff
|
tree
2009-03-08
Sven Ve
r
doolaege
i
s
l_m
a
p_conve
x
_hull: normalize ma
p
first
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
isl_set_preima
g
e:
clear ISL_
S
ET_NORMALI
Z
ED fla
g
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaeg
e
add isl_basi
c
_m
a
p_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdoolaege
e
x
p
o
rt isl_basic_
m
ap_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven
Ver
d
oolaege
ad
d
isl_basic_map
_
r
e
move
commit
|
commitdiff
|
tree
2009-02-22
S
v
en Verdoolaeg
e
a
dd isl_d
i
m_range
commit
|
commitdiff
|
tree
2009-02-22
Sve
n
Verdoolaege
add
isl_map_prod
u
ct
commit
|
commitdiff
|
tree
next