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
pilp solver: don't ignore feasibility test on context
2009-09-04
Sven
Verdo
o
l
aege
pilp solver:
d
on'
t
ignore feasibil
i
ty test on conte
x
t
commit
|
commitdiff
|
tree
2009-09-01
S
v
en Verdoolaege
isl_basic_map_gauss: try
n
o
t to
r
emo
v
e
a
ny div definition
s
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n
Verdoolaege
a
dd
i
s
l_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Ver
d
oola
e
ge
a
d
d
i
s
l
_
m
ap
_
flo
o
rdiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add is
l
_map_ne
g
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
ad
d
is
l
_map_is_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
add isl_map_fast
_
is_fixe
d
commit
|
commitdiff
|
tree
2009-08-30
Sven
V
erdoolaeg
e
add isl_m
a
p_iden
t
ity_l
i
ke
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
rename isl_map_identity
_
like to
isl_
m
ap
_
ide
n
tity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
ad
d
isl_polytope_scan ap
p
lication
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
i
s
l_
s
e
q_normalize: use pre-allo
c
ated temporary va
r
iable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add
i
sl_vec_normali
z
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
o
l
ae
g
e
isl_s
e
q_n
o
rmalize:
n
o need to scale down by
o
n
e
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
a
d
d isl_polyhed
r
on_min
i
mi
z
e applicatio
n
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Verdoolaege
add ge
n
er
a
lized basis
r
eduction based ILP s
o
lver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_
m
at
_
product
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n
Verdoolaege
export isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
S
v
en V
e
rdoolaege
isl_basic
_
se
t
_s
a
mple: only perfo
r
m basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
rename is
l
_solve_lp to isl_basic_{map,
s
et}
_
s
o
l
ve_lp
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verd
o
olaege
i
sl_
s
olve_lp: option
a
lly r
e
turn
solution point
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolae
g
e
export isl_v
e
c
head
e
r
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
ad
d
isl_
i
nt_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_vec_rea
d
_f
r
om_fi
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_basic_m
a
p_drop
_
re
d
undant_
d
ivs: als
o
i
n
v
e
stigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Ve
r
doolaege
i
sl_bas
i
c_m
a
p_apply_{dom
a
in,
r
ange}: drop redun
d
ant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoo
l
aege
is
l
_map_simp
l
i
fy
.
c: fix
t
y
po
i
n
c
o
mment
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoolaege
isl_basic_se
t
_pr
o
j
e
c
t_out: drop
redundant
d
i
vs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
isl_ba
s
ic_map_re
m
ove: only d
r
op divs if basic m
a
p did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdoolaege
i
s
l_
b
asic_map_dete
c
t_
e
qualitie
s
: expl
i
citly ke
e
p
trac
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdo
o
laege
isl_basic_map_extend_dim
:
keep hold of
sample if dimens
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Verdoolaege
isl_
t
ab_min: read off all i
n
formation fr
o
m tab
l
e
au
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sven Ve
r
doolaege
isl_tab
_
add_valid_eq: keep tra
c
k
o
f
whether equality
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoolaege
configure
.
a
c: no
l
o
ng
e
r us
e
piplib by def
a
ult
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
add an internal parametr
i
c
in
t
eger linear p
r
ogram solver
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
erdo
o
laege
i
s
l_m
a
t_ext
e
nd: make su
r
e the number
o
f rows n
e
ve
r
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
i
sl_affine_
h
ull
.
c: only constru
c
t a
f
fine h
u
ll in b
o
u
nde
d
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
i
sl_t
a
b
: add support for
keeping track o
f
samples
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_tab: optionally keep track of row
signs
commit
|
commitdiff
|
tree
2009-08-07
Sven
Ve
r
doolaege
is
l
_tab:
a
d
d
isl_basic_set field for
optionall
y
k
eeping
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
is
l
_ta
b
:
introduce support
for "big parameters"
commit
|
commitdiff
|
tree
2009-08-07
Sven Verd
o
olaege
isl_tab: allow i
n
trod
u
ction
o
f e
x
tra v
a
ri
a
bles
commit
|
commitdiff
|
tree
2009-08-07
Sve
n
V
e
rdoolaege
isl_tab: introdu
c
e paramet
e
rs and
d
ivs
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdool
a
e
g
e
isl_
t
ab
.
h
: fix typo
in comment
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
isl_tab:
all
o
w s
a
vin
g
and r
e
s
t
oring the complete basis
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
rdoo
l
aege
is
l
_tab: privatel
y
exp
o
r
t some
f
u
ncti
o
n
a
li
t
y
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_t
a
b: store u
n
do argument in a union for futu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
add isl_basic_set_s
a
m
p
le_bounded
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoolaege
p
r
ivately export isl_basic_se
t
_or
d
er_divs
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaeg
e
is
l
_
m
ap_simplify
.
c: remove_dependent_v
a
rs: o
n
ly
r
e
move
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
e
n
Verdoolaeg
e
isl_b
a
sic
_
map_compute_divs: use
i
s
l
_basi
c
_set_lexm
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
S
v
en Verdoolaege
isl
_
pip_basic_map_compu
t
e_divs: don't turn divs into
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n
Verdoolaege
priv
a
tely
export isl_b
a
sic_map
_
swap_d
i
v
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doolaege
isl_{set,map}_ad
d
: don't add obviously empty
b
asi
c
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
combine i
s
l_pip
_
b
a
s
ic_map_lex{min,
m
a
x
} in
t
o isl_pip_
b
asic_ma
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Ve
r
dool
a
ege
mak
e
pipli
b
headers
private
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdo
o
laege
isl_mat: keep
t
rack of
t
h
e
a
ctual number of columns
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoola
e
ge
isl_
t
ab_pivot
:
fix ty
p
o that prev
e
n
ted normalizati
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verd
o
ola
e
ge
add
i
sl_basic_set_positive_orthant
commit
|
commitdiff
|
tree
2009-08-07
Sven
V
er
d
oolae
g
e
add
i
s
l_basic_set_pa
r
t
ial_l
e
x{min,max
}
commit
|
commitdiff
|
tree
2009-08-07
Sven V
e
r
d
oolaege
rename
isl_basi
c
_map
_
lex{min,max} to isl_bas
i
c_map_partial_l
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ve
r
doo
l
aege
add isl_basic_
s
et_free
_
d
iv
commit
|
commitdiff
|
tree
2009-08-07
Sv
e
n Verdo
o
laeg
e
i
sl_set_
d
im
:
s
u
pport i
s
l_dim_al
l
commit
|
commitdiff
|
tree
2009-08-07
S
ven Verdoo
l
a
ege
isl_tab:
s
t
o
r
e index of var
i
able in undo record instead
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven
Verdoola
e
ge
add
i
s
l_{s
e
t,map}_
g
r
ow
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
ad
d
i
sl_ma
p
_
get_di
m
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdoolaege
a
d
d
isl_basic_map_g
e
t
_
dim
commit
|
commitdiff
|
tree
2009-08-04
Sven Verdoolaege
add isl_ta
b
_dup
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
export isl_mat_dup
commit
|
commitdiff
|
tree
2009-08-04
Sven V
e
rdoolaege
isl_tab
.
c: mark_redundant: only mark variable nonn
e
g
.
.
.
commit
|
commitdiff
|
tree
2009-08-04
Sv
e
n Verd
o
olaege
isl_tab
.
c:
t
o_row
:
all
o
w pivotin
g
i
n ar
b
itrar
y
direction
commit
|
commitdiff
|
tree
2009-08-04
Sven
Ve
r
d
o
olaege
isl_tab
.
c: s
i
mplify cod
e
by lett
i
ng
m
ark_em
p
t
y
ret
u
rn tab
commit
|
commitdiff
|
tree
2009-08-04
Sve
n
Verdoolaege
add isl_seq_l
a
st_non
_
z
e
ro
commit
|
commitdiff
|
tree
2009-08-04
S
v
en Verdoolaege
is
l
_
t
ab
.
c: simpli
f
y a
d
d_eq
commit
|
commitdiff
|
tree
2009-08-04
S
ven Verdoo
l
aege
isl
_
tab
.
c: extract al
l
ocat
e
_c
o
n
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
privately export isl_basi
c
_s
e
t_s
e
t_rati
o
nal
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Ver
d
oo
l
aege
c
o
nfigure
.
ac: expl
i
citly se
t
AC_CONFIG_AUX_DIR
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erd
o
olaege
c
o
nvex_hull: c
o
ale
s
ce set d
u
ring facet comp
u
tation
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoola
e
g
e
isl
_
map_coalesce: don't drop rati
o
nal flag from result
.
.
.
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verd
o
olae
g
e
isl_tab_co
n
e_is_bound
e
d:
sta
r
t over after computing
.
.
.
commit
|
commitdiff
|
tree
2009-07-19
Sven Verdoolaege
isl_basic
_
set_dim
_
residue
_
cla
s
s: o
n
ly se
t
*modulo to
.
.
.
commit
|
commitdiff
|
tree
2009-07-18
Sven Verdoolaege
add i
s
l_ba
s
i
c_se
t
_fast_dim_is_fixed
commit
|
commitdiff
|
tree
2009-07-16
S
ven Verdoo
l
aege
isl_t
a
b
:
drop isl_ctx arg
u
ment whe
r
e
not
absolutely
.
.
.
commit
|
commitdiff
|
tree
2009-07-16
Sven Verdoolaege
isl_mat
:
keep track
o
f isl_ctx
commit
|
commitdiff
|
tree
2009-07-16
S
v
en
Ver
d
o
o
l
a
ege
i
sl_basic_set_s
a
mple: don't
p
r
ojec
t
out linea
l
it
y
s
pace
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdo
o
l
aege
i
s
l_basic_map_f
i
x_pos: micro-optimization
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdoolaege
m
o
v
e
i
sl_
b
asic_set_
s
kew_to_po
s
i
t
ive_o
r
thant to isl_sample
.
c
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
erdo
o
laege
isl_tab
.
c: fix typo
i
n comment
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaeg
e
isl_basic_set
_
sample: break early
i
f sample fou
n
d
i
n
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
V
e
rdo
o
la
e
g
e
export isl_tab_sample_is_integ
e
r
commit
|
commitdiff
|
tree
2009-07-15
Sven
V
e
r
doolaege
i
sl_basic_
s
e
t_s
a
mple: check sam
p
le s
t
o
red by isl_ba
s
ic_map_
i
.
.
.
commit
|
commitdiff
|
tree
2009-07-15
Sven Ver
d
oolae
g
e
isl_basic_m
a
p_is_empty: remove stale
s
ample
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verd
o
olaege
add i
s
l_polyhedron_sample a
p
plication
commit
|
commitdiff
|
tree
2009-07-15
Sve
n
Verdoolaege
in
t
roduce general
i
zed basis re
d
uction based sampling
commit
|
commitdiff
|
tree
2009-07-15
Sven Verdool
a
ege
add isl_seq_cdiv_q
commit
|
commitdiff
|
tree
2009-07-15
Sv
e
n Verdoo
l
ae
g
e
is
l
_sample
.
c: i
n
terval
_
s
a
mp
l
e:
drop redunda
n
t argument
commit
|
commitdiff
|
tree
2009-07-15
Sven Ve
r
doolaege
isl_sam
p
l
e
.
c: clea
n
up h
a
ndling of
l
ineality spac
e
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
isl_s
a
mple
.
c
:
extr
a
ct out sample
_
e
q
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Ve
r
d
o
o
laege
isl_sample
.
c: inter
v
al_sample: handle eq
u
alities direct
l
y
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
isl
_
s
a
mpl
e
.
c: extra
c
t out
e
m
p
ty
_
sample
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
ge
i
sl_sample
.
c: generalize point_sample to ze
r
o_sample
commit
|
commitdiff
|
tree
next