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_convex_hull.c: extend: check hull argument
2009-10-07
Sven Verdoolaege
add
isl_int_
d
ivex
a
ct_
u
i
commit
|
commitdiff
|
tree
2009-10-05
Sven V
e
rdoolaege
add
isl_s
e
t_dim_resi
d
ue_class
commit
|
commitdiff
|
tree
2009-10-03
S
ven Ver
d
o
olaege
f
ix
l
on
g
sta
n
ding bu
g
in i
s
l_mat_in
v
ers
e
_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
eg
e
add isl_b
a
sic_
m
ap_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_
s
et_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
a
d
d
isl_
s
et
_
dete
c
t_equa
l
it
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_fore
a
c
h_basic_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
d
d isl_
s
et_lifting
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verdool
a
ege
isl_dim_si
z
e
: check ar
g
ume
n
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
export isl_mat
he
a
de
r
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
Verdoolaege
a
d
d isl_basi
c
_map_le
x
mi
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
a
d
d i
s
l_
m
ap_fo
r
ea
c
h_bas
i
c_map
commit
|
commitdiff
|
tree
2009-10-02
S
v
e
n Verdoolaege
c
o
nfig
u
re
.
ac: fix cut-and-pa
s
te erro
r
in or
i
ginal c
o
mmit
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_int_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdo
o
lae
g
e
e
x
p
ort
i
s
l_set_sample
commit
|
commitdiff
|
tree
2009-10-02
S
v
en Verdoolaege
add isl_bas
i
c
_set_unive
r
se_li
k
e
_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
a
d
d is
l
_s
e
t
_
is
_
strict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaege
add isl_set_uni
v
erse_
l
ike
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoolaege
A
X
_SUBM
O
DULE: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdoolaeg
e
create pkg-c
o
nfig
f
ile
commit
|
commitdiff
|
tree
2009-09-20
Sven Ve
r
doolaege
AX_SUBMODULE: drop opti
o
n
s
that
a
re
m
ean
i
n
gless giv
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdo
o
lae
g
e
isl_basic_map_from_constraint: return c
o
py of bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sv
e
n
V
erdoolaege
doc: f
i
x
description of lexicograhpic o
r
de
r
re
l
ations
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
add isl_map_lex_le and isl_map_lex_g
e
commit
|
commitdiff
|
tree
2009-09-14
Sven
Verdoola
e
ge
expo
r
t
i
sl_ba
s
ic
_
map_gist
commit
|
commitdiff
|
tree
2009-09-14
S
ven Verdoolaeg
e
a
d
d isl_basic_map_sampl
e
a
nd isl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
Sven
Verdoo
l
aege
isl_sa
m
pl
e
.
c
:
move isl_b
a
si
c
_s
e
t
_
from_vec from isl_affin
e
_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdo
o
laege
rename
i
sl_bas
i
c_set_sample
t
o is
l
_
b
asic_set_sample_vec
commit
|
commitdiff
|
tree
2009-09-13
Sven V
e
rd
o
olaege
make
s
ome internal f
u
nctions static
commit
|
commitdiff
|
tree
2009-09-13
Sven Verd
o
olae
g
e
i
s
l_
b
as
i
c
_
map_add_constr
a
int: handle c
o
nstraints
o
btained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdo
o
laege
add
i
sl_basic_map_from
_
c
onst
r
aint
commit
|
commitdiff
|
tree
2009-09-12
Sven V
e
r
dool
a
e
ge
is
l
_map_
s
implify
.
c
:
break if set
t
urns out to be empty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sv
e
n Verdoolaege
add isl_basic_map_universe_l
i
ke
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoola
e
ge
a
d
d i
s
l_map_lex_l
t
a
n
d isl_m
a
p
_
l
ex_gt
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n
Verdoolae
g
e
isl_tab
.
c: cu
t
_
to
_
hyperplane:
d
o nothing
i
f sele
c
ted
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sve
n
Verdool
a
ege
r
e
verse
m
ea
n
ing of isl_
b
asic_map_{
l
ess,more}_at
commit
|
commitdiff
|
tree
2009-09-08
Sven
Verdoolaege
i
s
l_tab_dup: avoid out-of-bounds array acces
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
add
a
rudimentary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
ad
d
some memory m
a
nag
e
men
t
annotati
o
n
s
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verd
o
olaege
e
xport isl_b
a
sic_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_bas
i
c_set_
n
ormalize_co
n
str
a
i
nts: add miss
i
ng return
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_map_s
i
mpli
f
y
.
c:
r
emove u
n
use
d
variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
r
doola
e
ge
i
s
l
_
map
.
c: remove unused
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
is
l
_basic_s
e
t_get_hash: initialize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_a
f
f
in
e
_hull
.
c: re
m
ove u
n
use
d
variable
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
erdoolaege
isl_hash
.
c: remove
u
nuse
d
variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_l
p
.
c
:
add missing inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_equalities
.
c:
d
rop redundant
error handling
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_e
q
uali
t
ies
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Verdoolaege
isl
_
conv
e
x_hull
.
c: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_constraint
.
c: re
m
ove unused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_tab
.
c
:
sign
_
of_min: on
l
y pivot back if we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
o
l
ae
g
e
isl_
t
ab
.
c: i
s
l_tab_mar
k
_redundant: fix up
error retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoola
e
ge
isl_tab
.
c: remove unu
s
ed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoo
l
aege
is
l
_tab_pip
.
c: remove unused vari
a
bl
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoo
l
ae
g
e
isl_v
e
c
.
c:
r
emove
unused vari
a
b
l
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
la
e
ge
isl
_
tes
t
.
c:
remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
i
sl
_
a
s
sert: va
l
i
d
ate all
a
rguments and fix up fa
l
lo
u
t
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verd
o
olaege
polyhedron_sample
.
c: ad
d
missing i
n
c
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ol
a
ege
isl_pip
.
c: ch
e
c
k
return
v
a
l
ue
o
f fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
V
erdoolaege
polyhedron_minimize
.
c
:
ha
n
dle all enumer
a
t
i
on values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
confi
g
ure
.
ac: set
maximal optimization
c
ompiler flags
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_copy_ba
s
ic_set
:
add mi
s
sing return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaege
isl
_
set_drop_basic_set:
a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_coa
l
esce
:
a
dd missing retur
n
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n
V
e
rdoolaege
isl_coal
e
sce
.
c: ad
d
missing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
isl_t
e
st: chec
k
srcdir has been set
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoo
l
aege
p
rivately export isl_tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
is
l
_tab
.
c: fix up
t
o_col
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdo
o
laege
isl_
t
ab
_
p
ip
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_vec
.
c: add
m
issi
n
g include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
o
la
e
ge
e
xport isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
fix return
t
yp
e
of i
s
l_constrai
n
t
_fr
e
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export
i
s
l_tok
e
n_free
and
isl_
s
tream_err
o
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl
_
list
.
c: add miss
i
ng inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
i
s
l_di
v
.
c:
add mi
s
s
i
ng
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
isl_constraint
.
c: add missin
g
include
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolae
g
e
basis_
r
eduction_
t
ab
.
c: add
missing
i
ncl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
ege
isl_map_no_pipl
i
b
.
c: a
d
d miss
i
ng inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdo
o
laege
ax_create_s
t
dint_h
.
m4: protect some limits
from red
e
f
inition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
polytope_scan
.
c: add missi
n
g include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
fix return ty
p
e of isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdo
o
la
e
ge
isl_
m
ap_si
m
plify
.
c: dro
p
retur
n
from void function
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
V
e
rdo
o
laege
isl_
m
ap_simplify
.
c
:
a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
d
oolaeg
e
is
l
_convex_
h
ull
.
c: use i
s
l_seq_get_hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
declare flexarrays o
f
s
i
ze 1 to silen
c
e
s
u
n
compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
change
i
s
l
_basic_map_
e
mpty interface for consisten
c
y
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolaege
AX
_
SUBMODULE:
m
e
n
tion d
e
fault
type
o
f library to us
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
c
o
nfigure
.
ac: u
s
e AX
_
S
UBMOD
U
L
E for gmp f
o
r co
n
s
istency
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdool
a
e
g
e
separat
e
out config header from is
l
_
ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoo
l
a
ege
p
i
lp s
o
l
v
er
:
don
'
t ign
o
re
f
e
asibil
i
ty tes
t
o
n
context
commit
|
commitdiff
|
tree
2009-09-01
Sven V
e
rdoo
l
aege
isl_basic_m
a
p_gauss: try not t
o
r
emove
a
ny
div defin
i
tions
commit
|
commitdiff
|
tree
2009-08-30
Sv
e
n Verdoolaeg
e
add i
s
l_map_su
m
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
add isl_ma
p
_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
add isl
_
map_neg
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
V
e
rdool
a
ege
add
isl_map_is
_
strict_subse
t
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoola
e
ge
add isl
_
map_fast_is
_
fixed
commit
|
commitdiff
|
tree
2009-08-30
Sven
Ver
d
oolae
g
e
add i
s
l_m
a
p_identity_l
i
ke
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolaege
rename isl_map_identity
_
like to isl_
m
ap_
i
dentity_like
_
basic_map
commit
|
commitdiff
|
tree
next