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
isl_input_omega.c: make variable_{free,new} static
2009-06-11
Sven Verdo
o
laege
isl_input_
o
mega
.
c: make
vari
a
b
le_{fr
e
e
,new} st
a
tic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map
.
c
:
ma
k
e ad
d
_divs s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_basic_ma
p
_simplif
y
: detect div constraints
w
hi
l
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
doolaege
isl_basic_map_drop:
properly handle dime
n
sions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
a
d
d is
l
_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
v
e
n Verdo
o
laege
add
i
s
l
_
seq
_
f
d
iv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
dool
a
ege
add isl_
s
eq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaeg
e
isl_ba
s
ic_map_de
t
ect_eq
u
alities: p
r
operly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdo
o
la
e
ge
i
sl_basic_map_i
s
_empty: explici
t
ly
m
a
rk
b
asic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
isl
_
map
.
c: order_
d
ivs: swap
w
ith correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
i
s
l
_map_coalesce: remove ex
t
ra
div
s
introd
u
ced by isl_ma
p
_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
S
ven Ver
d
ool
a
e
ge
add isl_map_co
a
lesce
commit
|
commitdiff
|
tree
2009-05-19
Sve
n
Verdo
o
l
aege
add isl_set
_
produ
c
t
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verd
o
olae
g
e
export
is
l
_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl_
m
ap
_
c
o
nvex_h
u
l
l
: handle
unbounded, but poin
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Ver
d
oolaege
p
r
ivately
export isl_mat_unimodular_
c
omplete
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
o
olaeg
e
isl_tab
.
c: add isl_tab_get
_
sample
_
value
commit
|
commitdiff
|
tree
2009-05-06
Sven Ve
r
doolaege
isl_map_co
n
v
ex_hull: avoid introducin
g
lineality
s
p
aces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
a
d
d
two more convex hull test cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
i
sl_m
a
p_convex_hull
:
remove lineality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Ver
d
oolaege
add
isl_basic_set_is_univer
s
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
a
d
d isl_set_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_
c
onvex_hull
.
c: update w
r
ap_fa
c
et
t
o the
fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c: fix typo i
n
c
omment
commit
|
commitdiff
|
tree
2009-05-05
Sv
e
n
V
erdoolaege
isl_coalesc
e
.
c: fix
typo in commen
t
commit
|
commitdiff
|
tree
2009-05-05
S
ven Verdoolaege
isl_ta
b
.
c: fix
t
ypo in comm
e
nt
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdo
o
l
a
ege
add isl_basic_se
t
_get
_
dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
ege
isl_
b
asic_
m
ap_g
i
s
t
: normali
z
e di
v
s (if
a
ny
)
in context
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
isl
_
basi
c
_map_simpli
f
y
:
remo
v
e du
p
li
c
a
t
e divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
add isl_basic_set_div
commit
|
commitdiff
|
tree
2009-03-23
S
ven Ver
d
oo
l
aege
change
calling conventio
n
of
i
sl_basic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdo
o
laege
isl_map_sim
p
lify
.
c
: use
t
_gis
t
: break
early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
isl
_
map_
s
implify
.
c: uset_gist:
br
e
ak
e
arly if int
e
rsec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
e
rdoolaege
add
i
s
l_basic_set_fast_is_e
m
pty
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoolaege
update piplib t
o
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
isl_
t
ab
.
c: store
n
umber of equalities amo
n
g
the c
o
nstr
a
ints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoo
l
aege
isl_m
a
t_ext
e
n
d: pro
p
erly extend matrices with
reordered
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verd
o
olaege
isl_map_g
i
st: handl
e
s
o
me
special cases
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rd
o
o
l
aege
add i
s
l
_
map_universe
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Ve
r
doolae
g
e
add isl_basic_map_f
a
st_is_empty
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n Ver
d
o
ola
e
ge
isl_
b
asic_map_gist:
r
epl
a
ce by new version based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simpl
i
fy
.
c: compute_elimination_
i
ndex: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
a
d
d isl
_
m
a
p_i
m
pli
c
it_equalities
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
ad
d
isl_basic_set
_
fr
e
e_equalit
y
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_convex_hul
l
:
m
ark
r
e
sult as not havin
g
any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdo
o
laege
convex_hull: coalesce s
e
t fir
s
t
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
add isl_s
e
t_coalesce
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoo
l
ae
g
e
isl_i
n
p
ut_omega
.
c: basic_map_read: accept "+"
i
n constraints
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add is
l
_bas
i
c_set
_
alloc_div
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
add isl_set
_
align_div
s
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
lae
g
e
uset_affine_hull:
i
gnore directio
n
s in
a
ffine
h
ull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
i
sl_basic_map_implicit_equ
a
lities: perfor
m
Gaussi
a
n
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoolaege
isl_affine_hull
.
c: outside_point: chec
k
for obv
i
ous
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
privat
e
ly
e
xpo
r
t
i
s
l
_
b
asi
c
_
s
et_cont
a
ins
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
doola
e
ge
i
s
l
_ctx: add negone
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
is
l
_vec
_
d
u
m
p: handle
NU
L
L
vec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl
_
affine_hull
.
c:
extract u
s
et_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
is
l
_mat_transpose: handle non-
r
ectangular matrices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_
s
i
mple_hull
:
comp
u
te affine hull before alignin
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_map_simple_hull
:
mark r
e
sult
as not
h
aving
a
ny
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
a
d
d isl_s
e
t_bo
u
nd
e
d_
s
i
mple_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erd
o
olaege
isl_map_a
f
fin
e
_hull: de
t
e
c
t equalities of i
n
teger a
f
f
in
e
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdoola
e
g
e
isl_basic_map_dup: co
p
y flags of o
r
i
g
inal
t
o duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl
_
basic_map_extend
_
dim: move responsibi
l
ity of cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
isl_basic_map_extend_dim: only ex
t
e
n
d
const
r
aint matri
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
r
d
oolaege
i
s
l_so
l
ve_lp: use tableaus ins
t
ead
of cal
l
in
g
piplib
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_sol
v
e_lp: accept affine o
b
j
ect functi
o
n in
s
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Ve
r
doola
e
ge
isl_map_simpl
e
_hull
:
use ha
s
h tables and tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
ven V
e
rdoolaege
isl_c
o
nvex
_
hull
.
c:
extract out u
s
et_
s
imple_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n V
e
rdoolaege
isl_
c
onvex_
h
ull
.
c: extend: a
v
oid wrapping around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdoola
e
ge
isl_convex_hull
.
c
:
i
n
troduce
proto_hul
l
b
ased
o
n obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdool
a
eg
e
isl_convex_h
u
ll
.
c: move initial hul
l
construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
e
r
d
oolaege
isl_convex_hull
.
c: move computation o
f
bounds in
t
o
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdool
a
ege
isl_map_convex_hull: ch
e
c
k
for boun
d
edness using recession
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
d
o
olaege
is
l
_
basic_map_
c
onvex_
h
u
ll: use tab
l
eau to detect r
e
du
n
d
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdool
a
ege
isl_ta
b
.
c:
d
on't detec
t
e
q
ual
i
ties while
s
e
t
t
ing up
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
add isl_mat_ext
e
n
d
commit
|
commitdiff
|
tree
2009-03-20
S
v
en
V
erdoolae
g
e
add isl
_
set_
d
im
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoola
e
g
e
privat
e
ly ex
p
ort isl_basic_
{
set,map}_normalize_
c
o
n
str
a
ints
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdo
o
laege
a
d
d
isl_b
a
sic
_
set_exten
d
_dim
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
o
l
aeg
e
is
l
_basic_map_el
i
minate_vars:
clear divs first
commit
|
commitdiff
|
tree
2009-03-20
Sven Ver
d
oolaege
i
sl_basic_map_eliminate
_
vars: re
m
ove all dependent
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdoola
e
ge
add
i
s
l_h
a
sh_tabl
e
_al
l
o
c
and isl
_
hash_ta
b
le_fr
e
e
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdo
o
l
a
e
g
e
isl_
h
ash_table_init: take minimal size
i
n
s
tead of nu
m
ber
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verd
o
olaege
isl_{basic_,}set_preimage: d
r
o
p
ctx
a
r
g
ument
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
sl_ba
s
ic_map_intersect:
reuse sample value of e
i
t
her
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
o
laeg
e
add isl
_
int_ge
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
er
d
oolaeg
e
isl_constraint_div: perfor
m
r
equired refere
n
ce increase
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
is
l
_basic
_
m
ap: put inequalities before equ
a
lit
i
es
commit
|
commitdiff
|
tree
2009-03-08
Sve
n
Ve
r
d
oolaege
add isl_seq_no
r
malize
commit
|
commitdiff
|
tree
2009-03-08
Sven V
e
rdoola
e
ge
is
l
_ctx
.
h:
m
ake FL_ISSET
re
t
urn a boolean value
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdo
o
l
a
ege
rename
F_ and F
L
_
m
acr
o
s to ISL_F_ and ISL_FL_ to avoid
.
.
.
commit
|
commitdiff
|
tree
2009-03-08
Sven Verd
o
ol
a
ege
add isl_mat_swap_
c
ols
commit
|
commitdiff
|
tree
2009-03-08
Sv
e
n Ver
d
ool
a
e
ge
isl_mat_dump: also i
n
dent
NULL mat
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolaege
add
i
sl_ca
l
loc_ty
p
e
commit
|
commitdiff
|
tree
2009-03-08
Sven Verdoolae
g
e
isl_map
_
convex_hull: n
o
rmalize
m
ap first
commit
|
commitdiff
|
tree
2009-03-08
Sven
Ve
r
doolaege
isl_set_preimage:
c
lear ISL_SET_NORMALIZ
E
D f
l
ag
commit
|
commitdiff
|
tree
2009-02-23
Sven Verdoolaege
add isl_basic_map_d
e
tect_equalities
commit
|
commitdiff
|
tree
2009-02-22
Sven Verdoolaege
export
i
s
l_b
a
s
i
c_ma
p
_is_equal
commit
|
commitdiff
|
tree
2009-02-22
Sven
V
erdool
a
ege
ad
d
isl_ba
s
ic_m
a
p_rem
o
ve
commit
|
commitdiff
|
tree
next