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
S
v
en Verdo
o
l
a
ege
sample_bounded:
r
eimplement t
o
work di
r
ectly o
n
a
t
a
blea
u
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
d
o
olaege
isl_tab_c
o
mpute_reduced_basis: work
with affine basis
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
en Verdool
a
ege
isl_ta
b
_compute_
r
e
d
uced_basis
:
a
llow incremental computation
commit
|
commitdiff
|
tree
2009-10-09
S
ven Ver
d
oolaege
i
sl
_
polytope_scan:
use i
s
l_tab_from_basic_set
commit
|
commitdiff
|
tree
2009-10-09
Sven Ve
r
do
o
laege
separate out isl_tab_reduced_b
a
s
i
s from isl_basic_
s
et_reduce
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
bas
i
s
_reduction
_
tab
.
c: us
e
isl_tab_prod
u
ct to cons
t
r
u
ct
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
S
v
e
n
V
erdoola
e
g
e
add isl_ta
b
_product
commit
|
commitdiff
|
tree
2009-10-09
Sv
e
n Verdoolaege
isl_basic_set_
r
educed_basis: fix value in directions
.
.
.
commit
|
commitdiff
|
tree
2009-10-09
Sven Verdoolaege
isl_basic_set_reduced_basis: fix up documentation
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaeg
e
b
as
i
s_
r
e
ductio
n
_
t
ab
.
c
:
keep tra
c
k of con_
o
ffset instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
doolaeg
e
a
d
d i
s
l_tab_a
d
d_e
q
commit
|
commitdiff
|
tree
2009-10-08
S
v
en
V
e
rdoolae
g
e
isl_t
a
b_add_valid_
e
q
:
add special treat
m
ent for manifestly
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Ve
r
d
o
ola
e
g
e
isl_tab_extend_con
s
:
check tab argument
commit
|
commitdiff
|
tree
2009-10-08
Sven
Verdoo
l
aege
re
n
ame is
l
_tab_detect_equalit
i
es
t
o
i
sl_tab_d
e
tect_implicit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Ve
r
doolaege
isl_tab_from_rece
s
sion_cone:
t
ake basic
set inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_ilp
.
c: separate out sol
v
e_ilp_sea
r
ch
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolae
g
e
isl_
s
a
m
ple
.
c: ba
s
i
c
_set
_
sample: remember boundedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verd
o
olaege
add i
s
l_po
l
yhed
r
on_detect_e
q
ualitie
s
te
s
t
a
p
plication
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Verdoolaege
add isl_basic
_
set_detec
t
_equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoola
e
ge
i
sl
_
t
ab_alloca
t
e_
c
on: add extra
assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laeg
e
i
s
l_
s
ampl
e
.
c
:
basi
c
_
s
et_
r
e
d
u
ced: fix ty
p
o preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_tab
_
ba
s
ic_m
a
p_pa
r
tial_lexopt:
simplify result
commit
|
commitdiff
|
tree
2009-10-07
Sven Ve
r
doolaege
p
r
ivately exp
o
rt
i
s
l_basi
c
_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven
Verdoolaege
privately export
i
sl_basic_set_s
a
mp
l
e_wi
t
h_cone
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
add isl_basic_set_u
n
der
l
y
ing_set
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
Ver
d
oolaege
isl_tab
.
c: close_row
:
push undo re
c
o
r
d for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add i
s
l_ma
t
_vec_inverse
_
product
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
rdoo
l
a
e
ge
add
isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven Ver
d
oolaege
add is
l
_int_d
i
vex
a
c
t_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoola
e
ge
add isl_set_dim_residue_cl
a
ss
commit
|
commitdiff
|
tree
2009-10-03
Sven
Verdoo
l
aege
fix long stand
i
ng bug in isl_ma
t
_invers
e
_pr
o
d
u
ct
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
isl_basic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add
isl_set_
p
r
oject_out
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoola
e
ge
add isl_set_de
t
e
ct_equalities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl
_
s
et_fo
r
each_basic_
s
e
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
a
d
d
isl_se
t
_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
isl_dim_s
i
ze: check argu
m
en
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rd
o
olaege
ad
d
i
sl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
olaege
add isl_map_foreac
h
_b
a
si
c
_ma
p
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laeg
e
conf
i
gu
r
e
.
ac: fix cut-and-p
a
ste
error
i
n
o
rig
i
n
a
l com
m
i
t
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
e
rdoolaege
add isl_in
t
_get_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
export isl
_
set_s
a
mple
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
a
d
d isl_bas
i
c_
s
et_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doo
l
aege
add
isl_set_i
s
_stri
c
t_subse
t
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdoolae
g
e
add isl_set
_
universe
_
like
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
erd
o
olaege
AX_SUBMODULE: set P
K
G
_
C
ONFIG_P
A
T
H
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoolaege
cre
a
te pkg-confi
g
file
commit
|
commitdiff
|
tree
2009-09-20
Sven
V
erdoolaege
AX
_
SUBMODU
L
E: drop op
t
ions t
h
a
t
a
r
e me
a
nin
g
les
s
giv
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
erdo
o
la
e
ge
i
s
l
_
basic_map
_
from_c
o
nstraint: return
c
o
py of bma
p
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
e
r
doolaege
do
c
: fix de
s
cription of lexi
c
og
r
ahpic ord
e
r relations
commit
|
commitdiff
|
tree
2009-09-16
Sv
e
n
Verdoolaege
a
d
d
is
l
_map_lex_l
e
and isl_map
_
lex_ge
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
expo
r
t i
s
l_basic_map_gist
commit
|
commitdiff
|
tree
2009-09-14
Sve
n
Verdo
o
laege
add isl
_
basic_map_sample
and isl_map_
s
ample
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n Verdoolaege
isl
_
sample
.
c: move i
s
l
_
b
asic_
s
et_from_vec
f
rom
i
s
l_affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
S
ven Verdoola
e
ge
rename isl_bas
i
c_set_sample to
i
s
l
_basic_se
t
_s
a
mple_vec
commit
|
commitdiff
|
tree
2009-09-13
Sve
n
Verdoolaege
make so
m
e
i
nter
n
al functions static
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n Verdool
a
ege
i
s
l_basic_map_add_constraint:
ha
n
dle
c
o
nstrai
n
ts obtained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sve
n
Verdo
o
laege
a
dd i
s
l_b
a
sic_map_fro
m
_constrai
n
t
commit
|
commitdiff
|
tree
2009-09-12
Sven Ver
d
oolaege
isl_map_sim
p
lify
.
c: brea
k
i
f
set
turns out to b
e
empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven
V
e
rdoolaege
add isl_basic_map_univers
e
_like
commit
|
commitdiff
|
tree
2009-09-09
Sven Ver
d
oola
e
ge
add isl_map_l
e
x_lt and is
l
_m
a
p_l
e
x
_
g
t
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n Verdool
a
ege
isl_
t
a
b
.
c
:
c
ut_
t
o_hyperpla
n
e: d
o
nothing if selected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoo
l
aeg
e
r
e
verse mea
n
i
n
g of isl_ba
s
i
c_m
a
p_{less,more}_
a
t
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdoolaege
isl_tab_dup:
a
v
oid out-
o
f-bounds array
a
ccess
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl 0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
a
d
d a
rudi
m
entary man
u
al
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
add some
m
emory manageme
n
t annotations
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl_basic
_
set_project_
o
ut
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_basic_set_norm
a
l
i
z
e_constr
a
i
n
ts
:
ad
d
missing ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
i
s
l_map_simplify
.
c: remove unused
v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
aege
i
s
l
_
map
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_ba
s
ic_set_get_hash: initiali
z
e hash valu
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_af
f
ine_hull
.
c: remove
unused variab
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
i
s
l
_h
a
sh
.
c
:
rem
o
ve
u
nused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l_lp
.
c: add miss
i
n
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
ola
e
ge
isl_
e
qualities
.
c: dr
o
p redundant
erro
r
handling
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Verdoolaege
isl_equalities
.
c: remove
u
nused
v
ariable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaeg
e
is
l
_convex_hull
.
c: remove unused v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_co
n
straint
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_tab
.
c: sign_of_min
:
o
nly pivot back if we p
e
rfor
m
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
g
e
isl_tab
.
c: isl_tab_mark_
r
edundan
t
: f
i
x
up error ret
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_
t
ab
.
c: remove unused var
i
abl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
isl_tab_pip
.
c
: rem
o
ve unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaeg
e
isl_vec
.
c
:
remove unu
s
ed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
i
s
l
_test
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_assert: validate a
l
l
a
rguments a
n
d fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n V
e
rdoolaege
poly
h
edr
o
n_sample
.
c: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
i
s
l_pip
.
c: check return value o
f
fscanf
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
polyhedron_minim
i
z
e
.
c:
h
andle al
l
e
n
u
mer
a
tion values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
o
o
laege
co
n
figure
.
ac: set maximal o
p
timization compiler flags
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_
s
e
t
_co
p
y_basic_
s
et:
add miss
i
n
g return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_set_d
r
op_
b
asic_set: add missi
n
g re
t
urn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_set_coales
c
e
: add
miss
i
ng return
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoo
l
aege
isl_coalesce
.
c
:
add
m
issing
i
nclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoola
e
ge
i
s
l_test: che
c
k srcdir has bee
n
set
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
priv
a
tely export
i
sl_t
a
b_kill
_
col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_ta
b
.
c: fix up t
o
_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_tab_pi
p
.
c
: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_vec
.
c: add missing include
commit
|
commitdiff
|
tree
next