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
doc: describe input/output formats
2009-10-09
Sven Verdoolaege
isl_basic_map_de
t
ect_equalit
i
es: only compute recession
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ver
d
oo
l
a
e
ge
isl_tab_sample:
handle unbounded d
i
rections
i
n ini
t
ial
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_ta
b
_
c
o
mpute_reduced
_
basis
:
handle
u
n
bounded directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven V
e
rd
o
olaege
e
xploit equalitie
s
in is
l
_ta
b
_s
a
mple
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_tab: keep (
i
n)equ
a
l
i
ties of b
s
et
(
if any) in sync
commit
|
commitdiff
|
tree
2009-10-09
S
ven V
e
rdoolaege
isl
_
t
ab
_
sample: b
e
more
v
erbose a
b
out unbounded
d
irec
t
ions
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdo
o
l
a
ege
sepa
r
at
e
ou
t
isl_tab_s
a
mple fro
m
sample_bounded
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaege
sample_bounded: r
e
imp
l
em
e
nt to work directly on
a
tableau
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
i
s
l_tab_
c
ompute
_
red
u
ced_basis: work with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
oolae
g
e
isl_tab_co
m
pute_reduc
e
d_bas
i
s
:
al
l
ow incre
m
enta
l
computation
commit
|
commitdiff
|
tree
2009-10-09
Sven
V
erdoolaeg
e
isl_p
o
l
yt
o
pe_
s
can: us
e
i
sl_t
a
b
_
from_basic_s
e
t
commit
|
commitdiff
|
tree
2009-10-09
Sven
Ver
d
oolaege
separa
t
e out isl_tab_reduced_bas
i
s from isl_basic_set_redu
c
e
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sve
n
Verdoolaege
bas
i
s
_
reduction_tab
.
c: us
e
i
sl_ta
b
_pr
o
duct t
o
c
o
nstruct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
add i
s
l_
t
ab_product
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdool
a
ege
isl
_
basic_set_reduc
e
d_basi
s
: fi
x
value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoola
e
ge
isl_basic_set_reduced_basi
s
: f
i
x up documen
t
ation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoola
e
ge
basis_reduction_tab
.
c: keep
t
r
a
ck
o
f
con_
o
ffset i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
add
i
sl_tab_add_eq
commit
|
commitdiff
|
tree
2009-10-08
Sven
V
erdool
a
ege
isl_tab_
a
dd_valid_eq: ad
d
sp
e
cial
t
r
eatment for manife
s
tly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab_extend_cons: check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
rename isl_tab_detect_equali
t
ies
to is
l
_tab_detect_implicit
_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n
V
erdoolae
g
e
isl_tab_from_recess
i
on_cone: t
a
ke basic
set
instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdo
o
laege
i
s
l_i
l
p
.
c:
s
ep
a
rate out sol
v
e_ilp_search
commit
|
commitdiff
|
tree
2009-10-08
Sven V
e
rdoo
l
ae
g
e
i
s
l_sample
.
c:
basic_set_sam
p
le
:
reme
m
ber boundedne
s
s
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdool
a
ege
add
isl_polyhedr
o
n_detec
t
_e
q
ualities
t
est applicat
i
on
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add
isl_basic_set_detect_e
q
ua
l
i
t
ies
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
isl
_
tab_al
l
ocate_con: add extra
a
ss
e
rtion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_sam
p
le
.
c: b
a
sic_s
e
t
_reduc
e
d
:
fix typo prevent
i
ng
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erdoolaege
isl_t
a
b_basic_m
a
p
_p
a
rtial_
l
exopt
:
simpli
f
y
r
e
sult
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
p
r
ivately export isl
_
basic_set_ad
d
_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ver
d
oo
l
ae
g
e
privately
export isl_bas
i
c_set_sample
_
w
ith_cone
commit
|
commitdiff
|
tree
2009-10-07
Sv
e
n
V
erdoolaege
add isl
_
b
a
sic_set_und
e
rl
y
ing_s
e
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab
.
c:
close_row: push un
d
o record
f
or setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdoolaege
add isl_mat_vec
_
inverse_product
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
add i
s
l_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
add
i
s
l_int_di
v
exa
c
t_u
i
commit
|
commitdiff
|
tree
2009-10-05
Sv
e
n Verdoolaege
add isl_
s
e
t
_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Ve
r
doolaege
fix long standing bu
g
in i
s
l_mat_invers
e
_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-02
S
v
en V
e
rdoolaege
ad
d
isl_
b
asic_map_fo
r
each_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolaege
a
d
d isl_
s
et_pr
o
j
ect_out
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n
Verdoolaege
add is
l
_set_detect_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl_set_foreach
_
basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add isl_set
_
lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaeg
e
isl_
d
im_size: chec
k
arg
u
ment
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoo
l
aege
export isl
_
mat h
e
ader
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
rdoolaege
add isl
_
map_foreach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
configure
.
a
c
: f
i
x cut-a
n
d-paste error in original comm
i
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_
i
nt_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaeg
e
ex
p
ort isl_set_sample
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
add isl_basic_se
t
_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
S
ven V
e
rdoolaege
a
d
d isl_set_i
s
_strict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
e
rdoo
l
aege
ad
d
isl
_
set_un
i
verse_like
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdoola
e
ge
AX_SUBMODULE: s
e
t PKG_C
O
NFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
cr
e
ate pkg-co
n
fig fil
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_
S
UBMODULE: drop option
s
t
h
a
t
are m
e
ani
n
gless given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
i
s
l_basic_map_f
r
om_con
s
traint: return copy
of bm
a
p
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
doc: fix description of
l
exi
c
ograhpic
o
rd
e
r relatio
n
s
commit
|
commitdiff
|
tree
2009-09-16
Sv
e
n Verdoolae
g
e
add isl_ma
p
_lex_le and isl_map_
l
ex_ge
commit
|
commitdiff
|
tree
2009-09-14
S
v
e
n Verdoolaege
exp
o
rt isl_basic_map_gist
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoola
e
ge
add isl_basic_map_sample and isl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
Sve
n
Verdoola
e
ge
isl_sampl
e
.
c: move isl_basic_s
e
t
_
fro
m
_vec from isl_affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
S
ven Verdoolaege
rename
i
sl_basic_set_sam
p
le to isl
_
bas
i
c_
s
e
t_s
a
m
ple_vec
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
ma
k
e some internal functions s
t
at
i
c
commit
|
commitdiff
|
tree
2009-09-13
S
v
en Verdoolaege
isl_basic_map_a
d
d_constraint:
h
and
l
e constrai
n
ts obtai
n
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sve
n
Verdoolaege
a
dd isl_basic_map_from_constra
i
nt
commit
|
commitdiff
|
tree
2009-09-12
S
ve
n
Verdoolaege
isl_map_s
i
m
plif
y
.
c
:
bre
a
k if set
t
urns out
to be em
p
ty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoola
e
ge
add isl_basic_map_universe_li
k
e
commit
|
commitdiff
|
tree
2009-09-09
S
v
e
n
Ve
r
doola
e
ge
ad
d
i
s
l_map_
l
ex_l
t
an
d
i
sl_map_le
x
_
gt
commit
|
commitdiff
|
tree
2009-09-09
S
v
en Verdool
a
ege
i
s
l_tab
.
c: cut_to_hyp
e
rplane: do nothing if selected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven
Verdo
o
laege
rev
e
rse m
e
anin
g
of isl_basi
c
_map_{less,more}_a
t
commit
|
commitdiff
|
tree
2009-09-08
Sven V
e
rdoolaege
isl
_
t
ab_dup:
av
o
id out-of-bound
s
a
rray access
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
a
d
d a rudimentary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
a
d
d some me
m
o
ry manage
m
ent annotatio
n
s
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Ver
d
oolaege
export isl_basic_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_basic
_
s
et_norma
l
ize_constraints: add
missing retur
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_map_simplify
.
c:
r
e
move
u
nused
v
aria
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_map
.
c
:
remove
u
nuse
d
v
a
r
i
a
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
is
l
_basic
_
set
_
g
et_hash
:
initia
l
ize ha
s
h value
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdo
o
laege
isl_affine_hull
.
c:
remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_hash
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaeg
e
isl_lp
.
c:
a
dd mis
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ol
a
e
ge
is
l
_
e
q
u
al
i
ties
.
c:
drop
redun
d
a
n
t er
r
or h
a
ndling
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaeg
e
isl_equalities
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
eg
e
isl
_
con
v
ex_hull
.
c: rem
o
ve
unu
s
ed variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
e
rdoolaege
i
sl_constra
i
nt
.
c: re
m
o
ve unused
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_t
a
b
.
c
: sign_of_min: only pivot back if w
e
performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_
t
ab
.
c: i
s
l_t
a
b
_
m
a
r
k
_
r
edundant: fix up e
r
ror retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ver
d
oolaege
isl_tab
.
c: remove unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_ta
b
_p
i
p
.
c: remove unus
e
d variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_vec
.
c: rem
o
v
e u
n
used va
r
i
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl
_
t
e
st
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
isl_assert:
v
alidate all arguments a
n
d
fi
x
u
p fallout
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
p
olyhedron_sample
.
c: a
d
d missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_pip
.
c: che
c
k retu
r
n value
o
f fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
polyhedron
_
minimize
.
c:
h
andl
e
all en
u
m
e
ration value
s
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
configu
r
e
.
ac: set maxima
l
optimiz
a
tion
c
ompile
r
flag
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l
_
set_copy_basic_set: add mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
isl_
s
et_drop_basic_set: a
d
d
missing return
commit
|
commitdiff
|
tree
next