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: allow introduction of extra variables
2009-08-07
Sven Verdoolaege
isl_tab:
a
llow introduction
o
f ex
t
ra variabl
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl
_
tab: introduce parameters
a
nd divs
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
isl_tab
.
h: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_tab: allow savin
g
and resto
r
ing the compl
e
te basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_ta
b
: priva
t
e
ly e
x
port som
e
f
unction
a
lity
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_
t
ab: st
o
re und
o
argume
n
t
in a
u
n
i
on
f
or
f
uture
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdool
a
eg
e
add isl_b
a
sic_set_
s
ampl
e
_bound
e
d
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
privat
e
l
y
expor
t
i
sl
_
basic
_
se
t
_
o
rder_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_map_simplify
.
c: remove_dependent_vars: only remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
i
s
l
_basic_ma
p
_comp
u
t
e_divs:
u
se isl_basi
c
_set_
l
exmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
l
ae
g
e
is
l
_pip_basic_
m
ap_compute_d
i
vs:
d
o
n't t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
o
l
aeg
e
privately expor
t
isl_b
a
sic_map_sw
a
p_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaeg
e
isl_{s
e
t,map}_add: don't add obviously e
m
p
t
y basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine is
l
_pip_basic_ma
p
_lex{min
,
max} into isl_pip
_
basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
ol
a
ege
make piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
l
a
ege
isl_
m
at
:
ke
e
p tr
a
c
k
of the actual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
i
s
l_tab
_
p
i
vot: fix typo that
p
r
e
vent
e
d normaliz
a
tion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolae
g
e
ad
d
isl_basic_set_posi
t
i
ve_ort
h
ant
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
lae
g
e
add
isl
_
ba
s
ic_set
_
partial_lex
{
m
in,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
olaeg
e
rena
m
e isl_basic_map_lex{min,max} to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add
i
s
l_
b
as
i
c_set_free
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl_set_dim:
suppor
t
isl_dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
laeg
e
isl_t
a
b: s
t
o
r
e
index of variable in und
o
record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aeg
e
add isl_{set,map
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl
_
map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verd
o
o
l
aege
add isl_basic_map_
g
et_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl_m
a
t_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
is
l
_tab
.
c: mark_redundant: only mark var
i
able nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoolaege
isl_
t
ab
.
c
:
to_row: allow pivoting in ar
b
i
tra
r
y
d
irec
t
ion
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Ve
r
doolaege
isl_tab
.
c: sim
p
lify
co
d
e by le
t
tin
g
mark_empt
y
retu
r
n tab
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
add
is
l
_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oola
e
ge
isl_tab
.
c: simpl
i
fy add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_tab
.
c: extract a
l
loc
a
te_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
priva
t
ely export isl_basi
c
_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdo
o
laege
conf
i
gure
.
ac: exp
l
icitl
y
set A
C
_
C
O
N
FIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
conv
e
x_hull: c
o
ales
c
e set d
u
ring face
t
computatio
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
isl_map_coal
e
sce: don't dr
o
p rational flag from resul
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
isl_tab_c
o
ne_is_bounded: start over after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sv
e
n
Verdoolaege
i
sl_basic_set
_
dim_r
e
si
d
ue_class
:
only
set *modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven
V
erdoolaege
add isl_basic_set_fast_d
i
m_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdool
a
ege
i
s
l_tab
:
drop isl_ctx argument
w
h
e
r
e
n
ot
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
Ver
d
oolaege
isl_mat: keep track of i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ver
d
oolae
g
e
isl_b
a
sic
_
set_sam
p
l
e: don't
p
roj
e
ct
o
ut lineality s
p
ace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
isl_bas
i
c_map_fix_p
o
s: micro
-
optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
m
o
ve i
s
l_basic_set_skew
_
to_positive
_
orthant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n V
e
rdoolaege
isl_
t
a
b
.
c
: fix
t
y
po in comme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_basic_set_sample: break early if
sam
p
le fou
n
d in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
e
xpor
t
isl_tab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
i
sl_ba
s
i
c
_set_sample: check sam
p
le store
d
by isl_basic
_
m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaege
isl_basic_map_is_empty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
add isl_polyhedron
_
s
ample
application
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n V
e
rdool
a
ege
introduce gen
e
ra
l
ized b
a
sis reduct
i
on
based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
ge
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
isl_
s
ample
.
c: interval_samp
l
e: d
r
op redundant argumen
t
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n Verdool
a
e
g
e
isl_sample
.
c: clean up han
d
lin
g
of lineality space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
a
ege
i
sl
_
sample
.
c:
extract out s
a
mple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolaege
isl
_
samp
l
e
.
c: interval_sample: handle
equalities dir
e
ctly
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
i
sl_sam
p
le
.
c: ex
t
ract out empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolae
g
e
isl_sample
.
c:
g
eneralize point
_
s
ample t
o
z
e
ro_s
a
mp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
is
l
_
t
ab: don't create
n
ew undo records
d
uring rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
oolaege
isl_tab_min: u
s
e general rol
l
back mechanism
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoolaege
isl_ta
b
: opt
i
onall
y
save dual solu
t
ion
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
isl_tab: add isl
_
ta
b
_add
_
v
a
lid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n Verdoola
e
ge
export i
s
l_t
a
b
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
add isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
privately export isl_basic_set_re
c
ession_c
o
ne
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
isl_conve
x
_hull
.
c:
add missing assign
m
ent
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
olaeg
e
privatel
y
export isl_basic_set_
l
ineality_
s
p
a
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_vec: k
e
ep track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven
Verdoolaege
isl_coa
l
esce
.
c
:
f
i
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven V
e
rdoolaege
update piplib
f
o
r
c
ha
n
ge
i
n configu
r
e arg
u
m
ents
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_b
a
si
c
_
map_
d
rop_redu
n
da
n
t_divs: coalesce
d
ivs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_basic_map_
d
rop_redu
n
d
a
n
t_di
v
s:
set div expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdo
o
l
aege
isl_bas
i
c_map_d
r
op_redundant
_
divs:
drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaeg
e
isl_map_c
o
mpute_divs: dr
o
p obviously r
e
d
undant di
v
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoo
l
aeg
e
isl_map_piplib
.
c: extremum_o
n
: de
t
ect equalities first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_pip_basic_
m
ap_compute_d
i
vs:
r
em
o
v
e
some equa
l
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
dool
a
e
g
e
isl
_
pip_basic_map
_
comp
u
te
_
divs
:
separate
o
ut dim
e
nsion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_basic_set_preima
g
e
:
handle divs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven
Verdoolaege
isl_in
p
ut_o
m
e
g
a
.
c:
make
variable_{free,new} stati
c
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verd
o
o
l
aege
isl_
m
a
p
.
c: m
a
ke add_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoolaege
i
s
l_basic_map_simplify: detect div c
o
nstraints wh
i
le
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
i
s
l_ba
s
ic_m
a
p_drop
:
pr
o
perly
h
andle
d
imensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_int
_
mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add is
l
_seq
_
fdiv_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdool
a
ege
add isl_se
q
_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
isl_basic_map_de
t
ect_equalities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
isl_basic_map_
i
s_empty:
e
xplicitly
m
a
rk basic
s
e
ts
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdoolaege
isl
_
map
.
c: o
r
de
r
_di
v
s
:
swap wi
t
h
c
o
rrect div
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
is
l
_
m
a
p
_coalesce: remove
e
xtra d
i
vs
introdu
c
ed
by isl_map_a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verd
o
olaege
add isl_map_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
add is
l
_set_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verd
o
o
laege
export isl_map_dim
commit
|
commitdiff
|
tree
2009-05-06
S
ven V
e
rdoola
e
ge
i
sl_
m
a
p_c
o
n
v
ex_hull: hand
l
e un
b
ou
n
ded,
b
ut
p
ointe
d
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoolaege
priv
a
tel
y
export isl_
m
at_uni
m
odular_
c
omplete
commit
|
commitdiff
|
tree
2009-05-06
Sven Verd
o
o
laege
isl
_
tab
.
c
:
add
i
sl
_
tab_get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
e
r
d
oolaeg
e
isl_map
_
convex_hul
l
: avoid
intr
o
ducin
g
lineal
i
ty spac
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven V
e
rdoola
e
ge
add two more conve
x
hull test case
s
commit
|
commitdiff
|
tree
2009-05-06
Sven
Verdo
o
laege
isl
_
m
a
p
_convex_hull:
r
e
m
ove lineality spac
e
if any
.
.
.
commit
|
commitdiff
|
tree
next