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.31
2010-06-29
Sven Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
ae
g
e
update isl to vers
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
configure
.
in: properly
a
d
d isl flags and libs to p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaeg
e
configure
.
in: drop
c
all to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
genfun
.
cc: fix
prin
t
f format
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
test_approx
.
c:
fix print
f
for
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bound
.
c: f
i
x printf fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoo
l
aege
confi
g
u
r
e
.
i
n
: st
o
p
c
ompilin
g
Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
verify
_
le
x
smal
l
e
r
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Verdo
o
lae
g
e
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolaege
evalue_isl
.
c: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoo
l
aege
i
s
cc: recove
r
from
e
rrors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaege
up
d
ate isl for improved err
o
r handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolaege
iscc
.
c:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
S
ven Verd
o
olaege
doc: iscc:
update documentat
i
on of "ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
t
e
st_appr
o
x: include ct
y
p
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
test_a
p
prox: in
c
lude config
.
h fo
r
HAVE_SYS_TIME
S
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
eg
e
test_boun
d
: i
n
c
lude confi
g
.
h fo
r
HAVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
i
s
c
c: add vertices operat
i
ons
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
r
doo
l
a
ege
o
pt
i
onal
l
y use is
l
to perform p
a
r
a
m
etric ve
r
t
ex enumera
t
i
on
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verd
o
olaege
update isl-polyli
b
fo
r
hand
l
ing
of ratio
n
al s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
drop distincti
o
n between barvinok-core and barv
i
nok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaeg
e
rem
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oo
l
a
e
g
e
update isl for gene
r
ic i
s
l_
p
w_
q
polynomial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
c
o
nfig
u
r
e
.
i
n
:
d
rop bv_om
e
ga
_
p
rogram
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
add isl_ctx_peek_ba
r
vinok_optio
n
s
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolae
g
e
i
s
c
c:
p
a
r
se
barvinok
o
ptions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaeg
e
export isl_q
p
olynomial_from
_
eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
ge
Make
f
ile
.
am: drop dependence on doc/om
e
ga
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Verdoolaege
upda
t
e isl for rename
o
f
i
sl
_
p
w
_qpolynom
i
al_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
verif_ehrhart
.
c
: add mi
s
sin
g
include
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n
Ve
r
doolaege
config
u
re
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
rd
o
olaeg
e
use
i
sl for argument parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
lae
g
e
upd
a
te isl f
o
r keeping tra
c
k of
u
s
e
r options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
oolae
g
e
te
s
t
_bound: re
w
rite in C
commit
|
commitdiff
|
tree
2010-05-19
S
v
e
n Verd
o
olaege
u
pdate isl for he
l
p
m
e
ss
a
ge printing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoo
l
ae
g
e
r
e
move e
v
alu
e
_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
remov
e
evalue_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
tes
t
_bound: use i
s
l interface for computing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
b
a
rvinok_bound: u
s
e isl inte
r
face for computing
bound
s
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdool
a
e
g
e
iscc: support ub even if GiNaC suppo
r
t
was not compiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdo
o
l
a
e
g
e
add
g
ener
i
c i
s
l_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
update isl for isl_
p
w_qpolynomial_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoolaege
tes
t
_boun
d
: us
e
isl du
r
ing verification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Ver
d
oolaege
b
a
rvinok_bound: use isl duri
n
g
veri
f
i
c
ation
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoola
e
ge
ver
i
fy
.
c: extract some helper f
u
nctions for is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verd
o
o
laege
introdu
c
e "bo
u
nd" opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoola
e
ge
options
.
c
:
f
i
x
p
rintf f
o
rmat
commit
|
commitdiff
|
tree
2010-05-10
Sven V
e
rd
o
olaege
i
scc: add applica
t
ion operations
commit
|
commitdiff
|
tree
2010-04-24
S
v
en
V
erdoo
l
a
e
ge
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
olaege
iscc: fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
update i
s
l for
r
eadi
n
g of st
r
ings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olae
g
e
update isl f
o
r
fi
x
in isl_prin
t
er
_
print_pw_
q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
erdoola
e
ge
update isl-polylib for change in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdool
a
ege
isc
c
: a
l
low specification of outpu
t
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for change in isl_set_
g
ist arg
u
ment
commit
|
commitdiff
|
tree
2010-04-11
Sven Ve
r
doolaege
updat
e
i
sl for rename of is
l
_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
i
n
: add isl flags and libs to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
doolaege
is
c
c
: test i
s
l_stream for eof r
a
ther than the unde
r
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc:
a
d
d
de
l
t
a
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaeg
e
update
isl
for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verd
o
olaege
dro
p
ba
r
vinok_enumerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n
V
erdo
o
laege
iscc: ad
d
coales
c
e
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
ola
e
g
e
u
pdat
e
i
s
l
for isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
drop
"
Omega counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolae
g
e
test
_
boun
d
.
c
c
: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaeg
e
bernstei
n
.
cc:
fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
evalue
_
range_
p
ropagation:
f
ix s
u
bst
i
tution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configure
.
in
:
use a
b
solute
srcdir of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdool
a
ege
only
di
s
t
r
ibut
e
bundled
submodules
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
V
erdoolaege
update omega for configuration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
c
o
n
figure
.
in: a
l
low "bui
l
d
"
PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verd
o
olaege
isl_qpol
y
nomial_fold_from_ginac: h
a
ndle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdo
o
l
a
e
ge
isl_qp
o
lynomial_
f
rom_gina
c
: expa
n
d ex be
f
or
e
in
s
pectio
n
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaeg
e
is
l
_o
b
j_list
.
c: update to use of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
iscc: add gist oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
update isl for introducti
o
n o
f
isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isl_pw_qpolynomi
a
l
_
u
pp
e
r_bound: set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
iscc: add some comp
a
rison op
e
r
ations
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verd
o
olaege
iscc: add
i
n
verse o
p
eratio
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix
u
p ty
p
e of find_match
i
ng_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoola
e
ge
i
scc: add affine hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
o
olaege
iscc: ad
d
operati
o
n
t
o construct universal m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verd
o
ola
e
ge
i
s
cc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
i
ntersect_domain opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: al
l
ow over
l
oadin
g
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
iscc: add more
dom
o
per
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
doc: reorganize tabl
e
of i
s
cc operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
u
p
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Ver
d
oolaege
AUTHORS: update suppor
t
informati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
o
la
e
ge
randomvector
:
d
o
uble size of
c
oeff
i
c
i
ent
s
o
n each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
iscc: supp
o
r
t transitive closure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaeg
e
upd
a
te isl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
barvino
k
_
e
.
cc: enumerate_
v
d: r
e
mov
e
unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
eva
l
ue
.
c
: Pol
y
h
e
dr
o
n_Insert: ad
d
missing
r
eturn
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
e
va
l
ue
.
c: reduce_e
v
alue: re
m
ove unuse
d
var
i
a
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
next