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_tab_add_eq
2009-10-08
Sven Verdo
o
laege
add is
l
_
tab_add_e
q
commit
|
commitdiff
|
tree
2009-10-08
S
v
en V
e
rdoola
e
ge
isl_tab_
a
dd_valid_eq: add s
p
ecial trea
t
m
ent f
o
r manifes
t
l
y
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
S
ven Verdoolaeg
e
isl_tab_e
x
t
en
d
_
c
o
ns: ch
e
ck tab argument
commit
|
commitdiff
|
tree
2009-10-08
S
v
en Verd
o
olaege
rename i
s
l_tab_det
e
ct_equali
t
ies
t
o isl_ta
b
_detect_im
p
licit_
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sven Verdoolaege
isl_tab
_
from_r
e
cession_cone: tak
e
bas
i
c set instead
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
isl
_
i
lp
.
c:
s
epa
r
ate out s
o
lve_ilp_sea
r
c
h
commit
|
commitdiff
|
tree
2009-10-08
Sve
n
Verdoolaege
isl_sample
.
c: basic_
s
e
t
_samp
l
e: r
e
member bou
n
dedness
.
.
.
commit
|
commitdiff
|
tree
2009-10-08
Sv
e
n Verdoolaege
add
isl_p
o
lyhedron_detect_equalities t
e
st ap
p
lication
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
add isl_basic_set_detect
_
equalities
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdo
o
laege
isl
_
tab_alloca
t
e_co
n
: add extra assertion
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoo
l
aege
i
s
l_sample
.
c
:
ba
s
ic_set_red
u
ced: fix typo pr
e
v
e
nting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
Sven
V
erdoolaege
isl_tab_basic_map_
p
artial_lexop
t
:
s
implify r
e
su
l
t
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdool
a
ege
pr
i
vate
l
y export isl_basic_set_add_
{
in,}eq
commit
|
commitdiff
|
tree
2009-10-07
Sven Verdoolaege
priva
t
ely export isl_
b
asic_set_sample_with_c
o
ne
commit
|
commitdiff
|
tree
2009-10-07
Sven V
e
r
doolaege
add isl
_
basic
_
set
_
u
n
de
r
lying_set
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Verdoolaege
isl_tab
.
c: close_row:
push und
o
record
for setting
.
.
.
commit
|
commitdiff
|
tree
2009-10-07
S
ven Verdool
a
eg
e
add
i
sl
_
mat_vec_in
v
erse_product
commit
|
commitdiff
|
tree
2009-10-07
Sven Verd
o
olaege
add isl
_
mat_conc
a
t
commit
|
commitdiff
|
tree
2009-10-07
S
v
en Ver
d
o
o
laege
a
d
d isl
_
int_divexac
t
_ui
commit
|
commitdiff
|
tree
2009-10-05
Sven Verdoolaege
add
i
s
l_set_dim
_
residue_
c
l
ass
commit
|
commitdiff
|
tree
2009-10-03
S
v
e
n Verdoolae
g
e
fix long
s
tanding
bug i
n
isl_mat_inver
s
e_
p
r
oduct
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
erdoolaeg
e
ad
d
i
s
l_bas
i
c_m
a
p
_
foreach_lexmin
commit
|
commitdiff
|
tree
2009-10-02
S
ven
Ver
d
oolaeg
e
add isl_set_project_out
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n Ver
d
oolaege
add isl
_
set_detect_equal
i
ties
commit
|
commitdiff
|
tree
2009-10-02
S
ven
V
e
rdoolaege
add isl_set_
f
oreach
_
bas
i
c_set
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoola
e
ge
add isl_set_lif
t
i
n
g
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
isl_dim_size: check argument
commit
|
commitdiff
|
tree
2009-10-02
Sven
V
erdoolaege
export i
s
l_ma
t
header
commit
|
commitdiff
|
tree
2009-10-02
Sve
n
V
e
rdoo
l
aege
add isl_basic_m
a
p_lexmi
n
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdool
a
ege
add isl_map_foreach_
b
a
s
ic_m
a
p
commit
|
commitdiff
|
tree
2009-10-02
S
ven Verdoolaege
c
onfi
g
ure
.
ac: fix c
u
t
-
and
-
paste error in original
c
o
m
mit
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add isl_in
t
_
g
et_s
i
commit
|
commitdiff
|
tree
2009-10-02
Sven Verdoolaege
export isl_set_sampl
e
commit
|
commitdiff
|
tree
2009-10-02
Sv
e
n
V
er
d
oolaege
add isl_ba
s
ic_set_universe_
l
ike_set
commit
|
commitdiff
|
tree
2009-10-02
Sven
Verdoolaege
add i
s
l
_set_is_s
t
r
ict_subset
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoolaege
a
dd isl_set_universe_like
commit
|
commitdiff
|
tree
2009-09-20
Sven Verdo
o
l
a
e
g
e
A
X
_SUBMODULE: set PKG_CONFIG_PATH
commit
|
commitdiff
|
tree
2009-09-20
S
v
en Verdoolaege
cre
a
te
p
kg-config f
i
le
commit
|
commitdiff
|
tree
2009-09-20
Sven
Verdoolaege
AX_SUBMODU
L
E: drop options th
a
t are me
a
ni
n
gl
e
s
s
given
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
Verdoola
e
ge
is
l
_basic_map_f
r
om_constrain
t
:
r
eturn copy o
f
bmap
.
.
.
commit
|
commitdiff
|
tree
2009-09-16
Sven
V
erdoolaege
doc: fix descrip
t
ion of lexic
o
grahpic ord
e
r relati
o
ns
commit
|
commitdiff
|
tree
2009-09-16
Sven Verdoolaege
add isl_map_lex_le and isl
_
map_lex_ge
commit
|
commitdiff
|
tree
2009-09-14
Sven Verdoolaege
export i
s
l
_
bas
i
c_map_gi
s
t
commit
|
commitdiff
|
tree
2009-09-14
Sv
e
n Verd
o
olaege
add
i
sl_basic_map_sample and i
s
l_map_sampl
e
commit
|
commitdiff
|
tree
2009-09-13
Sven
V
erd
o
o
l
aege
isl_sample
.
c:
move i
s
l_basic_set_f
r
om_
v
ec
f
ro
m
isl
_
a
ffine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
S
ven
V
erdoo
l
aege
rena
m
e isl_basic_set_sample to
i
s
l
_basic_se
t
_sample_vec
commit
|
commitdiff
|
tree
2009-09-13
Sv
e
n Verdo
o
l
aege
make
s
o
me i
n
tern
a
l functions static
commit
|
commitdiff
|
tree
2009-09-13
Sven
V
er
d
oolaege
is
l
_
b
a
sic_map_ad
d
_
co
n
st
r
aint: h
a
ndle const
r
aints obta
i
ned
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
S
v
e
n
Verdoolaege
a
dd i
s
l_basic_map_from_
c
onstraint
commit
|
commitdiff
|
tree
2009-09-12
Sv
e
n Ve
r
doola
e
ge
i
s
l_map_simp
l
if
y
.
c: break if
set turns out to
b
e
e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Verd
o
olaege
add isl
_
basic_map_u
n
iverse_like
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdool
a
ege
a
dd
i
s
l
_
map_lex_lt and isl_
m
ap_le
x
_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven Ver
d
oolaege
isl_tab
.
c: cut_to_hyperplane: d
o
nothi
n
g
if s
e
le
c
ted
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven V
e
rdo
o
laege
rev
e
rse meaning of isl_
b
asic_map_{less,more}_
a
t
commit
|
commitdiff
|
tree
2009-09-08
S
ven Verdoolaege
i
s
l_tab_dup: avoid
o
ut-of-b
o
u
n
d
s array
a
ccess
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
eg
e
isl
0
.
0
1
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdo
o
lae
g
e
add a rudimen
t
ary manual
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaege
add s
o
me memor
y
management annota
t
ions
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
laege
export isl_basic_set_project_out
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
ola
e
ge
isl_basi
c
_s
e
t_n
o
r
malize_c
o
nstraints: add mis
s
ing
re
t
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ver
d
ool
a
eg
e
i
sl_
m
ap_simp
l
ify
.
c: rem
o
ve unused
variables
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_m
a
p
.
c: remove unus
e
d v
a
ri
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_basic_s
e
t_
g
et_hash: initialize hash v
a
lue
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdo
o
la
e
ge
isl_affine_hull
.
c: remove unus
e
d variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
i
sl_
h
ash
.
c: re
m
o
v
e unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
e
g
e
is
l
_l
p
.
c:
a
dd mi
s
sing
include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_equal
i
t
ies
.
c: d
r
op r
e
dun
d
ant error h
a
ndling
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
e
rdo
o
laege
i
s
l
_
equalities
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_conve
x
_hull
.
c: remove
u
nused va
r
iables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
doolaege
isl_co
n
straint
.
c:
r
emove
u
n
used vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
dool
a
ege
isl
_
tab
.
c: si
g
n
_of_min: only piv
o
t back if we pe
r
fo
r
med
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdo
o
laege
isl
_
tab
.
c: isl_ta
b
_mark_redundant: fix up error return
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_t
a
b
.
c:
remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
V
erd
o
o
l
aeg
e
i
sl_tab_pip
.
c
:
remove unused varia
b
l
e
s
commit
|
commitdiff
|
tree
2009-09-06
S
ven
V
erdoolaege
is
l
_ve
c
.
c: r
e
mov
e
unused varia
b
le
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
g
e
isl_
t
e
s
t
.
c:
r
e
move
u
nused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl
_
assert
:
v
alidate al
l
arguments and fix u
p
fall
o
ut
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
polyhed
r
on_sample
.
c:
add missing
i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaege
isl_pip
.
c: check ret
u
rn va
l
ue of fscanf
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
p
o
lyhedron_minim
i
ze
.
c: han
d
le
a
ll
e
numera
t
ion
v
a
l
ue
s
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdo
o
laeg
e
configur
e
.
ac: set maximal o
p
timization
c
ompiler flag
s
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
is
l
_set
_
copy_basic_set
:
add mi
s
s
ing re
t
u
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoolaeg
e
isl_set_drop_basic_set: add missing
r
etur
n
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
rdo
o
laege
i
s
l_set_co
a
lesce: add missing return
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolaege
isl_c
o
a
lesce
.
c: add missing i
n
cl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_t
e
s
t
: che
c
k srcdir
has been s
e
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
d
o
olaege
privately exp
o
rt isl_tab_kill_col
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oolaege
isl_tab
.
c: fix up to_col
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ve
r
doolaege
i
s
l_tab_
p
ip
.
c:
a
dd missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_vec
.
c: ad
d
missing incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolae
g
e
e
xp
o
r
t
isl_seq
_
cmp
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix
r
e
t
urn typ
e
o
f
isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
export isl_token_fre
e
a
n
d isl_s
t
r
e
a
m_er
r
or
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_list
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
is
l
_div
.
c:
add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdo
o
laege
isl_constrai
n
t
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
basis_reduction_tab
.
c
:
add mis
s
i
ng incl
u
de
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n V
e
rdoolaeg
e
isl_map_no_pipli
b
.
c: add missing
incl
u
d
e
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolaege
ax_create_s
t
din
t
_h
.
m4: pr
o
tect so
m
e limits f
r
om red
e
finition
commit
|
commitdiff
|
tree
2009-09-06
S
ve
n
V
erdo
o
laege
p
o
lytope_scan
.
c:
a
d
d missing
i
ncl
u
de
commit
|
commitdiff
|
tree
next