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
privately export isl_basic_set_order_divs
2009-08-07
Sven
Verdoolaege
privately export is
l
_basi
c
_
s
et_order_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
i
sl_map_
s
implify
.
c: remove_dep
e
ndent_
v
ars:
onl
y
remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_
b
asic_map_compute_
d
iv
s
: use isl
_
basic_set_l
e
x
min
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_
p
i
p
_
b
a
s
ic_map_compute_
d
ivs: don'
t
turn divs int
o
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oo
l
aege
pr
i
vate
l
y
expor
t
isl_basic_map_
s
wap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
olaege
i
sl_{set,m
a
p}_add:
d
o
n
't add obviousl
y
e
mpty b
a
sic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
combine
i
sl_pip_basic_map
_
lex{
m
i
n
,
m
ax} into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
mak
e
piplib header
s
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_mat: k
e
ep track
of the actual numb
e
r of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
isl_tab
_
pivo
t
: fix t
y
po that pre
v
ent
e
d norm
a
lizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
ae
g
e
add isl_
b
a
s
i
c_set_positive_orth
a
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_b
a
sic_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaeg
e
r
e
name is
l
_basic_map_lex{min,max} t
o
i
s
l_basic
_
map_parti
a
l_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl_basic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
isl_set_dim: s
u
ppor
t
isl_dim
_
all
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_tab: sto
r
e
index
of variable in u
n
do record inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
add isl_{set,m
a
p
}
_grow
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
add isl_basic_map_get_
d
im
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_ta
b
_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl
_
mat_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
isl_ta
b
.
c:
m
ar
k
_redundant: o
n
ly mark
v
ariable no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
isl_tab
.
c: t
o
_row: allow
pivoting i
n
a
r
b
itrary direction
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoo
l
aege
isl_tab
.
c:
s
i
m
p
lify code by lett
i
ng mark_empty return
t
ab
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdool
a
ege
add isl_seq_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl
_
tab
.
c: sim
p
lify add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven
V
e
r
do
o
l
a
eg
e
i
s
l_t
a
b
.
c: extract a
l
locate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
pr
i
vately e
x
po
r
t isl_bas
i
c_set_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
o
l
aege
configure
.
ac: explicitly set AC_CONFIG_AU
X
_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
co
n
vex_hull:
coa
l
esce set
during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoola
e
ge
isl_map_coale
s
ce: don't drop rational f
l
a
g
f
rom r
e
sult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verd
o
ola
e
ge
isl_t
a
b_
c
o
ne_is_bounded: start ove
r
a
f
ter computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_t
a
b: drop
isl_c
t
x
a
rgument wher
e
not
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
rdoo
l
aege
isl
_
m
a
t: ke
e
p track of is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
aeg
e
isl_basic_
s
et_sample: don't pro
j
ect o
u
t
lineality sp
a
ce
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doo
l
aege
isl
_
basic_map_fix_pos: micro-
o
ptimiz
a
tion
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
move isl_basic_set_skew_to_
p
os
i
tive_orthant to
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Ve
r
doolae
g
e
isl_tab
.
c: fix
typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
isl_basic_set_sample: break ear
l
y if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaeg
e
expo
r
t isl_tab_sampl
e
_is_intege
r
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
isl_ba
s
i
c_set_sample: che
c
k sam
p
le
sto
r
ed b
y
isl_basic
_
map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_basic_map_i
s
_
empty: remo
v
e
stale sampl
e
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
rdoolaege
add isl_p
o
lyhedr
o
n_sample appl
i
ca
t
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdool
a
eg
e
introduce general
i
zed basis red
u
ction based samp
l
ing
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
o
o
laege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_sample
.
c
: interv
a
l
_sa
m
ple:
drop
r
e
d
u
n
dant arg
u
me
n
t
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_sample
.
c
:
c
l
e
a
n
up han
d
ling of lineality
s
p
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_samp
l
e
.
c: extract
o
u
t
s
amp
l
e_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
isl_sampl
e
.
c:
i
nterval_sample: handle equalities directly
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
isl_
s
a
m
ple
.
c:
extract
o
ut empty_s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_sa
m
ple
.
c: g
e
ne
r
alize point_sample to
z
e
r
o_sam
p
le
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdoolaege
isl
_
tab: don't create new und
o
records during rollback
commit
|
commitdiff
|
tree
2009-07-13
S
v
e
n
Verd
o
olaege
isl_
t
ab_min: use
g
en
e
ral
r
ollbac
k
mec
h
anism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ver
d
o
o
laege
isl_tab: optionally save dual solution
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoolaege
isl_tab:
a
dd
isl_tab_a
d
d_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
ge
export isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
a
ege
ad
d
isl
_
int_l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
privately
expo
r
t isl_basi
c
_set_recess
i
o
n
_cone
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
ol
a
ege
i
sl_convex_
h
ull
.
c: add missing assignme
n
t
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
privately export isl_basic_set
_
l
i
nea
l
ity_space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
ege
isl_v
e
c:
k
eep track
o
f
i
s
l_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sven
V
erdoola
e
ge
isl_c
o
alesce
.
c
:
fix typo
commit
|
commitdiff
|
tree
2009-06-13
S
v
e
n Ver
d
oola
e
ge
upd
a
t
e piplib for change in configure argume
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoolaege
isl_basic_map_drop_redundant_div
s
: coa
l
esce divs i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolae
g
e
isl_ba
s
ic_map_dr
o
p_
r
ed
u
ndant_d
i
vs:
set div expressi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaeg
e
isl_basic_map_drop_redundant_
d
ivs:
d
rop more
k
i
nd
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
olaege
isl_map_comput
e
_divs: dr
o
p
o
bv
i
ously re
d
unda
n
t div
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven Verdoolaege
isl_map
_
p
iplib
.
c:
e
xtrem
u
m_on: detect equalit
i
e
s
first
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
p
ip_
b
as
i
c_m
a
p_co
m
pute_divs: r
e
move some
e
qualitie
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doo
l
aege
isl
_
pip_basic_map_compute_divs: sepa
r
at
e
o
ut dimension
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaeg
e
isl_ba
s
ic
_
set_
p
re
i
mage:
h
andle divs in
i
nput
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_i
n
p
ut_omega
.
c
: make va
r
iab
l
e_{free,new} sta
t
ic
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoolaege
isl_map
.
c: make add_divs s
t
atic
commit
|
commitdiff
|
tree
2009-06-11
Sven Ve
r
doolaege
isl_basic_map_simplify: detect div co
n
straints w
h
ile
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolae
g
e
i
sl
_
basic_map_
d
r
op: properly
h
andl
e
dimensions of type
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoolaege
add isl
_
i
nt_mul_ui
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoola
e
ge
add isl_seq_fdi
v
_
q
commit
|
commitdiff
|
tree
2009-06-07
Sve
n
V
e
rdoolaege
add isl_seq_fdiv_r
commit
|
commitdiff
|
tree
2009-06-07
S
ven
V
erdoolaege
isl_basic_map_detect_
e
qua
l
i
t
ies: pro
p
erly handle empty
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven
V
erdo
o
laege
isl_basic_map
_
is_empty:
explicitly mark basic set
s
.
.
.
commit
|
commitdiff
|
tree
2009-06-07
Sven Verdoo
l
aege
is
l
_map
.
c: o
r
de
r
_divs
:
s
wap with
correct div
commit
|
commitdiff
|
tree
2009-06-07
S
v
en
V
er
d
oolaeg
e
isl_map_coalesce: remove extra divs
introd
u
ced by isl_map_al
.
.
.
commit
|
commitdiff
|
tree
2009-06-05
Sven
V
erdoolaege
add isl_map_coal
e
s
ce
commit
|
commitdiff
|
tree
2009-05-19
S
v
e
n Verdoolaege
a
d
d isl_s
e
t_product
commit
|
commitdiff
|
tree
2009-05-19
Sven Verdoola
e
ge
export isl_map_d
i
m
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdoolaege
isl_map_c
o
nv
e
x
_hu
l
l:
ha
n
dl
e
unbo
u
nded, bu
t
pointed
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoolaege
pr
i
vately export isl_ma
t
_unimodul
a
r_com
p
lete
commit
|
commitdiff
|
tree
2009-05-06
Sven
V
erdoolaege
isl_tab
.
c:
add isl_tab
_
get_sample_value
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
V
e
rdoo
l
aege
isl_map_convex
_
hul
l
: avoid i
n
t
roducin
g
lineality
s
paces
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
S
ven Verdoo
l
a
e
ge
add tw
o
more co
n
ve
x
hull
test
cases
commit
|
commitdiff
|
tree
2009-05-06
Sven Ver
d
ool
a
ege
isl_map_convex_hull: rem
o
ve
lin
e
al
i
ty sp
a
ce if any
.
.
.
commit
|
commitdiff
|
tree
2009-05-06
Sve
n
Verdo
o
laege
add
isl_basic_set_i
s
_
u
niv
e
rse
commit
|
commitdiff
|
tree
2009-05-06
Sv
e
n Verdo
o
la
e
ge
add
isl
_
set_get
_
dim
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_convex_hull
.
c
:
update wrap
_
facet t
o
the fact we
.
.
.
commit
|
commitdiff
|
tree
2009-05-05
Sven Verdoolaege
isl_co
n
v
ex_hull
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-05-05
Sven Ver
d
oolae
g
e
isl_coalesce
.
c:
fix t
y
po in comment
commit
|
commitdiff
|
tree
2009-05-05
S
v
en V
e
rdoola
e
ge
isl_tab
.
c: f
i
x typo i
n
comm
e
nt
commit
|
commitdiff
|
tree
2009-03-23
S
v
en Verdoo
l
aege
add isl_basic_set
_
get_dim
commit
|
commitdiff
|
tree
2009-03-23
Sven Verdoolaege
is
l
_ba
s
ic_map_gist:
n
ormalize
divs
(
if any) in
context
commit
|
commitdiff
|
tree
2009-03-23
S
ven Verdo
o
laeg
e
isl_basic_map_simplify: remov
e
dup
l
i
c
a
te divs before
.
.
.
commit
|
commitdiff
|
tree
next