repo.or.cz
/
barvinok.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
barvinok 0.32
2010-09-10
Sven Verdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
i
scc: add l
e
xi
c
ogra
p
hic operat
o
rs
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
upd
a
t
e
i
sl
t
o version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
S
v
e
n V
e
r
doolaege
i
s
cc: add "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
ven Verdoolaege
iscc: add support
for st
r
ings
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n V
e
rdoolaege
iscc: print
e
rr
o
r message
o
n
use of unknown identifie
r
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oola
e
ge
i
scc: suppor
t
union
s
ets in
vertices operati
o
n
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaeg
e
add
isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
S
v
en Verdoolaege
b
a
rvinok_bound: us
e
isl to s
p
lit p
e
riods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n Ve
r
do
o
laege
update isl for isl
_
p
w
_qpolynomial_split_
p
eriods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
doc: mark PolyLib interf
a
c
e
obsoles
c
ent
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaeg
e
Mak
e
f
ile
.
am: drop references
t
o
obsolete @bv_barvinok_bound@
commit
|
commitdiff
|
tree
2010-08-31
S
v
en Verdoolaege
eval
u
e_convert
.
cc:
e
value_prin
t
_isl: print
end-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
ven
Verdoolae
g
e
is
c
c: allo
w
coercion of binary list i
n
to first
e
l
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdoolaege
ba
r
v
i
n
ok_bound: conver
t
to
isl_
p
w_qpolynom
i
a
l
once
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
a
r
vi
n
ok_boun
d
: use isl
t
o
split on domai
n
size
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdool
a
ege
set sensible defaults
with --pol
y
nomial-approxima
t
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sve
n
Verdoolaege
isl_pw_qpolynomial_sum:
reuse barvinok_options if
a
vailable
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
V
erdoolae
g
e
is
l
_map_card:
r
e
use barvino
k
_options if av
a
ilable in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verdoola
e
ge
update isl
for align
i
n
g
parameters o
f
union a
r
g
ume
n
t
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
V
e
rdoo
l
aege
is
c
c: add "
j
oin
"
oper
a
tion on fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
i
scc: add "join" operat
i
on
o
n
ma
p
s a
n
d folds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdo
o
laeg
e
iscc: sup
p
ort addition on a pai
r
of
a fold and a q
u
a
sipol
y
no
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
upda
t
e isl for adding types
t
o isl_{uni
o
n_,}
p
w_qpolynomial_folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ver
d
oolaege
allow
c
odeg
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
lae
g
e
iscc: codegen: detect stride
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doo
l
aege
i
s
cc:
u
se simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
ven
V
erdoolaege
upd
a
te
isl for r
e
nam
e
o
f isl_pw_qpol
y
nomial_fold_add
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc
.
c:
u
nion_pw
_
q
p
oly
n
omial_upper_bound: fix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en V
e
rdoo
l
aege
summate
.
c: f
i
x
t
ypo in
c
o
mmen
t
commit
|
commitdiff
|
tree
2010-08-17
Sven Verdo
o
laeg
e
i
s
l_
m
ap_apply_
p
w_qpolynomi
a
l:
f
ix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
u
p
date isl fr
o
m
i
sl_un
i
on_map fix
e
s
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdool
a
ege
isc
c
: al
l
ow
inverse
on
n
on-unio
n
map
s
a
gain
commit
|
commitdiff
|
tree
2010-08-05
Sven Verd
o
olaege
iscc: add wrap and
u
nwrap
o
p
e
r
a
tion
s
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoolaege
a
d
d isl_union_map_app
l
y_u
n
ion_pw
_
q
p
olyn
o
mial
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_
p
w
_qp
o
lynomia
l
_sum: h
a
ndl
e
isl_pw_
q
polynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
S
v
en Verdoo
l
aege
upda
t
e isl f
o
r
nested dimension
s
pecif
i
cations
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Ve
r
doolaege
isl_map_card:
postpone shuffling arou
n
d of di
m
ensio
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
update isl fo
r
isl_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdoola
e
ge
is
l
_
p
w
_
qpolynomial_
s
um: push
c
onver
s
i
o
n to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl
_
pw_qpolynomial_sum: check for u
n
bo
u
nde
d
dom
a
ins
commit
|
commitdiff
|
tree
2010-08-02
Sv
e
n Verdool
a
ege
avoid use of isl_dim in
t
e
rnals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: support cod
e
g
e
n operation if CLoo
G
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isc
c
: s
w
itch t
o
usin
g
unio
n
s
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
olaege
add isl_union_pw_qpolynom
i
a
l_sum
commit
|
commitdiff
|
tree
2010-07-31
S
v
en V
e
rdoolae
g
e
add isl_union_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
doola
e
ge
isl_pw_qpolynomial_su
m
:
take tuple
names into ac
c
o
unt
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl
_
map_card: preserve full domain
dimension informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
update isl for
c
h
a
nge in isl_hash_ta
b
le_for
e
ach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Ver
d
oolaege
b
arvinok_en
u
merate
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-07-03
S
ven Verdoolaege
d
o
c: add some more papers refer
i
ng to the l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
o
laege
update isl to ver
s
i
o
n 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolae
g
e
configure
.
in: p
r
operly add
i
sl flags and libs
t
o pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
gure
.
in: drop call t
o
gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdool
a
ege
genfun
.
c
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoo
l
a
e
ge
test_approx
.
c: fix
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doola
e
g
e
test_bound
.
c: f
i
x printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
d
oolaege
configure
.
in: stop co
m
piling Omega
by default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdo
o
laege
v
e
r
ify_lexsma
l
l
e
r
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven
Verdoo
l
aeg
e
evalue
.
c:
avoid use o
f
alloca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdoolae
g
e
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaeg
e
iscc: recover fro
m
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Ve
r
d
o
o
laege
update isl
f
or im
p
r
oved error
handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
dool
a
ege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verdool
a
e
ge
d
o
c
: iscc: update do
c
umenta
t
ion
o
f
"ub" op
e
rato
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_approx:
i
nclude ctype
.
h for iss
p
ac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test
_
approx: include co
n
fig
.
h for HAV
E
_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
t
e
st_bo
u
nd: in
c
lu
d
e config
.
h f
o
r H
A
V
E
_SYS_T
I
MES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
i
scc:
add vertices op
e
rations
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdoolaege
optionally use
i
sl to perform
p
a
r
amet
r
i
c vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
update i
s
l-polylib for
h
a
ndling o
f
rati
o
nal se
t
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aege
drop dist
i
nction betwe
e
n ba
r
v
i
n
o
k
-core and
barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
updat
e
isl for generic isl_p
w
_qpolynomial
_
bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
c
o
nfigure
.
i
n
: drop bv_omega_program
s
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
e
r
doo
l
aege
add is
l
_ctx
_
peek_
b
arvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
i
s
c
c
: p
a
rse ba
r
vinok opt
i
on
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
export
isl
_
qpo
l
ynomi
a
l
_
f
r
om
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdo
o
laege
M
akefile
.
am: drop de
p
endence on do
c
/o
m
eg
a
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doo
l
aege
update isl for
rename
o
f
isl_pw_qpolyn
o
m
i
al_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
c
o
nfigu
r
e
.
i
n
:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolae
g
e
us
e
isl for a
r
g
ument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doola
e
ge
u
p
date
isl
for keeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaege
test_bound: rew
r
ite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolaege
upda
t
e isl fo
r
help me
s
sage
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n Ver
d
oolaege
remov
e
ev
a
lu
e
_optimu
m
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remo
v
e evalue_range_propaga
t
ion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bound: use isl in
t
erfac
e
for c
o
mput
i
n
g
bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
S
v
e
n
V
e
rdoolaege
barvinok
_
bound: use isl i
n
terfa
c
e for computin
g
b
o
unds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
iscc: support
u
b even if GiNaC support
w
a
s
not com
p
iled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add gener
i
c isl_p
w
_qpolynomial_b
o
un
d
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
up
d
ate is
l
for
i
s
l_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verd
o
ol
a
e
g
e
test
_
b
o
und: use isl du
r
ing v
e
rificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
a
r
vinok_bound: use isl during verification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
V
e
rdo
o
laege
v
e
rify
.
c
: extract s
o
m
e
help
e
r fun
c
t
i
ons
fo
r
isl b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaeg
e
i
n
troduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoolaeg
e
options
.
c: fix
p
rintf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add a
p
plication ope
r
ations
commit
|
commitdiff
|
tree
next