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
bernstein.cc: fix printf format
2010-03-27
Sv
e
n Verdool
a
ege
b
e
rnstein
.
cc: f
i
x p
r
intf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
V
e
rdoolaege
evalue
_
ra
n
ge_propagation: fix substituti
o
n for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernste
i
n/configure
.
in: use
a
bsolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
only distribute bundled s
u
bmodules
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoolaege
upda
t
e
o
mega f
o
r conf
i
gu
r
ation issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
a
e
ge
conf
i
g
u
re
.
i
n: al
l
ow
"
bui
l
d"
PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verdoolaege
is
l
_qpo
l
ynomi
a
l_fold_from_ginac: h
a
ndle fa
i
l
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
qpolynomial_from_ginac: expan
d
ex
before
i
ns
p
e
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoola
e
ge
isl_obj_
l
ist
.
c: update
to
use
o
f isl_
p
rinte
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doola
e
ge
iscc: add gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oolaeg
e
isl_pw_qpolynomia
l
_up
p
er_bound: se
t
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoolaege
iscc
:
add some compa
r
i
so
n
op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erd
o
o
l
aege
iscc:
a
dd inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
i
s
cc
:
fix up typ
e
of find_m
a
tching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add affine hull op
e
rat
i
on
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
V
e
r
doolaege
is
c
c: ad
d
operati
o
n
t
o construct un
i
v
e
rsal
m
ap from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdoo
l
aeg
e
is
c
c: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc: add intersect_doma
i
n o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
olaege
iscc:
a
l
l
o
w
overloa
d
i
n
g b
i
n
a
ry ops
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdoolaege
iscc
:
add
m
ore dom ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
laege
doc:
reorganiz
e
table of
i
s
c
c
oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaeg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
AU
T
H
O
RS
:
upd
a
te support
i
n
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laege
randomvector: dou
b
le size
o
f coefficient
s
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support transitive closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
u
pdat
e
isl to vers
i
o
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
arvinok_e
.
cc: enumerate_v
d
:
r
em
o
v
e
unused v
a
riables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c: Polyhedron_Ins
e
rt:
add miss
i
ng
r
et
u
rn t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
value
.
c: reduce
_
evalu
e
: rem
o
v
e unus
e
d vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add
@
operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
add isl_pw_q
p
olynomial_up
p
er_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add
isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaege
add isl_pw_q
p
o
lyno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
u
p
date isl for i
s
l_p
w
_
qpol
y
nom
i
al_fo
r
each_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdoolaege
r
e
n
ame eva
l
ue2
i
sl t
o
i
sl_pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdoolaege
iscc: de
t
ect more ki
n
ds of
errors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolae
g
e
b
arvinok_e
n
umerate:
use isl d
u
ring the verifi
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ve
n
Verdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
o
l
aege
add isl_set_
c
ard a
n
d isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolae
g
e
add eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoolaege
evalue_convert: export
as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok
_
enumerate
_
e:
option
a
lly us
e
isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
laege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
A
X
_
SUBMODULE:
acc
e
pt "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoo
l
a
ege
barvinok_enumerate: retu
r
n
N
aN f
o
r
in
f
inite
p
roblems
commit
|
commitdiff
|
tree
2010-01-28
S
v
en Verdoolaege
rem
o
ve_
a
l
l_
e
qualities: h
a
ndle
integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verd
o
olaege
barvinok_enumerate
_
e: always retu
r
n a
parti
t
ion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvinok_enumerate: check th
a
t di
m
ensi
o
n of in
p
ut
i
nclud
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
parti
t
ion2enumeration: check that input
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ver
d
oolaege
update piplib for
c
h
a
nge
in confi
g
ure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
u
pdate
o
m
e
ga fo
r
configu
r
ation
/
c
ompilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
b
arvinok_count_with_options: check
r
eturn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sample: plug m
e
m
ory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
su
m
mate
.
c: add mis
s
ing in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
topcom
.
c: support newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
t
opcom
.
c: comput
e
_domain: skip ver
t
ices without
d
om
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
e
g
e
doc: reflect t
h
at --enable
-
fract
i
onal is now th
e
def
a
ult
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
g
lpk_polyh
e
dron_aff
i
n
e
_sign: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
Polyhedr
o
n_Insert_Columns:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Verdoo
l
aeg
e
Poly
h
edron_Fac
t
o
r
:
fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdo
o
lae
g
e
confi
g
u
r
e
.
in:
use AX
_
SUB
M
ODU
L
E instead
of
B
V
_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_
e
qualities: use Poly
h
ed
r
on_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
rdoolaege
barv
i
no
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: add experiment
a
l
comparison bet
w
een
old and
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ver
d
o
olaege
l
e
x
m
in
.
cc: remo
v
e "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
do
o
lae
g
e
do
c
:
a
d
d
s
ome l
e
ss common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
lae
g
e
a
dd "clever" La
u
rent expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
d
o
olaege
move Las
t
_Non_Zero
to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoola
e
ge
extract out para
m
_polynomi
a
l fr
o
m la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en V
e
rdoola
e
g
e
e
x
tract vert
e
x_cone
fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n Verdoolae
g
e
update
p
o
l
ylib for
spee
d
i
mprovement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
V
e
rdoolaege
update pip
l
i
b
for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolae
g
e
Po
l
yhedr
o
n_Factor: fix merging of groups of c
o
lum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
(t)counter: m
o
ve counter::reset() up
to counte
r
_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
er
d
oolaege
Makef
i
l
e
.
am: keep bette
r
track
o
f f
a
iled te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Li
n
e_
L
engt
h
: h
a
ndle
0D
p
oly
t
ope
i
n 1D sp
a
ce
commit
|
commitdiff
|
tree
2009-04-02
S
v
en V
e
rdool
a
ege
Polyhedron_
F
actor: handle polyhedra wi
t
h a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Ve
r
d
oo
l
aege
update piplib for change in con
f
igure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n V
e
r
d
oola
e
ge
b
a
r
v
inok
.
cc: remove
u
nus
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
o
l
aege
updat
e
piplib for
M
i
n
GW
c
ompati
b
i
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n V
e
r
doolaeg
e
u
p
da
t
e
p
olylib for
M
inGW compat
i
bility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
evalue
.
c: in
_
domain: special-c
a
se 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Ve
r
doolaege
Avoid use
of
sys
/
ti
m
e
s
.
h he
a
de
r
when not availabl
e
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdoolaege
ad
d
g
nu
l
ib getsubopt m
o
dule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ver
d
oolaege
R
E
ADME: ment
i
o
n that GiNaC is
a
lso nee
d
ed for the
Om
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
aege
A
l
l
ow build
o
f occ w
h
en using bundled
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Ve
r
doolae
g
e
doc: add a re
f
erence
to a mast
e
r
th
e
sis actua
l
l
y
us
i
ng
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
l
a
e
ge
b
arvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
ven Verdoolaege
README: fi
x
u
p
install
a
t
i
on
i
ns
t
ructions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
Add files gen
e
rate
d
by b
i
s
o
n and flex to the di
s
tributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoola
e
ge
up
d
ate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaeg
e
ev
a
l
u
e
.
c
:
affine2e
v
alue: red
u
ce coefficien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
v
alue
.
c:
eval
u
e
_
level_cm
p
:
p
r
odu
c
e mor
e
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
ven
V
er
d
o
olaege
doc:
add
a
nother paper referring to the li
b
rary
commit
|
commitdiff
|
tree
2008-09-16
S
ven Verdoolaege
p
i
ecewise_l
s
t
.
h: avoid d
u
plicate paramete
r
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
ege
eval
u
e_read
.
c: fix minor bug
s
in
t
o
keniz
e
r
commit
|
commitdiff
|
tree
next