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_map_power and isl_map_transitive_closure
2009-10-12
Sve
n
Verdoolaege
add isl_s
e
t
_
size
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoola
e
g
e
ma
r
k s
o
m
e functio
n
s
a
s
requiring use of return value
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoo
l
a
e
ge
isl_ta
b
: improved
error handling
commit
|
commitdiff
|
tree
2009-10-12
Sven
Verdoolaege
isl_tab_pip
.
c: i
n
crementally build recess
i
on c
o
ne o
f
.
.
.
commit
|
commitdiff
|
tree
2009-10-12
Sven Verdoolae
g
e
isl_ta
b
_pip
.
c:
p
r
opagate some equalitie
s
fro
m
g
b
r co
n
text
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven
Ve
r
doolaege
is
l
_tab_pip
.
c: detect equalities in gbr c
o
ntext on
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
v
en Verdo
o
laege
ad
d
isl_tab_d
e
tect_
e
qualities
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdo
o
laege
a
dd isl
_
tab_set_initia
l
_basis_with_cone
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdool
a
ege
isl_tab_pip:
use
g
en
e
raliz
e
d ba
s
i
s reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
Sven Verdool
a
ege
i
s
l_t
a
b_p
i
p
:
add
generalized
basis reduction based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
g
e
isl_
t
a
b
_p
i
p
.
c: extract out
c
on
t
ext
handli
n
g
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab_
p
i
p
.
c: add
_
d
i
v
:
us
e
more re
l
i
a
b
le way t
o
test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
e
rdoolaege
isl_tab_basic_map_partial_lex
o
p
t
: remove sample
s
that
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
isl_tab
.
c
:
extr
a
c
t
out samples han
d
ling
fr
o
m is
l
_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_aff
i
n
e
_hull
.
c: uset
_
affin
e
_hull_bounded: use tab
l
eaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olaege
isl_basic_map_d
e
tect_eq
u
al
i
ties: keep
t
rack
o
f s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
doolaege
isl
_
basi
c
_map
_
d
etect_equalit
i
es: onl
y
compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_tab_sample: h
a
n
d
le unbounded dire
c
ti
o
ns in
i
n
i
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
o
o
l
a
ege
isl_
t
ab_c
o
mpu
t
e_redu
c
ed_
b
a
si
s
:
handle
unbou
n
de
d
directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoo
l
aege
exploit equalities in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: kee
p
(i
n
)equalit
i
es of bset (if any) in
sy
n
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolae
g
e
i
sl
_
tab_
s
am
p
le: be more
ver
b
ose abou
t
un
b
ou
n
ded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
separate out
i
sl_t
a
b_sam
p
le from sample_
b
ounded
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
rdoolaege
samp
l
e
_
bound
e
d: reimplement
t
o
work directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
r
doolaege
isl_tab_compute_
r
educed_bas
i
s: work w
i
th affine ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
o
l
a
eg
e
isl_tab_compute_
r
educed_basis:
a
llow i
n
cremen
t
al c
o
m
p
uta
t
ion
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdo
o
laeg
e
isl_polytope
_
scan: use isl_tab_from_
b
a
si
c
_
s
et
commit
|
commitdiff
|
tree
2009-10-09
S
v
en
V
e
rdoola
e
g
e
separate out is
l
_tab_reduced_basi
s
from i
s
l_ba
s
ic_se
t
_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
olaege
bas
i
s_reduc
t
ion_tab
.
c: use isl_tab
_
p
roduct to co
n
stru
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oolae
g
e
add isl_tab_p
r
oduc
t
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ve
r
doolaeg
e
is
l
_basic
_
set_reduced_basis: fix value i
n
di
r
e
c
t
i
ons
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
is
l
_b
a
sic_set_
r
educ
e
d_basis
:
fix up d
o
cumentation
commit
|
commitdiff
|
tree
2009-10-08
S
ve
n
V
erdoola
e
ge
b
a
sis
_
reduction_tab
.
c
:
keep trac
k
of con_offset instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erd
o
olae
g
e
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
ol
a
ege
i
s
l_tab_add_vali
d
_eq: add special treatmen
t
for
ma
n
ifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doo
l
a
ege
i
s
l
_
t
ab
_
extend_cons: chec
k
tab argum
e
nt
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_t
a
b_detect_eq
u
ali
t
ies t
o
isl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdool
a
e
ge
i
sl_ta
b
_f
r
o
m_recessi
o
n_cone
:
take basic set i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdo
o
l
a
ege
isl_ilp
.
c: se
p
ara
t
e out s
o
lve_il
p
_sear
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoolaege
isl
_
sa
m
ple
.
c: ba
s
ic_set_sample: reme
m
ber b
o
undedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_
p
olyh
e
dron
_
detect_e
q
ual
i
ties test application
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdool
a
ege
a
d
d
i
sl_basic_se
t
_detect_equaliti
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rd
o
olaege
isl_tab_a
l
loca
t
e_con: add e
x
tra asse
r
tion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
isl_
s
ample
.
c: basic_set_reduced: f
i
x typo pr
e
v
e
nting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
er
d
oolaege
i
sl_ta
b
_basic
_
map_parti
a
l_lexopt: si
m
plify
result
commit
|
commitdiff
|
tree
2009-10-07
S
ve
n
Verdoolaege
privately
e
xport
i
s
l
_basic_se
t
_add_{in,}e
q
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoola
e
g
e
private
l
y export isl_basic_
s
et
_
s
a
m
ple
_
with_
c
one
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add isl_
b
asic_set_u
n
derl
y
ing_set
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
e
r
doolaege
i
s
l_tab
.
c: clos
e
_row: push undo record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
add isl_mat
_
vec_inverse_
p
r
o
duct
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verd
o
olaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
add
i
sl_int
_
divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdo
o
laege
add isl_set_dim_resid
u
e_class
commit
|
commitdiff
|
tree
2009-10-03
Sv
e
n Verdoolaege
fix l
o
ng
s
tand
i
ng b
u
g
in isl_mat_inverse_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
a
ege
add isl_b
a
sic_map_forea
c
h_l
e
x
m
in
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aeg
e
add isl_set_proj
e
ct
_
out
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
add isl_set_dete
c
t_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
erdoolaege
a
d
d isl_set_fore
a
ch_bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
s
l_
s
et
_
li
f
ting
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoolaege
isl
_
dim_size: che
c
k
argument
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erd
o
olaege
expo
r
t isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd
isl_b
a
sic_
m
ap_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdool
a
ege
add isl_m
a
p_foreach_bas
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
confi
g
ure
.
ac: fix cut-and-pas
t
e
er
r
or
i
n ori
g
inal comm
i
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaeg
e
add isl_in
t
_
g
et_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
ex
p
ort isl_
s
et_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaeg
e
add
is
l
_basic_set_u
n
iverse
_
like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rd
o
ol
a
ege
add isl_set_i
s
_
strict_subse
t
commit
|
commitdiff
|
tree
2009-09-20
S
ven Verdoolaege
add
i
sl_s
e
t_unive
r
se_like
commit
|
commitdiff
|
tree
2009-09-20
S
v
en Verd
o
o
l
a
ege
AX_SUBM
O
DULE
:
set PKG_CONFIG_P
A
TH
commit
|
commitdiff
|
tree
2009-09-20
S
ven Ve
r
doolaege
create pkg-config fil
e
commit
|
commitdiff
|
tree
2009-09-20
S
ven
V
erdoolaege
AX_
S
UBMO
D
U
L
E
: drop
op
t
ions
th
a
t
a
re
m
eanin
g
less g
i
ven
.
.
.
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add
is
l
_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdool
a
ege
add isl
_
map_floor
d
iv
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doolaege
add isl_map_ne
g
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
r
d
ool
a
ege
a
d
d isl_map_
i
s_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdool
a
eg
e
add isl_map_fast_i
s
_fix
e
d
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
rename
i
sl_map_ide
n
tity_like t
o
isl_map
_
identity_like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_no
r
malize: u
s
e pre-
a
l
located temporary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verd
o
o
laege
add isl_v
e
c_n
o
r
m
a
l
ize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoola
e
ge
isl_seq_normal
i
ze: no need to scale
d
own by on
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
o
o
laege
a
dd isl_
p
olyhedr
o
n_minimize a
p
plication
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
add generalized
b
a
sis redu
c
t
ion base
d
I
L
P
solv
e
r
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verd
o
o
l
aeg
e
add isl_vec_m
a
t_pr
o
duct
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaeg
e
export
isl_vec_ce
i
l
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
s
l_basic_set_sample:
o
nly p
e
rfor
m
basis
r
ed
u
c
t
ion
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoola
e
ge
rena
m
e isl_solve_lp
to
i
sl
_
basic_{map,set}_solve
_
lp
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoolaege
isl
_
solve_lp:
o
ption
a
lly re
t
urn solution p
o
int
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
export isl_ve
c
heade
r
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Verdoolaege
add
i
sl
_
i
nt_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven
Verdoo
l
aege
a
dd isl_vec_rea
d
_from_fi
l
e
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
i
s
l
_basic_
m
ap_dro
p
_
re
d
undant_divs: al
s
o investigate
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
isl_bas
i
c
_
map_apply_{domain,ran
g
e
}
: dro
p
redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_map_simplify
.
c: fix typo in comment
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n V
e
rdoola
e
ge
i
sl_
b
asic
_
set_project_out:
d
r
op redundant divs in result
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
isl_bas
i
c_map_remove:
only drop divs if
b
asic
m
ap did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sven Verdool
a
ege
isl_basic_map_de
t
ect_equalities: ex
p
licitly keep tra
c
k
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
ven Verdoo
l
aege
isl_basic_
m
ap_extend_
d
im:
k
e
ep hold of
s
a
mpl
e
if dimensi
o
n
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
Sv
e
n
Verdoolaege
isl_tab
_
m
in: read off
a
ll infor
m
ation
from tableau
.
.
.
commit
|
commitdiff
|
tree
next