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
Sven Verdoo
l
ae
g
e
add isl_pol
y
hed
r
on_m
i
nimize app
l
ication
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
add g
e
neralized ba
s
is reductio
n
bas
e
d IL
P
solver
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
V
erdoolaege
add isl_vec_mat_p
r
oduct
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
e
x
port isl_vec
_
ceil
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
do
o
laege
isl_
b
as
i
c
_
se
t
_samp
l
e
:
only per
f
orm b
a
sis r
e
duction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
rename isl_solve_lp to isl_basic_{map,set}_sol
v
e_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_solve_lp: optio
n
a
lly return solution poi
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verd
o
ol
a
ege
expo
r
t
isl_v
e
c
h
eader
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
add isl_int_fdiv_q
_
ui
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolae
g
e
add is
l
_vec
_
read
_
f
r
om_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_ba
s
ic_m
a
p_
d
r
op_r
e
dundant_divs:
also inves
t
igate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolae
g
e
isl_basic_ma
p
_ap
p
ly_{do
m
a
in,range
}
: drop redund
a
nt
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
isl_map_si
m
pli
f
y
.
c: fix typo in co
m
m
ent
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_
s
et
_
project_out: drop red
u
ndant di
v
s in result
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaeg
e
isl_basic
_
map_
r
emove: only drop div
s
if basic
map di
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Verdoo
l
aege
is
l
_basic_map_detec
t
_equalities: explicitly ke
e
p
track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven V
e
rdoolaege
isl_basic_map_e
x
tend_d
i
m: keep
h
old of sample if d
i
mension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verd
o
olae
g
e
isl_tab
_
min: re
a
d off all i
n
form
a
tion from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdool
a
ege
isl_tab_add_val
i
d_eq:
keep tra
c
k
o
f whethe
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
configure
.
ac: no lo
n
ger use p
i
pli
b
b
y default
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
o
ol
a
ege
add an
i
nternal
parame
t
r
ic integer li
n
ear
program solver
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdoolae
g
e
isl_mat_extend:
make s
u
re the nu
m
be
r
of rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
d
o
olaege
i
s
l_a
f
f
ine
_
hull
.
c:
only construct a
f
fine
hull in
b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
is
l
_tab: ad
d
support for keepi
n
g
t
rac
k
of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_tab
:
op
t
ionally keep track o
f
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olaege
i
s
l_tab: add isl_ba
s
i
c
_
s
et field
f
or
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl
_
tab: introduce supp
o
rt for "big pa
r
a
m
eter
s
"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_tab: allow introd
u
ctio
n
of extra varia
b
les
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_ta
b
: introduce param
e
ters and divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h: fix typo i
n
co
m
ment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
a
e
g
e
i
s
l_tab: allow
saving and restoring
t
he complete
basi
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
isl_tab: privately export
s
o
me functi
o
nality
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdo
o
laege
isl_tab: store undo argument in
a union for
future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
add isl_ba
s
i
c
_set_sample_b
o
unde
d
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
a
ege
privately ex
p
ort i
s
l
_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_map_simplify
.
c: remove_d
e
pen
d
ent_vars: only r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_
b
asic_map_comput
e
_d
i
vs: use isl_
b
a
s
ic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_pi
p
_basic_ma
p
_co
m
pute_di
v
s
:
don't t
u
rn d
i
vs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
l
a
e
g
e
privately export i
s
l_b
a
sic_map_swap
_
div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_{set,map}_add: don't
a
d
d
o
bvi
o
u
s
ly empty ba
s
ic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
ae
g
e
c
o
m
b
i
ne isl_pip
_
basic_map_le
x
{m
i
n,max} into isl_
p
ip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en
Verd
o
olaege
make pipl
i
b headers
p
rivate
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
is
l
_
mat: k
e
e
p
tr
a
ck of the actual numb
e
r of
columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
i
s
l_
t
a
b_p
i
vot: f
i
x typo that prevented
nor
m
aliza
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add i
s
l_basic_se
t
_po
s
i
t
i
v
e_or
t
ha
n
t
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add i
s
l
_
b
asic_set_p
a
rtial_
l
ex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
r
ename isl_ba
s
ic_map_
l
ex{min,max} to isl_basic_m
a
p_partial
_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
g
e
add
i
sl_basic_s
e
t_free_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rd
o
olaege
isl_set_dim
:
support is
l
_dim_
a
l
l
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoola
e
ge
isl_tab: st
o
re index of variabl
e
in
u
ndo record inst
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
ad
d
i
s
l_{set,ma
p
}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add
isl_map_get
_
dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
add is
l
_
b
as
i
c_map_g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoola
e
ge
add isl_tab_du
p
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdo
o
laeg
e
export isl
_
mat
_
d
u
p
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
g
e
isl_ta
b
.
c: mark_redundant: only
mark
v
ariabl
e
no
n
neg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
is
l
_
t
a
b
.
c: to_r
o
w: allow pivoting in arbitrary direct
i
on
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
i
sl_tab
.
c:
simpl
i
f
y
code
b
y le
t
ti
n
g
m
ark_e
m
pty retur
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_seq_l
a
s
t
_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
V
erdoolaege
isl_tab
.
c:
simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoo
l
aege
isl_tab
.
c: extrac
t
a
l
l
ocate_
c
o
n
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
privately ex
p
ort isl_basic_set_set_r
a
tional
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
configure
.
ac: exp
l
icitly se
t
AC_C
O
NFIG_AUX_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoolaege
co
n
vex_hull: c
o
ales
c
e set
during
f
a
cet
c
omputation
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
isl_map_coalesc
e
: don
'
t drop rational flag from r
e
sult
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
rdoola
e
ge
isl_t
a
b_c
o
ne_is_bounded: s
t
art o
v
er after comput
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
aege
i
sl_tab:
drop
isl_
c
tx argu
m
ent w
h
ere not absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoola
e
ge
isl_mat: kee
p
track of
is
l
_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_b
a
sic_set_sampl
e
: don'
t
p
r
oj
e
ct out li
n
eality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
is
l
_basic_map_
f
ix_p
o
s
:
micro-opti
m
i
z
ation
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
oolaeg
e
move isl_basic
_
se
t
_skew
_
to_po
s
it
i
ve_orthan
t
t
o
isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_ta
b
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verd
o
olaege
isl
_
basic_s
e
t_sa
m
pl
e
: break early if sample found in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdool
a
ege
export i
s
l_
t
ab_sample_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
isl_basi
c
_set_sample:
check sample store
d
by isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
i
sl_ba
s
ic_map_is_empty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
d
oolaeg
e
add isl_
p
o
l
yhedron
_
samp
l
e appli
c
at
i
on
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolae
g
e
i
ntroduce generalized ba
s
i
s
reduction b
a
sed sampling
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
rdoolaege
add
i
sl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Ver
d
oolae
g
e
isl_sa
m
ple
.
c: inter
v
al_
s
ample:
d
rop redund
a
nt ar
g
ument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_sample
.
c
:
cle
a
n up h
a
n
dling o
f
l
i
neal
i
ty space
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
sample
.
c
:
ext
r
ac
t
out sam
p
le_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
isl_sample
.
c: in
t
erval_sample: handle equalities d
i
rectly
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
isl_sample
.
c: extract out empty_
s
a
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven
Verdoo
l
aeg
e
isl_sample
.
c:
g
enerali
z
e
point_sample t
o
zero_sample
commit
|
commitdiff
|
tree
2009-07-13
S
v
en V
e
rdoolaege
isl_tab:
do
n
't
create new
u
ndo rec
o
rds during rollback
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ver
d
oola
e
ge
i
sl_t
a
b_mi
n
:
use gene
r
al roll
b
ac
k
mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: optionally save dual so
l
u
tion
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
i
s
l
_tab: add is
l
_tab_add_valid_eq
commit
|
commitdiff
|
tree
2009-07-13
S
ve
n
Verdoolae
g
e
expor
t
i
sl_tab
_
alloc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
add
i
sl_int_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately expor
t
i
s
l_basic_set_reces
s
ion_cone
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verdoolaeg
e
isl_con
v
ex_
h
ull
.
c: add missing assi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sve
n
Verd
o
olaege
p
r
ivately
e
xport isl
_
basi
c
_set_lineality_spac
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
i
s
l
_vec: keep track of isl_ctx
commit
|
commitdiff
|
tree
2009-07-12
Sve
n
Ve
r
doolaege
isl_coalesce
.
c: fix typ
o
commit
|
commitdiff
|
tree
2009-06-13
Sv
e
n
V
e
rdo
o
laege
up
d
ate pip
l
i
b for change i
n
configu
r
e
a
rguments
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_basic
_
ma
p
_dro
p
_redund
a
nt_
d
i
vs: coalesce divs
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
e
rdoolaege
isl_bas
i
c_map_
d
r
op_redund
a
n
t
_
divs: set
d
i
v
e
x
pression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
rdoo
l
aege
isl_basic_m
a
p_drop_redundant_divs:
d
rop more kinds
.
.
.
commit
|
commitdiff
|
tree
next