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_map_transitive_closure: reformulate exactness test in terms of extended paths
2009-10-07
Sven V
e
rdoolaege
is
l
_samp
l
e
.
c: basic_set_reduced: fix typo preventing
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
isl_tab_b
a
s
i
c_
m
ap_partial_lexopt: simplify
re
s
ul
t
commit
|
commitdiff
|
tree
2009-10-07
Sve
n
V
erdo
o
laege
pr
i
vate
l
y expo
r
t i
s
l_
b
asic_set_add_{in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
privately expor
t
isl_b
a
sic_set_sample_with_cone
commit
|
commitdiff
|
tree
2009-10-07
S
v
e
n
V
e
rdoolaege
ad
d
isl_b
a
sic_set_underlying_set
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
i
s
l_tab
.
c: close_row: push undo
re
c
ord for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
ola
e
ge
a
dd is
l
_mat_vec_inver
s
e_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_mat_concat
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
e
rdoolaege
add isl_int_di
v
exact_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add is
l
_set_di
m
_res
i
due
_
clas
s
commit
|
commitdiff
|
tree
2009-10-03
Sven Verdoolaege
f
ix long sta
n
ding
bu
g
in is
l
_m
a
t_i
n
v
e
rse_product
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_b
a
sic_map_foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven Ve
r
doolaege
add isl_
s
e
t_
p
r
o
j
e
c
t
_o
u
t
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
e
r
doo
l
aege
add
i
sl_set_detect_equal
i
t
i
es
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_set_foreac
h
_basi
c
_
s
et
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erd
o
olaege
ad
d
i
s
l
_set_lift
i
ng
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
Verd
o
olaege
isl_dim_
s
ize: ch
e
ck argument
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
o
ola
e
ge
e
x
por
t
i
s
l_m
a
t header
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
a
dd isl_basic_map_lexmin
commit
|
commitdiff
|
tree
2009-10-02
Sven
Ver
d
oolaege
a
dd
isl_ma
p
_foreac
h
_
basic
_
ma
p
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Verdoo
l
aege
configure
.
ac:
fi
x
cut
-
and-
p
aste error in
o
r
iginal commi
t
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
e
r
doolaege
a
d
d isl_
i
nt_get_si
commit
|
commitdiff
|
tree
2009-10-02
Sven Ver
d
oolaege
expo
r
t isl_se
t
_sam
p
le
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
add isl_basic_se
t
_universe_
l
ike_
s
e
t
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
ad
d
i
s
l
_s
e
t_
i
s_stri
c
t_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven Ver
d
oolae
g
e
a
d
d isl_set_universe
_
like
commit
|
commitdiff
|
tree
2009-09-20
Sven V
e
rdoolaege
A
X
_SUBMODULE: set
P
K
G_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
S
ve
n
Verdoo
l
aege
create pkg-co
n
fig f
i
le
commit
|
commitdiff
|
tree
2009-09-20
Sv
e
n
V
erdoolaege
A
X
_S
U
BMODULE: drop
o
pt
i
ons that are meaningless give
n
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Ve
r
doolaege
isl_basic_m
a
p_from_c
o
nstr
a
int: ret
u
rn
c
opy
o
f bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
d
o
c: fix description of lexicogr
a
h
pic order relations
commit
|
commitdiff
|
tree
2009-09-16
Sven Ver
d
oolaege
add isl_map_le
x
_le and isl_map_l
e
x_ge
commit
|
commitdiff
|
tree
2009-09-14
Sve
n
Verdoolaege
export isl
_
basic_map
_
gist
commit
|
commitdiff
|
tree
2009-09-14
Sven
Verdoolaege
add isl_basic_map_sample
and
i
s
l_map
_
samp
l
e
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoo
l
aege
i
s
l_sample
.
c: m
o
ve
i
s
l_ba
s
ic_set_from_v
e
c fro
m
is
l
_affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
S
v
en Verdoolaege
renam
e
isl_bas
i
c
_set_samp
l
e to isl_
b
asic_s
e
t
_
sample
_
vec
commit
|
commitdiff
|
tree
2009-09-13
Sven
Verdo
o
laege
make some in
t
ernal fu
n
c
tions st
a
ti
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
isl_
b
a
s
i
c_map
_
add_constraint: hand
l
e con
s
t
r
aints obtained
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven V
e
rdoolaege
add isl_bas
i
c
_
map_
f
rom_c
o
nstra
i
nt
commit
|
commitdiff
|
tree
2009-09-12
Sven V
e
rdoolaege
isl
_
map_simplify
.
c: br
e
a
k if set
t
u
rns
o
ut to
b
e empt
y
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
S
ven Verdoolaege
ad
d
i
s
l
_basic_map
_
un
i
verse_like
commit
|
commitdiff
|
tree
2009-09-09
S
v
en Verdoolaege
add isl_map_
l
ex_lt and isl_ma
p
_lex_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdo
o
laege
isl_tab
.
c: cut_to_hyperplane: do nothin
g
i
f selected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n
Verdoolaege
re
v
erse meaning of i
s
l_basic
_
map_{less,m
o
re}_at
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdoolaege
isl_tab_d
u
p: avoid out-of-bounds
a
rray access
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Ver
d
oolaege
is
l
0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ola
e
ge
add a
r
udim
e
n
t
ary
m
anual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
a
d
d s
o
me m
e
mory man
a
gement
a
n
notatio
n
s
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdo
o
laege
export
i
sl_basic_set
_
pr
o
j
ect_out
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdo
o
laege
isl_basic_set
_
normali
z
e_co
n
straints: a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
dool
a
ege
isl_ma
p
_simplify
.
c:
r
e
m
o
ve unus
e
d
variab
l
e
s
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
o
laege
isl_map
.
c: r
e
m
ove
u
nused
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_basic_set_get_h
a
sh: init
i
alize h
a
sh value
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l_affine_
h
ul
l
.
c
: remove
u
nused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
er
d
oola
e
ge
is
l
_hash
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
is
l
_lp
.
c: add missing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
i
s
l_eq
u
a
l
ities
.
c: d
r
o
p
redundant
e
r
ror handling
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
Verdoolaege
isl_equalit
i
es
.
c: r
e
move unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
isl_convex_
h
ull
.
c: remove unused variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
s
l
_constraint
.
c
: remo
v
e unused variable
s
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
i
s
l
_tab
.
c
:
s
ign_of_min: on
l
y pivot back
if we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl
_
t
a
b
.
c: isl_tab_m
a
rk_redun
d
ant: f
i
x
u
p er
r
or return
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
is
l
_ta
b
.
c: re
m
ove unused variab
l
es
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_t
a
b
_pip
.
c
: r
e
move unused
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaeg
e
isl_vec
.
c:
remove unused va
r
iabl
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
laege
isl_te
s
t
.
c: re
m
ove unused var
i
able
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_
a
ss
e
r
t: vali
d
ate a
l
l
a
rguments and fix up fallout
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
polyhedron
_
s
a
mple
.
c:
add
m
issi
n
g
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verd
o
olaege
isl_pip
.
c: check return value
o
f fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Ve
r
doolaege
polyhedron_minimize
.
c
: han
d
le all enu
m
eration values
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
configur
e
.
ac: set
maximal optimization compile
r
flags
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
is
l
_
set_copy_
b
asic_set: add miss
i
n
g
retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_set_drop_basic_set: add mis
s
ing
r
eturn
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_set_c
o
alesce: add mi
s
sing retur
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_coalesce
.
c: ad
d
mi
s
s
i
ng incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
is
l
_test: c
h
e
c
k srcdir has bee
n
s
e
t
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdool
a
ege
p
riv
a
tely exp
o
r
t isl_tab
_
kill_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c:
fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
i
sl_
t
ab_pi
p
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
isl_vec
.
c
:
add mis
s
i
ng i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
f
ix return ty
p
e of isl_con
s
traint
_
free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl_token_free and isl_stream
_
error
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_
l
ist
.
c: add missin
g
includ
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolae
g
e
is
l
_
d
iv
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oola
e
ge
i
s
l
_constraint
.
c
:
add missing i
n
c
l
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
basis
_
reduction_tab
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
isl_map
_
no_pipl
i
b
.
c: add
mis
s
ing
inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
ax_create_
s
tdint_h
.
m4: prot
e
ct some
l
imi
t
s from redef
i
nition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
po
l
ytop
e
_scan
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolae
g
e
fix return typ
e
o
f i
s
l_div_fr
e
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
aege
isl_map_simpli
f
y
.
c: drop return fr
o
m void function
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
lae
g
e
isl_map_simplif
y
.
c: add
m
issing
incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
isl_co
n
vex_hull
.
c: use isl
_
seq_get_hash inst
e
ad of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
do
o
laege
declare flexa
r
rays o
f
size
1
to silence
s
un compil
e
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
ege
change
isl_basic
_
map
_
empty interface for cons
i
sten
c
y
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Ve
r
doolaege
AX_SUBMODULE: mention
default typ
e
of
library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
confi
g
ure
.
ac: use AX_SUBMO
D
ULE for gm
p
for cons
i
stenc
y
commit
|
commitdiff
|
tree
2009-09-06
S
ven V
e
rdoolaege
separate out
config header f
r
o
m isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Verdoolaege
pil
p
solver: d
o
n
'
t
ignore feasibilit
y
test
on c
o
ntext
commit
|
commitdiff
|
tree
next