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
export isl_vec header
2009-08-28
Sven Verdoolaege
export isl
_
vec
he
a
der
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
a
d
d isl
_
int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n V
e
rdo
o
laege
add isl_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_basic_map_d
r
op_r
e
dundan
t
_divs
:
also investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
V
erdoolaege
isl_basi
c
_map_
a
pply_
{
domain,range}:
d
rop red
u
ndant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
e
g
e
i
sl_
m
a
p
_sim
p
lify
.
c
:
f
i
x typo in comment
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
isl_basic_set
_
p
r
oject_
o
ut
:
d
rop redund
a
nt divs i
n
result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_basic_map_
r
em
o
ve: only
drop divs if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdoolaege
isl_basic
_
map
_
d
etec
t
_e
q
ualities:
e
xpl
i
citly keep tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
en Verdool
a
ege
isl
_
b
a
sic_m
a
p_extend_dim: keep hold of sample if dime
n
sion
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Ve
r
doolaege
isl_
t
a
b
_min: read off all informati
o
n from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
isl_
t
ab_add
_
valid_eq:
k
eep trac
k
of w
h
ether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaeg
e
conf
i
gure
.
a
c: no longer use p
i
plib by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d an internal parametr
i
c integ
e
r linear
program
s
olver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_mat_e
x
tend: make s
u
re the nu
m
b
er of rows
n
ever
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
isl_aff
i
ne_hull
.
c
: only co
n
struct affine hull in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab
:
add sup
p
ort
f
o
r
k
ee
p
ing track of
s
amples
commit
|
commitdiff
|
tree
2009-08-07
S
ven
Verdoolaeg
e
isl_tab:
o
pti
o
nally keep track o
f
row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl_tab: add i
s
l_
b
asic_se
t
field
fo
r
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab
:
introdu
c
e s
u
pport for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_t
a
b: al
l
ow introduction of e
x
tra
v
ari
a
bles
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: introduce parameters and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l_
t
ab
.
h: fix typ
o
in comm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
isl
_
tab: allow
s
a
ving and restoring t
h
e co
m
plete ba
s
is
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoo
l
a
e
ge
isl_tab: priv
a
tely e
x
port some funct
i
o
n
al
i
ty
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: store
undo
a
rgument in a un
i
on
f
or fu
t
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
add isl_basic_set_sample_
b
ounded
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
o
laege
privatel
y
export isl_basic_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
is
l
_map_s
i
mplify
.
c:
r
emove_dep
e
ndent_v
a
r
s
:
o
nly r
e
m
ove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
i
s
l_basic_map_comp
u
te
_
divs:
u
se isl_ba
s
ic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
i
sl
_
pip_
b
a
sic_m
a
p_c
o
mpute_d
i
v
s: don't
t
urn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
p
r
i
v
ately
e
x
p
o
rt isl_basic_
m
ap
_
sw
a
p
_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
V
erdoolaege
isl_{
s
e
t,map}_add:
don't add obviously empty
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
c
o
mbine isl_pip_
b
asic
_
map_le
x
{min,max}
into isl_pip_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olaege
make piplib headers private
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolae
g
e
isl_mat: keep track
of the actual number
of col
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl_tab_pivot: fix
typo that pre
v
ented normal
i
z
a
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
ol
a
e
g
e
add isl_basic_set_positi
v
e_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolae
g
e
add isl_
b
asic_
s
e
t
_partial
_
lex
{
m
in
,
max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
o
laege
rename
i
sl_basic_map_lex{min,max} to i
s
l_basic_
m
ap_partial_
l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add isl_ba
s
ic_set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
isl
_
set_dim: suppo
r
t is
l
_dim_all
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: sto
r
e in
d
ex of var
i
ab
l
e i
n
undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
ad
d
isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoola
e
g
e
add isl_
m
ap_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add isl_basic_m
a
p_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
o
o
l
ae
g
e
add isl
_
tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
e
x
port i
s
l_mat_
d
up
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Ver
d
oolaege
isl_
t
a
b
.
c
:
mark_redundant: o
n
ly
m
ark
v
ariable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaeg
e
isl
_
t
ab
.
c: to_ro
w
: allow pivotin
g
i
n arb
i
trar
y
d
irection
commit
|
commitdiff
|
tree
2009-08-04
Sven Ver
d
oolaeg
e
isl_tab
.
c: simplify
c
od
e
by
l
etting mark_e
m
pty retu
r
n
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdo
o
laege
add
isl_seq_l
a
st_non_zer
o
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_t
a
b
.
c
: si
m
p
l
if
y
add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoola
e
ge
isl_tab
.
c: extract al
l
ocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately export isl
_
basic_set_set_ra
t
ional
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Ver
d
oo
l
aeg
e
con
f
i
gur
e
.
ac: explicitly set AC_C
O
NFI
G
_
A
UX
_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
S
ven
V
e
rdoolaeg
e
co
n
vex_h
u
ll:
c
oalesce set
d
uring
f
acet computation
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolaege
isl_map_coal
e
s
c
e: don't
dro
p
rational
flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
isl_tab_cone_is_b
o
unded: st
a
r
t
ov
e
r afte
r
computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab:
drop isl_c
t
x argument w
h
ere not a
b
solutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoo
l
ae
g
e
isl_mat: kee
p
tra
c
k of
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven V
e
r
d
oolaege
isl_basic_set_s
a
mple:
d
on't
p
roject out lineality spac
e
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erd
o
olaege
isl_basic
_
m
a
p_
f
i
x_po
s
: micro-op
t
imiza
t
ion
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ve
r
doolaege
move
isl_b
a
sic_set_skew
_
t
o
_positive_orthant
to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
e
n
Verdoolaege
isl_
t
ab
.
c: fix typo i
n
c
o
m
men
t
commit
|
commitdiff
|
tree
2009-07-15
Sven Verd
o
olaeg
e
isl_basic_s
e
t_sample: break early if sam
p
le fou
n
d in
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ve
r
d
o
olaege
e
xp
o
r
t i
s
l_
t
ab_sam
p
le_is_integer
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
ool
a
ege
i
s
l_ba
s
ic
_
set_sample
:
c
h
ec
k
samp
l
e s
t
ored b
y
isl_b
a
s
ic_m
a
p_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaeg
e
isl_ba
s
i
c
_map
_
i
s
_empty: remove
stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
a
d
d isl_p
o
lyhedron_s
a
mple applicat
i
on
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolae
g
e
in
t
roduce generalized
b
a
sis r
e
ducti
o
n based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolaege
add
isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verd
o
olaege
is
l
_sampl
e
.
c: int
e
rval_sample: drop red
u
ndant
argum
e
n
t
commit
|
commitdiff
|
tree
2009-07-15
S
ven Verdoolaege
isl_sample
.
c: clean up handling of lineality sp
a
c
e
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
isl_sample
.
c:
extract
ou
t
sample_eq
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
l
aeg
e
is
l
_sample
.
c
:
i
nterv
a
l
_
sample: h
a
n
dle eq
u
al
i
ties di
r
ect
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_sample
.
c:
e
xtract out
e
m
pty_sa
m
ple
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdool
a
e
g
e
isl_sam
p
le
.
c:
g
ener
a
lize point_sample to zer
o
_
s
ample
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
isl_tab: don'
t
crea
t
e new undo r
e
c
o
rds during roll
b
ack
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdo
o
l
a
ege
isl_ta
b
_min:
use general rol
l
back mec
h
anism
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_tab: op
t
ionally s
a
ve dual s
o
l
u
tio
n
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
i
s
l
_tab: add i
s
l_tab_ad
d
_valid_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
exp
o
rt isl_tab_alloc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoo
l
aege
add i
s
l_
i
nt_le
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laeg
e
pr
i
va
t
ely export isl_basic
_
set_recession_cone
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl_convex_hull
.
c: add
missing assi
g
nment
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
pri
v
a
t
ely
e
xpo
r
t
isl_basic_set_lineality_space
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoola
e
ge
isl_vec: keep tr
a
ck of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-12
Sven Verdoolaege
isl_
c
o
alesc
e
.
c
: fi
x
typo
commit
|
commitdiff
|
tree
2009-06-13
Sven Verdool
a
ege
up
d
ate piplib f
o
r
c
h
a
nge in configure a
r
guments
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n Verdoo
l
aege
isl_basic_m
a
p_dro
p
_redundant_
d
ivs: c
o
alesce di
v
s
i
f
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oo
l
aege
isl_ba
s
i
c
_map_drop_redundant_divs: set div expr
e
ssio
n
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven Verd
o
o
laege
isl_ba
s
ic_ma
p
_d
r
op_re
d
u
ndant_divs: drop more kinds
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
S
v
e
n
Verd
o
olaege
isl_
m
ap_compu
t
e
_
divs: d
r
o
p obviou
s
ly re
d
undant
divs
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sve
n
Verdoolaege
i
sl_map_pipl
i
b
.
c
:
e
x
tre
m
u
m_
o
n:
d
etect
e
qualities
first
commit
|
commitdiff
|
tree
2009-06-11
Sven
V
erd
o
o
l
a
e
ge
isl_pip
_
basic_m
a
p
_compute_divs: remov
e
some equalities
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sven V
e
r
d
oolaege
isl_pip_ba
s
ic_map_compute_divs: s
e
para
t
e out dimen
s
ion
.
.
.
commit
|
commitdiff
|
tree
2009-06-11
Sv
e
n
V
erdoolae
g
e
isl_basic_set_preimag
e
: h
a
ndle
d
ivs in input
commit
|
commitdiff
|
tree
2009-06-11
Sven Ver
d
oolaege
isl_input_o
m
ega
.
c: make variable_{fr
e
e
,new} static
commit
|
commitdiff
|
tree
2009-06-11
S
v
en Verdoola
e
ge
isl_map
.
c: m
a
ke add_divs sta
t
ic
commit
|
commitdiff
|
tree
next