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_allocate_con: add extra assertion
2009-10-07
S
v
e
n Verdoolaege
isl_tab
_
allocate_c
o
n:
add ext
r
a asserti
o
n
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verd
o
olaeg
e
isl_sample
.
c: basic_set_re
d
u
c
e
d
:
fix typo preventi
n
g
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoo
l
aege
isl_tab_basic_map_partial_lexopt:
s
implify re
s
ult
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
private
l
y export isl_
b
asic_set_add
_
{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
privat
e
l
y export
i
s
l
_basic
_
s
e
t_sampl
e
_with
_
co
n
e
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
a
dd isl_basic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
isl_
t
ab
.
c: clo
s
e_row: pus
h
u
n
do record
f
or setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolae
g
e
add
isl_mat_
v
ec_
i
nver
s
e_prod
u
ct
commit
|
commitdiff
|
tree
2009-10-07
S
ven
V
erd
o
o
laege
add isl_
m
at_conc
a
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add
i
sl_
i
nt_divexa
c
t_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven V
e
rdoolaege
add isl_set_dim_residue_class
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
fix long standi
n
g bug in i
s
l_mat_inverse_pro
d
uct
commit
|
commitdiff
|
tree
2009-10-02
Sven V
e
rd
o
o
l
aege
add isl_basic_map
_
for
e
ach_lex
m
in
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Ve
r
doolaege
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdool
a
ege
add isl
_
se
t
_detect_equali
t
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolaege
add isl
_
set_
f
oreach_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd
isl
_
set_lif
t
ing
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
isl_
d
im_size: ch
e
ck argument
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Ver
d
oolaege
export
i
s
l
_
m
a
t header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verd
o
olaege
a
d
d isl_map_f
o
reach_basic_map
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdoolae
g
e
configu
r
e
.
ac: fix cut-and-paste error in
o
rigina
l
c
ommit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_i
n
t_get_si
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n
Verdoolaege
export i
s
l_set_sa
m
p
le
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
ad
d
isl_basi
c
_set_un
i
verse_like_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
erdoo
l
ae
g
e
a
dd isl_
s
et_is_s
t
rict_su
b
set
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n Verdoolaege
add isl_se
t
_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoola
e
ge
A
X_SUB
M
ODULE: set PKG_CONFIG
_
PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Ver
d
oolaege
create pkg-confi
g
file
commit
|
commitdiff
|
tree
2009-09-20
Sve
n
Verdoolaege
AX_SUB
M
ODULE: drop
options that are meaningl
e
ss given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoo
l
aege
isl_basic_map_fro
m
_constraint: ret
u
rn copy
of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
S
v
en Ver
d
oolaege
doc:
f
i
x description of
lexicograh
p
ic order relations
commit
|
commitdiff
|
tree
2009-09-16
Sven Ver
d
oolae
g
e
add isl_map_lex
_
le and
isl
_
map_l
e
x_ge
commit
|
commitdiff
|
tree
2009-09-14
S
v
en
Verdo
o
la
e
g
e
export isl_basic_
m
ap_gist
commit
|
commitdiff
|
tree
2009-09-14
Sv
e
n Verdoo
l
a
e
g
e
add
i
sl_basi
c
_m
a
p_sample and isl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
S
v
en Verdoolae
g
e
is
l
_sample
.
c: m
o
v
e isl_basic
_
set_from_
v
ec from
isl_affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
rename isl_basi
c
_set_sample
to isl_
b
asic_set_sample_vec
commit
|
commitdiff
|
tree
2009-09-13
Sven
Verdoolaege
m
a
k
e
so
m
e inte
r
nal functions static
commit
|
commitdiff
|
tree
2009-09-13
Sven Verd
o
ol
a
eg
e
is
l
_b
a
sic_map_add_const
r
aint: ha
n
d
le con
s
t
r
aints o
b
tained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven V
e
r
d
oolaege
add isl_basi
c
_ma
p
_f
r
o
m_con
s
traint
commit
|
commitdiff
|
tree
2009-09-12
S
v
en Verdoo
l
a
ege
isl
_
ma
p
_simpli
f
y
.
c:
b
r
e
a
k
i
f set
turns out to
b
e empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verd
o
olae
g
e
a
dd isl_basic_map_universe
_
l
ike
commit
|
commitdiff
|
tree
2009-09-09
Sven Ver
d
oolaege
ad
d
i
s
l_map_lex_lt and isl
_
map_lex_gt
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n Ve
r
doolaege
i
sl_tab
.
c
:
cut_to_hyperpl
a
ne
:
do
noth
i
ng
i
f
s
e
lec
t
ed
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven
Verdo
o
laege
rev
e
rse meaning of isl_basic_map_{le
s
s,more}_at
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdo
o
laege
i
sl_tab_du
p
:
avoid ou
t
-
of-b
o
u
n
ds
a
rr
a
y access
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
er
d
oo
l
aeg
e
i
sl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add a rudime
n
tary ma
n
u
a
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
add some memory
m
a
n
agement a
n
n
o
tati
o
ns
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
export is
l
_
b
asic_set_proj
e
ct_out
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Ver
d
oolaege
i
sl_basic
_
set_normalize_
c
onstr
a
in
t
s: add mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
i
s
l
_ma
p
_simplify
.
c: r
e
move unu
s
ed
variables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ver
d
oolaege
isl_map
.
c: remove
u
nuse
d
variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolae
g
e
isl_bas
i
c_set_
g
et_hash
:
in
i
tialize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_affine
_
hull
.
c
:
remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
i
s
l_hash
.
c: re
m
ove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
o
laege
isl_lp
.
c: add m
i
s
s
in
g
inc
l
ud
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_eq
u
alities
.
c:
d
ro
p
redundant error hand
l
ing
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_equaliti
e
s
.
c: remove unu
s
ed
vari
a
ble
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
is
l
_co
n
vex_
h
ull
.
c: remove
unu
s
ed var
i
a
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
i
s
l_
c
o
n
s
t
ra
i
nt
.
c: remove
u
n
u
se
d
vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_tab
.
c: sign
_
of_min: only pivo
t
back if
we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_tab
.
c: isl_tab_mark_
r
e
dundan
t
: fix up error return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolae
g
e
isl_ta
b
.
c:
r
emove un
u
s
e
d
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
i
s
l_tab_pip
.
c: re
m
ove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
a
ege
i
sl_v
e
c
.
c: remo
v
e unused var
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl
_
test
.
c: rem
o
ve unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
i
sl_assert: v
a
l
i
d
ate all
argumen
t
s and fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
pol
y
h
edron_sample
.
c: add missi
n
g
includ
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
d
oolaege
isl
_
pip
.
c
:
check return v
a
lue o
f
fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
Verdoolaege
polyhe
d
ron_minimize
.
c: ha
n
d
l
e all enumeration values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
configure
.
ac: set m
a
ximal optimization c
o
mpiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
i
sl_set_
c
op
y
_basic_set: add mis
s
ing return
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_set_drop_basic_set: add
m
i
ss
i
ng return
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
isl
_
set_coales
c
e:
add miss
i
ng
return
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ver
d
ool
a
ege
isl_coalesce
.
c
:
add m
i
s
s
i
n
g include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tes
t
: check
s
rcdir has
b
een
s
et
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
priva
t
ely export
i
s
l
_
tab_kill_co
l
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoo
l
ae
g
e
isl_tab
.
c
:
f
ix up to_col
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoola
e
ge
isl
_
tab_pip
.
c: add missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoola
e
ge
isl_ve
c
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
export isl_seq
_
cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
laege
fix return type of isl_
c
onstrain
t
_free
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doolaege
export is
l
_
token_free
a
n
d isl_st
r
eam_error
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aege
isl_list
.
c: add mi
s
sin
g
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ver
d
o
olaege
i
sl_div
.
c: ad
d
mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_
c
o
n
straint
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ver
d
oo
l
aege
basis_reduction_tab
.
c: add missin
g
i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_map_no_pip
l
ib
.
c
:
add missing in
c
lud
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
a
x
_create
_
s
tdint_h
.
m4: prot
e
ct
s
o
me limits
f
r
o
m re
d
efin
i
tio
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolaege
polytope_scan
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
ge
fi
x
return type
of isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
laeg
e
isl_map_si
m
plify
.
c: drop return
f
rom void fu
n
ction
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaeg
e
isl_map_sim
p
lify
.
c
:
a
dd missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
i
sl_co
n
vex_hull
.
c: u
s
e isl_
s
eq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
de
c
lare f
l
exarrays of size 1 to silence su
n
compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
aege
change isl_b
a
sic_map_e
m
pty i
n
terface for consistency
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verd
o
olaege
AX_
S
UBMODULE:
ment
i
on default
type of libra
r
y to u
s
e
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
configur
e
.
ac: use AX_SUBMODULE for gmp f
o
r c
o
nsi
s
ten
c
y
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
e
rdool
a
e
g
e
s
epar
a
te out config header from isl_ctx
.
h
commit
|
commitdiff
|
tree
next