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: privately export some functionality
2009-08-07
Sven
Ve
r
doolaege
isl_tab:
pri
v
at
e
l
y
e
xport so
m
e functi
o
na
l
i
ty
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
isl_tab: store undo argumen
t
in a u
n
ion for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolaeg
e
add isl_b
a
sic_
s
et_s
a
mple_bounded
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
e
rdoolaege
privately export isl_basic_se
t
_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_map_simplify
.
c: remove_depende
n
t
_
v
ar
s
:
only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
isl_ba
s
ic_ma
p
_comp
u
te_divs: use is
l
_ba
s
ic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_pip_
b
asic_map_compute_divs: don't
turn div
s
i
nto
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
p
rivate
l
y e
x
port isl_b
a
sic_m
a
p
_
sw
a
p_
d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_{set,ma
p
}
_
ad
d
:
don't a
d
d
obviously
e
m
p
ty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
aege
combin
e
i
sl_pip_basic_m
a
p_lex{min,max}
into i
s
l_pip_b
a
sic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoolaege
mak
e
piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
isl
_
m
at: keep track of the
a
c
t
ual number of column
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_ta
b
_pivot: fix typ
o
that
p
reve
n
ted normalizatio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
laege
add is
l
_ba
s
ic
_
s
et_positive_o
r
thant
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verd
o
ola
e
ge
add is
l
_basic
_
se
t
_partial_lex{
m
in,ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ren
a
m
e isl
_
bas
i
c_map_
l
ex
{
min,max
}
to isl_
b
asic_map_par
t
ial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
add i
s
l_bas
i
c_set_fr
e
e_di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_
s
et_dim:
s
upport
i
sl_dim_al
l
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_tab: store index of
v
ariable in
undo record in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
add isl_{set,map
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
ge
add isl_m
a
p_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add
is
l
_basic_map
_
ge
t
_dim
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verd
o
o
laege
a
dd isl_t
a
b_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doola
e
ge
export
i
s
l
_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
ven Ve
r
doo
l
a
ege
isl_
t
a
b
.
c: mark_re
d
un
d
an
t
: only mark
v
ariable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
olaeg
e
isl_ta
b
.
c: to_r
o
w: allow pivotin
g
in arbitra
r
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
e
r
doola
e
ge
isl_t
a
b
.
c
:
simp
l
ify code
b
y lett
i
ng mark_e
m
pty return
tab
commit
|
commitdiff
|
tree
2009-08-04
S
ven
Verdoolaege
add isl_seq
_
last
_
non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Verdoo
l
aege
i
s
l_tab
.
c: simpli
f
y add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
rdoolaege
isl_ta
b
.
c: extract al
l
o
c
ate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
privately e
x
po
r
t is
l
_basic
_
s
et_set_r
a
t
i
onal
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rd
o
olae
g
e
configure
.
ac: expli
c
itly set AC_CO
N
F
IG_
A
UX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoolaege
con
v
ex_hull: coalesce
set during f
a
ce
t
computatio
n
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
ge
isl_map_coalesce: do
n
't drop
r
a
tional f
l
ag
f
ro
m
result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
isl_tab_cone_is_bounde
d
: start o
v
er after com
p
uting
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
Ver
d
oolaege
is
l
_ba
s
ic_set_dim_residue_clas
s
: only se
t
*
mod
u
lo
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sve
n
Verdoolaege
add isl_basic_
s
e
t_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
S
ven Ve
r
doo
l
a
e
ge
i
s
l_tab: dro
p
isl
_
ctx
argument where not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_mat:
keep
t
ra
c
k of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Ver
d
oolaege
isl_b
a
sic_set_
s
ample: don'
t
projec
t
o
ut lineal
i
ty space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
i
s
l
_
basic_map_fix_pos: mi
c
ro-optimiza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
move isl_basic_s
e
t_
s
k
ew_to_positive
_
orthant to i
s
l_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdool
a
ege
i
sl_tab
.
c: fix typo
i
n
c
omment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_b
a
s
i
c
_set_sample: b
r
eak early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
export isl_tab_s
a
m
p
le_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
doo
l
aege
isl_b
a
sic_set_sample: check sa
m
p
l
e
stored
b
y
isl_basi
c
_
map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_basic
_
map_is_empty: remove
stale s
a
mple
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ve
r
doolaege
add isl_p
o
lyhe
d
r
o
n_
s
a
m
ple
ap
p
licat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoo
l
aege
int
r
odu
c
e generaliz
e
d
b
as
i
s reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
add isl_
s
eq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
er
d
oolaeg
e
isl_s
a
mpl
e
.
c: i
n
t
e
rval_s
a
m
p
l
e: drop redundant a
r
gument
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
i
s
l_sample
.
c: clean up h
a
ndling of l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolae
g
e
isl_sample
.
c: extract out sa
m
ple_eq
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
isl_sam
p
l
e
.
c:
i
n
t
erval
_
sample: handle equaliti
e
s
d
irectly
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdo
o
laege
isl_s
a
mple
.
c
:
extract out emp
t
y_sampl
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sa
m
ple
.
c
:
generalize p
o
int_sample to z
e
ro_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_tab:
don't c
r
e
ate
n
e
w undo records during rollback
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
e
rdoolae
g
e
isl
_
tab
_
m
i
n: use general rollba
c
k
m
ec
h
a
n
ism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_
t
ab: optionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdo
o
l
aege
isl_tab: add is
l
_tab_
a
dd_valid_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
ol
a
ege
add isl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
p
r
ivately e
x
port isl_basi
c
_set_reces
s
ion_co
n
e
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_conv
e
x_hull
.
c:
a
dd missing as
s
ignm
e
nt
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verd
o
olaeg
e
private
l
y expor
t
isl_basic_set_
l
inea
l
ity_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
i
s
l_vec: keep track of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven V
e
rd
o
olaeg
e
isl_coalesce
.
c: fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
Verdoolaege
update piplib for c
h
ang
e
in config
u
re arguments
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n Verdoolaege
i
s
l_basic_map_drop_redundant_di
v
s: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
i
sl_basic
_
map_drop_
r
edundant_divs: set div
e
x
p
ression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
o
o
laege
i
s
l
_
basic_map_drop_redundan
t
_di
v
s: dro
p
more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
isl_map_co
m
pute
_
d
ivs:
drop obviously redunda
n
t
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
e
r
d
oolaege
i
s
l_map_pipl
i
b
.
c: extremum
_
on: detect equalities f
i
rst
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erdoola
e
g
e
i
s
l_pip_basic
_
map_c
o
mpute_divs: remove s
o
me equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoo
l
aege
isl_pi
p
_basi
c
_map_compute_divs: sepa
r
a
te out dim
e
ns
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n V
e
r
d
oolaege
isl_basic
_
set_preima
g
e: han
d
l
e
divs in
input
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoolaege
isl
_
inpu
t
_omega
.
c:
make variable
_
{
free,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Ver
d
oolaege
isl_m
a
p
.
c: m
a
ke add_div
s
static
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_ba
s
ic_
m
ap_simplify: detect div constraints while
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdoolaege
is
l
_basic_map_drop:
p
r
operly handle di
m
ensions of typ
e
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ver
d
oolaege
add isl_int_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
S
ven Verdo
o
laege
add isl_seq_fdi
v
_q
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl_
s
eq_f
d
iv_r
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdo
o
laege
isl_basic_map_detect_equalities: properly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verd
o
olaege
isl_basic_map_is_empt
y
: expli
c
itly mark
bas
i
c set
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Ve
r
d
oo
l
aege
is
l
_map
.
c: order_divs: sw
a
p wi
t
h cor
r
ect di
v
commit
|
commitdiff
|
tree
2009-06-07
Sven V
e
r
do
o
laege
is
l
_m
a
p
_
coa
l
esce: remove extra divs introdu
c
ed by
i
sl_map_a
l
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven Verdoolaege
add isl_m
a
p_coalesce
commit
|
commitdiff
|
tree
2009-05-19
Sven
V
erdoolaege
a
dd i
s
l_set_product
commit
|
commitdiff
|
tree
2009-05-19
S
v
en Ver
d
oolaege
export is
l
_map_dim
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdool
a
ege
i
s
l
_map_convex_hull: handle unbo
u
n
d
e
d
,
but p
o
in
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdoolaege
privately export isl
_
mat_u
n
imodul
a
r_comp
l
e
t
e
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdool
a
ege
is
l
_
t
ab
.
c: ad
d
isl_tab_get_sam
p
le_value
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdoolaege
isl_map_convex_hull
:
a
void introduc
i
ng lineality spaces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
v
en Verdool
a
ege
add tw
o
m
o
re convex hull tes
t
ca
s
es
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Ve
r
dool
a
ege
isl_map_convex_
h
ull:
r
emove l
i
n
e
a
lity
s
p
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sven Verdoo
l
ae
g
e
add isl
_
b
a
sic_set_
i
s_universe
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaeg
e
add isl_set_
g
et_dim
commit
|
commitdiff
|
tree
2009-05-05
Sve
n
Verdoolaeg
e
isl_convex_
h
u
ll
.
c
:
u
p
date wrap_f
a
cet to the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoo
l
aege
isl_
c
onvex_hull
.
c: fix typ
o
i
n
c
omment
commit
|
commitdiff
|
tree
next