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: add isl_tab_freeze_constraint
2009-10-02
Sven Verdoolaege
export isl_set_sa
m
ple
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rdoolaege
add isl_ba
s
i
c
_se
t
_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
erdoolaege
add isl_set_is_strict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoo
l
a
e
ge
add isl_set
_
univ
e
rse
_
li
k
e
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoo
l
aege
AX_SUBMODULE: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven
Ver
d
oolaege
create
pkg-con
f
ig file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_
S
UBM
O
D
U
LE: drop options th
a
t a
r
e meani
n
gless
g
iven
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Ver
d
o
olaege
isl_
b
a
sic_map_f
r
om_constraint: return c
o
py o
f
bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaeg
e
doc: fix descripti
o
n o
f
lexicograhpic order relati
o
ns
commit
|
commitdiff
|
tree
2009-09-16
Sven
Verdoolaeg
e
add
isl_map_lex_le and isl_map_le
x
_ge
commit
|
commitdiff
|
tree
2009-09-14
S
v
en Verdoola
e
ge
export isl_basic_map_gist
commit
|
commitdiff
|
tree
2009-09-14
Sve
n
Verdoolaege
add
isl_b
a
sic_map_sample and
isl_ma
p
_samp
l
e
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
isl
_
s
a
m
ple
.
c: move isl_basic_set_from_vec from isl_
a
ffine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
S
v
en V
e
r
doolaege
rename isl_basic_set_sample to i
s
l_bas
i
c_set_sa
m
p
l
e
_vec
commit
|
commitdiff
|
tree
2009-09-13
Sven Ver
d
oola
e
ge
make some internal func
t
ions static
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
isl_b
a
sic_
m
ap_add_co
n
st
r
aint: handle
constra
i
nts obtain
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven
Verdoolaege
ad
d
i
s
l_basi
c
_map_f
r
om_cons
t
rai
n
t
commit
|
commitdiff
|
tree
2009-09-12
Sven
V
erdoolaege
is
l
_map_sim
p
l
i
f
y
.
c
:
br
e
ak if set tu
r
ns ou
t
to be
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verdoolaege
add isl_basic_ma
p
_univ
e
rse_like
commit
|
commitdiff
|
tree
2009-09-09
S
v
e
n
Verd
o
olae
g
e
add isl_map_
l
ex_lt and isl_map_lex_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaege
isl_
t
a
b
.
c: cut_to_hyperplane: do no
t
hi
n
g if
selected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven Ve
r
do
o
l
a
ege
reverse me
a
ni
n
g
of isl_basi
c
_map
_
{le
s
s,more
}
_at
commit
|
commitdiff
|
tree
2009-09-08
Sv
e
n Verd
o
ola
e
ge
isl_t
a
b_dup: avoid out-of-bounds array access
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoola
e
g
e
isl
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add a rudi
m
entary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
add
s
ome memory managemen
t
annotat
i
o
ns
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
export
isl_ba
s
ic_s
e
t_project_out
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Verdo
o
l
aege
isl
_
basic_set_no
r
m
a
lize_c
o
nstraints
:
add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_map
_
simplify
.
c: r
e
mo
v
e unused
v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_ma
p
.
c
:
remove unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
isl_basic_
s
et_get_hash: initial
i
ze hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verd
o
olaege
i
sl_affine_hu
l
l
.
c: remo
v
e unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_hash
.
c
:
remove un
u
sed
v
ariable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
i
s
l
_
lp
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_equalities
.
c:
d
rop redundant error hand
l
ing
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
i
s
l_equali
t
ies
.
c: remove u
n
used variable
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoolaege
isl_
c
onvex
_
hull
.
c: remove
unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_constraint
.
c: remo
v
e
u
nus
e
d variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolaeg
e
isl_tab
.
c
: sign_of_min: only pi
v
ot
bac
k
if we pe
r
form
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoola
e
ge
i
s
l_tab
.
c
: isl_tab_mark
_
redun
d
ant: fix
u
p error return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
is
l
_tab
.
c: remove unused va
r
i
a
bles
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l
_
tab
_
pip
.
c: rem
o
ve unused v
a
riables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
doolaege
isl_vec
.
c
:
re
m
o
ve unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_test
.
c: r
e
move un
u
sed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolae
g
e
isl_ass
e
r
t:
validat
e
all argumen
t
s and
f
i
x up
f
allout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
polyhe
d
ron_sample
.
c: add mis
s
ing
in
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_pip
.
c: c
h
e
c
k return value of f
s
c
anf
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
p
o
lyh
e
dron_minimiz
e
.
c: handle all enume
r
ation values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
configure
.
a
c
: set maximal optimiz
a
t
ion compiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl
_
set_copy_basic_set: add
m
issing
return
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoola
e
ge
isl_set_drop
_
basi
c
_set
:
add mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_set_c
o
al
e
sce: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
do
o
l
a
ege
isl
_
coalesce
.
c:
a
dd missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doolaege
is
l
_test:
check s
r
cdir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolae
g
e
privately export isl_
t
a
b_
k
ill
_
c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
t
a
b
.
c: fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab_pip
.
c: add mi
s
sing includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_
v
ec
.
c: a
d
d m
i
s
sin
g
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaege
expor
t
i
s
l_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoo
l
a
e
ge
fix
r
eturn
t
ype of
i
s
l_constraint
_
free
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoo
l
aege
export
isl
_
token_free and isl_stream_
e
rro
r
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
doolae
g
e
isl_
l
i
st
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l
_div
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_constraint
.
c: add mis
s
in
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
ba
s
is_
r
eduction_tab
.
c: add mis
s
ing i
n
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl_map_no_piplib
.
c:
a
dd missing in
c
l
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ax_create_stdint
_
h
.
m4
:
p
rotect some lim
i
t
s from redefinition
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdo
o
laege
polytop
e
_scan
.
c: add
missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
doolaege
fix retur
n
type of i
s
l_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
e
rdoolaege
isl_map_
s
implify
.
c: drop
r
eturn
f
rom void func
t
io
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdo
o
laege
isl_map
_
si
m
plify
.
c: add mi
s
sing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
i
sl_convex_
h
u
l
l
.
c: use
isl_seq_get_hash inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
declare f
l
exar
r
ays of si
z
e 1 to silence s
u
n comp
i
ler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
change i
s
l_
b
asic_map_empty interface for con
s
i
s
tency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
AX_S
U
BMODULE: mention defau
l
t type o
f
libr
a
r
y to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
co
n
figure
.
ac: u
s
e
A
X_SUB
M
ODULE for gmp for consi
s
tency
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolae
g
e
se
p
a
rate
o
ut con
f
i
g
header fr
o
m
i
sl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
S
v
en V
e
rdoolaege
pilp solve
r
: don't ignore feasibility test on contex
t
commit
|
commitdiff
|
tree
2009-09-01
S
v
en Verdo
o
laege
i
sl_basic_ma
p
_gauss: t
r
y not to remove
a
ny div
d
ef
i
nition
s
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olaege
add i
s
l
_
m
ap_
s
um
commit
|
commitdiff
|
tree
2009-08-30
S
v
en V
e
rdoolaeg
e
add isl_m
a
p
_
floord
i
v
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaeg
e
add
is
l
_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
olae
g
e
add isl
_
map_is_str
i
c
t_subset
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
add i
s
l_map_fa
s
t_is
_
f
ixed
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
a
dd
i
sl_map_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sven Verd
o
o
l
a
ege
ren
a
me
isl_map_identity_like to isl_map_identi
t
y
_
like_basic_map
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
V
er
d
oola
e
ge
add
isl_
p
olytope_scan applica
t
i
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_
n
o
r
m
alize: use pre-al
l
ocate
d
temporary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n
Ver
d
oolae
g
e
add isl_vec_normali
z
e
commit
|
commitdiff
|
tree
2009-08-28
S
ven Ve
r
doolaege
isl
_
s
e
q_normaliz
e
: no need to
scale down by one
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_p
o
ly
h
e
dron_minimi
z
e
a
pplication
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
add generalized basis reduc
t
ion based
I
LP solver
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
add isl_vec_mat_product
commit
|
commitdiff
|
tree
2009-08-28
S
ven Verdoolaege
exp
o
rt isl_vec_ceil
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_basic_set_sampl
e
: onl
y
perform b
a
sis red
u
c
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ve
r
do
o
laege
r
ename isl_s
o
lve_lp to isl_b
a
sic
_
{map,set}_solve
_
lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_solve_lp: optionally r
e
turn solution po
i
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaege
export isl_vec
header
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdool
a
ege
add is
l
_int_f
d
iv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
rdoola
e
g
e
add
i
sl_vec_read
_
from_file
commit
|
commitdiff
|
tree
next