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
sample_bounded: reimplement to work directly on a tableau
2009-10-09
Sven Verdoolaege
sample_boun
d
ed: re
i
mplement to work directly on
a
tablea
u
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_tab_compute_r
e
duced_basis:
work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl
_
tab_compute_r
e
d
uc
e
d_basis: allow incremental
c
o
mpu
t
a
tio
n
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
l
aege
isl_p
o
lytope_scan: use isl_t
a
b_from_basic
_
set
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoola
e
ge
separate
out isl_ta
b
_reduced_ba
s
is from i
s
l
_basic_s
e
t
_r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
ba
s
is_r
e
duction
_
tab
.
c:
u
s
e isl_tab_
p
r
o
duct to const
r
uct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
ven
V
erdoo
l
a
e
ge
add isl_tab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaeg
e
isl_basic_set
_
r
educed_basis: fix val
u
e in
d
irections
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
is
l
_basi
c
_se
t
_
r
educed
_
b
a
sis: fix
u
p documentation
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoo
l
aege
basis_
r
ed
u
cti
o
n_tab
.
c: kee
p
t
r
ack
of
con_
o
ff
s
et instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
add isl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdo
o
laeg
e
isl_
t
ab
_
add
_
valid_eq: add
special
treatment for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoolaege
isl_tab_extend_
c
ons:
check t
a
b argum
e
n
t
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
r
en
a
me
i
s
l
_
ta
b
_dete
c
t
_
equa
l
i
t
ies to isl_tab_detect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Ver
d
oolaege
is
l
_tab_fr
o
m_recession_cone: take ba
s
ic set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: sep
a
rat
e
out solve_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
V
erdo
o
laege
is
l
_sample
.
c
:
basic_s
e
t_
s
ample: rem
e
mb
e
r
b
ounde
d
ness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add is
l
_polyhe
d
ron_det
e
c
t_equalities
t
est appl
i
cation
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
Verdoolaege
add isl_basi
c
_s
e
t_detect_eq
u
alities
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
isl_tab_alloc
a
te_con
:
add
ext
r
a assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
isl_
s
ample
.
c: basic_set_reduced: fix typo p
r
even
t
ing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven Ver
d
ool
a
ege
i
sl_
t
a
b
_basic_map_partial_lexop
t
: simplify res
u
lt
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
e
r
doola
e
ge
privately
e
xp
o
rt isl
_
basic_set_add_{
i
n,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
d
o
o
laege
pri
v
ately e
x
port
i
sl_basic
_
s
e
t
_
s
ampl
e
_wi
t
h_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
dool
a
ege
add isl_bas
i
c_set_
u
nde
r
lying_se
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab
.
c: close_row: push undo record for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ve
n
V
erdoola
e
g
e
add isl_m
a
t_vec_inve
r
se
_
pr
o
du
c
t
commit
|
commitdiff
|
tree
2009-10-07
S
v
en
V
erdoolaege
add isl_mat_co
n
cat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
add isl_i
n
t_divexact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoo
l
aege
add isl_s
e
t_dim_res
i
due_c
l
as
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Ve
r
doolaege
f
ix long standing bug in isl_m
a
t_inver
s
e_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add isl_basic
_
m
a
p_fo
r
e
ach_lexm
i
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add isl_set
_
detec
t
_equalit
i
e
s
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aeg
e
a
dd
i
s
l_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
er
d
oola
e
ge
add
i
sl_
s
et_l
i
ftin
g
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolae
g
e
isl_dim_siz
e
: check argument
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolae
g
e
e
x
port isl_mat hea
d
er
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoo
l
aege
add isl_ba
s
ic_m
a
p_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
lae
g
e
a
dd i
s
l_map_foreach_basi
c
_map
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Ve
r
doolaege
conf
i
gure
.
ac: f
i
x cut-and
-
paste error in o
r
i
g
inal commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
add
i
s
l
_i
n
t_
g
et_
s
i
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
exp
o
r
t
i
sl_set_sample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add isl_ba
s
ic_set_univer
s
e_like_set
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoo
l
a
eg
e
add
i
sl_set_is_
s
trict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verd
o
olaege
add isl_set_un
i
verse_lik
e
commit
|
commitdiff
|
tree
2009-09-20
S
ven V
e
rdoola
e
ge
AX_S
U
BMODULE: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
creat
e
pkg-config fi
l
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE: drop
options t
h
at are mean
i
ngless
g
i
v
en
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
isl_basic_map_from_c
o
n
s
train
t
:
return copy of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
S
ven Verdoolaege
doc: fi
x
description of lexicogr
a
hpic ord
e
r rela
t
ions
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdo
o
l
a
ege
add isl_map_le
x
_le and isl_m
a
p_lex_ge
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
expo
r
t
isl_basic_map_gist
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdo
o
laege
add isl_basic_map_sam
p
le and isl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
Sven
V
erd
o
olaege
i
sl_sample
.
c:
move is
l
_basic_set_from
_
v
e
c from isl
_
affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verd
o
olaege
rename isl_basic_se
t
_sample to
i
sl_basic
_
set
_
sample_vec
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n V
e
rd
o
olaege
make s
o
me i
n
t
ernal fu
n
ctions static
commit
|
commitdiff
|
tree
2009-09-13
Sven Verd
o
olaeg
e
isl_basic_map_add_constraint:
hand
l
e constraints
o
btained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n Verdoolaege
add isl
_
b
a
sic_map_
f
rom_const
r
aint
commit
|
commitdiff
|
tree
2009-09-12
Sven Ve
r
doolaege
i
sl_map_sim
p
lify
.
c: break if set tur
n
s out t
o
be
emp
t
y
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoolaege
add i
s
l_basic_map
_
universe
_
like
commit
|
commitdiff
|
tree
2009-09-09
Sven
Verdoolaege
add isl
_
map_
l
ex_lt
a
nd isl_map_le
x
_gt
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n Verd
o
olaege
isl_tab
.
c
: cut_to_hyper
p
l
a
ne: do nothing if sele
c
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven
V
erdoolaege
reverse
m
eaning of isl_basic_ma
p
_{
l
ess,mo
r
e}_at
commit
|
commitdiff
|
tree
2009-09-08
S
ven Verdoolaege
isl_tab_dup:
avo
i
d
o
ut-of-b
o
u
n
d
s
arr
a
y acce
s
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
is
l
0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add a
r
u
d
imen
t
ary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
g
e
add some mem
o
ry management
annotations
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doo
l
aege
ex
p
ort isl_basic_set_pro
j
e
c
t_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
i
s
l_basic
_
set_normalize_co
n
straints: add mi
s
sing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
oolaege
i
s
l_map_simplify
.
c: remove unused va
r
i
abl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_map
.
c:
r
emove
unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
olaege
i
s
l_basic_s
e
t_get_hash
:
in
i
t
i
alize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
g
e
isl_affine_
h
ull
.
c
:
r
emove unu
s
ed varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_h
a
sh
.
c: rem
o
ve unused variabl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_lp
.
c: add
mi
s
sing in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ver
d
oolaege
i
s
l_equalitie
s
.
c
:
d
r
op redundan
t
error han
d
ling
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_equalitie
s
.
c: remove unused
va
r
ia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
isl
_
convex_hull
.
c: rem
o
ve
u
nused va
r
iabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdo
o
laege
isl_constraint
.
c: remove unused va
r
i
ab
l
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c
: si
g
n_of_
m
in
:
only pivot back if we perf
o
rmed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_tab
.
c: isl_tab
_
mark_re
d
u
n
dant: fix up error r
e
turn
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaege
isl_tab
.
c
: r
e
move unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab_pip
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
isl_vec
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl
_
t
est
.
c: re
m
o
ve unused varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_assert: valida
t
e all arguments and fix u
p
fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
a
ege
polyh
e
dron_sample
.
c: add mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_pip
.
c: check return value o
f
f
s
canf
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
o
l
aege
polyhedron_minimize
.
c: handle
a
l
l
enumeration va
l
ues
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdo
o
la
e
g
e
confi
g
ure
.
a
c
: set maxim
a
l optimization
c
o
m
p
il
e
r fla
g
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_set_
c
opy_basic_s
e
t: add mis
s
in
g
return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_set_drop_ba
s
ic
_
set:
a
d
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_set_coalesce: add mi
s
sin
g
return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_
c
o
a
lesce
.
c: ad
d
missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ve
r
doolaege
isl_test: check srcdir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolae
g
e
priv
a
tely export isl_ta
b
_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c
:
fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_
t
a
b
_pip
.
c: add missing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_vec
.
c: ad
d
m
i
s
s
ing inc
l
u
d
e
commit
|
commitdiff
|
tree
next