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
V
erdoolaeg
e
barvin
o
k
_en
u
mera
t
e
.
cc: fix pr
i
ntf
f
ormat
commit
|
commitdiff
|
tree
2010-07-03
Sven
Verdoola
e
ge
doc: add
s
ome
m
ore papers referin
g
to the l
i
brary
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdool
a
ege
barv
i
n
o
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
update i
s
l
t
o version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoola
e
ge
configure
.
in: pro
p
er
l
y add is
l
f
l
ags and libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
config
u
r
e
.
in: dro
p
call
t
o gl_EA
R
LY
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Ver
d
o
o
laege
genf
u
n
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erdoolaege
te
s
t_approx
.
c:
fix pri
n
tf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_bo
u
nd
.
c: fix printf f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
V
erd
o
olaege
con
f
igure
.
in:
s
top co
m
piling Om
e
ga by default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaege
verify_
l
exsmaller
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Ver
d
oo
l
a
ege
evalue
.
c: avoid use of al
l
o
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
eva
l
ue_isl
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
ege
isc
c
: rec
o
ver from err
o
rs
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
rdoo
l
aege
u
p
date isl for improved
e
r
ror handling
commit
|
commitdiff
|
tree
2010-06-19
S
ven Verdoo
l
aege
i
s
cc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Ve
r
do
o
laege
doc: is
c
c: update d
o
cumentation of "u
b
" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolae
g
e
t
e
st
_
approx: includ
e
ctype
.
h for iss
p
a
c
e
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_a
p
p
rox:
incl
u
d
e
config
.
h for HA
V
E_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdo
o
laege
t
e
st_b
o
un
d
: in
c
lude conf
i
g
.
h f
o
r HA
V
E_SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
i
s
cc: add vertices
o
perations
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoola
e
ge
optionally use isl to pe
r
form
p
arametric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ve
r
d
o
olaeg
e
update
i
sl-polylib for handling of ra
t
ional se
t
s
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
drop d
i
s
ti
n
ctio
n
b
etwe
e
n barvinok-core and barv
i
n
ok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
rem
o
ve ber
n
stei
n
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
Verdo
o
lae
g
e
u
p
date isl
for generic
i
sl
_
pw_qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verd
o
o
laege
configu
r
e
.
in:
d
rop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
add isl_ctx_pe
e
k_ba
r
vi
n
ok_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-06-07
Sv
e
n Verdool
a
eg
e
i
scc: parse
barvinok op
t
i
on
s
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
export isl_q
p
olynom
i
al_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
V
erdoolaege
M
a
kefile
.
am: dro
p
d
e
pend
e
nc
e
o
n doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
updat
e
isl f
o
r
ren
a
me of is
l
_pw
_
qp
o
lynom
i
al_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
verif_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
conf
i
g
u
re
.
in:
f
i
x typo
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdool
a
ege
us
e
isl for arg
u
ment
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update
i
sl for
k
eep
i
ng track of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sven
Verdoolaege
test_bound
:
rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
update isl for help message p
r
inting
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoo
l
aeg
e
rem
o
ve ev
a
lue_o
p
t
imu
m
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remove e
v
al
u
e_range_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oolaege
test_bound: use isl interface for com
p
u
ti
n
g b
o
unds
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Ver
d
oolaege
b
a
rv
i
nok_bound: use isl interface for co
m
puting
b
ounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoo
l
aege
isc
c
: suppor
t
ub even if
GiNaC su
p
port was
not compile
d
in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdo
o
laege
a
dd generic isl_pw_qpolynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
update isl for isl_pw_qpoly
n
o
m
i
al_bound_range
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
tes
t
_
b
ound: use isl d
u
ring v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
do
o
l
a
ege
barvinok_bound: use
isl during verifi
c
a
t
ion
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
verify
.
c: extract some helper f
u
nctions for
i
sl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven
V
erdoolae
g
e
i
nt
r
oduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
opti
o
ns
.
c:
fix print
f
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: add appli
c
ation operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
d
o
o
l
aege
iscc
:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoo
l
aege
i
scc
:
fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
u
p
da
t
e isl fo
r
reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl for f
i
x in isl_printer
_
print_pw_
q
polynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaeg
e
update
i
sl-poly
l
i
b for change in pkg-config
fil
e
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdo
o
laege
iscc:
a
llow specific
a
tion
o
f ou
t
put for
m
at
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n Verd
o
olaege
u
p
date i
s
l f
o
r change i
n
isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
u
p
d
ate
isl fo
r
re
n
a
m
e of
isl_m
a
p_m
o
v
e
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdoolaege
configure
.
in: add isl
flags and libs to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
er
d
oolaege
iscc:
t
e
st is
l
_
s
t
r
eam
f
or eof
ra
t
her than t
h
e un
d
erlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
i
scc: a
d
d d
e
ltas o
p
eratio
n
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
r
d
ool
a
ege
update i
s
l for fix
in isl_map_d
e
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Verdoolaege
drop
b
arvinok_
e
numerate_pip_wi
t
h
_
o
ptions
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoola
e
ge
iscc: add
c
r
o
s
s
p
roduct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
iscc
:
add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
update isl
f
or
i
sl_pw
_
q
polynomial_c
o
al
e
s
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ve
r
doolaege
drop "O
m
e
ga co
u
nting calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Ver
d
oolaege
t
e
s
t_bound
.
cc: fix
printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
la
e
ge
bernstein
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
eval
u
e_range_propagati
o
n: fix su
b
stitution for
n
egative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernst
e
in/configure
.
in: use absolute srcdir
of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Ve
r
doolaege
only distribute bundled
submod
u
les
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega f
o
r conf
i
gu
r
a
tion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
configure
.
in: allow "b
u
ild" Po
l
yLi
b
commit
|
commitdiff
|
tree
2010-03-25
S
v
en V
e
rdoolaeg
e
isl_qpolynomial_f
o
ld_from_
g
inac: handle f
a
il no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ver
d
ool
a
ege
i
s
l_qp
o
l
ynomial
_
from
_
g
inac
:
expa
n
d ex before
i
nspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_obj
_
l
i
st
.
c:
u
p
date to use o
f
isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaege
iscc: add gist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaeg
e
upd
a
te
i
sl fo
r
in
t
ro
d
u
ction of
i
s
l_pr
i
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ve
r
d
oo
l
aege
isl_pw_qpolynomial
_
uppe
r
_bound: set
up
v
ariab
l
e v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolae
g
e
isc
c
: add some
c
omparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
s
cc
:
add inverse operatio
n
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verd
o
olaeg
e
i
s
cc: fix up
type of
f
i
n
d_matchi
n
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: add affine hull oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: add ope
r
a
tion t
o
construc
t
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaeg
e
iscc: add "join"
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
d
d intersect_domain
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
a
e
g
e
i
s
c
c
: all
o
w
o
v
e
rloa
d
ing binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: reorganize table
o
f isc
c
operat
i
on
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
Verdoolaege
AUTHORS: update
supp
o
rt in
f
o
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
randomvector: double size of coeffici
e
nts on
e
ac
h
attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olae
g
e
iscc: support tra
n
s
itive
c
l
o
sure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaeg
e
u
pdate isl to version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
b
arvinok_e
.
c
c: enumerate_vd:
r
emove unus
e
d variables
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoola
e
g
e
evalue
.
c: Poly
h
edron
_
I
n
sert: add
m
issing retu
r
n type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoola
e
ge
e
value
.
c: re
d
uce_evalue:
remove unused variable
commit
|
commitdiff
|
tree
next