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
add isl_set_project_out
2009-10-02
Sven Verdoolaege
a
dd i
s
l_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
l
a
eg
e
add i
s
l_set_d
e
tect_e
q
ua
l
ities
commit
|
commitdiff
|
tree
2009-10-02
Sven Verd
o
ola
e
g
e
a
d
d isl_set_foreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
laege
add isl_
s
e
t_lif
t
in
g
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
is
l
_
d
im_s
i
z
e
: check ar
g
um
e
nt
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n
V
erdoolaege
export isl_mat header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add i
s
l_basic
_
map
_
le
x
min
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add i
s
l_map_foreach_bas
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoolae
g
e
config
u
r
e
.
ac: fi
x
cut-and-paste
er
r
or
i
n o
r
iginal commit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add
i
sl_int_
g
et_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoo
l
aege
export isl
_
s
et_sa
m
p
l
e
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdo
o
laege
add
i
sl_basi
c
_se
t
_universe_like_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ve
r
doolaeg
e
ad
d
isl
_
s
e
t
_is
_
st
r
ict
_
s
ubset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add isl_set_univ
e
rs
e
_
l
ike
commit
|
commitdiff
|
tree
2009-09-20
S
v
e
n
Verdoolaege
AX
_
SUBM
O
DULE: set PKG_CO
N
FIG
_
PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdoola
e
g
e
create pkg
-
con
f
ig file
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
AX_SUBMODULE: dro
p
o
p
tion
s
that
a
re meanin
g
les
s
given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sve
n
Verdoolaege
isl_basic_map_from_constraint: re
t
urn copy
of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
e
rdoolaege
d
o
c
: f
i
x
de
s
cription o
f
lexi
c
og
r
a
hpic
o
r
d
e
r relations
commit
|
commitdiff
|
tree
2009-09-16
Sven Verd
o
ola
e
g
e
add isl_map_lex_le a
n
d isl_map_l
e
x
_
g
e
commit
|
commitdiff
|
tree
2009-09-14
Sven Ve
r
doolaege
export isl_basic_m
a
p_gist
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
add isl_b
a
sic_ma
p
_sample and
is
l
_map_sample
commit
|
commitdiff
|
tree
2009-09-13
Sven Ve
r
doolaeg
e
isl_sampl
e
.
c: mov
e
isl_
b
asic_set_from_vec
f
rom isl_affine
_
h
ull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
rename isl_basic_set
_
sampl
e
to isl_basic_s
e
t_sample_vec
commit
|
commitdiff
|
tree
2009-09-13
S
v
en
V
erdo
o
lae
g
e
m
a
k
e
some i
n
ternal functions stati
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Ver
d
oolaege
is
l
_basic_
m
a
p
_add_con
s
t
raint: handle co
n
strain
t
s obtain
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
add isl
_
basic
_
m
ap_from_constraint
commit
|
commitdiff
|
tree
2009-09-12
Sven
V
erdoo
l
aege
isl
_
m
ap_
s
implify
.
c: break if
s
et tur
n
s out to be empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sv
e
n
V
e
r
d
oo
l
aege
add isl_bas
i
c_map_uni
v
erse_l
i
ke
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoo
l
aege
ad
d
isl_
m
ap_lex_lt
a
nd isl
_
map
_
lex_gt
commit
|
commitdiff
|
tree
2009-09-09
S
ven Verd
o
olaege
isl_tab
.
c: cut_
t
o
_hyperplane
:
do n
o
thin
g
i
f s
e
lected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoo
l
a
ege
re
v
erse m
e
anin
g
of isl_b
a
sic_m
a
p_{le
s
s,more}_a
t
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdoo
l
aege
isl_
t
ab_
d
u
p: avoid
ou
t
-of-bounds array a
c
ces
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
add a rudimenta
r
y manual
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdool
a
e
g
e
a
d
d s
o
me memor
y
management ann
o
t
a
tions
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
export
isl_basic_se
t
_
p
roject_
o
ut
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_bas
i
c
_
set_nor
m
alize_constrai
n
ts: a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l
_
map_simplify
.
c: remove un
u
sed va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdo
o
laege
isl_map
.
c: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_basic_set_ge
t
_
h
a
sh: initialize h
a
sh
v
alue
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_af
f
ine_
h
u
l
l
.
c: remove unuse
d
vari
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
hash
.
c: remove
unused var
i
a
bl
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_
l
p
.
c: add mi
s
s
i
ng i
n
c
lude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_e
q
ualitie
s
.
c
:
dro
p
red
u
ndant error
hand
l
i
n
g
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
r
doolaege
isl_equalitie
s
.
c: r
e
move
unused v
a
riable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoo
l
aege
i
sl_convex_hull
.
c: remove un
u
sed vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolaege
i
s
l_constraint
.
c: remov
e
unu
s
ed variable
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c
:
s
i
g
n_
o
f
_
min
:
on
l
y piv
o
t back if we perform
e
d
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaege
isl_
t
a
b
.
c
:
is
l
_tab_ma
r
k_redundant: fix
u
p erro
r
r
eturn
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_ta
b
.
c: remove un
u
s
ed va
r
iab
l
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
_
p
ip
.
c
: r
e
move unus
e
d
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_vec
.
c: r
e
m
o
ve unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdool
a
ege
isl_test
.
c: re
m
ove unu
s
e
d
variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doolaege
isl_as
s
ert: va
l
i
d
a
te all arguments and fix u
p
fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
polyhedron_sample
.
c
:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
s
l_pip
.
c
: check return value of fs
c
a
n
f
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olae
g
e
polyhedron_minimize
.
c: hand
l
e all enume
r
ation values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
configur
e
.
a
c
: se
t
m
a
ximal optimi
z
a
t
ion compi
l
er flags
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_set_co
p
y
_
basic_set:
add mi
s
sing
r
e
t
u
rn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
isl_
s
e
t_dro
p
_b
a
si
c
_set: add missing
return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_
s
e
t_
c
oalesce:
a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_coalesce
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_tes
t
: check srcdir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
e
ge
privat
e
ly exp
o
rt isl_tab_kill_
c
ol
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdo
o
laege
isl_tab
.
c: fix
up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olae
g
e
isl_tab_pip
.
c: add missi
n
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_vec
.
c: a
d
d missing
include
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
e
rd
o
olaege
export isl_se
q
_
cmp
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaeg
e
f
i
x
return ty
p
e of isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
e
x
port
isl_token_free and i
s
l_stream_e
r
ror
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaege
isl_list
.
c: add
m
issing
include
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolae
g
e
isl_div
.
c: add missing i
n
cl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_constra
i
nt
.
c
:
add missi
n
g
i
nc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
b
a
s
i
s_reduc
t
ion
_
tab
.
c: add missing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
dool
a
e
ge
is
l
_map_no_pi
p
lib
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
do
o
l
a
ege
ax_c
r
eate_s
t
dint_h
.
m
4: protect some
limits from red
e
finition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
polyt
o
pe_
s
can
.
c
:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix return t
y
pe of
isl_div_fr
e
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verd
o
ol
a
eg
e
isl_m
a
p_simp
l
ify
.
c: drop return from v
o
id function
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_map_simpl
i
fy
.
c
:
add
missing include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
isl_convex_hul
l
.
c: use isl_seq_get
_
hash
i
ns
t
ead o
f
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
declare flexarray
s
of size 1 to
s
i
l
ence sun
c
om
p
iler
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
r
d
oolaege
change isl_basic_
m
ap_empty i
n
terfa
c
e
f
or
c
onsistency
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
A
X_S
U
BMODULE
:
mention default
typ
e
of
library to use
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
conf
i
g
u
re
.
a
c: u
s
e A
X
_SUBMODULE for gmp
for consistency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
sep
a
r
a
te
o
u
t config header
f
rom i
s
l_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
S
ven Verd
o
olaege
pi
l
p solver
:
don't ign
o
re fea
s
ibility test on
context
commit
|
commitdiff
|
tree
2009-09-01
Sven V
e
rdoolaege
isl_basic_map_gauss:
t
ry not to remove a
n
y
div d
e
fini
t
ions
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
r
d
oolaege
add isl_map_sum
commit
|
commitdiff
|
tree
2009-08-30
Sven
Verdoolaege
add
isl_map_flo
o
rdiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
a
d
d
isl_map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sven Ve
r
doola
e
ge
add isl_map_is_strict_s
u
bset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_map_fast_is_fix
e
d
commit
|
commitdiff
|
tree
2009-08-30
Sven Ver
d
oolaege
add isl_map_identity_like
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdoolaege
rename isl_map_identity_like to isl_
m
ap_id
e
ntity_like_b
a
sic_map
commit
|
commitdiff
|
tree
2009-08-28
Sv
e
n Ver
d
ool
a
ege
add isl_polyt
o
pe_scan a
p
plicati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
is
l
_
s
e
q
_
normaliz
e
:
use pr
e
-al
l
o
cated te
m
po
r
ary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
aeg
e
add
is
l
_vec_normalize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_seq_normaliz
e
: no need to scale
d
own by one
commit
|
commitdiff
|
tree
next