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
drop barvinok_enumerate_pip_with_options
2010-04-04
Sven Verdoolaege
drop b
a
rvinok_e
n
umerate_pip_
w
ith_op
t
i
o
ns
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdoolaege
i
s
cc: add
c
ross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoolaege
i
s
cc: add coalesce
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
update isl for isl_pw_
q
p
o
lynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
rop "
O
mega co
u
nting calculator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Verdoolaege
test
_
bound
.
cc: fi
x
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernst
e
in
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
evalue_range
_
propagat
i
on: fix subst
i
tut
i
on for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/conf
i
gure
.
in:
u
se absolute srcdir of P
o
ly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
only distrib
u
te
b
undled subm
o
du
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
update ome
g
a f
o
r confi
g
uration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
ge
configure
.
in: allow "
b
uil
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolynomial_fold_from_
g
in
a
c: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdool
a
e
g
e
isl_qpolynomi
a
l_from_
g
inac:
e
xpa
n
d ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoola
e
ge
isl_obj_
l
ist
.
c:
upd
a
te
to use
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolaege
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw
_
q
p
olynomial_upp
e
r_b
o
un
d
: se
t
up vari
a
bl
e
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc: add s
o
me comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Verdoolaege
i
scc: add inverse operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: f
i
x up type
o
f fi
n
d_
m
atching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc
:
add affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add
oper
a
ti
o
n to const
r
uct
universal
map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoo
l
aege
iscc:
a
dd "jo
i
n" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add interse
c
t_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
er
d
oolaege
iscc: allo
w
overloading b
i
nary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
i
scc:
a
dd more
d
om
operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
doc:
reorganize table of i
s
cc o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
ae
g
e
b
a
rvi
n
ok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
U
THORS: update support in
f
o
r
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verd
o
olaege
rand
o
mvec
t
or: double
s
i
z
e
o
f c
o
ef
f
ic
i
e
n
ts on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
i
s
cc: suppor
t
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
g
e
upda
t
e isl to ve
r
sion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
barvinok
_
e
.
cc: enumer
a
t
e_vd: remo
v
e unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c:
P
o
lyhed
r
on_Insert:
add m
i
ssing return type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
eval
u
e
.
c: redu
c
e_evalue: r
e
move unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
i
scc: add @ ope
r
ato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
is
c
c: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_pw_qpo
l
ynomia
l
_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_
q
polyn
o
mial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
a
dd is
l
_pw_qp
o
lynomial_to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
oolaege
update
i
sl for isl_pw_qpolynomial_foreach_
p
ie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
rename evalue2isl to isl_pw_qpolyno
m
ial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n Ve
r
doolaege
iscc: detect m
o
re kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
l
a
ege
b
arvinok
_
enume
r
ate:
use isl
during
t
he verificat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
a
d
d
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl
_
s
et_card and isl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Verdoo
l
aege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaeg
e
eva
l
ue_convert: export as a
p
plicatio
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvi
n
ok_enumerate_e: option
a
lly us
e
isl to
p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
A
X_SUB
M
ODU
L
E
: accep
t
"-" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
barvinok
_
enumerate: return NaN f
o
r
i
nfinite
p
roble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Ver
d
oolaege
remove_all_equa
l
i
ties: handle integrally, but not rati
o
nally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerat
e
_e: always return
a
p
artition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdool
a
e
ge
barvinok
_
enumerate: check that dimen
s
i
on of
inpu
t
incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoo
l
a
e
ge
pa
r
tition2enumera
t
i
o
n: ch
e
ck that i
n
p
ut is r
e
ally
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
u
pdate piplib for chan
g
e in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolae
g
e
update omega
f
or configurat
i
on/
c
ompilation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
b
a
rvinok_count_w
i
th_opti
o
ns: check retur
n
value o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
P
o
l
yhedron_Sam
p
le: plug
m
emory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaege
s
u
m
mate
.
c
: add m
i
s
si
n
g include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
er
d
oolae
g
e
topcom
.
c: s
u
pport newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_domain: skip vertices with
o
ut d
o
m
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
doc: refl
e
ct that --enab
l
e
-frac
t
ional is now the defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doola
e
ge
glpk_poly
h
edr
o
n_a
f
fine_sign: special case 0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_Insert_
C
olumns:
fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyh
e
dron_F
a
ctor:
f
ix up
d
ating of g
r
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaeg
e
confi
g
ure
.
in: use
AX_SUBMODULE ins
t
ead
o
f
BV_SUB
M
OD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
olae
g
e
r
em
o
v
e
_equalities: use Polyhedron_Preim
a
ge inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven V
e
r
d
oolaege
bar
v
ino
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
l
a
ege
doc: add experimental comparison between old an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
le
x
min
.
cc: remove
"
anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
: add some less c
o
mmon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
a
dd
"
cleve
r
"
Laurent e
x
pan
s
ion based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Ver
d
o
o
l
aege
move Last_N
o
n_Zero
t
o util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
e
x
tract out
param_polyn
o
m
i
al from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
extract vertex
_
cone
f
ro
m
lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Ver
d
oola
e
ge
upda
t
e polylib for speed improveme
n
t in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
upda
t
e pip
l
ib fo
r
distribu
t
i
on issue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdoolaeg
e
Polyhedron_Factor: fix merging of
gr
o
ups o
f
colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdo
o
laege
(t)
c
ou
n
ter: m
o
ve
c
ounter::reset
(
) up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefile
.
am: keep
b
etter track of f
a
ile
d
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
do
o
laege
L
i
n
e_Length: han
d
le 0D po
l
y
tope in 1D s
p
ac
e
commit
|
commitdiff
|
tree
2009-04-02
S
ve
n
Verdoolaeg
e
Polyhedron_Factor: han
d
le polyh
e
dra with
a
non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
er
d
ool
a
e
g
e
update
piplib for ch
a
nge in conf
i
gure argu
m
e
n
ts
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erd
o
ola
e
ge
barv
i
n
o
k
.
cc: remo
v
e un
u
s
e
d n
o
no
r
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdool
a
ege
update pip
l
ib fo
r
M
i
nGW compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
u
p
date polyli
b
for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_domain: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaeg
e
Avoid use o
f
s
y
s/times
.
h header
w
hen no
t
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
add gnulib get
s
ubopt
mo
d
ule
for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verdoolaege
README: mention th
a
t GiNaC is also nee
d
ed
f
or the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n
V
erd
o
olaege
Allow buil
d
of occ
whe
n
using bun
d
le
d
o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven
V
e
r
d
oolaege
doc: ad
d
a r
e
ference to a m
a
ster thesis actuall
y
usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olaege
README: fix up installatio
n
i
n
s
tructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oola
e
ge
Ad
d
files genera
t
ed by bison and fl
e
x to the d
i
stribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
olaege
u
pdate polylib
commit
|
commitdiff
|
tree
next