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_coalesce: handle more cases
2009-09-14
Sven Verdool
a
ege
add is
l
_basic_map_sam
p
l
e and isl_map_sample
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdool
a
ege
i
s
l_sa
m
ple
.
c
:
move isl_basic_s
e
t_fr
o
m_
v
ec from isl_affine_hull
.
c
commit
|
commitdiff
|
tree
2009-09-13
Sve
n
V
e
rdo
o
lae
g
e
r
e
n
ame isl_basic_set_
s
ample to isl_basic_set_sample
_
vec
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoolaege
m
a
ke some in
t
ernal function
s
stat
i
c
commit
|
commitdiff
|
tree
2009-09-13
Sven Verdoola
e
ge
isl_basic_map_a
d
d_constrai
n
t: handle
con
s
tra
i
nt
s
obt
a
ined
.
.
.
commit
|
commitdiff
|
tree
2009-09-13
Sven
V
er
d
oolaeg
e
a
dd
i
sl_basic_map_
f
rom_constraint
commit
|
commitdiff
|
tree
2009-09-12
Sven
Ver
d
o
o
la
e
ge
isl
_
m
ap_simplify
.
c:
b
r
eak if
set turns out to be e
m
pty
.
.
.
commit
|
commitdiff
|
tree
2009-09-12
Sven Ver
d
oolaege
ad
d
i
sl_bas
i
c_map_u
n
iverse_like
commit
|
commitdiff
|
tree
2009-09-09
Sv
e
n Verdoolaege
add
isl_map_
l
ex_lt and isl_map_lex_gt
commit
|
commitdiff
|
tree
2009-09-09
Sven
Verdool
a
ege
isl_tab
.
c:
c
ut
_
to
_
h
y
p
e
rplane:
d
o n
o
thing if
s
elected
.
.
.
commit
|
commitdiff
|
tree
2009-09-09
Sven Verdoolaege
revers
e
mean
i
ng o
f
isl
_
b
a
sic_
m
ap_{
l
ess,more}_at
commit
|
commitdiff
|
tree
2009-09-08
Sven Verdoo
l
a
ege
isl_tab_dup: avoid out
-
of-bounds arr
a
y
a
c
c
ess
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl 0
.
01
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaeg
e
add a rud
i
mentary manual
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
a
dd so
m
e
memory management annotati
o
ns
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
export isl_basic_set_
p
roject_
o
ut
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erd
o
ola
e
ge
i
sl_basi
c
_set_normalize_constraints: a
d
d missing return
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaeg
e
isl_map_simplify
.
c
:
remove unused
v
ariables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdool
a
eg
e
isl_m
a
p
.
c: remove unu
s
ed variables
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
r
d
oolaege
isl_basic_set_g
e
t_has
h
:
i
n
i
tialize hash value
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verdoolae
g
e
isl_affine_hull
.
c: remove unu
s
ed variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_h
a
sh
.
c: re
m
ove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolae
g
e
isl_
l
p
.
c:
a
d
d
mi
s
s
ing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoo
l
aege
isl_equ
a
l
i
ties
.
c: drop redu
n
dant er
r
or handling
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
isl_equalities
.
c: remove u
n
use
d
var
i
able
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdoolaege
isl_conve
x
_hull
.
c: remove unused variables
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaege
isl_cons
t
raint
.
c:
remove un
u
sed varia
b
les
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
isl_tab
.
c
:
sign_of
_
min: only
pivot back if we performed
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
v
en V
e
r
doolaeg
e
isl_tab
.
c: isl
_
tab_
m
ark_redun
d
an
t
: fix up
error
return
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ve
r
doola
e
ge
i
sl_tab
.
c
: remov
e
unused variables
commit
|
commitdiff
|
tree
2009-09-06
S
ven
Verdoolae
g
e
isl
_
tab_pip
.
c
: re
m
ove unuse
d
vari
a
bles
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdo
o
laege
isl_vec
.
c: remove
unuse
d
variable
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl
_
t
e
s
t
.
c: remove unused variable
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
i
sl_assert: val
i
dat
e
a
l
l ar
g
u
ments
a
nd fix up
f
allou
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
o
olaege
polyhed
r
on_sample
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoola
e
ge
isl_pip
.
c
:
check re
t
urn value of
f
scanf
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
polyhedro
n
_minimize
.
c: handle all enumeratio
n
va
l
ues
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
S
ven Verdo
o
laege
configure
.
ac: set
maxi
m
al
o
ptimization compiler
f
lags
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n
Verdoolaege
isl_set_copy_bas
i
c_set: add
m
issing
r
eturn
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
erdoolaege
isl_set_drop_bas
i
c
_set: add missing retu
r
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Ver
d
oo
l
a
ege
isl_set_coalesce:
add missi
n
g ret
u
rn
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoola
e
ge
isl_coale
s
ce
.
c: add missing
i
nclud
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
e
n Verdoolaege
isl_test: check s
r
c
d
ir has been se
t
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdo
o
l
a
ege
privately export isl_tab_kil
l
_c
o
l
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doola
e
ge
isl_tab
.
c: fix
up
t
o_col
commit
|
commitdiff
|
tree
2009-09-06
S
ven Ver
d
oola
e
ge
isl_tab_pip
.
c: add mi
s
sing in
c
l
ud
e
commit
|
commitdiff
|
tree
2009-09-06
S
v
en
Verdoolaeg
e
isl_vec
.
c:
a
dd missing
i
n
clude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
export isl_seq_cmp
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verd
o
olaege
fix r
e
turn typ
e
of isl_constraint_free
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
export
isl_to
k
e
n
_free and i
s
l_stream_erro
r
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
isl_list
.
c: a
d
d missing include
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Verdoolaeg
e
isl_d
i
v
.
c: add
mi
s
sing include
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaeg
e
isl_constrain
t
.
c: add miss
i
ng include
commit
|
commitdiff
|
tree
2009-09-06
S
v
en Verdoolaege
b
asis_red
u
ction_
t
ab
.
c: add missing include
commit
|
commitdiff
|
tree
2009-09-06
Sve
n
Verdoolaege
isl_map_no_piplib
.
c: ad
d
missing
i
nc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven
Verd
o
ol
a
ege
ax_create_stdint_h
.
m4
:
protect some
limits from redefinition
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoola
e
ge
p
o
lytope_
s
ca
n
.
c:
a
dd missin
g
inc
l
ude
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
aege
fix ret
u
rn type
o
f
isl_div_free
commit
|
commitdiff
|
tree
2009-09-06
Sven
V
e
r
d
oolaege
isl_map_si
m
p
li
f
y
.
c:
d
r
op re
t
urn
f
r
om voi
d
functi
o
n
commit
|
commitdiff
|
tree
2009-09-06
Sven Verd
o
olaeg
e
is
l
_m
a
p_simplify
.
c: ad
d
m
issing
i
nclude
commit
|
commitdiff
|
tree
2009-09-06
Sven Ve
r
doolaege
i
s
l_con
v
ex_hull
.
c: use
isl_seq_get
_
hash instead of
.
.
.
commit
|
commitdiff
|
tree
2009-09-06
Sv
e
n Ver
d
oolaege
declare flexarr
a
ys of size 1 to sile
n
c
e
su
n
compiler
commit
|
commitdiff
|
tree
2009-09-06
Sven
Ve
r
doolaege
change isl_basic_
m
ap
_
empty in
t
erface fo
r
con
s
istency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoo
l
a
ege
AX_SUBMODULE: mention default
type
of library to use
commit
|
commitdiff
|
tree
2009-09-06
Sven V
e
rdoo
l
aeg
e
config
u
re
.
ac: use AX_
S
UBMODULE f
o
r gmp
f
o
r
con
s
istency
commit
|
commitdiff
|
tree
2009-09-06
Sven Verdoolaege
separate out confi
g
h
e
ad
e
r fr
o
m isl_ctx
.
h
commit
|
commitdiff
|
tree
2009-09-04
Sven Ve
r
doolaege
pil
p
solver:
do
n
't ig
n
ore f
e
a
s
i
b
i
lit
y
test on
context
commit
|
commitdiff
|
tree
2009-09-01
S
ven
V
e
r
d
oolaege
is
l
_
b
asic_map_gau
s
s: try not to remove any div de
f
initions
commit
|
commitdiff
|
tree
2009-08-30
S
v
en V
e
rdoolaege
add isl_map
_
sum
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdool
a
ege
ad
d
isl_map_floordiv
commit
|
commitdiff
|
tree
2009-08-30
Sve
n
Verdool
a
e
ge
add isl_ma
p
_neg
commit
|
commitdiff
|
tree
2009-08-30
S
v
en Verdoolaege
add i
s
l_ma
p
_
i
s
_strict_subset
commit
|
commitdiff
|
tree
2009-08-30
Sven Verdoolae
g
e
a
d
d
isl_map_fast
_
is_fixed
commit
|
commitdiff
|
tree
2009-08-30
S
ven Verdoolaege
add isl_
m
ap
_
identity_li
k
e
commit
|
commitdiff
|
tree
2009-08-30
Sven V
e
rdoola
e
ge
renam
e
isl_map_ide
n
tity_like
to is
l
_map
_
iden
t
ity_
l
ike_basi
c
_map
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Ver
d
o
ola
e
ge
add isl_polytope_scan applicatio
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Ve
r
doolaege
isl_seq
_
normalize: use p
r
e-allocated t
e
m
p
o
rary variable
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verd
o
olaege
add isl_vec_no
r
m
alize
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoo
l
a
e
g
e
isl_seq_normalize: no
n
eed
t
o scal
e
d
ow
n
by one
commit
|
commitdiff
|
tree
2009-08-28
S
ven
V
e
r
doolae
g
e
a
d
d
i
s
l_pol
y
hedron_m
i
nimize applicati
o
n
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add generalized ba
s
i
s
r
eduction based ILP
s
olver
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
add isl_v
e
c_mat_product
commit
|
commitdiff
|
tree
2009-08-28
S
v
en
Verdoo
l
aege
export
i
sl_
v
ec
_
c
eil
commit
|
commitdiff
|
tree
2009-08-28
Sve
n
Verdoolaege
i
s
l_bas
i
c
_set_sample: o
n
ly
perfo
r
m basis reduction
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven
V
erdoolaege
re
n
ame isl_solve_lp to isl_ba
s
ic_
{
map,set}_solve_lp
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
i
sl_s
o
lve_
l
p:
o
ptionall
y
retu
r
n solution poi
n
t
commit
|
commitdiff
|
tree
2009-08-28
Sven V
e
r
doolae
g
e
export isl_vec header
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolaeg
e
add i
s
l_int_fdiv_q_ui
commit
|
commitdiff
|
tree
2009-08-28
S
v
en Verdoolaege
add isl
_
vec_read_from_f
i
le
commit
|
commitdiff
|
tree
2009-08-28
Sven Ver
d
oolae
g
e
isl_basic_map_drop_redund
a
nt_divs: also
i
nvestiga
t
e
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolaege
isl_
b
asic_map_ap
p
ly_{d
o
main,ran
g
e}: d
r
o
p redundant
.
.
.
commit
|
commitdiff
|
tree
2009-08-28
Sven Verdoolae
g
e
isl_map_simplify
.
c: fix typo i
n
comment
commit
|
commitdiff
|
tree
2009-08-28
S
v
e
n Ver
d
o
o
laege
is
l
_basic_set_project_out: dro
p
redund
a
nt divs in result
commit
|
commitdiff
|
tree
2009-08-28
Sven Verd
o
olaege
i
sl_basic_map_rem
o
ve
:
only drop
d
i
v
s if basic map did
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
S
v
e
n Ver
d
o
o
l
a
ege
i
s
l_basic_map
_
detect_equalities: explicit
l
y keep
track
.
.
.
commit
|
commitdiff
|
tree
2009-08-13
Sve
n
Verdoolaege
isl_basic
_
map_extend_di
m
: keep hold o
f
sample
if
d
imension
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
ven Verdoolaege
isl_tab_
m
i
n: read
off all i
n
formation from tableau
.
.
.
commit
|
commitdiff
|
tree
2009-08-09
S
v
e
n
V
e
r
do
o
laege
isl_tab_
a
dd_vali
d
_eq: keep trac
k
o
f
whether equalit
y
.
.
.
commit
|
commitdiff
|
tree
2009-08-07
Sven Ver
d
oolaeg
e
c
onfi
g
ure
.
ac
:
no longer
u
se piplib by defa
u
lt
commit
|
commitdiff
|
tree
2009-08-07
Sven Verdool
a
ege
add an i
n
t
e
rnal parame
t
ric integer
l
ine
a
r program solver
commit
|
commitdiff
|
tree
next