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_map_coalesce: don't drop rational flag from result if set in input
2009-07-21
S
v
en V
e
rdoolaege
is
l
_map_c
o
alesce: don't drop rational f
l
ag f
r
om result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
ola
e
ge
isl_tab_co
n
e_is_bounded: st
a
r
t
ov
e
r
after compu
t
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolae
g
e
i
s
l
_b
a
sic_set_
d
im_
r
es
i
d
ue_class: only set *modulo
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab: drop
isl
_
ctx argument where
n
o
t abso
l
utely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
e
rdoolaeg
e
i
s
l_mat: keep track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdoolaege
isl_basic_set_sample:
d
on't project out lineality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
ool
a
ege
isl_basic_map_f
i
x_pos: micro-
o
ptimizatio
n
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ver
d
oolaege
move isl_basic_set_skew_to_posit
i
ve_o
r
th
a
nt to isl_samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_tab
.
c: f
i
x ty
p
o
in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
laege
i
sl_basic_set_samp
l
e:
b
reak early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
e
x
por
t
isl
_
tab_sample_i
s
_inte
g
er
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_
s
a
mple: chec
k
sample stored by is
l
_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
isl_basic_
m
ap_
i
s_empty: rem
o
ve stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
add isl_polyhedr
o
n_sample appl
i
cation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
introduce generalized basis re
d
uction based sam
p
lin
g
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
add isl_seq_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c: interva
l
_sample: dro
p
redu
n
d
a
nt ar
g
u
m
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
do
o
laege
i
s
l
_sample
.
c
:
clean u
p
h
a
ndling
o
f lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_sample
.
c: ext
r
act
o
u
t
sample_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdool
a
e
g
e
i
sl_sample
.
c:
i
n
terval_sample: handle equalities
d
irectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
ool
a
eg
e
is
l
_sample
.
c: extract
o
ut em
p
ty_sample
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
rdoola
e
ge
isl_sampl
e
.
c: generaliz
e
p
oint_sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Ver
d
oolaege
isl_tab:
d
on't create n
e
w undo records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab_min: us
e
gener
a
l rollback mech
a
n
is
m
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: optionally save d
u
al s
o
lution
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
Verdool
a
ege
isl_tab: add isl_tab_add_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
erdoola
e
ge
ex
p
o
rt isl_tab_all
o
c
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
doo
l
aege
ad
d
isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erdool
a
ege
privately
e
xport
isl_basic_s
e
t
_
recession_cone
commit
|
commitdiff
|
tree
2009-07-13
S
ven Ver
d
oola
e
g
e
isl_conv
e
x_hull
.
c
:
add missing
a
ssignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export isl_basic
_
se
t
_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
i
sl_vec: keep track of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-12
S
v
en V
e
rd
o
olaege
i
sl_coalesce
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n Verdool
a
ege
update
pip
l
ib for change in con
f
i
g
ure argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolae
g
e
isl_basic_
m
ap_dro
p
_redunda
n
t_
d
i
v
s:
c
o
ales
c
e divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
is
l
_basic_map_dro
p
_redundant
_
divs: set
d
i
v
ex
p
res
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven V
e
rdoolaege
i
sl_basic_ma
p
_
drop_redundan
t
_divs: drop more kind
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolae
g
e
i
sl_map_compu
t
e
_divs: d
r
op o
b
vious
l
y redundant divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_map_pip
l
ib
.
c: extremum_
o
n: dete
c
t equaliti
e
s first
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoola
e
g
e
is
l
_pip_ba
s
ic_map_comp
u
te_divs: remove
s
ome equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_pip_basic_map_compute_divs: sep
a
rate out dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdool
a
eg
e
isl
_
basic_set_p
r
eima
g
e: h
a
ndle di
v
s in
i
n
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_input_omega
.
c:
make varia
b
le_{fre
e
,ne
w
} static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map
.
c: make add_divs
s
tat
i
c
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic
_
map_simplify: detect div constraints
w
h
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
dool
a
ege
i
s
l_basic_ma
p
_
drop: pro
p
erly
h
a
ndle dimensions o
f
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
add isl_in
t
_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
rdoolaeg
e
add isl_seq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Ver
d
oolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdool
a
e
g
e
isl_basic_
m
ap_de
t
ect_equalities: pr
o
perly handle
e
m
pt
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
i
s
l
_
basic_map_is_empty: explicitly ma
r
k basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
e
rdoolaege
isl_map
.
c: order_divs
:
s
wap with corre
c
t d
i
v
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdool
a
ege
isl_map
_
coalesce: rem
o
ve ext
r
a divs introduced by isl_map
_
al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven V
e
rdoolaege
ad
d
isl
_
map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
add isl_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoolaege
export
isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n
Verdoolaege
isl_map_convex_hull:
h
a
nd
l
e unbounded, but
p
oi
n
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verd
o
ola
e
ge
pri
v
ately e
x
port i
s
l_mat_
u
nimodular_complet
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoola
e
ge
is
l
_t
a
b
.
c
:
add isl_tab_
g
et_sample
_
value
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rdoolaege
isl_map_convex
_
hull: avoid int
r
oducin
g
lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
e
n Ve
r
d
o
olaege
a
d
d t
w
o
mo
r
e convex hull test
c
ases
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
isl_map_convex_hull: remove lin
e
ality
s
pace if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
oolaege
add isl_bas
i
c_set
_
i
s
_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
ad
d
isl_s
e
t_ge
t
_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdo
o
laege
isl_convex_hull
.
c
:
update wrap_facet to the fact w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven
Verdoolaege
i
sl_convex_h
u
ll
.
c
: fix
typo in co
m
m
ent
commit
|
commitdiff
|
tree
2009-05-05
Sven
V
erdoolae
g
e
isl_coalesce
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven V
e
rdo
o
l
aege
isl_tab
.
c: fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolae
g
e
co
n
figure
.
in: set AC_CONFIG_MA
C
R
O
_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
V
erdoolaege
a
dd is
l
_
b
a
si
c
_
set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
isl_
b
asic_m
a
p_gis
t
: normalize divs (if any
)
i
n
context
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doolaege
isl_basic_m
a
p_si
m
plify:
r
emove
dup
l
icate di
v
s before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdool
a
ege
add isl_bas
i
c_set
_
div
commit
|
commitdiff
|
tree
2009-03-23
Sven
V
erdoolaege
c
h
a
n
g
e c
a
l
l
i
ng
c
onvention
o
f
isl_ba
s
ic_map_div
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
isl_map_simpli
f
y
.
c: uset
_
gist: br
e
ak early if there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdoolaege
isl_map_simplify
.
c: uset_gist: b
r
eak e
a
rly i
f
intersec
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
add is
l
_basic_set_fast_is_
e
mpty
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
upd
a
t
e piplib to
1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verd
o
o
laege
isl_tab
.
c
: store
n
umber of
equalit
i
es amon
g
the constraints
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolae
g
e
isl_mat
_
extend: properly exte
n
d
m
atrices with
reorde
r
ed
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n V
e
rdoola
e
g
e
isl_map
_
g
i
st: handle
some speci
a
l
case
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
a
d
d isl
_
map_un
i
v
e
rse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_
b
asi
c
_
map_fast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoola
e
ge
isl_basi
c
_ma
p
_gist: replace by
new
version base
d
on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
isl_map_s
i
mplify
.
c:
c
ompute
_
el
i
mination_index:
don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_map_
i
mplic
i
t_equal
i
ties
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add i
s
l_basic
_
s
e
t
_f
r
ee
_
equality
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_map_convex_hull: mark result as
n
o
t ha
v
ing any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laeg
e
convex_hull
:
coalesce set f
i
rst
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_set_coales
c
e
commit
|
commitdiff
|
tree
2009-03-20
S
ven
V
erdoolaege
isl_
i
n
p
u
t_omega
.
c
:
b
asic_map_r
e
ad: a
c
c
e
pt "+
"
in const
r
aints
commit
|
commitdiff
|
tree
2009-03-20
S
ve
n
Verdo
o
laege
add
isl_basic_set_all
o
c_div
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add is
l
_set
_
align
_
divs
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdo
o
laege
u
s
et_aff
i
n
e_h
u
ll: i
g
nore directions in affin
e
hu
l
l
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
e
rdo
o
laege
i
s
l
_b
a
sic_map
_
impli
c
it_equa
l
itie
s
:
perform Gaussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoolaege
isl_a
f
f
i
ne_
h
ull
.
c: o
u
tside_p
o
int
:
c
h
e
c
k for obviou
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
pr
i
v
a
tely export isl_basic_se
t
_cont
a
i
n
s
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
i
sl_ctx:
a
dd nego
n
e
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaeg
e
isl_vec_dump:
handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdool
a
ege
isl_affine_hull
.
c:
e
xtract uset_affine_hull
commit
|
commitdiff
|
tree
next