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
test_bound.cc: fix printf format
2010-03-27
Sven Verdo
o
laege
test
_
bound
.
cc: fi
x
p
rintf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoolaege
bernstein
.
cc: f
i
x pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range
_
propagation
:
fix substitutio
n
fo
r
n
e
g
at
i
ve
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/confi
g
ure
.
in: use abs
o
lu
t
e s
r
cd
i
r of P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
rd
o
olaege
only dis
t
r
ibute bundled s
u
bmodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
upd
a
te
ome
g
a for
c
on
f
igurati
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
con
f
igur
e
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
lae
g
e
isl_qpolynomi
a
l_f
o
ld_fr
o
m_gina
c
: handle
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
dool
a
ege
isl_qpolynomial_from_gin
a
c: e
x
pand e
x
before
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_o
b
j_list
.
c
:
update to use of is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolae
g
e
iscc: add gist oper
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaege
isl
_
pw_qpolyn
o
mial_upper_bound: s
e
t u
p
var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: add s
o
me compa
r
i
son
operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
isc
c
: add inver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolae
g
e
iscc:
fix up type of find
_
matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
is
c
c:
a
dd af
f
ine hull
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
i
s
cc: add op
e
ratio
n
to construct un
i
versal ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: a
d
d "j
o
in" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
s
c
c
: add inte
r
sect_domain opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: allow
o
v
e
r
l
o
a
ding binary op
s
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoo
l
a
e
ge
iscc: add
more d
o
m operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
doc: reorga
n
ize table o
f
iscc operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
upd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
olaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update sup
p
o
r
t info
r
m
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoola
e
ge
ra
n
do
m
v
ector
:
double siz
e
of coefficients on
e
ach attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
laege
i
s
cc: support
tra
n
sitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
oolaege
u
pdate isl
to
v
e
r
s
ion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ba
r
vinok_e
.
cc: enume
r
ate_vd:
r
emove unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdo
o
laege
eva
l
ue
.
c:
Polyhedron_Insert: a
d
d
m
issing return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
ev
a
lue
.
c
: reduce_evalue: remo
v
e unused var
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
ol
a
ege
iscc
:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
ad
d
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_pw
_
qpolynomi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
d
o
ola
e
ge
iscc: add su
m
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolaege
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolae
g
e
add isl
_
pw_qpoly
n
omial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolaege
updat
e
isl f
o
r isl_
p
w_q
p
o
l
ynomial
_
fore
a
ch
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename evalue2isl to isl_pw_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more
ki
n
ds of
errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
V
e
rdoolaeg
e
barv
i
nok_enumerate: use isl during the ver
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
d
oolaeg
e
a
dd isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add isl_set_ca
r
d
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
dd
evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
ae
g
e
ev
a
lue_c
o
nvert: expo
r
t
as a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoo
l
aege
bar
v
inok_e
n
ume
r
ate
_
e: op
t
ional
l
y u
s
e i
s
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdoolaege
a
dd
isl
submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verdoolaege
AX_SU
B
MODULE: accep
t
"-" in
m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n
Verd
o
olaege
b
arvinok_enum
e
r
a
t
e
: return NaN
for infini
t
e probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoo
l
aege
remove_all_equalities: ha
n
dle
integrally
,
bu
t
not ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvi
n
ok_enumerate_e: al
w
ays r
e
turn a
p
artit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
ba
r
v
i
nok_enumerate:
check that dime
n
sion of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
p
a
rtition2enumeratio
n
: check tha
t
input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven V
e
rdoolaege
update
p
ipl
i
b for
c
hang
e
in conf
i
gure option
s
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rd
o
o
l
aege
update
omeg
a
for co
n
figur
a
ti
o
n/compilation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_
c
ount_with_options: c
h
eck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven
V
er
d
oolaeg
e
Polyhedron_Sample: plug memory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
summate
.
c: a
d
d mi
s
sing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rd
o
olaege
topc
o
m
.
c: support newer versions of TO
P
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoo
l
a
ege
topcom
.
c:
c
ompute_dom
a
in: ski
p
vertices
without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaeg
e
doc:
r
e
flect
that --enable-frac
t
iona
l
is n
o
w the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoo
l
aege
glpk_polyhe
d
ron_a
f
fine_s
i
gn: sp
e
c
i
al case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
Polyhedron_Insert_C
o
lumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoo
l
a
ege
Polyhed
r
on_Fa
c
tor: fix up
d
ating
o
f gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoolaege
configure
.
i
n: use AX
_
SUBMO
D
UL
E
i
nstead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
a
e
g
e
remove_equalities:
u
se Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
rd
o
ol
a
ege
d
o
c:
a
dd experimental comparison between
ol
d
a
nd
n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ve
r
d
o
ol
a
ege
lexmin
.
cc
:
remove "ana
c
hron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
g
e
doc:
a
dd so
m
e less common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
o
l
aege
add "clever" Laur
e
nt
expansion ba
s
ed s
u
mma
t
ion
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
mov
e
Last_Non
_
Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Ver
d
oolaege
extract out param_pol
y
nom
i
al from lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ve
r
doolaege
extract
ve
r
tex_cone from la
u
rent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n Verdool
a
ege
upda
t
e polylib for speed
i
mprovement in in
_
doma
i
n
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdoolaege
up
d
ate piplib for distribution is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verdoolaege
Polyhedron_Factor: f
i
x me
r
gi
n
g
o
f
groups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ver
d
o
olaege
(t)c
o
unter: move counter::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaeg
e
Makefile
.
a
m
: keep
be
t
t
er track of fail
e
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Line_Length: handle 0
D
polyt
o
pe in
1
D spa
c
e
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
V
e
rdo
o
laege
Polyhedron_Factor: h
a
nd
l
e p
o
lyhed
r
a
w
ith
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
do
o
laege
update piplib for
c
han
g
e i
n
configure argumen
t
s
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolae
g
e
barvinok
.
cc: re
m
ove
unu
s
ed
nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verdoo
l
aege
update pipl
i
b for MinGW c
o
mpatibil
i
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
update polylib for MinGW co
m
patib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
evalu
e
.
c: in_
d
o
main: spe
c
ial-case 0
D
do
m
ains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoo
l
aege
Avoid u
s
e
o
f
sys/times
.
h header when not avail
a
bl
e
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add
g
nulib
getsubopt module
fo
r
Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
olae
g
e
README: mention th
a
t GiNaC is a
l
so
needed
for th
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verd
o
olaege
Allow
b
uild of occ when usin
g
bundled o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolaege
d
oc: add
a
ref
e
rence to a
maste
r
t
h
es
i
s act
u
al
l
y using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n V
e
r
doolaege
ba
r
vin
o
k 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
R
E
ADME: fix u
p
instal
l
ation ins
t
r
u
ctions
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
doo
l
aege
Add files
g
enerated b
y
bison and flex to
the
d
istributio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verd
o
ol
a
ege
u
p
d
ate p
o
lylib
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rd
o
olaege
upda
t
e
pipl
i
b
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolaege
ev
a
lue
.
c: affine2e
v
alue: reduce coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
eval
u
e
.
c: evalue_level_cm
p
: produce mo
r
e consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en V
e
r
d
oolaege
do
c
: add another p
a
p
e
r ref
e
rring to the lib
r
ar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdoolaege
p
i
ecewise_lst
.
h: av
o
id d
u
plicate
p
arame
t
er name
commit
|
commitdiff
|
tree
next