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
isl_map_simplify.c: add missing include
2009-09-06
Sven Verdoolaege
i
sl_map_simpl
i
fy
.
c: add
missing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_convex_hu
l
l
.
c
: use isl_seq_get_
h
ash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
d
eclare
fle
x
a
r
ray
s
of size 1 to si
l
en
c
e
sun compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdo
o
laege
chan
g
e is
l
_basic_map_empty interface for co
n
sist
e
n
cy
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
AX_SUBMOD
U
LE: mention d
e
fa
u
lt type
o
f
library to use
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolae
g
e
configu
r
e
.
ac
:
use
AX_
S
UBMODULE for gmp for consisten
c
y
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
s
eparate out config header
f
r
o
m
i
sl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pilp s
o
lver: don't ignore feasibi
l
i
t
y t
e
st on co
n
text
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
is
l
_basic_map_
g
auss: try not to
r
em
o
v
e
any div
d
ef
i
nitions
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doolaeg
e
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
add isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add isl_
m
ap_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
add isl_ma
p
_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaeg
e
add is
l
_
m
ap_f
a
s
t
_is_fixed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaege
add
is
l
_map
_
identity_like
commit
|
commitdiff
|
tree
2009-08-30
S
v
en
V
erdoo
l
a
e
ge
rename isl_ma
p
_
i
d
entity_like to isl_map
_
identity_li
k
e_b
a
sic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
d
ool
a
ege
ad
d
isl_polytope_sca
n
application
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
isl_seq_no
r
ma
l
ize: use pr
e
-alloc
a
ted temp
o
rary
v
a
ria
b
le
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
e
ge
ad
d
i
s
l
_vec_nor
m
alize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
l
a
e
ge
isl
_
seq
_
n
ormali
z
e: no need to scal
e
d
o
wn b
y
one
commit
|
commitdiff
|
tree
2009-08-28
S
ven
V
erdo
o
laege
add isl_p
o
l
y
hedr
o
n_minimi
z
e
a
p
pli
c
a
tion
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
a
dd generalized basi
s
reduction based ILP solver
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verd
o
o
laege
add isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoo
l
a
ege
export isl
_
vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
e
ge
i
sl_basic_set_samp
l
e: only perform
b
a
s
i
s reduc
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
re
n
am
e
i
s
l_so
l
ve_lp to isl
_
basic_{
m
ap
,
set}_sol
v
e_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdo
o
laege
isl_solv
e
_lp: o
p
t
i
on
a
l
l
y r
e
tu
r
n solutio
n
point
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Verdoolaege
e
x
port i
s
l_vec
header
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ver
d
o
ola
e
ge
add
i
sl_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_read_from_file
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdo
o
laege
isl_basic_map_dro
p
_r
e
dundant_di
v
s: also in
v
esti
g
at
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
i
s
l_basic_m
a
p_app
l
y_{doma
i
n,range}:
drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
isl_map_simplif
y
.
c
: fix typo
i
n
c
om
m
ent
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erd
o
olaege
isl_ba
s
ic_set_project_o
u
t:
drop redundant divs in re
s
ult
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ve
r
d
oolaege
isl_basi
c
_m
a
p_remo
v
e: on
l
y drop divs if basi
c
m
a
p did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoo
l
aege
isl_basic_map_detect_equalitie
s
: explic
i
tl
y
keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ve
n
Ver
d
oola
e
ge
isl_basic_map_e
x
tend
_
dim: ke
e
p hold o
f
sa
m
ple
i
f dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaeg
e
isl_tab_min:
r
ead off all information from
ta
b
l
e
a
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ver
d
o
o
laege
is
l
_tab_add_valid
_
eq: keep t
r
ack of whe
t
her equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdool
a
ege
conf
i
g
ure
.
a
c: no long
e
r use piplib b
y
def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoola
e
g
e
add an
i
n
t
ern
a
l
p
arametric integer linear program solver
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
eg
e
isl_m
a
t_
e
xtend:
m
a
ke su
r
e the number
of r
o
ws never
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
r
d
oolaege
isl
_
a
f
fine
_
hull
.
c: on
l
y construct affine hull i
n
b
o
unded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab: add support for keepin
g
t
r
ack of samples
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
i
sl
_
tab: optio
n
a
l
ly keep
tra
c
k of r
o
w
signs
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaege
isl_tab: add isl_b
a
sic_set field f
o
r o
p
tio
n
a
lly k
e
eping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
la
e
g
e
isl_tab: introduce support fo
r
"big p
a
rameters
"
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
isl
_
tab:
allow int
r
oduction of extra
v
ar
i
ables
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_tab: introd
u
ce parameters and
d
iv
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_
t
ab
.
h: fix typo in commen
t
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olae
g
e
isl_t
a
b: allow s
a
ving and restoring the co
m
plete basi
s
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n Verdoolaege
i
sl
_
tab: private
l
y export so
m
e fun
c
tionalit
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
d
oolaege
isl_tab:
s
tore undo argume
n
t in a u
n
ion for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d
isl_basic_set_sample_bou
n
ded
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
privately e
x
port isl_basi
c
_set_order_divs
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
i
sl_map_simplify
.
c: re
m
ove_dependent_
v
ars: only remove
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
is
l
_bas
i
c_map_compute_divs:
use
i
sl_basic_set_lexmi
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
i
s
l
_
pip_basic_map_
c
ompute_div
s
: don't
t
u
rn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
p
r
i
v
a
t
ely export isl_basic_m
a
p_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoolaege
isl_{set,map
}
_ad
d
: don't add obvious
l
y empty basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdool
a
ege
combine i
s
l
_
p
i
p
_b
a
sic
_
map_lex{min,max} into isl_pip_b
a
sic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
make pipli
b
hea
d
ers private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
is
l
_mat
:
k
e
e
p track of the actua
l
n
u
mber of column
s
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verdoolaege
isl_tab_pi
v
ot: fix
typo that prevented normalizat
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
erdoolaege
add
i
s
l_basic_set_
p
ositi
v
e_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
add isl_basic_set_p
a
rtial_lex{min,ma
x
}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
r
e
name isl_basic_map
_
lex{min,max
}
to isl_basic_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add isl_
b
asic
_
set_free_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
i
s
l_set_dim:
supp
o
rt isl
_
d
im_all
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doola
e
ge
i
s
l_tab: store
index of variable i
n
undo rec
o
rd instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
add isl_{s
e
t,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
add isl_map_get_dim
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
add isl_basic_m
a
p_get_d
i
m
commit
|
commitdiff
|
tree
2009-08-04
Sven Ve
r
doolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoo
l
aege
e
xport isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
is
l
_
t
ab
.
c: mark_redundant
:
only
m
ark variable nonneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdool
a
ege
isl_tab
.
c: to_
r
ow: allow pivoting
in
a
rbitrary direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoo
l
ae
g
e
isl_tab
.
c:
s
implify
c
ode by letting mark_em
p
ty return
t
ab
commit
|
commitdiff
|
tree
2009-08-04
Sven Verd
o
o
laege
add
i
sl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c: simplify add_eq
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
erdoo
l
a
ege
isl_tab
.
c: extract
a
llocate_con
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
p
r
ivately expo
r
t
isl_basic_
s
et_set_rational
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
c
onf
i
gu
r
e
.
ac:
e
x
p
licitl
y
set
AC_CONFIG_AUX_
D
IR
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdool
a
ege
c
o
nve
x
_hull:
coalesce
set during face
t
c
o
m
pu
t
a
t
ion
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
g
e
isl_map_
c
oalesc
e
: d
o
n't drop
ra
t
ional
f
l
a
g
f
r
om result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdo
o
laege
isl_t
a
b_cone_is_bo
u
nded
:
s
t
art ov
e
r after compu
t
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven
V
erdoolaege
isl_basic
_
set
_
di
m
_res
i
due
_
class: only set *mo
d
ulo
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoo
l
aege
add isl_basic_set_fast_dim_is_fi
x
ed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_tab: drop isl_ctx argument w
h
ere not abs
o
lutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
e
rdo
o
la
e
ge
isl_mat: keep
t
rack
o
f
i
sl_ctx
commit
|
commitdiff
|
tree
2009-07-16
Sven Ve
r
d
o
olae
g
e
isl_basic_set_s
a
mple: d
o
n
'
t proj
e
ct out
lineality space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdool
a
ege
i
sl_basic
_
map
_
fix_pos:
micro-
o
ptimizati
o
n
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Ver
d
oolaeg
e
move isl_basic_set_skew_to_positive_orthant to
isl
_
samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdo
o
laeg
e
isl_tab
.
c: fix typo
in
c
omme
n
t
commit
|
commitdiff
|
tree
2009-07-15
Sven
Ver
d
o
o
laege
isl
_
basic_set_sample: break ea
r
ly if sampl
e
found
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoola
e
g
e
exp
o
rt isl_tab_sa
m
pl
e
_i
s
_integer
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoolae
g
e
isl_basic_set_s
a
m
p
le: check
sample st
o
r
e
d b
y
isl_basic_map_i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
isl_b
a
sic_map_is_empty
:
rem
o
ve stale sample
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
add
isl_po
l
y
h
edron_sample application
commit
|
commitdiff
|
tree
2009-07-15
Sven V
e
rdo
o
l
aege
introduce generalized b
a
s
i
s re
d
u
cti
o
n b
a
sed sampling
commit
|
commitdiff
|
tree
next