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_sample.c: interval_sample: drop redundant argument
2009-07-15
S
ven Verdoolaege
isl
_
sample
.
c: interval_sample: drop red
u
nda
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
er
d
o
o
l
aege
isl_sa
m
ple
.
c: cl
e
an up han
d
ling of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdool
a
ege
i
s
l
_
s
am
p
le
.
c:
ex
t
ract ou
t
sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaeg
e
isl_sample
.
c: i
n
terval_sample: handl
e
equalities dir
e
ct
l
y
commit
|
commitdiff
|
tree
2009-07-13
S
ven V
e
rdoolaege
isl_sample
.
c
:
extract out empt
y
_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdool
a
ege
isl_sample
.
c: generalize point_sampl
e
to
zero_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_tab: don't crea
t
e new
u
n
d
o records during r
o
llba
c
k
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_tab
_
mi
n
: use general rollback mech
a
n
i
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: optionally save dua
l
solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
i
s
l
_
tab
:
ad
d
isl_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
o
laeg
e
export isl
_
tab
_
all
o
c
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
ege
add
i
sl_int_
l
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoola
e
ge
privately export isl_basi
c
_set_re
c
ess
i
on
_
co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
i
sl_c
o
nvex
_
hull
.
c: add m
i
ssing as
s
ignment
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
privatel
y
export isl_basic_set_lineali
t
y
_space
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
is
l
_
vec: keep track
of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rdoolaeg
e
isl_
c
oalesce
.
c: fix
typo
commit
|
commitdiff
|
tree
2009-06-13
S
ven Verdoolaege
u
p
d
at
e
p
ipl
i
b for change in configure argum
e
nts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
ol
a
ege
isl_basic_map_
d
rop_redundant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl
_
basic_map_drop_redu
n
dan
t
_divs: set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_map
_
d
rop
_
redunda
n
t_divs: drop m
o
re kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_map_com
p
u
t
e_divs: drop obviously redundant
d
ivs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verd
o
ola
e
g
e
isl_m
a
p_piplib
.
c
:
ex
t
rem
u
m_o
n
:
d
etect equalities
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_pip_basic
_
map_co
m
p
u
t
e_divs: remove s
o
m
e
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n V
e
rdoo
l
aege
isl_pip_bas
i
c_map_compute
_
divs:
separat
e
o
u
t dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
V
e
rd
o
olaege
isl_basic
_
se
t
_
pre
i
mag
e
:
handle di
v
s in in
p
ut
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
isl
_
in
p
ut_omega
.
c: make v
a
ri
a
ble_{fr
e
e,new} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl_map
.
c: mak
e
ad
d
_divs static
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic_
m
ap_simplif
y
: detect
div c
o
nstraint
s
while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
isl_basic_map_drop: p
r
o
p
e
rl
y
h
a
n
dle d
i
mensions of ty
p
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdool
a
eg
e
add
i
sl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
do
o
la
e
ge
ad
d
isl_
s
eq_fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
ad
d
is
l
_
s
eq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven
Verdoolaege
isl_basic_map_
d
etect_
e
q
ualities: properly ha
n
dle emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sv
e
n Verdoolaege
i
s
l_basic_map_is_
e
m
pty: explicitly mark
b
asic se
t
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_map
.
c
:
orde
r
_divs: swap
w
ith correct div
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
doolaege
isl_map
_
coales
c
e: r
e
mo
v
e extra
divs intro
d
uced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
a
d
d isl_map_coale
s
ce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
add is
l
_set_pro
d
uct
commit
|
commitdiff
|
tree
2009-05-19
Sven V
e
rdoolaege
export isl_
m
ap_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l_map_convex_hull:
h
andle unbo
u
nded, but pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
pr
i
v
a
t
e
ly export isl_mat
_
u
n
imodular_complet
e
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
i
s
l
_tab
.
c: add isl_tab_g
e
t_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
isl
_
map_
c
onv
e
x_hull:
avoid int
r
oducing lineality
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaeg
e
add two more
c
onvex hull
t
e
s
t
cas
e
s
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n
Verdoolaege
isl_map_convex_hull
:
remo
v
e l
i
neality space if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ve
n
Verdoolaege
add isl_basic_set_is_u
n
iverse
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
add
i
sl_se
t
_get_dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verd
o
olaege
isl_convex
_
hull
.
c
:
update wrap_facet to the fa
c
t
w
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolaege
isl
_
convex_hull
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
e
n V
e
rdoolaeg
e
i
sl_coalesce
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
S
ven
Verdoolaege
isl_tab
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-05-05
Sven
Ver
d
oo
l
aege
configure
.
in: set
A
C_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-03-23
Sven Ve
r
doo
l
ae
g
e
add is
l
_
basic_set_get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sve
n
Verdoolaege
i
sl_basi
c
_
map_gist: norm
a
lize d
i
v
s
(if any) in cont
e
xt
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verd
o
olaege
i
sl_basic_map_
s
implify:
remove dupl
i
cate divs before
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Verdo
o
laege
a
dd isl
_
b
a
sic_set_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n Ver
d
oolaege
c
h
ange calling conventio
n
of i
s
l_basic_map_d
i
v
commit
|
commitdiff
|
tree
2009-03-23
Sv
e
n
V
erdoolaege
isl_map_sim
p
lify
.
c:
u
set_gist:
brea
k
early if
there
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven V
e
rdoolaege
i
s
l
_map_simplify
.
c:
u
set_gist:
b
rea
k
early if intersection
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoola
e
ge
add
isl_basi
c
_s
e
t_fast_is
_
empty
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
u
p
date piplib to 1
.
4
.
0
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdool
a
e
ge
isl_tab
.
c
: store number of equaliti
e
s
among the constra
i
n
ts
.
.
.
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoo
l
aege
isl_mat_extend: properly exte
n
d matrices wi
t
h
reordere
d
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_map_gist:
h
andle so
m
e speci
a
l
case
s
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add is
l
_map_un
i
verse
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
add isl_bas
i
c_map_
f
ast_is_empty
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
l
a
ege
isl_basic_
m
a
p
_gis
t
: re
p
lace by new versi
o
n based on
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolae
g
e
isl_ma
p
_simplify
.
c: compute_elimin
a
tion_
i
nd
e
x: don
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
V
erdoolaege
a
dd is
l
_
m
ap_implicit_equ
a
lities
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolaege
add isl_ba
s
ic_se
t
_fr
e
e_eq
u
a
l
ity
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
i
sl_map_convex_
h
ull
:
mark
r
esult as
not h
a
ving any
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
convex_h
u
ll: c
o
a
lesce set first
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add isl_
s
et_
c
oalesce
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_in
p
ut_om
e
g
a
.
c: basic_map
_
r
e
ad: acc
e
pt "+"
i
n
c
onstrai
n
ts
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verd
o
o
l
aege
a
d
d
i
s
l_
b
asic_set_alloc
_
d
iv
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
add isl
_
set_ali
g
n_divs
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ver
d
oolaege
uset_
a
ffine_hull: i
g
nore
direct
i
ons in af
f
ine hull
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
S
v
en Verdoo
l
aege
isl_
b
asic_map_implicit_equa
l
ities: perform
G
a
ussian
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Ve
r
doolaege
isl_affine_hull
.
c: outside_po
i
nt: check
f
o
r
obv
i
o
u
s
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aeg
e
privately exp
o
r
t
i
sl_
b
a
sic
_
set_co
n
tains
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_ctx: a
d
d negone
commit
|
commitdiff
|
tree
2009-03-20
S
v
e
n
V
erdoola
e
ge
isl_ve
c
_dump: handle NULL vec
commit
|
commitdiff
|
tree
2009-03-20
Sven
V
erdoolaege
isl_affine_hull
.
c:
e
xtra
c
t uset_affine_hull
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
i
s
l_mat_transpose: handle
n
on-rec
t
a
ngular
mat
r
ices
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l
_map_simple_hull: compute affine hull before alignin
g
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_m
a
p_simple_hull: mark re
s
ult as no
t
h
a
ving an
y
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sve
n
Verdoolaege
add isl_set_
b
ound
e
d
_
simpl
e
_
h
ull
commit
|
commitdiff
|
tree
2009-03-20
Sven
Ve
r
d
o
olaege
i
sl_map_affine_hul
l
: detect equalit
i
es of
i
nte
g
er affine
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdo
o
laege
isl_basic_map_dup: co
p
y flags of
o
r
i
g
ina
l
to duplicate
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
i
s
l_basic_map_extend_dim: move re
s
ponsibility
o
f cow
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_
b
asi
c
_
m
a
p
_
extend_di
m
: o
n
ly extend constr
a
int matr
i
x
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n
Verdoolaege
isl_sol
v
e_lp:
u
se
t
a
b
l
e
au
s
instead of
callin
g
pipli
b
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven
Verdoolaege
isl_
s
olve_lp
:
accept
affine
o
bjec
t
function
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoo
l
aege
isl_map_si
m
ple
_
h
ull: use
h
ash tab
l
es
and tableaus
commit
|
commitdiff
|
tree
2009-03-20
S
ven Verdoolaege
isl_convex_hull
.
c: extract out use
t
_simpl
e
_hull
commit
|
commitdiff
|
tree
2009-03-20
S
v
en V
e
rdoolae
g
e
isl_convex_hull
.
c
:
ext
e
n
d
:
a
void wrapping
around already
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven V
e
rdool
a
ege
isl_conv
e
x_hull
.
c: i
n
troduce proto_hull based on obvious
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sven Verdoolaege
isl_conv
e
x_hull
.
c:
move in
i
tial hull construction into
.
.
.
commit
|
commitdiff
|
tree
2009-03-20
Sv
e
n Verdoolaege
isl_conve
x
_hul
l
.
c
:
mo
v
e
c
o
mp
u
tation
of bo
u
nds into
.
.
.
commit
|
commitdiff
|
tree
next