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
barvi
n
ok 0
.
3
2
.
1
commit
|
commitdiff
|
tree
2010-09-13
Sven Verdool
a
eg
e
update isl fo
r
f
i
x
in parameter al
i
gnmen
t
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
erdo
o
laege
barvino
k
0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdool
a
ege
iscc: add lexicograph
i
c operators
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoola
e
ge
upda
t
e isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Ve
r
d
oolaege
iscc: add "sou
r
ce" operation
commit
|
commitdiff
|
tree
2010-09-06
Sven
V
erdoolaege
iscc
:
a
d
d s
u
pport for
strings
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoola
e
ge
iscc: p
r
i
n
t
e
rr
o
r message
o
n use of u
n
k
now
n
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc:
s
upp
o
rt union sets in v
e
rtices
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-09-06
Sven Verd
o
o
laege
add is
l
_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven V
e
r
d
oolaege
ba
r
vinok_bound:
use isl to split
p
eriods
commit
|
commitdiff
|
tree
2010-09-05
Sven
Verdoolaege
update isl
f
or isl_p
w
_
q
polynomial_split_p
e
r
iods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoola
e
ge
doc: ma
r
k Pol
y
L
ib
interface obsolesce
n
t
commit
|
commitdiff
|
tree
2010-08-31
Sven Verd
o
o
l
aege
Makefile
.
am: drop references to obsolete @bv_barvinok_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
evalue_conver
t
.
c
c
: eva
l
ue
_
print_isl: print end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sven Verdoolaeg
e
i
s
cc: allo
w
coercion o
f
binary
l
ist into first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdo
o
laeg
e
b
arv
i
n
o
k_bound
:
co
n
vert to isl_pw_qpolynomial once
commit
|
commitdiff
|
tree
2010-08-28
Sven
Verdo
o
laege
b
a
rvinok_bound: use isl
to
split on domain size
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n V
e
rdoolaege
set sens
i
ble defaults with --polynomial-approximat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven V
e
rdoolaege
i
sl_pw_qpolynom
i
a
l_sum
:
reuse barvinok_options if available
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sv
e
n
V
er
d
oolae
g
e
is
l
_map_card:
reuse b
a
rvinok_option
s
if available in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
doolaeg
e
update i
s
l f
o
r aligning parameters of union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en V
e
rd
o
olaege
isc
c
: add "join"
o
peration
on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Ve
r
doola
e
ge
i
s
cc: add "j
o
in"
o
peration o
n
maps and fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
iscc: su
p
p
o
rt
a
ddition on a pair of
a
fold and a quasipol
y
n
o
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven
V
erd
o
olaege
update
isl for
adding types to isl_
{
un
i
on_,}p
w
_
q
polynomia
l
_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doola
e
ge
al
l
ow codegen on
s
e
ts
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codegen: detect strid
e
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: use simplified C
L
ooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
doo
l
ae
g
e
update isl for
r
enam
e
of
i
sl_
p
w
_qpolynomial_fold_
a
dd
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rdool
a
ege
iscc
.
c: u
n
ion
_
pw
_
qpol
y
n
omial_
u
pper_bound: fix memory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
ven
V
erdoolaege
s
ummate
.
c
:
f
i
x ty
p
o in com
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sven
Verdoolae
g
e
i
sl_
m
ap_apply
_
p
w_qp
o
l
ynomial: fix
t
ypo
commit
|
commitdiff
|
tree
2010-08-10
Sve
n
V
er
d
oolaege
update isl
f
r
o
m
i
sl_union
_
map fixes
commit
|
commitdiff
|
tree
2010-08-10
Sv
e
n Verdoo
l
aege
iscc: a
l
lo
w
inver
s
e
on non-union map
s
agai
n
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
V
erdoolaege
iscc: add wrap and un
w
rap o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdoolaege
add isl_u
n
ion
_
map_appl
y
_union_pw_qpolynomia
l
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
isl_pw_qp
o
lyno
m
ial_sum: handle isl_pw_qpolynomials
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven V
e
rdoolaege
update
i
sl for
nested dimension spe
c
if
i
cati
o
ns
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaeg
e
is
l
_ma
p
_c
a
r
d
: postpone shuffling around
o
f
d
i
mens
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
Ver
d
oo
l
aege
u
pdate
is
l
for i
s
l
_basic_map_move_dims
commit
|
commitdiff
|
tree
2010-08-04
Sv
e
n Verdool
a
ege
isl_pw_qp
o
l
yno
m
ial_sum: push
c
onvers
i
o
n
to Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
S
v
en
V
erdool
a
ege
i
s
l_pw_qp
o
lynomial_sum: check for unbounded
d
omains
commit
|
commitdiff
|
tree
2010-08-02
Sve
n
Verd
o
olaege
avoid use of is
l
_
dim internals
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaeg
e
i
s
cc: support
codeg
e
n operation if CLooG
i
s
available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc: swi
t
ch to
u
sing
unions
commit
|
commitdiff
|
tree
2010-07-31
Sv
e
n Verdo
o
laege
ad
d
isl_uni
o
n_pw_qpoly
n
omial_sum
commit
|
commitdiff
|
tree
2010-07-31
Sven Ver
d
oolaege
add
isl_unio
n
_map_ca
r
d
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoo
l
aege
isl_pw_qp
o
lynom
i
al_sum: take t
u
ple n
a
mes int
o
account
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Verdoolaege
i
sl_map_
c
ard:
p
reserve
f
ull domain
d
im
e
nsion informat
i
on
commit
|
commitdiff
|
tree
2010-07-31
Sven Ve
r
do
o
laege
u
p
date i
s
l for change in
i
sl_hash_ta
b
le_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
barvinok_e
n
ume
r
ate
.
c
c
: fix printf f
o
r
mat
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoolaege
doc: a
d
d
some more papers refer
i
ng to
t
he library
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
b
a
rvi
n
ok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdoolaege
u
p
date isl t
o
version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdool
a
e
g
e
co
n
figure
.
i
n: proper
l
y add isl fla
g
s and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
gure
.
in:
drop call to gl_E
A
R
LY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
g
enfun
.
cc: fix
p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
test
_
approx
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
test_bound
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
c
onfigure
.
in
:
sto
p
compili
n
g
Omega
b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoolaege
v
e
rify_lexsmaller
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verd
o
olaege
evalue
.
c: avoi
d
use of a
l
l
o
ca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
ev
a
l
ue_
i
sl
.
c
: f
i
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
i
s
cc: recov
e
r from
errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
e
n Verdoolaege
update i
s
l fo
r
i
mprove
d
e
r
ror han
d
ling
commit
|
commitdiff
|
tree
2010-06-19
Sven Ver
d
oolaege
isc
c
.
c: fix
t
yp
o
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verdoo
l
aege
doc: iscc: upd
a
te do
c
umentation
o
f "ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
g
e
test_approx: inc
l
ude
c
t
ype
.
h for isspac
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
te
s
t_a
p
prox: in
c
lu
d
e conf
i
g
.
h for HAVE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_
b
ound:
i
n
c
lude confi
g
.
h for HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertice
s
operatio
n
s
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
o
p
tiona
l
ly
u
se
isl to perf
o
rm p
a
rametri
c
vertex enumerati
o
n
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdo
o
l
aege
updat
e
isl-pol
y
lib for handling of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
la
e
ge
drop d
i
stinct
i
o
n
between barvino
k
-core an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
remove
b
e
rnste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
up
d
ate isl
f
or
g
e
n
er
i
c isl_p
w
_
qpolynom
i
a
l
_
bo
u
n
d
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
rdoola
e
g
e
con
f
igure
.
in: drop b
v
_omeg
a
_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_ctx_peek_barvinok
_
options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verd
o
ola
e
ge
is
c
c: p
a
rse b
a
r
v
inok o
p
t
ions
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
exp
o
rt isl
_
qpolyno
m
ial
_
from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdool
a
ege
Makefile
.
a
m: drop de
p
e
nden
c
e
on doc/
o
mega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl for rename of isl_pw_qp
o
lyno
m
ial_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdo
o
laege
verif_e
h
rhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
c
o
n
figure
.
in:
fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl
f
or argument
parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoola
e
ge
update isl
f
or
k
eepi
n
g
track of user option
s
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaeg
e
test_bound
:
re
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl
for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
aege
remov
e
evalue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_range_p
r
opagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
test
_
bound
:
u
s
e isl inte
r
face for comp
u
ting bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
barvi
n
o
k_bou
n
d: use isl i
n
terface
for com
p
u
ting bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
iscc: supp
o
rt ub eve
n
if GiNaC suppor
t
was n
o
t compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
doola
e
ge
add generi
c
i
s
l_pw_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
lae
g
e
update isl fo
r
isl_p
w
_qpoly
n
omi
a
l_boun
d
_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
test_bound: use isl
during v
e
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
barvinok_boun
d
: use i
s
l
during verification
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
laege
verify
.
c: extr
a
ct some
helper fu
n
ct
i
ons for isl b
a
sed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
oola
e
ge
introduce "bou
n
d" option
commit
|
commitdiff
|
tree
next