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
S
ven
V
erdoolaege
barvinok 0
.
32
commit
|
commitdiff
|
tree
2010-09-10
Sven
V
er
d
oola
e
ge
i
s
cc: add lexicographic o
p
erato
r
s
commit
|
commitdiff
|
tree
2010-09-10
Sven Verdoolaege
up
d
at
e
isl to version
0
.
04
commit
|
commitdiff
|
tree
2010-09-07
Sven
Verd
o
o
la
e
ge
i
s
cc:
a
dd "source" operation
commit
|
commitdiff
|
tree
2010-09-06
S
v
en Verdool
a
eg
e
is
c
c:
add s
u
p
p
o
r
t
for s
t
rings
commit
|
commitdiff
|
tree
2010-09-06
Sven Ver
d
oo
l
aege
iscc: print error messa
g
e on u
s
e of unknown
identifier
commit
|
commitdiff
|
tree
2010-09-06
Sve
n
V
erdoolaege
iscc: sup
p
or
t
union sets i
n
vertices operation
commit
|
commitdiff
|
tree
2010-09-06
Sven Verdool
a
e
g
e
add isl_list_concat
commit
|
commitdiff
|
tree
2010-09-05
Sven Verdoolaege
barv
i
nok_bound:
u
se isl
t
o split pe
r
i
ods
commit
|
commitdiff
|
tree
2010-09-05
Sven Ver
d
oolaege
update isl for
i
sl
_
pw_qpolynomi
a
l_spli
t
_periods
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdoolaege
d
oc: mark
Pol
y
Li
b
interfa
c
e ob
s
ol
e
scent
commit
|
commitdiff
|
tree
2010-08-31
Sv
e
n Verdoolaege
Makef
i
le
.
am: drop refer
e
nces to obsolete @bv_bar
v
inok_bound@
commit
|
commitdiff
|
tree
2010-08-31
Sven Verdool
a
ege
evalue_con
v
er
t
.
cc: eva
l
ue_
p
rint_isl:
p
r
i
nt end-of-line
commit
|
commitdiff
|
tree
2010-08-30
Sve
n
Verd
o
olaege
iscc: al
l
ow coercion
o
f
bi
n
ary list into
first element
commit
|
commitdiff
|
tree
2010-08-28
Sven Ver
d
oolaege
b
arvinok_bound: co
n
vert to i
s
l_pw_q
p
o
lynomial o
n
ce
commit
|
commitdiff
|
tree
2010-08-28
Sven
Ver
d
oolaege
b
a
rv
i
nok_
b
ound
:
use i
s
l to
s
plit on dom
a
in s
i
ze
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
s
et sensible
d
efaults with --p
o
lynomia
l
-a
p
p
roximation
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
i
s
l_p
w
_qpo
l
ynomia
l
_sum:
reuse barvin
o
k_op
t
ion
s
if avai
l
a
ble
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
Sven Verdoolaege
isl_
m
a
p
_c
a
r
d
: re
u
se barvinok_
o
ptions if ava
i
labl
e
in
.
.
.
commit
|
commitdiff
|
tree
2010-08-26
S
v
e
n
Verdoolaege
upd
a
te isl for
a
ligning parameters of un
i
on arguments
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdo
o
l
a
ege
is
c
c:
a
dd "join" op
e
ration on folds
commit
|
commitdiff
|
tree
2010-08-18
Sve
n
Verdoo
l
a
e
ge
iscc: add "join" oper
a
tion on m
a
ps a
n
d fol
d
s
commit
|
commitdiff
|
tree
2010-08-18
S
v
e
n
Verd
o
o
laege
iscc: suppor
t
addition on a
p
air of a fol
d
and a qu
a
sipolyno
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
S
v
en Verd
o
olaege
update isl for adding types to isl
_
{union_,}pw_qpoly
n
o
m
i
al_fo
l
ds
commit
|
commitdiff
|
tree
2010-08-18
Sven
Verdoo
l
aege
al
l
ow
c
odegen on set
s
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoolaege
iscc: codeg
e
n:
d
et
e
ct
stri
d
es
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
o
l
aege
iscc: use simplified CLooG interfa
c
e
commit
|
commitdiff
|
tree
2010-08-18
Sven Verdoo
l
ae
g
e
u
p
date
isl for
r
en
a
me of isl_
p
w
_qpolynomial_fold
_
add
commit
|
commitdiff
|
tree
2010-08-18
Sven V
e
rd
o
olaege
iscc
.
c: union_pw_qpolynomial_upper
_
boun
d
:
fix me
m
ory
.
.
.
commit
|
commitdiff
|
tree
2010-08-18
Sven Verd
o
olaege
su
m
mate
.
c: fix
typo
in comment
commit
|
commitdiff
|
tree
2010-08-17
S
ven Verd
o
o
laege
isl_map_apply_pw_qp
o
l
y
nomial: fix typo
commit
|
commitdiff
|
tree
2010-08-10
Sven Verd
o
ol
a
ege
update isl fr
o
m
isl_union_
m
ap fixes
commit
|
commitdiff
|
tree
2010-08-10
Sven Ver
d
o
o
lae
g
e
iscc: allow inverse on non-union maps
a
gain
commit
|
commitdiff
|
tree
2010-08-05
S
v
e
n
Verdoolaeg
e
iscc: add
wra
p
a
nd
u
nw
r
a
p
o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-08-05
S
ven Verdool
a
ege
add
i
sl_union_map
_
apply
_
union_pw_qpoly
n
omial
commit
|
commitdiff
|
tree
2010-08-05
Sven
Verdoolaeg
e
i
s
l_pw_qp
o
l
y
nomial_sum: h
a
ndle isl_
p
w
_qpolyn
o
m
i
a
l
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sven Verdoolaege
update
i
sl
f
o
r nested
d
imension specifi
c
ations
commit
|
commitdiff
|
tree
2010-08-05
Sven Ve
r
doolaege
i
sl_map_card: postpone
s
h
u
ffling around of dimens
i
o
n
s
.
.
.
commit
|
commitdiff
|
tree
2010-08-05
Sve
n
Verdoolaege
u
p
date isl for isl_basic_map_mov
e
_dims
commit
|
commitdiff
|
tree
2010-08-04
S
v
en Verdoolae
g
e
isl_pw_qpolynomial_sum: push
c
o
nversio
n
to PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-08-04
Sve
n
Verdoo
l
aeg
e
isl_pw_qpolynom
i
al_su
m
: check for unbounded d
o
mains
commit
|
commitdiff
|
tree
2010-08-02
S
v
en
V
erd
o
olaege
avo
i
d use of isl_dim inter
n
als
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdool
a
ege
iscc
:
sup
p
ort code
g
e
n
operat
i
on
if CLooG
is available
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
iscc:
s
witch to using unions
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
V
erdoolaege
add isl_union_pw_
q
polynomial_su
m
commit
|
commitdiff
|
tree
2010-07-31
Sve
n
Verdool
a
ege
a
dd isl_unio
n
_map_card
commit
|
commitdiff
|
tree
2010-07-31
Sven Verdoolaege
isl_pw_q
p
ol
y
n
omial_sum: tak
e
tuple na
m
e
s into accoun
t
commit
|
commitdiff
|
tree
2010-07-31
S
v
e
n
Verdoola
e
ge
i
sl_map
_
card:
preserve full domai
n
dimension
information
commit
|
commitdiff
|
tree
2010-07-31
S
v
en Ve
r
doolaege
upd
a
te
i
sl for change
i
n isl
_
hash_t
a
b
l
e
_foreach
Signed-off-by: Sven Verdoolaege <
skimo@kotnet.org
>
commit
|
commitdiff
|
tree
2010-07-31
S
ven Verdoolae
g
e
barv
i
nok_enum
e
rate
.
cc:
f
ix printf format
commit
|
commitdiff
|
tree
2010-07-03
Sven
V
e
r
d
oolaege
doc: add some
m
o
re papers refering
t
o the libra
r
y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
ola
e
ge
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
dool
a
ege
upda
t
e
isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
erdoolaege
co
n
figu
r
e
.
in:
p
r
o
perly add isl f
l
ags
and li
b
s to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
c
onfigure
.
in: drop
call to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
genfun
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
e
rdoolaege
test_approx
.
c
:
fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoo
l
a
e
g
e
test_bound
.
c: fi
x
pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
configur
e
.
in: stop compiling Ome
g
a by de
f
au
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sven V
e
rdoo
l
aege
v
e
ri
f
y_l
e
x
s
maller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoola
e
ge
evalue
.
c: a
v
oid use
o
f
all
o
c
a
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoo
l
aege
evalu
e
_isl
.
c: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: reco
v
er from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
update i
s
l
f
or
improve
d
e
rror ha
n
dling
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdo
o
lae
g
e
isc
c
.
c:
fi
x
typ
o
commit
|
commitdiff
|
tree
2010-06-13
Sven
V
erdoolaege
doc: iscc: update docu
m
ent
a
t
i
o
n
of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx
:
inc
l
ude ctype
.
h for isspac
e
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
test_approx
:
include config
.
h f
o
r HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laege
tes
t
_
bound: in
c
lude config
.
h
f
or HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add vertic
e
s operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
opt
i
ona
l
l
y
use isl
t
o perform parametric verte
x
enumer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
u
p
date isl-pol
y
lib for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
drop dis
t
inction be
t
ween barvi
n
ok-core a
n
d barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
aeg
e
remov
e
bernste
i
n
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoo
l
aege
update i
s
l for g
e
neric isl_pw_
q
polynomia
l
_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
configu
r
e
.
in: drop b
v
_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
a
d
d isl_ctx_pe
e
k
_
b
a
r
v
i
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verdoolaege
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoola
e
ge
ex
p
or
t
is
l
_q
p
o
lynomial_from_
e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
olaege
Makefile
.
am:
d
rop dependenc
e
on doc/ome
g
a
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
d
o
olaege
upda
t
e isl fo
r
rename of
isl_pw_qpolynomia
l
_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
verif_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aege
use isl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verd
o
olaege
update isl for keepi
n
g track of us
e
r
op
t
io
n
s
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n
Verdoo
l
aege
t
e
st_bound: rewrite
i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl for help
mes
s
age pr
i
nting
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
r
e
move evalue
_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oola
e
ge
remove evalue_r
a
nge_pro
p
ag
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
t
e
s
t_bou
n
d: use isl interface for compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven
V
erdoolaege
b
a
r
vinok_b
o
und: use isl interface for comput
i
ng bou
n
d
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
l
a
ege
iscc: suppo
r
t ub even if GiNaC
support was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoo
l
aege
ad
d
ge
n
eric isl_pw_q
p
o
l
ynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
update
i
sl for isl_pw_qpolynomia
l
_
b
ound_range
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolae
g
e
test_bound: use i
s
l during
ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
barvin
o
k_bound: use isl
during verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
ver
i
f
y
.
c: extrac
t
som
e
h
elpe
r
fu
n
ct
i
ons for
i
sl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoo
l
a
ege
options
.
c:
fix prin
t
f for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoola
e
g
e
iscc: add
appl
i
cat
i
on operations
commit
|
commitdiff
|
tree
next