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_enumerate.cc: fix printf format
2010-07-31
Sven Verdoolaege
barvinok_
e
numerate
.
c
c
: f
i
x p
r
in
t
f
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
S
v
e
n Verdoolae
g
e
d
o
c: add some
m
ore pa
p
ers refering to the
l
ibrary
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdo
o
laege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoola
e
ge
up
d
ate isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
conf
i
g
u
re
.
in: p
r
operly a
d
d isl flags
a
nd libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: dro
p
ca
l
l
t
o gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
genf
u
n
.
cc: fix
p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
te
s
t_
a
pp
r
ox
.
c: fix printf
fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
olaege
t
est_bound
.
c
: f
i
x
printf format
commit
|
commitdiff
|
tree
2010-06-29
S
v
e
n
Verdoolaege
c
on
f
ig
u
re
.
in: stop
c
ompiling Omega by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_lexsmall
e
r
.
c
: fi
x
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
l
aege
evalue
.
c: a
v
o
id use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
v
en Verdool
a
ege
e
value
_
isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolae
g
e
iscc: recov
e
r from errors
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoo
l
aege
u
p
date isl for improved
e
rror handl
i
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
doolaege
i
s
cc
.
c: f
i
x ty
p
o
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdo
o
laege
d
o
c:
i
s
c
c
: update docum
e
ntation of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
l
a
ege
test_approx: i
n
clu
d
e ctyp
e
.
h
for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verd
o
olaege
test_app
r
ox: inc
l
ude config
.
h for HAV
E
_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
lae
g
e
test_b
o
und: include conf
i
g
.
h for
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoola
e
ge
iscc: a
d
d vertices operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
opt
i
onally use isl to perform parametric vert
e
x e
n
umer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl-polyli
b
for ha
n
dlin
g
o
f
ratio
n
al s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
drop d
i
stinct
i
on
b
etwe
e
n
barv
i
nok-co
r
e and
b
a
rvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
remove bernstein
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
update
isl
f
or
generic isl
_
pw_qpolynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
confi
g
ure
.
in: d
r
op bv
_
omega_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
oolaege
add is
l
_c
t
x_peek_ba
r
vi
n
ok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdo
o
laege
iscc: parse barv
i
nok opti
o
ns
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verd
o
ol
a
ege
export isl_qpolynom
i
al_fro
m
_eval
u
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaege
Makefile
.
am:
drop depende
n
ce o
n
doc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
lae
g
e
update
is
l
for
rena
m
e of is
l
_
p
w_
q
po
l
ynomial_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
aeg
e
verif_eh
r
har
t
.
c: add missing
include
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
lae
g
e
configu
r
e
.
in: fix
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
use isl for argume
n
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verdo
o
laeg
e
upda
t
e isl for keeping
t
r
a
ck of us
e
r
options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
olaege
t
e
st_bound: r
e
write
in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
updat
e
isl for
h
e
l
p
messag
e
p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
er
d
o
o
laege
remove evalu
e
_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
re
m
o
ve e
v
alue_range_p
r
opag
a
ti
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
test_bou
n
d: u
s
e isl interface
f
or compu
t
ing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoolaege
b
a
rvi
n
ok_bound: use isl interface for comput
i
ng bound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
is
c
c: su
p
p
ort ub even if
GiNaC
support
w
a
s
not
c
omp
i
l
ed
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
add gen
e
ric i
s
l_pw_qpolynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdo
o
laege
update isl
for isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
o
l
aege
test_bou
n
d:
use
isl during ve
r
ific
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
b
arvinok_bound: use isl
during verif
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
verify
.
c: extrac
t
some
helper functions for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
intr
o
duce "boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ver
d
oolaege
o
p
tions
.
c: fix printf
format
commit
|
commitdiff
|
tree
2010-05-10
Sven
V
erdoolaege
i
sc
c
:
a
dd a
p
p
licati
o
n
operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
iscc: add read
o
perati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
e
r
doola
e
g
e
u
pda
t
e isl
f
or r
e
ading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoo
l
aege
up
d
ate isl for fix in isl
_
prin
t
e
r
_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
er
d
oolaeg
e
update isl-
p
o
lylib for
c
hange in pkg-co
n
fig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
iscc: allow specification
of output format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoola
e
ge
upda
t
e isl for change in isl_set_gist ar
g
ument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoo
l
aege
u
p
date isl for ren
a
me
o
f isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add is
l
flag
s
a
nd libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sve
n
Verdoolaege
iscc: test isl_str
e
am for eof rather
t
han the underl
y
ing
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
iscc: ad
d
deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for fi
x
in
isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
a
rvinok_enumerate
_
pi
p
_wit
h
_
o
pt
i
on
s
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Ver
d
o
ol
a
ege
iscc: add cross
produc
t
operation
s
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verdo
o
laege
iscc: add coalesce
o
perations
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Ve
r
doolaege
update isl fo
r
isl_pw_qpolynomi
a
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaeg
e
d
r
o
p "Omega c
o
un
t
i
n
g ca
l
c
ulat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
te
s
t_bound
.
cc: fix p
r
in
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
aege
b
e
rnstei
n
.
c
c
: f
i
x prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdool
a
ege
e
v
alue_ran
g
e_pr
o
pa
g
a
t
ion: f
i
x
substitu
t
ion for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bernstein
/
confi
g
ure
.
i
n
: use abs
o
lute s
r
cdir of
P
olyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoo
l
aege
on
l
y distribute
b
undled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
u
pd
a
te
omega for co
n
f
i
gu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
con
f
igure
.
in: all
o
w "build"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ve
r
doolaeg
e
isl
_
qpolyno
m
ial_fold_from_ginac: h
a
n
d
l
e
f
ail
n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Ver
d
o
olaege
i
s
l_qpolynomial_
f
r
o
m_gi
n
ac: e
x
pa
n
d
e
x
before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
obj_
l
ist
.
c:
u
p
date to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaege
iscc: add gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolae
g
e
update isl for introduc
t
ion
o
f
i
s
l_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erd
o
olaege
i
sl
_
pw_
q
polynomial_upper_b
o
und: set up va
r
iable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some comp
a
rison ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olae
g
e
iscc: add inv
e
rse ope
r
ati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
ola
e
ge
iscc
:
fix up type of find_matching_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
ge
i
s
cc: add affine hull operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add o
p
eration to constru
c
t univer
s
al map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add "j
o
i
n" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add intersect_dom
a
in o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
allow overload
i
ng
bi
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
g
e
iscc: add
m
ore dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
a
e
ge
do
c
: reorg
a
niz
e
table
of
iscc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoolaege
bar
v
inok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
AUTHORS:
update su
p
por
t
information
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
randomvector:
dou
b
le size of coeff
i
c
ients on e
a
ch atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
iscc: su
p
port transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rd
o
olaege
upda
t
e
isl
t
o v
e
rs
i
on
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoola
e
ge
barvinok_e
.
cc
:
enum
e
ra
t
e_vd: re
m
ove unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhedron_In
s
e
r
t
: ad
d
missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c:
reduce_evalue: r
e
mov
e
unused variable
commit
|
commitdiff
|
tree
next