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
isl_tab_sample: be more verbose about unbounded directions
2009-10-09
Sven Verdoolaege
i
s
l
_
tab_
s
ample: be mo
r
e verbose about unbounded directions
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
separat
e
out isl_tab
_
sample from sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven
Verdoolaege
sample_bou
n
d
e
d:
reimp
l
em
e
nt t
o
work dir
e
ctly
o
n a
t
a
b
lea
u
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n
Verdool
a
e
g
e
isl
_
tab_comput
e
_
r
educ
e
d_basis: wor
k
wit
h
af
f
i
n
e bas
i
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
i
s
l_tab_c
o
mpute_
r
educed_ba
s
is: allow
i
ncremental com
p
uta
t
io
n
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdoolaege
is
l
_polyto
p
e_scan: use is
l
_
tab_
f
r
o
m_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
doolaege
s
e
p
arate out isl_tab_reduced_basis from
i
s
l_bas
i
c_set_
r
e
duce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
bas
i
s_reduction_tab
.
c:
u
se is
l
_tab_product to
c
onstr
u
c
t
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
o
o
laege
ad
d
isl_tab_produ
c
t
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdo
o
la
e
ge
isl_basic_set_reduce
d
_
basi
s
:
fix value
in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verd
o
o
l
aege
i
s
l_b
a
sic_set_r
e
duced_basis: fix up documentat
i
on
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ver
d
oolaege
basis_reductio
n
_tab
.
c: keep
t
r
ac
k
of con_offs
e
t
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaeg
e
add isl_tab_ad
d
_
eq
commit
|
commitdiff
|
tree
2009-10-08
S
v
en
V
erdoo
l
aege
isl_
t
ab_add_vali
d
_eq: add s
p
e
cial treatment for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoo
l
aege
i
s
l_tab_ex
t
end_cons
:
check tab
a
rgument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdool
a
e
g
e
rename isl_tab_dete
c
t_
e
qualitie
s
to isl_tab
_
detect_implici
t
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
doolaege
isl_tab_from_reces
s
i
on_cone:
t
a
ke ba
s
i
c s
e
t instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
e
r
doolae
g
e
isl_
i
lp
.
c: separate
o
ut solve_ilp_sear
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
isl_sample
.
c: basic_set_sample: re
m
ember bounde
d
ness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add isl_polyhedron_
d
etec
t
_
equa
l
ities test applic
a
tion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
a
ege
a
d
d
isl_basic
_
s
et_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaeg
e
isl_tab_allocate_co
n
: add extra a
s
sertion
commit
|
commitdiff
|
tree
2009-10-07
S
v
en V
e
r
doolaege
isl_sam
p
le
.
c
:
basi
c
_set_reduce
d
: fix
t
ypo pr
e
ve
n
tin
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doo
l
aeg
e
isl_
t
ab_basic_ma
p
_p
a
rtial_lexopt:
simpl
i
f
y result
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolae
g
e
pr
i
va
t
e
l
y export isl_ba
s
i
c_s
e
t_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
p
rivately export isl_b
a
sic_set_sample_with
_
co
n
e
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoola
e
ge
add isl_basi
c
_set_underl
y
i
n
g_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab
.
c: close_row: push
u
ndo
record for setti
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oola
e
ge
a
d
d isl_mat_vec_inverse_p
r
oduct
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_
m
at_conc
a
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
a
d
d isl_int
_
dive
x
act_u
i
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add isl_set
_
dim_re
s
idue_class
commit
|
commitdiff
|
tree
2009-10-03
Sve
n
Verdoola
e
ge
fix
l
ong standing bug in
i
sl_mat_inver
s
e_product
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoola
e
ge
add isl_basic_map_fore
a
ch_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
erd
o
olaeg
e
add isl_set_project_o
u
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add isl_set_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
r
d
oolaege
a
d
d isl_set_fore
a
ch_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
d
d isl_
s
e
t_li
f
ting
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
d
o
olaege
isl_dim_s
i
ze: check
a
rgument
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
e
xp
o
rt isl_mat
h
eader
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
er
d
oolaeg
e
a
d
d is
l
_basic_map_lex
m
in
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
ad
d
isl_map_foreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
ol
a
ege
config
u
r
e
.
a
c: fix cut-and-paste error
i
n original commi
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl_int_
g
et_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
export isl_set_
s
ample
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_basi
c
_
s
et_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verd
o
olaege
add is
l
_se
t
_is_strict_subse
t
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaeg
e
a
d
d isl
_
se
t
_un
i
ve
r
se_l
i
ke
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdoolae
g
e
A
X
_SUBMODUL
E
: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
erdoolaege
create
pkg-config
f
ile
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE:
d
rop op
t
ions that are meaningless gi
v
en
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdo
o
laege
isl_bas
i
c_map
_
from_cons
t
rain
t
:
r
eturn copy of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
er
d
o
ola
e
ge
doc: fix description of lexic
o
grahpic order relations
commit
|
commitdiff
|
tree
2009-09-16
Sve
n
Verdoolaege
add i
s
l_map
_
l
ex_le and
isl_map
_
lex_
g
e
commit
|
commitdiff
|
tree
2009-09-14
S
v
en
V
erdo
o
laege
ex
p
ort isl_basi
c
_map_gist
commit
|
commitdiff
|
tree
2009-09-14
Sven Ve
r
doolaege
add i
s
l_ba
s
i
c_map_sample
and
is
l
_ma
p
_
sample
commit
|
commitdiff
|
tree
2009-09-13
S
v
en Verdoolaege
i
s
l_sample
.
c: move isl_basi
c
_set_from_vec from isl
_
affine_hul
l
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
re
n
a
me
i
sl_
b
asic_
s
et_sam
p
le to i
s
l_basic
_
set_s
a
m
p
l
e
_vec
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolae
g
e
ma
k
e
some internal fun
c
tions
static
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdo
o
laege
isl_basi
c
_
m
a
p_add_c
o
n
straint: hand
l
e
c
onstraints obtai
n
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven Ver
d
ool
a
ege
add isl_basic_map_from_c
o
n
s
t
raint
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoolaege
is
l
_map
_
s
i
mplify
.
c: br
e
ak if
s
et
t
urns out to
b
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoolae
g
e
add isl_
b
asic
_
map_universe_like
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n Verdo
o
l
a
ege
add isl
_
map_l
e
x_lt
and isl_ma
p
_
lex
_
gt
commit
|
commitdiff
|
tree
2009-09-09
Sven
V
erdoolaege
isl_tab
.
c: cut
_
to_hyperplane: do nothing if s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n
Ve
r
doo
l
aege
reverse meaning of isl_basic_map_{less,more}_at
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdoolaege
i
sl
_
tab
_
dup: a
v
oid out-of-bo
u
nds
a
rray access
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaeg
e
a
dd a
rudimentary m
a
nual
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
ol
a
ege
a
d
d so
m
e memory management annotations
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
export
isl_basic_set_proj
e
ct_ou
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
oolaege
isl_
b
asic_set_normalize_constraints: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
do
o
lae
g
e
isl
_
m
a
p_
s
i
m
p
lify
.
c:
r
emove unused variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
e
rdoolaege
i
sl_ma
p
.
c: rem
o
v
e
unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_basic_set_ge
t
_
h
a
s
h: initi
a
lize hash
v
al
u
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_affi
n
e
_hull
.
c:
remo
v
e
unused va
r
iab
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoola
e
ge
is
l
_
ha
s
h
.
c:
remove unused
variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaeg
e
i
s
l
_lp
.
c: add m
i
s
sing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rd
o
o
l
ae
g
e
isl_equali
t
ies
.
c
:
drop redunda
n
t
erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl
_
equaliti
e
s
.
c: r
e
move unused
vari
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdoolaege
isl_con
v
ex_
h
ull
.
c: r
e
move
u
nu
s
e
d
varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
is
l
_const
r
ain
t
.
c: re
m
o
ve unu
s
ed va
r
i
ables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
i
s
l_
t
a
b
.
c: sign_of
_
mi
n
: only pivot back if we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
ege
isl_
t
ab
.
c: isl_t
a
b_m
a
r
k
_redu
n
dant:
fi
x
up error re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
i
s
l_tab
.
c
:
remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_tab_pip
.
c: remove unused v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_ve
c
.
c: remov
e
unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
i
sl_test
.
c: remove unused var
i
a
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
i
s
l_assert
:
v
alidate all arg
u
m
e
n
t
s and fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron_sampl
e
.
c: add
m
is
s
ing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_
p
ip
.
c: check ret
u
rn
v
alue of fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
po
l
yhedr
o
n
_
minim
i
ze
.
c: handle all enumer
a
tion values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
configu
r
e
.
ac:
s
et maxima
l
optimization compiler fla
g
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_set_copy_ba
s
ic_
s
et: add
m
i
s
sing
return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdoolaege
isl_set_drop_
b
a
si
c
_set: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_co
a
les
c
e: ad
d
missing return
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
sl
_
c
oa
l
esce
.
c: ad
d
m
i
s
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl
_
test: check
sr
c
di
r
has
been set
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoo
l
aeg
e
privately export isl_
t
a
b_kill_col
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdoolae
g
e
isl_tab
.
c: fix up to_col
commit
|
commitdiff
|
tree
next