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_tab: introduce support for "big parameters"
2009-08-07
S
ven Ve
r
d
oolaege
i
sl_tab:
introduce suppor
t
fo
r
"big parameters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
ool
a
ege
isl
_
tab: a
l
low intro
d
uct
i
on
of ex
t
ra variables
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verdoolae
g
e
isl_t
a
b:
introd
u
c
e
paramete
r
s an
d
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
i
s
l_
t
ab
.
h: fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
:
all
o
w sav
i
ng
a
nd re
s
toring th
e
complete
b
a
sis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_
t
ab: privat
e
ly export some functionality
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
ege
isl_tab: store undo argument in a uni
o
n for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
a
d
d isl_basic_set_sam
p
le_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately e
x
po
r
t
isl_basic_se
t
_order_div
s
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laege
isl_map_simplify
.
c: remove_d
e
pendent_vars: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
sl_bas
i
c
_m
a
p_compute_divs: use isl_ba
s
ic_set_le
x
m
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oo
l
aege
isl_pip_b
a
sic_
m
a
p_comp
u
te_di
v
s: don't turn
divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
p
r
i
vate
l
y export
i
sl_basic_m
a
p
_
swap_di
v
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
V
e
r
doolaege
isl_{
s
et,map}_add: d
o
n't
a
dd
obviously empty b
a
s
i
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combin
e
isl_
p
ip_b
a
sic_m
a
p_lex{min,max} in
t
o isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
make p
i
plib
h
ead
e
rs privat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_mat: keep
trac
k
o
f the actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaeg
e
isl_tab_p
i
vot: fix t
y
po
t
ha
t
p
revent
e
d
normaliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
eg
e
add isl_b
a
sic_se
t
_positive_orthan
t
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
d
o
olaeg
e
add isl_basic_set_partial_le
x
{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
e
rdoolaege
ren
a
m
e
i
sl
_
b
as
i
c_map
_
lex{m
i
n,max} to
isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_free_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_set_di
m
: support isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_tab:
s
to
r
e index of varia
b
le in un
d
o reco
r
d
ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add
i
s
l_{se
t
,ma
p
}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
g
e
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoo
l
a
e
ge
add isl_b
a
s
i
c_ma
p
_get
_
dim
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laeg
e
e
x
port isl_m
a
t_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
s
l
_t
a
b
.
c: mar
k
_red
u
ndant: only mark va
r
iable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoolaege
i
sl_ta
b
.
c: to_row: allow pivoting in arbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
isl_
t
a
b
.
c: si
m
p
l
ify code by
le
t
ting mar
k
_empty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_seq_last_no
n
_ze
r
o
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n
Verdoolaege
isl_
t
ab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven
Verdoolaege
i
sl_tab
.
c: extrac
t
allocate_
c
o
n
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdool
a
ege
private
l
y
export isl_basic_se
t
_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doo
l
a
e
g
e
configure
.
ac: explicitly set AC
_
CONF
I
G_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
co
n
vex_hull
:
c
o
alesce s
e
t during
facet computation
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Ve
r
doolaege
isl_map_coalesce: don't d
r
o
p r
a
tional flag f
r
om r
e
sult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
isl
_
tab_cone_is
_
bound
e
d:
start over after compu
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sv
e
n
V
erdo
o
laege
isl_basic_set_dim_re
s
idue_class: o
n
ly s
e
t
*modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
S
v
en Ver
d
oolaege
add isl_basic_set_fast_
d
im_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
d
oolae
g
e
isl
_
t
a
b: drop isl_ctx argument where not ab
s
olute
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdoolaege
isl_ma
t
: keep track of
isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
Verdoolae
g
e
i
s
l
_
basic_set_
s
ample
:
don't
p
roj
e
ct
o
ut lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verd
o
olaege
is
l
_ba
s
ic_map_fi
x
_po
s
: micro-op
t
imization
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
move isl
_
basic_set_skew_to_posit
i
v
e
_orthant to
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
s
l_tab
.
c: f
i
x typ
o
i
n comm
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoo
l
aege
isl_basic_set_sa
m
ple: break ear
l
y
if sa
m
ple found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolae
g
e
exp
o
rt
isl_tab
_
samp
l
e_is
_
integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolae
g
e
i
s
l_basic_set_sample:
c
h
eck
s
a
mple st
o
red by isl_b
a
sic_map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ve
r
doolaege
isl_basi
c
_map_is_em
p
t
y
: r
e
m
ove stale sampl
e
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
olaege
add
i
sl_polyh
e
dron_sa
m
ple appl
i
cation
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
intr
o
duce ge
n
eralized basis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
add isl_seq_
c
div_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_sample
.
c: i
n
terva
l
_sampl
e
: drop redu
n
dant argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl
_
sampl
e
.
c: clea
n
u
p handli
n
g o
f
lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_sample
.
c: extract out
sampl
e
_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verd
o
olaege
isl_
s
a
mple
.
c:
interval_sa
m
ple: handle equal
i
tie
s
di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl
_
sample
.
c: e
x
tract out e
m
pty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c
: general
i
ze point
_
sample to zero_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_tab:
d
on't create new un
d
o records during
rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
i
sl_tab_min: use genera
l
rollback mech
a
ni
s
m
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_ta
b
: option
a
lly save dual solu
t
i
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
isl_tab: add
isl_tab_
a
dd_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aeg
e
e
x
p
ort isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdool
a
ege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export isl_bas
i
c_set_recession_
c
one
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_con
v
e
x_hul
l
.
c:
a
dd missing assi
g
n
m
ent
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oola
e
ge
privately
export isl_b
a
sic_set_li
n
eal
i
t
y
_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolae
g
e
isl_vec: keep
track of
isl
_
ctx
commit
|
commitdiff
|
tree
2009-07-12
S
ven Verdoolaege
isl_coalesce
.
c
:
fix
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdoolaege
update p
i
p
lib for change in confi
g
ure ar
g
uments
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
i
s
l
_b
a
s
ic
_
map_drop_redu
n
dant_
d
ivs: coales
c
e divs
if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_basic_map
_
drop_redundant_divs: set
d
iv expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rd
o
olaege
isl_basic_map_drop_re
d
un
d
ant_divs: dro
p
mor
e
k
i
nds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map_compute_di
v
s: drop
obviously redun
d
ant d
i
vs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
i
sl_map_piplib
.
c: extre
m
u
m_on: detect
e
qualitie
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
do
o
laege
isl_pi
p
_basic
_
m
a
p_compute_d
i
vs: remove some e
q
ualit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
isl_p
i
p_basic_
m
ap_compute_divs:
s
e
p
a
rate
o
ut dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_basic_set_preimage: handle divs in in
p
u
t
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_input_omega
.
c:
m
ake variable_{free,new}
sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_map
.
c: make ad
d
_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
V
e
rdoolaege
isl_basic_map_simplify:
detect d
i
v constr
a
i
nts while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdo
o
la
e
ge
isl_basic_
m
a
p_d
r
op: properly
h
a
n
dle d
i
mensio
n
s
of
type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_
i
nt
_
mul_
u
i
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
erdoolaege
a
d
d i
s
l_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
S
v
en Verdoolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven
Verdoolaege
i
s
l
_bas
i
c_map_detect_e
q
ual
i
ties: pr
o
perly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erd
o
olaege
i
sl_basic_
m
a
p
_is_empty: explicitl
y
mark basic sets
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
Verdool
a
ege
isl_map
.
c
: order_divs
:
swap with corr
e
c
t div
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl_map_coalesc
e
:
remove e
x
tra d
i
vs
introduced
b
y isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
olaege
ad
d
isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Verdoola
e
ge
add
isl_set_p
r
oduct
commit
|
commitdiff
|
tree
2009-05-19
Sv
e
n Verdoolaeg
e
export isl_ma
p
_dim
commit
|
commitdiff
|
tree
2009-05-06
S
v
en
Verdoo
l
a
e
g
e
isl_map_con
v
ex
_
hull: han
d
le unbounde
d
, bu
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
priv
a
tely e
x
port isl_
m
at_unimo
d
ular_complete
commit
|
commitdiff
|
tree
2009-05-06
S
v
en V
e
rdoolaege
isl_tab
.
c: add
is
l
_tab_get_
s
a
mple_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
rdoola
e
ge
isl
_
map_
c
onvex_hul
l
: avoid introducing lineality
spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
er
d
oolaege
add
two more c
o
nvex hull
test cases
commit
|
commitdiff
|
tree
next