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
basis_reduction_tab.c: add missing include
2009-09-06
Sven Verdoolaege
bas
i
s_reduction_t
a
b
.
c: ad
d
mi
s
si
n
g include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_ma
p
_no_p
i
plib
.
c: add missin
g
i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
ax_create_stdint_h
.
m4: p
r
otect s
o
me li
m
it
s
from re
d
efiniti
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
p
olytope_sca
n
.
c:
a
dd miss
i
ng
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoo
l
a
e
g
e
fix
r
e
turn type o
f
is
l
_div_
f
ree
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolae
g
e
isl_map_
s
im
p
l
i
fy
.
c
:
drop return from void
f
u
n
ction
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_map_simplify
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_convex_hu
l
l
.
c: use isl_seq_get_hash
instead
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
declare flexarr
a
ys of size 1 to silenc
e
sun co
m
piler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
hange i
s
l_basic_map_empty in
t
er
f
a
c
e for c
o
nsisten
c
y
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
A
X_SUBMODU
L
E: mentio
n
def
a
ult t
y
pe of library to us
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
c
o
nfigure
.
a
c
:
use AX_SUBMOD
U
L
E
fo
r
gmp for c
o
nsis
t
ency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
separate out conf
i
g header from
i
sl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pilp solv
e
r: don't ignore
feasibil
i
ty tes
t
on c
o
ntext
commit
|
commitdiff
|
tree
2009-09-01
Sven Verdoolaege
i
s
l
_
basic_map_g
a
u
s
s: try not t
o
remove
any div definitions
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
r
d
o
o
laeg
e
ad
d
i
s
l_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Ve
r
doo
l
aege
a
dd isl_ma
p
_f
l
oordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
r
doolaeg
e
ad
d
isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
r
d
oolaege
add isl_ma
p
_is_str
i
ct_
s
ubset
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oo
l
aege
add isl_map_fast_is_
f
ixed
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
V
e
rdoolaege
add isl_map_identity_lik
e
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
e
r
doolaege
renam
e
isl_map_identi
t
y
_
l
ike to isl_map
_
ide
n
t
i
ty_like_ba
s
ic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
add
i
sl_
p
olyt
o
pe_scan a
p
plication
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
isl_seq_normalize: use
p
r
e-allocated temporary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laeg
e
add isl_v
e
c_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
i
s
l_seq_normalize: no ne
e
d
t
o
scale d
o
wn
b
y one
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
a
d
d isl_p
o
l
yhedro
n
_
min
i
m
i
ze appl
i
cation
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoola
e
ge
add generaliz
e
d basis red
u
c
t
ion ba
s
ed ILP solver
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doola
e
ge
add isl_vec_mat_p
r
odu
c
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olae
g
e
export isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdo
o
laege
isl_basic_
s
et_s
a
mple: o
n
ly perform basis reducti
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
rename isl_so
l
v
e_lp to isl_ba
s
i
c
_{m
a
p,se
t
}_solv
e
_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdool
a
e
ge
isl_solve
_
lp: optionally
r
e
t
urn
s
olution
po
i
nt
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
export isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
add isl_int_fd
i
v_
q
_ui
commit
|
commitdiff
|
tree
2009-08-28
S
ven
Verdool
a
ege
add isl_vec_read_from_f
i
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdo
o
laege
isl_basic_
m
ap_dro
p
_redu
n
dant_divs: a
l
so inves
t
igate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
l
aege
isl
_
basic_map_apply
_
{domain
,
r
a
nge}
:
drop r
e
dundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdo
o
laege
isl_map_si
m
p
l
ify
.
c: fix typo in comme
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_basic_set_p
r
oje
c
t_out: drop red
u
ndant d
i
vs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aege
isl
_
b
a
sic_ma
p
_
remov
e
: only drop divs if b
a
sic m
a
p
did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Verdoo
l
a
eg
e
is
l
_
b
asic_ma
p
_detect_equalitie
s
: explicitly keep track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sv
e
n Ve
r
d
oolaege
isl
_
basic_map_extend
_
dim: keep hold of sample i
f
dimension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdo
o
la
e
g
e
i
s
l_tab_min: read off
all information from tablea
u
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Verdoolaege
is
l
_tab_add
_
v
a
lid_eq:
k
eep tr
a
ck o
f
whethe
r
equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
c
o
nfigure
.
ac
:
no longer use pi
p
lib by default
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n V
e
rdoolaege
add
a
n internal parametric integer l
i
n
e
ar pr
o
g
ram solver
commit
|
commitdiff
|
tree
2009-08-07
S
ven Ve
r
doolaege
i
s
l_mat_extend: make s
u
re the number of
rows
n
eve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
s
l
_a
f
f
i
ne
_
hull
.
c: only construct affine hull
in bounded
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
isl_tab: add su
p
port for keep
i
n
g
tra
c
k
of samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolae
g
e
isl_tab: optionall
y
keep track of row signs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
isl
_
tab: ad
d
isl_b
a
sic_set field for
optionally keeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
i
s
l_tab: introduce support for
"
b
ig para
m
e
ters"
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
V
erdoola
e
ge
isl_tab: all
o
w
introduc
t
i
o
n of
e
xtra variables
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
e
r
doolaege
isl_tab: intr
o
d
u
ce pa
r
a
m
eters an
d
div
s
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab
.
h:
f
ix typo
in c
o
mm
e
nt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab: a
l
low saving
and res
t
oring the c
o
m
plete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verd
o
olaege
isl_tab: privately export some
f
un
c
ti
o
n
ality
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoola
e
ge
i
s
l_ta
b
: store undo argume
n
t in a union for future
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
add isl_basic_se
t
_sample_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Ve
r
doolaege
privately export isl_basic_
s
et_order
_
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verd
o
o
l
aege
isl_map_simp
l
ify
.
c: remove_depe
n
dent_vars: only
remo
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdool
a
e
ge
isl_basic_m
a
p
_
compute_div
s
: us
e
i
sl_
b
asic_set_lexmin
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
Verd
o
olaege
isl_pip_bas
i
c_map_compute_div
s
: don't turn divs i
n
to
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en V
e
rdoolaege
privately export isl_basic_ma
p
_swap_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoo
l
aege
isl_{set,map}_add:
don't a
d
d
obviou
s
ly empt
y
basic
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Ve
r
d
oolaege
com
b
ine isl
_
p
i
p_basi
c
_map_le
x
{
m
i
n,max} into isl_pi
p
_basic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaege
make
piplib headers pr
i
v
a
t
e
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl_ma
t
:
k
e
ep track
o
f the actual number of col
u
mns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoolaege
i
s
l_ta
b
_pivo
t
: fix typ
o
that
prevented nor
m
ali
z
ati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add
i
sl_basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdoola
e
ge
add isl_basi
c
_set_partial_lex{min,max}
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
renam
e
isl_basic_map_lex{min,max}
to isl_bas
i
c_
m
ap_partia
l
_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
add isl
_
basic_set_fre
e
_div
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
isl_set
_
d
im: s
u
p
port isl_d
i
m_all
commit
|
commitdiff
|
tree
2009-08-07
S
ve
n
Verdo
o
laeg
e
isl_tab: store i
n
dex of variable in
u
n
do record in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
a
e
ge
add isl_{set,map}_grow
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdoolaege
add
isl
_
map
_
g
e
t_dim
commit
|
commitdiff
|
tree
2009-08-07
S
ven V
e
rdoola
e
ge
add isl
_
b
asi
c
_map_get_dim
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Ver
d
oolaege
add isl_tab_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven
V
e
r
doolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
isl_tab
.
c:
mark_redundant: only mark variable
n
o
nneg
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sven
Verdoolaege
isl_tab
.
c: to_row: allow
p
ivoting in arbitra
r
y
direction
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoola
e
ge
isl_tab
.
c: simpl
i
f
y code by l
e
t
ting
mark_empt
y
return tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
add isl_seq_last_non_zero
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
is
l
_
t
ab
.
c: simp
l
if
y
add_eq
commit
|
commitdiff
|
tree
2009-08-04
S
v
en
V
erdoolaege
isl_t
a
b
.
c: ext
r
a
c
t
allocat
e
_co
n
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
privately e
x
port isl_basic_set
_
s
et_rational
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verd
o
olaeg
e
co
n
figure
.
a
c
:
explicitly set AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
c
o
nvex_hull:
c
oalesce
s
et d
u
ring fac
e
t computat
i
on
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
isl_map_co
a
lesce: don't
d
rop rational fl
a
g from resu
l
t
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erd
o
o
laege
isl_tab_c
o
n
e_is_bounded: s
t
art over after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaeg
e
i
sl_basic_set_dim_residue_
c
lass:
o
nly set *modu
l
o
to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add is
l
_
basic_set_fast_
d
i
m
_
is_fixed
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoola
e
ge
is
l
_tab: drop is
l
_ctx arg
u
ment where not absol
u
tely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sve
n
V
er
d
oolaege
i
s
l_ma
t
: k
e
ep track of isl_
c
tx
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolae
g
e
isl_basic_set
_
s
ample: don't proj
e
ct
o
u
t
lineal
i
t
y
space
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
S
v
en
V
erdool
a
ege
isl_basic_
m
ap_fix_pos: micro-optimi
z
ation
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
d
oolae
g
e
move isl_
b
a
sic_set_skew
_
to_positive_ort
h
ant to isl_samp
l
e
.
c
commit
|
commitdiff
|
tree
2009-07-15
S
v
en Verdoolaege
isl_tab
.
c: fix
t
ypo in comment
commit
|
commitdiff
|
tree
next