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
add isl_polyhedron_minimize application
2009-08-28
S
v
en
V
erdoolaege
a
d
d isl_po
l
yhedro
n
_
minimize
application
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
doolaege
add generalized basis reduction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
doolaege
a
d
d isl_
v
ec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
exp
o
rt isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl
_
basi
c
_
s
e
t_sample: only perform
b
asis reduct
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verd
o
olae
g
e
rename isl_solve_
l
p to
isl_basic_{map,set}
_
solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoo
l
aege
isl_so
l
v
e
_lp: option
a
lly return solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
e
x
port isl_
v
ec header
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_int_f
d
iv_q_
u
i
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
laege
add isl
_
v
e
c_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
isl_basic
_
map_drop_redundant_divs
:
a
lso inv
e
s
t
igate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
b
a
s
ic
_
map_app
l
y
_
{domain,r
a
nge}: drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_ma
p
_simplify
.
c: fi
x
typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
isl_basic_set_project_ou
t
: drop redu
n
dant divs in
resul
t
commit
|
commitdiff
|
tree
2009-08-28
S
ve
n
Verd
o
olae
g
e
isl_basic_map_remove: only drop divs if basic
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
i
sl_basic_map_
d
et
e
ct_equalities: explicitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
isl_basic_map_ex
t
e
nd_dim: keep
h
old of sample
if dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Verdoola
e
ge
isl_tab_min:
r
e
ad off all
informat
i
on from table
a
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olaege
isl_tab_add_v
a
lid_
e
q: keep track
o
f
w
h
ether equ
a
lity
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
o
n
f
igure
.
a
c
:
n
o
l
onger use
p
i
pl
i
b by default
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ver
d
oolaege
add an internal
parametric
integer linear progra
m
sol
v
er
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_ma
t
_extend: m
a
ke sure the num
b
e
r
of rows ne
v
er
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdoolaege
is
l
_affine_hull
.
c:
o
n
ly construct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: add support
for keepi
n
g track of s
a
mple
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl
_
tab: opt
i
onally keep track of
r
o
w signs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdo
o
laege
isl
_
tab: add is
l
_basic_set field for optionally keep
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
ge
isl_tab:
i
ntrodu
c
e suppor
t
for "big paramete
r
s"
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
isl_tab: allow introduction
of extra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_tab:
intro
d
uce parameters an
d
divs
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
i
s
l_t
a
b
.
h: fi
x
t
ypo in com
m
ent
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
isl_ta
b
: allow
saving and restoring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_
t
a
b
: privatel
y
export some
f
unctio
n
ali
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl_t
a
b: st
o
r
e undo argum
e
nt
in a union
f
or future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
a
d
d
i
s
l_basi
c
_set_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolaeg
e
privat
e
l
y expo
r
t isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
ae
g
e
isl_map_sim
p
li
f
y
.
c: remove_dependent_vars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoo
l
aege
isl_basic
_
map_compute_
d
ivs: use is
l
_basic
_
s
et_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erd
o
olaeg
e
isl_p
i
p_b
a
s
ic_map_compute_divs:
don
'
t turn d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
pr
i
vately expor
t
isl_basic_
m
ap
_
swap_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdool
a
ege
isl_{set,map}_ad
d
:
d
o
n't add obvious
l
y empty
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
ombine i
s
l_pip_basic
_
map_lex
{
min,ma
x
} into isl_pip_ba
s
ic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
V
erdo
o
la
e
ge
make
piplib headers privat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
is
l
_mat: keep track of the actual number of colum
n
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
o
l
aege
isl_tab_
p
i
v
ot:
f
ix
t
ypo
that
p
r
even
t
ed norma
l
ization
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
ad
d
isl_
b
asic_set_positiv
e
_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
a
d
d
isl_basic_set_partia
l
_
lex{
m
in,max}
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
ege
re
n
a
me isl_basic_map
_
lex{
m
in,max}
t
o isl_basic_ma
p
_
p
artial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
a
dd isl_
b
asic_set_free
_
di
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_set_dim
:
support i
s
l
_
dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_
t
ab: s
t
ore ind
e
x of v
a
riabl
e
in
u
ndo r
e
cord ins
t
ea
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add
isl_{set,map
}
_
grow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_basic_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
ad
d
isl_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
export isl_mat
_
dup
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n
Ve
r
d
o
o
l
aege
is
l
_tab
.
c:
m
ark_re
d
u
n
dant:
o
n
l
y ma
r
k variable n
o
n
n
eg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verdoolaeg
e
i
sl_tab
.
c
:
to_row: allow piv
o
tin
g
in arbitrary dire
c
ti
o
n
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl_t
a
b
.
c: simplify code by le
t
t
ing ma
r
k_em
p
ty return tab
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verd
o
olaege
add isl_seq_last_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rd
o
olaege
isl_tab
.
c: simplify
add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
isl_tab
.
c: extrac
t
allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolae
g
e
privately export isl_basic_set_set_rationa
l
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
configure
.
ac: exp
l
icitly set
AC_CONF
I
G_AU
X
_DI
R
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
con
v
ex
_
hull:
c
oalesce
s
et during facet computation
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoo
l
a
e
g
e
i
sl_map_c
o
alesce:
don't
d
rop ra
t
ional
flag fr
o
m
r
e
su
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
doolaege
isl_t
a
b_c
o
ne_is
_
b
o
unded: start over afte
r
computi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verd
o
olaege
i
sl_basic_set
_
dim
_
r
e
s
idue
_
c
lass: on
l
y se
t
*modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven
Verdool
a
ege
isl_tab: drop isl_ctx
a
rgument where
not absolu
t
ely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
i
sl_mat: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
doo
l
aege
isl_ba
s
ic_set_samp
l
e: don't project ou
t
lineality
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_bas
i
c_ma
p
_
fix_pos
:
m
i
cro-opt
i
mization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
move isl_basic_set_skew_to
_
positive
_
orthant to
i
sl_sa
m
ple
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_tab
.
c:
fi
x
typo in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdool
a
ege
i
s
l_basic_set_sample: break ea
r
ly if
s
ample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
ge
e
x
por
t
isl_t
a
b_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl
_
basic_set_sample: check
sample sto
r
ed
b
y isl_ba
s
i
c
_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_
b
asic_ma
p
_is_emp
t
y: re
m
o
ve stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
add isl_polyhe
d
ron_sample app
l
icatio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven
Verdoolaege
introduce
g
eneral
i
zed basis r
e
duction bas
e
d sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
la
e
g
e
ad
d
isl_seq_c
d
iv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
is
l
_sample
.
c: interv
a
l_
s
ample
:
drop redundant argu
m
ent
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
laege
isl_
s
ample
.
c:
clean u
p
handling
of
l
ineality sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
sample
.
c: ex
t
r
a
c
t out sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdo
o
l
a
ege
isl_sampl
e
.
c:
i
nterval
_
sample: han
d
le equalities di
r
ectly
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoo
l
aege
isl
_
s
amp
l
e
.
c: extract out
empty_
s
a
mple
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaege
isl_sample
.
c:
g
e
n
eralize
p
oint_sample to zero_samp
l
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
d
oolaege
isl_tab:
don'
t
create
new undo records duri
n
g
r
ol
l
b
a
ck
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_
t
a
b
_min
:
use ge
n
eral
rollbac
k
m
e
chanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
sl_tab: optionally save dua
l
so
l
ution
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
V
e
r
doo
l
aege
isl_t
a
b: add
i
sl_tab_add_v
a
lid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ven
Verdoola
e
ge
export isl_ta
b
_all
o
c
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolae
g
e
add
isl_i
n
t_le
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
ola
e
ge
pr
i
va
t
ely export isl_basic_set_recession_
c
one
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_conv
e
x_hull
.
c
:
a
d
d missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
pr
i
vate
l
y ex
p
ort i
s
l_ba
s
ic_set_li
n
ea
l
i
t
y_space
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Ve
r
d
o
o
lae
g
e
i
sl_v
e
c: ke
e
p t
r
ack of isl_
c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
i
sl_coalesce
.
c:
f
i
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sve
n
V
e
rdoolaege
update p
i
plib for
c
hange in conf
i
gu
r
e
a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_bas
i
c_map_drop
_
r
e
d
u
ndant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven
Ver
d
oo
l
aeg
e
isl_basic
_
m
ap_drop_re
d
undant_
d
i
v
s
:
se
t
d
i
v exp
r
ession
.
.
.
commit
|
commitdiff
|
tree
next