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
Sv
e
n Verdool
a
eg
e
barvinok
0
.
3
2
commit
|
commitdiff
|
tree
2010-09-10
Sven V
e
rd
o
olaege
iscc: add
l
e
x
icog
r
aphic oper
a
t
o
rs
commit
|
commitdiff
|
tree
2010-09-10
S
ven Verdoolaege
upd
a
te isl to version 0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven Verd
o
o
laege
iscc: add "s
o
u
rce" operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
iscc: add
support for strings
commit
|
commitdiff
|
tree
2010-09-06
Sven V
e
rdoola
e
ge
iscc: print error message on us
e
of
unknown i
d
entifier
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdoo
l
aege
iscc: s
u
pport
union se
t
s in vertices operat
i
on
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdoolaege
add isl_list_co
n
cat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaeg
e
barvi
n
ok_b
o
u
n
d:
u
se isl to split periods
commit
|
commitdiff
|
tree
2010-09-05
Sv
e
n
Ver
d
o
o
l
a
ege
update isl for isl_pw_qpolynom
i
al_split_p
e
riods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
d
o
c: mark Poly
L
i
b
interface
obsol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sven V
e
rdoo
l
aege
Mak
e
file
.
am: drop references to o
b
solete @bv_b
a
rvino
k
_b
o
und@
commit
|
commitdiff
|
tree
2010-08-31
Sven
V
e
rdoolaeg
e
evalue_convert
.
cc: evalue_print_isl:
pr
i
n
t
end-of-l
i
ne
commit
|
commitdiff
|
tree
2010-08-30
Sven
V
erdoolaege
isc
c
: al
l
ow
coer
c
io
n
of binary list into first el
e
ment
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
o
olaege
ba
r
vinok_bound:
convert to isl_pw_qpol
y
nom
i
al on
c
e
commit
|
commitdiff
|
tree
2010-08-28
Sven Verdoolaege
b
a
rv
i
nok_bound: use isl to
s
plit on d
o
mai
n
size
commit
|
commitdiff
|
tree
2010-08-26
Sven Ve
r
d
oolaege
set se
n
s
i
b
le
def
a
ults wit
h
--polynomial-ap
p
ro
x
imation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verdoolaege
isl_pw_qpolyn
o
mial_s
u
m: reuse barvino
k
_op
t
io
n
s
if avail
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
en Verdoolaeg
e
isl_map
_
c
a
r
d: reuse barv
i
no
k
_options if ava
i
labl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
ven Verdool
a
ege
update isl for aligning p
a
rameters o
f
union arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: add "join"
o
perat
i
on on folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
do
o
laege
iscc:
add "jo
i
n" o
p
eratio
n
on ma
p
s and folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Ve
r
d
o
olaege
iscc:
suppo
r
t
ad
d
ition on a pair of
a fol
d
and a quasi
p
olyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
u
pdate isl
f
or ad
d
in
g
type
s
to isl_{union_,}pw_qpolyno
m
ial
_
folds
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
laege
allo
w
codeg
e
n on sets
commit
|
commitdiff
|
tree
2010-08-18
S
ven Verdoolaege
isc
c
: codeg
e
n: detect
s
trides
commit
|
commitdiff
|
tree
2010-08-18
Sv
e
n Verdoolaege
iscc:
use simplified CLooG interface
commit
|
commitdiff
|
tree
2010-08-18
S
ven Ve
r
d
oolaege
update isl for rename of isl_pw_qp
o
lyno
m
i
a
l_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoolae
g
e
iscc
.
c
:
union
_
pw_qp
o
lynomial
_
upper_bound:
fix
memo
r
y
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n Ve
r
doolaege
su
m
mate
.
c: fix ty
p
o in com
m
ent
commit
|
commitdiff
|
tree
2010-08-17
Sv
e
n Verdo
o
l
a
ege
i
s
l
_
ma
p
_appl
y
_pw_qpolynomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verdoolaege
upd
a
te isl from isl_union_map
f
ixes
commit
|
commitdiff
|
tree
2010-08-10
S
ven Verdoolaege
i
s
cc: all
o
w inverse on non-union
maps a
g
a
i
n
commit
|
commitdiff
|
tree
2010-08-05
S
v
en
V
erdoolaege
iscc:
a
dd wrap and
unwrap operations
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaege
add isl_union_map_a
p
ply_union_pw_qpol
y
nomial
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
er
d
oolaege
isl_
p
w_qpoly
n
omial_sum:
handle
i
sl_pw_qpolyn
o
mia
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sv
e
n Verdoolaege
u
p
date i
s
l
for
n
este
d
dimension specifications
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verd
o
olae
g
e
i
sl_ma
p
_card: postpone s
h
uffling around of dimensions
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven
V
erdo
o
laeg
e
update isl
f
or
i
sl_bas
i
c_map_mo
v
e_d
i
ms
commit
|
commitdiff
|
tree
2010-08-04
Sven Verd
o
olaege
isl_pw_qpolynomial_
s
um: push conversion
to PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sven V
e
rdo
o
lae
g
e
isl_pw_qpo
l
y
no
m
i
a
l_s
u
m: check for unboun
d
e
d
domain
s
commit
|
commitdiff
|
tree
2010-08-02
Sven Ve
r
d
o
olae
g
e
avoid use of isl_
d
im internals
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdo
o
laege
iscc: suppor
t
c
odeg
e
n
operation if CLooG is available
commit
|
commitdiff
|
tree
2010-07-31
Sven V
e
rdo
o
laege
iscc: swit
c
h to u
s
ing uni
o
ns
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
add
isl_
u
n
i
on_pw_qpolynom
i
al_
s
um
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdoolaege
add isl_uni
o
n_map_car
d
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolaege
i
s
l
_
pw_qpolynomi
a
l_sum: tak
e
tup
l
e names into account
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verd
o
olaege
isl_map_card: pres
e
r
v
e
ful
l
domain dimens
i
on info
r
mation
commit
|
commitdiff
|
tree
2010-07-31
S
ven V
e
rdoo
l
a
e
ge
update is
l
for ch
a
nge
in isl_has
h
_tab
l
e_foreach
Signed-off-by:
Sven Verdoolaege
<skimo@kotnet.org>
commit
|
commitdiff
|
tree
2010-07-31
S
ven
Verdoolaege
barvinok_enumerate
.
cc
:
fix
p
rintf format
commit
|
commitdiff
|
tree
2010-07-03
S
v
e
n
Verdool
a
ege
d
o
c
: ad
d
s
ome more
p
ap
e
rs
r
efe
r
ing
to the l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
barvinok 0
.
3
1
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
upda
t
e isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en V
e
rd
o
o
l
a
ege
confi
g
ure
.
in: prop
e
rly
a
dd isl flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n: drop call to g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
g
e
nfun
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n
V
erdoolaege
test_approx
.
c:
fix
printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
t
est_bound
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdo
o
laeg
e
c
onfigure
.
in:
stop com
p
ilin
g
Omega by defau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven Verd
o
olaege
verify_lexsma
l
ler
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven
V
erdoolaege
e
v
alue
.
c: av
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdool
a
ege
evalue
_
isl
.
c: fix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recov
e
r fr
o
m errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for improved e
r
ro
r
h
a
ndli
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven
V
erdoolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoo
l
ae
g
e
doc
:
iscc:
u
pdate d
o
cumentation
o
f "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
t
est_approx: inclu
d
e ctype
.
h f
o
r isspace
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
test_approx: i
n
cl
u
de confi
g
.
h
for H
A
VE_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
te
s
t_bound: inc
l
u
d
e co
n
fig
.
h
for HAVE_SYS_
T
IMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add v
e
rti
c
es op
e
rat
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
optionally use isl to perform
parame
t
ric vertex
en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
u
p
date isl-polylib
f
o
r ha
n
dling of rational se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
drop distinction between
b
arvin
o
k
-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
re
m
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doola
e
ge
update
i
sl for g
e
n
e
ric isl_
p
w_q
p
oly
n
o
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n V
e
rdoolaege
c
o
nfig
u
re
.
in
:
drop bv_om
e
ga_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
o
l
aeg
e
add isl_
c
tx_pe
e
k_barvinok_
o
pt
i
o
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdoolaeg
e
isc
c
: parse barvin
o
k options
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdo
o
laege
exp
o
rt
i
sl_qp
o
lynomial_fro
m
_eva
l
ue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am:
d
rop
d
epend
e
n
c
e on doc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
S
ven
V
erdoolaege
up
d
a
t
e isl f
o
r ren
a
me o
f
i
sl_pw_qpolynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Ver
d
oolaege
verif_eh
r
hart
.
c: add missing
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
con
f
i
g
ure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolae
g
e
use isl for argument parsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
update isl fo
r
keeping track of
u
se
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
te
s
t_bou
n
d:
r
e
write
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoola
e
g
e
update
i
sl
f
or help
message
p
rinting
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoola
e
ge
r
e
move evalue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en
Verdool
a
ege
r
e
m
ove ev
a
lue_ra
n
ge
_
pr
o
pag
a
tion
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoola
e
ge
test_bound: use isl interface for comput
i
ng bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
erdoo
l
aege
barvin
o
k_bound: use isl interf
a
ce for computin
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
i
s
cc:
s
u
ppo
r
t u
b
ev
e
n if GiNaC su
p
po
r
t
was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaeg
e
add gen
e
r
i
c
isl_pw_q
p
ol
y
nomi
a
l
_
b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaeg
e
update is
l
for
isl_pw_qpolynomi
a
l_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
test_boun
d
: use
i
sl during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
barvi
n
ok
_
bou
n
d
:
u
se
isl
d
uring
v
e
r
i
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdoola
e
g
e
v
erify
.
c: e
x
tr
a
ct some helper f
u
nctions for
i
s
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
introd
u
ce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
opt
i
ons
.
c:
fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n Verdoolaege
isc
c
: add applic
a
tion
operations
commit
|
commitdiff
|
tree
next