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 Verdoola
e
g
e
add
isl
_
polyhedron_minimiz
e
application
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolae
g
e
add generalized basis reduct
i
on based ILP so
l
ver
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdool
a
ege
add isl_vec_mat_
p
roduct
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoola
e
ge
e
xport isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl_
b
asic
_
set_sample: o
n
ly perform basis
r
edu
c
tio
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
rena
m
e i
s
l_solve_
l
p to isl_b
a
sic_{map,se
t
}_so
l
ve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
ol
a
ege
isl_s
o
lve_lp
:
o
ptionally return solution po
i
nt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
export isl_
v
ec heade
r
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoo
l
aege
add isl_int_
f
div_q_
u
i
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoolaege
add i
s
l_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolae
g
e
i
sl_basic_
m
ap_drop_re
d
undant_d
i
v
s:
also inves
t
iga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verd
o
ola
e
ge
isl_basic_ma
p
_
apply
_
{domain,range}
:
d
r
o
p
redun
d
a
n
t
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Verdoo
l
a
ege
is
l
_map_simplify
.
c: f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdool
a
eg
e
i
s
l
_
basic_set_project_out: drop re
d
und
a
nt
divs i
n
r
e
sult
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_basic_map_rem
o
v
e
: only drop divs if basic map
d
id
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
lae
g
e
is
l
_ba
s
ic_map_
d
e
t
ect
_
equali
t
i
es: expl
i
c
itly
k
eep
t
rack
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven
V
erdoolaege
isl_basic_map_extend_dim: keep
hold of samp
l
e
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven V
e
rdoolaege
i
s
l_tab_
m
i
n
: read off
all
information from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdool
a
ege
isl_tab_add_valid_eq: keep tr
a
ck of
w
hether equal
i
ty
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
configure
.
ac:
n
o longer
use piplib by
d
efault
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
olaege
add an
i
n
t
ernal par
a
metric
i
n
t
eger linear program solve
r
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
is
l
_mat_e
x
t
e
nd: make sure the number o
f
rows never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoo
l
aege
is
l
_
a
f
fine
_
hu
l
l
.
c: only construct
a
f
f
ine hull in
b
ounde
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
a
dd sup
p
o
rt for keepi
n
g
track
of s
a
mp
l
e
s
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ver
d
oolae
g
e
isl_tab: op
t
ionally
k
eep track of ro
w
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
d
o
o
lae
g
e
isl_tab:
a
dd isl_basic_
s
et field fo
r
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaege
i
sl_tab: introduce support for "big para
m
eters"
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
isl
_
t
ab
:
allow introduction
o
f extra
v
ariables
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
doolaege
isl_tab: i
n
t
roduce pa
r
a
m
eters
a
nd div
s
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab
.
h: fix typ
o
in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
a
l
l
o
w
savin
g
and restor
i
ng the
c
omplete ba
s
is
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoola
e
g
e
isl_tab
:
priv
a
tely export some functionality
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
o
o
l
a
ege
isl_
t
ab: store undo argument in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_sample_bound
e
d
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
privately
export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
i
sl_map_simplify
.
c
:
r
emove_de
p
e
ndent_vars: only r
e
m
o
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verd
o
olaege
isl_basic_map_compute
_
divs: use is
l
_b
a
sic_s
e
t_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
l
a
e
ge
isl_pip_basic_map_compute_di
v
s: don't t
u
rn
d
i
v
s
into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
priv
a
t
ely exp
o
r
t
isl_basic_map_swa
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_{s
e
t,map}_add: don't a
d
d obv
i
ously empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolaege
combine
i
sl_pip_basic_map_lex{min,ma
x
} into isl_p
i
p_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
make pi
p
li
b
hea
d
ers
privat
e
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdool
a
ege
isl_m
a
t:
k
eep track o
f
the act
u
al number
of
c
olumns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdo
o
l
aege
isl_tab_pivot
:
fix
typo tha
t
prevented normali
z
ation
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d i
s
l_basic_set_
p
os
i
t
ive_ort
h
a
n
t
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
aege
add isl_basic_set_partial_
l
ex{min,m
a
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
r
e
n
a
me
i
s
l_basic_ma
p
_
lex{min,max} to isl_ba
s
i
c
_
m
a
p
_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add is
l
_b
a
sic_se
t
_free_div
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaeg
e
is
l
_set_dim: support isl
_
dim_all
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
i
sl_tab
:
store index of variable
i
n
undo record in
s
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
dd isl
_
{set,ma
p
}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolae
g
e
add is
l
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdool
a
ege
add isl_basic
_
map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
export isl_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
er
d
oolaege
i
sl_tab
.
c: mark_re
d
un
d
ant:
o
nly m
a
rk variable n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolae
g
e
is
l
_tab
.
c: to_row: allow pi
v
oting in arbitrary directio
n
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify c
o
de by letti
n
g mark_empt
y
retu
r
n
tab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
o
l
a
e
ge
a
d
d isl_seq_l
a
st_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n V
e
rdoo
l
aege
isl_tab
.
c: simplify add_
e
q
commit
|
commitdiff
|
tree
2009-08-04
S
v
e
n Verdoolaege
isl_t
a
b
.
c: extract allocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
doolaege
priv
a
tely
e
x
p
ort isl
_
b
a
s
ic_
s
et_se
t
_rational
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
configure
.
ac: explicitly set AC_C
O
NFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Ver
d
oolaege
co
n
v
ex_hull: coale
s
ce set during facet com
p
u
t
ation
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
doolaege
isl_map_c
o
a
l
esce: don't drop
r
ati
o
nal
f
lag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oolaege
isl_tab_con
e
_is_b
o
unde
d
: start
ov
e
r af
t
er computin
g
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
e
r
do
o
laege
is
l
_tab:
drop isl_
c
tx a
r
gument
w
he
r
e
n
ot absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sv
e
n Verd
o
o
laege
isl_m
a
t:
k
eep track o
f
is
l
_
ctx
commit
|
commitdiff
|
tree
2009-07-16
S
v
en Verdoola
e
ge
i
sl_b
a
sic_
s
et_sample: don't project out lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
ool
a
ege
isl
_
basic_map_fix_pos:
micro-optimiz
a
tio
n
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdoolaege
move isl
_
b
a
s
i
c_set_s
k
ew_to_pos
i
t
ive_orthant to i
s
l_
s
am
p
le
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdoolaege
i
s
l_tab
.
c: fix t
y
po in commen
t
commit
|
commitdiff
|
tree
2009-07-15
S
ven
V
er
d
ool
a
ege
isl_
b
asic_
s
et_s
a
m
ple
:
bre
a
k
e
arly if sample found
in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
export isl
_
ta
b
_sampl
e
_is_
i
nteger
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
o
l
aege
i
s
l_ba
s
ic_set_
s
ample: ch
e
ck samp
l
e st
o
red
by isl_bas
i
c_map
_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verd
o
olaege
i
s
l
_
basic_map_
i
s_e
m
pty: remove stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolaege
add isl_polyhedron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
introdu
c
e
gener
a
lized
b
asis reduction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
add isl_se
q
_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaeg
e
i
sl_s
a
mp
l
e
.
c
:
i
nterval_sample: drop redund
a
nt
argument
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoola
e
ge
i
s
l
_
sample
.
c
: cle
a
n
up han
d
ling of l
i
neality space
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
doolaege
isl_sample
.
c:
e
xtract out
s
ample_e
q
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolae
g
e
isl_sample
.
c: in
t
erval_sample:
h
and
l
e
e
q
ualities
direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdool
a
ege
isl
_
sample
.
c
:
extract
out
empty_sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
ae
g
e
isl
_
sample
.
c: gene
r
alize
p
oint_sample to zero_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n V
e
rdoolaege
isl_ta
b
: don
'
t c
r
eate new undo records durin
g
r
o
llback
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
rdoolae
g
e
isl_tab_m
i
n
: use
gener
a
l rollback mechanism
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
dool
a
e
g
e
isl_tab: op
t
ional
l
y save dua
l
soluti
o
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
i
s
l_tab: add isl_tab_add_val
i
d_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
export is
l
_tab_a
l
loc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verd
o
olaege
add
i
sl
_
in
t
_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
privately export i
s
l_basic_set_r
e
cession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
e
r
doolae
g
e
isl_co
n
ve
x
_hul
l
.
c:
add missing assignment
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdool
a
ege
pri
v
ately export
i
sl_basic_set_lineality_sp
a
ce
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolaege
i
s
l_vec: keep track
o
f isl_c
t
x
commit
|
commitdiff
|
tree
2009-07-12
Sven Ver
d
oo
l
aege
isl_
c
oalesce
.
c
: fix
t
ypo
commit
|
commitdiff
|
tree
2009-06-13
Sven Ve
r
doolaege
up
d
ate
p
i
pli
b
for change in configure argum
e
n
ts
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
isl_
b
asic_map_drop_redu
n
dant_divs: coalesce divs if
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verdoolaege
i
sl_basi
c
_map_drop_redundant_
d
ivs: set div
expression
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
ven
V
e
rdoolaege
isl_ba
s
ic_map_dro
p
_red
u
nd
a
nt_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
next