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_{partial_,}lexopt
2009-10-10
Sven
V
erdool
a
e
g
e
i
s
l_tab_pip: use g
e
ne
r
aliz
e
d
b
asis reduct
i
on based
.
.
.
commit
|
commitdiff
|
tree
2009-10-10
S
ven Verdoolaege
i
sl_tab
_
pip
:
a
dd gener
a
li
z
e
d basis reduction
based
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c:
e
xtract out co
n
text
h
andling
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_pip
.
c: add
_
div: use m
o
re reli
a
b
le way to test
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
i
s
l_tab_basi
c
_map_p
a
r
tia
l
_lexopt: rem
o
v
e samples
t
h
at
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdool
a
ege
isl_
t
ab
.
c: e
x
tract
out samples handling
from isl_tab_pip
.
c
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
a
ffin
e
_hu
l
l
.
c: uset_a
f
f
ine_hull_bounde
d
: use tableaus
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
is
l
_basic_map_de
t
ec
t
_equalitie
s
: keep track of
sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven Verdoo
l
aege
isl_basic_ma
p
_detect_equalities: only c
o
mpute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab_sample: handle u
n
bounded directions in
initia
l
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_tab_compute_reduced_
b
asis: handle unbo
u
nded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ve
r
doolaege
explo
i
t equalities
in isl_tab_sample
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
rdoolaeg
e
isl_tab: keep (in)e
q
ualit
i
es of bs
e
t
(
if a
n
y) in sy
n
c
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rdoolaege
isl_tab_sample:
be mor
e
v
e
r
bo
s
e a
b
out unbounded d
i
r
ecti
o
ns
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
separate out isl_tab_sa
m
ple from
s
a
mple_
b
ounded
commit
|
commitdiff
|
tree
2009-10-09
S
ven
Verdoolaege
samp
l
e_bounded: reimplement
to
w
o
rk directly on a tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_
t
a
b_compute
_
reduced_basi
s
: work with affine ba
s
is
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
V
e
r
doolaege
i
sl_tab_compute_r
e
duced_basis: allo
w
inc
r
em
e
nt
a
l comput
a
tion
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolae
g
e
isl_polytope_sc
a
n: us
e
isl_tab_from
_
basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdo
o
laege
se
p
a
rate out
i
sl_tab
_
reduced
_
basi
s
from
isl
_
basic_set_red
u
ce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
laege
basis_reduction_tab
.
c: use isl_tab_prod
u
ct
to construct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
add isl_t
a
b_product
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolae
g
e
isl_ba
s
ic_set_reduced_basi
s
: fix value in dire
c
tions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
sl_b
a
sic_set_reduced_basis: fix up do
c
ument
a
t
ion
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdool
a
e
ge
bas
i
s_reduction
_
tab
.
c
:
k
eep track o
f
con_offset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
v
e
n
V
erdoolaege
add is
l
_
t
a
b
_
add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
is
l
_
t
ab_
a
d
d_valid_e
q
: ad
d
special treatment for
m
anifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doola
e
ge
isl_ta
b
_
e
xtend_
c
ons: check tab arg
u
ment
commit
|
commitdiff
|
tree
2009-10-08
S
v
en V
e
r
doolaege
rename
isl_tab_
d
etect_
e
qualities to is
l
_tab
_
de
t
ect_impli
c
it_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_t
a
b_f
r
om_recession_cone
:
take basic se
t
instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoola
e
ge
isl_il
p
.
c:
s
ep
a
rate out solve_ilp_sear
c
h
commit
|
commitdiff
|
tree
2009-10-08
S
ve
n
V
erdoolaege
isl_sample
.
c: basic_set_sample
:
remember bo
u
ndedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
er
d
o
o
laege
a
dd isl
_
p
o
lyhed
r
o
n_d
e
tect_equalities te
s
t
a
pplication
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
o
l
a
ege
add isl_b
a
sic_set_detect_eq
u
alit
i
e
s
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
isl_tab_allocate_con: add extra assert
i
o
n
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
i
s
l
_
s
ample
.
c: basi
c
_se
t
_reduced: f
i
x ty
p
o
p
r
event
i
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
isl_tab_basic_map_partia
l
_
l
e
xopt: simp
l
ify
resul
t
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n Ver
d
oolae
g
e
pr
i
v
a
t
ely expo
r
t
isl_bas
i
c_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdool
a
ege
privately export isl_basic_se
t
_sample_
w
i
th_cone
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
a
d
d
isl_
b
a
sic_set_
u
nderlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaeg
e
isl_tab
.
c:
close_row: push un
d
o record for
setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
dool
a
ege
add isl_mat_
v
ec_inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
add is
l
_mat_con
c
at
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoola
e
ge
add isl_int_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdo
o
l
a
e
g
e
add isl
_
set
_
dim_resid
u
e_class
commit
|
commitdiff
|
tree
2009-10-03
Sven
Verd
o
ol
a
ege
fi
x
l
ong
stand
i
ng bug in isl_mat_inv
e
rs
e
_produc
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
ool
a
ege
add
i
sl_basic_map_for
e
ach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl
_
s
et_p
r
oject_
o
ut
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
ad
d
isl_set_detect_equali
t
i
e
s
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olae
g
e
add isl_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ver
d
ool
a
ege
add isl_set_liftin
g
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
o
o
laege
isl_dim
_
size
:
c
h
eck argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
export isl
_
m
at header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Ver
d
o
olaege
add is
l
_map_foreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolaege
co
n
figure
.
ac: fix cut-
a
nd
-
pa
s
te error i
n
orig
i
nal
co
m
mit
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdo
o
l
aege
add i
s
l_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdo
o
l
a
ege
ex
p
ort isl_set
_
sa
m
pl
e
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_set_
u
nive
r
se_li
k
e
_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_set_is_strict_
s
ubset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add i
s
l
_s
e
t_univ
e
rse_lik
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_S
U
B
M
ODULE:
set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoola
e
ge
cr
e
ate pkg-config
file
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Ver
d
o
olaege
AX_
S
U
B
M
O
D
UL
E
: dro
p
options that
a
re meaningless given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
Verdoo
l
aeg
e
isl_b
a
sic
_
map_from_c
o
nst
r
aint:
r
e
turn copy of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
e
rdoolaege
doc:
fi
x
description
of lex
i
c
ograhpic order relations
commit
|
commitdiff
|
tree
2009-09-16
Sven Verd
o
olae
g
e
add isl_
m
ap_lex_le and
i
s
l_map_lex_ge
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaeg
e
export isl_ba
s
ic_map_gis
t
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
add isl_basic_map_
s
ample and isl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
Sven Verd
o
olaege
isl_sample
.
c: move isl_b
a
sic_s
e
t_from_
v
ec fro
m
isl_affi
n
e_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdool
a
eg
e
rename
isl_basic_set_sample t
o
isl
_
basic_set_sample
_
vec
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoola
e
g
e
ma
k
e some internal f
u
nctions s
t
atic
commit
|
commitdiff
|
tree
2009-09-13
S
ven Verdoolaege
i
sl
_
basic_m
a
p
_
add_
c
onstraint: handl
e
constraints
o
btain
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven V
e
rdoolaege
add isl_bas
i
c_m
a
p_fro
m
_con
s
traint
commit
|
commitdiff
|
tree
2009-09-12
S
v
en Verdoolaege
is
l
_map_simplify
.
c: break
if set tur
n
s out to be empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
S
v
e
n
Ver
d
oolae
g
e
add isl_basic_m
a
p_universe_like
commit
|
commitdiff
|
tree
2009-09-09
Sven
Ve
r
d
oolaege
add
isl_map_lex_lt and isl_map
_
le
x
_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaege
is
l
_tab
.
c: cut_to
_
hype
r
plane:
d
o
nothing i
f
sel
e
c
ted
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sve
n
V
e
rdo
o
la
e
g
e
rever
s
e meaning of isl_basic_map_{less,
m
ore}
_
at
commit
|
commitdiff
|
tree
2009-09-08
Sven Verd
o
olaege
isl_t
a
b_dup: avoi
d
out-of-bounds array access
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
add
a
rud
i
ment
a
ry
manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
add some
memory management annot
a
tions
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export is
l
_b
a
sic_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
is
l
_basic_set_normalize_con
s
tr
a
ints: add mi
s
sing re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoola
e
ge
isl_map_si
m
plify
.
c: remove unused va
r
i
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verd
o
o
laege
isl_
m
ap
.
c: remove unused
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_basic_
s
et_get_ha
s
h: initi
a
lize hash va
l
u
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
sl_affine_hull
.
c
:
remov
e
unused v
a
r
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_h
a
s
h
.
c:
r
emo
v
e unused varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaeg
e
isl_
l
p
.
c:
add missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_equalities
.
c: drop redun
d
ant e
r
ro
r
handling
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_
e
q
u
alities
.
c: remo
v
e
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
isl_convex_hull
.
c:
r
emove un
u
sed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_con
s
t
r
aint
.
c: remove unused v
a
ri
a
ble
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_tab
.
c: sign_of_
m
i
n
: only pivot back i
f
we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aege
i
s
l
_tab
.
c
:
isl_t
a
b_mark_redundant
:
fix up
e
rror return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
l
aege
isl_tab
.
c: remove unused
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
tab_pip
.
c: remo
v
e
unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
o
l
aege
isl_vec
.
c: remove unuse
d
variable
commit
|
commitdiff
|
tree
next