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.1
2010-09-13
Sven Verdoolaege
b
a
rvinok 0
.
32
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sv
e
n Verdoola
e
ge
u
p
date
isl fo
r
fix in
parameter alignment
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
e
g
e
i
s
cc:
add lexicographic opera
t
ors
commit
|
commitdiff
|
tree
2010-09-10
Sve
n
Verdoolaege
update isl
to
v
ersion 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sve
n
Ve
r
d
o
olaege
iscc: add "so
u
rc
e
" operation
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
Verdoolae
g
e
iscc: add
s
u
ppor
t
for strin
g
s
commit
|
commitdiff
|
tree
2010-09-06
S
v
e
n
Verdoolae
g
e
iscc
:
print
e
rro
r
message on use
o
f unknown
i
dentifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: su
p
port union sets i
n
ve
r
tices
o
perat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Ve
r
d
o
olaege
add
i
sl
_
list_c
o
ncat
commit
|
commitdiff
|
tree
2010-09-05
S
v
e
n
Verdool
a
ege
barvinok_bound: use
isl to
s
p
lit periods
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
update isl
for isl_p
w
_qpolynom
i
a
l_split_perio
d
s
commit
|
commitdiff
|
tree
2010-08-31
Sven Ver
d
oolaege
doc
:
m
ark PolyL
i
b interface obsolescent
commit
|
commitdiff
|
tree
2010-08-31
Sve
n
V
erdoolaege
Makefile
.
am:
d
r
op referen
c
e
s
to obs
o
lete
@bv_barvi
n
ok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdo
o
l
a
ege
eval
u
e
_
convert
.
cc:
e
v
a
lue_print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
S
ven Ve
r
doolaege
iscc: all
o
w coercion of
b
inary list into first element
commit
|
commitdiff
|
tree
2010-08-28
Sve
n
Verdoolaege
barvino
k
_
bound: convert to isl_pw_qpolyn
o
mial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
barvinok_bound: use
i
sl to
s
p
lit o
n
d
o
main size
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verdoolaege
s
e
t sensible d
e
faults wit
h
--polynomial
-
app
r
oximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven
Ver
d
oolaege
isl_pw_qpolynomial_sum: reuse barvinok_options if availabl
e
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ver
d
oolaeg
e
isl_
m
ap_c
a
r
d: reuse ba
r
vinok_optio
n
s i
f
available
i
n
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
upd
a
t
e
isl for aligning
parameters of union ar
g
uments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
iscc: add "
j
o
i
n" operat
i
on on folds
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc: add "j
o
in" operation
on
m
aps and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolae
g
e
isc
c
: supp
o
rt ad
d
i
t
i
on on
a
pair of a fold
a
nd a quasip
o
ly
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolaege
update is
l
f
o
r add
i
n
g types to isl_{union_,}pw_qpolynomial_fold
s
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoolaege
allow codegen on
s
et
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolae
g
e
iscc: codegen:
d
etect strides
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
i
s
cc: use
s
impli
f
ied CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
update isl for rename of
i
sl_pw_qpoly
n
o
m
ial_fold
_
ad
d
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
ola
e
ge
iscc
.
c
:
union_pw_qpolynomial_upper_bound: fix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n V
e
rdoo
l
aege
summate
.
c:
f
i
x typo in co
m
ment
commit
|
commitdiff
|
tree
2010-08-17
Sven
V
erdool
a
ege
isl_map_app
l
y_pw_q
p
oly
n
omial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
oolaege
up
d
ate isl from isl_u
n
ion_map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
iscc: allow inv
e
rse on non-
u
nion maps again
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolae
g
e
iscc:
add wrap a
n
d
unwra
p
oper
a
tions
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdo
o
laeg
e
ad
d
isl_union_
m
ap_ap
p
ly_unio
n
_pw_qpolynomial
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
isl_
p
w_
q
polynomia
l
_
s
um: handle isl
_
pw_qpo
l
ynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
up
d
a
t
e isl for nested dimens
i
on
s
pecifi
c
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
isl_map_ca
r
d: postpo
n
e sh
u
ffling around
o
f dime
n
sions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Ver
d
o
o
lae
g
e
up
d
ate isl for isl_basic_map_move_di
m
s
commit
|
commitdiff
|
tree
2010-08-04
Sven Verdoolaege
isl_pw_qpolynom
i
a
l
_sum:
p
ush conversion to Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven Ver
d
oolae
g
e
isl
_
pw_qp
o
l
y
no
m
i
al_
s
um: check
f
or unbound
e
d
domains
commit
|
commitdiff
|
tree
2010-08-02
S
ven Verdoolaege
avoi
d
use of
isl_dim i
n
tern
a
l
s
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
d
o
olaege
i
s
c
c
:
support
codeg
e
n operatio
n
if CLooG is avail
a
ble
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: swi
t
ch
t
o usin
g
union
s
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
r
d
oolaeg
e
add isl_u
n
ion_pw_qpolynom
i
al_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoolaege
add i
s
l_un
i
on_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_qpolynomia
l
_sum: take tup
l
e names into account
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaeg
e
i
s
l_map_car
d
: prese
r
ve full
doma
i
n dimen
s
ion informati
o
n
commit
|
commitdiff
|
tree
2010-07-31
Sven
Verdo
o
laege
update isl for change
i
n isl_hash
_
table_fore
a
ch
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oola
e
ge
ba
r
vi
n
ok_en
u
m
e
rat
e
.
cc: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-07-03
Sven Ver
d
oolaege
doc: add some more paper
s
refering to the libr
a
ry
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
b
arv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
update i
s
l to ve
r
sion
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n: proper
l
y add
i
s
l
f
l
a
g
s and libs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
r
doola
e
g
e
configure
.
i
n
:
d
r
o
p
cal
l
to
g
l_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
d
o
olaege
genfun
.
cc: f
i
x printf format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
olaege
test_approx
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_bound
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
do
o
laeg
e
configure
.
in:
stop co
m
p
il
i
ng Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
ver
i
fy_lexsmaller
.
c
: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid u
s
e of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
V
erdo
o
laege
evalue
_
i
sl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
V
erdoola
e
ge
iscc: recover f
r
om errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
Ver
d
oolaege
update isl for improved erro
r
h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
la
e
g
e
iscc
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sv
e
n Ver
d
oolae
g
e
doc: is
c
c: up
d
ate docum
e
ntation of "u
b
" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
test_appro
x
:
i
nclu
d
e
ctype
.
h for is
s
p
a
ce
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
t
e
st_approx: i
n
c
l
ude config
.
h for
H
AVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoo
l
a
e
ge
test_boun
d
:
incl
u
de
confi
g
.
h
for
H
A
VE_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolae
g
e
iscc: add verti
c
es
operati
o
ns
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdool
a
ege
optional
l
y us
e
isl to
pe
r
form parametri
c
vertex en
u
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
aege
update isl-polyl
i
b
for han
d
ling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
d
rop distinction between
ba
r
v
inok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
remove bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update
i
sl fo
r
generic isl_pw_
q
poly
n
o
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
con
f
igu
r
e
.
i
n
: drop bv_omega_progra
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
add isl
_
c
t
x
_peek_barvinok_option
s
commit
|
commitdiff
|
tree
2010-06-07
Sven V
e
rdoolaege
iscc: pa
r
se barvinok
op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaeg
e
export i
s
l_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdo
o
lae
g
e
M
akefile
.
am: drop dependenc
e
o
n
d
oc/o
m
eg
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdoolaege
update is
l
f
o
r rename of i
s
l_p
w
_q
p
ol
y
nomia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
verif_ehrhart
.
c:
a
dd mi
s
sing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for
a
r
gu
m
ent parsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verd
o
olae
g
e
update
i
sl
for keeping track of user
o
ption
s
commit
|
commitdiff
|
tree
2010-05-19
Sven
Ve
r
doolae
g
e
test_bound: r
e
write in C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
upda
t
e isl for help message printi
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
remove ev
a
lue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Ver
d
oolae
g
e
remov
e
e
v
a
l
ue_range_pr
o
p
a
gation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doolaege
tes
t
_bound: use isl interface for computing bound
s
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
r
d
ool
a
ege
barvinok_bound: use isl in
t
erface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oo
l
a
e
g
e
i
scc: support ub
e
ven
i
f
GiNaC support was not co
m
piled in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ve
r
doolaege
add gener
i
c
i
s
l_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
r
d
o
o
l
aege
upda
t
e
i
s
l
for isl_pw_
q
polyno
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
test_bou
n
d:
u
s
e isl during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaeg
e
barvin
o
k_bound:
use isl during verifica
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoolaege
verify
.
c: extrac
t
s
om
e
h
elper func
t
ions fo
r
is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
intro
d
u
c
e "boun
d
" option
commit
|
commitdiff
|
tree
next