repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
evalue.c: Polyhedron_Insert: add missing return type
2010-03-09
Sve
n
Verdoolaege
evalue
.
c: Polyhedron_Insert: a
d
d mis
s
ing return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
evalue
.
c: reduce_eval
u
e: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
iscc: add
@ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
isc
c
: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doola
e
ge
a
dd i
s
l_pw_qpolynomial
_
u
p
pe
r
_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
add isl_pw_qpolyno
m
i
a
l_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
l
a
ege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoo
l
aege
u
pdate isl for isl
_
p
w
_
q
p
olynomial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
rename ev
a
l
u
e
2
isl to isl_pw_q
p
oly
n
omial_from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
s
cc: detect
m
ore kinds
of
errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
g
e
bar
v
inok_enu
m
er
a
t
e
: use
isl during the ver
i
ficatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdo
o
laege
add i
s
l_set_ca
r
d and isl_
m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
add evalue
2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
o
o
l
aege
e
v
alue_
c
onvert: exp
o
rt as
app
l
ication
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_e
n
umer
a
te
_
e: optionally
u
se isl
t
o projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verd
o
o
laege
A
X
_SUBMODULE:
a
ccept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
bar
v
in
o
k_enumerate: return NaN
for
infi
n
ite p
r
o
blems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verd
o
olae
g
e
remove_all_equa
l
i
t
ies: ha
n
dle inte
g
rally, but not rat
i
on
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Ver
d
o
o
laege
barvinok
_
en
u
mer
a
te_e: always r
e
turn a part
i
t
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoo
l
aege
ba
r
vinok_e
n
umerate: check that d
i
mension of
i
nput includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
partition2enume
r
ation: check that
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
V
e
rdoolaege
update piplib for ch
a
n
g
e
in
c
onfigure
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
upda
t
e ome
g
a for configurat
i
on/
c
o
m
pilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
barv
i
nok_cou
n
t
_
with_options: che
c
k re
t
urn v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdool
a
ege
Po
l
y
h
edron_Sample: plug mem
o
ry
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
summate
.
c
: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c:
s
u
pport newer
versions
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
top
c
om
.
c
:
comput
e
_domain: skip
v
ertices w
i
thout domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
polytope_m
i
nimize: take
constant term to be z
e
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
doc: reflect that
-
-enable-fractional is now
the default
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
glpk
_
polyhe
d
ron_affine_sig
n
: special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
Polyhedron_Insert_Co
l
umns:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
S
ve
n
Ve
r
doolaege
Polyhed
r
on_Fact
o
r
:
fix updating of gr
o
ups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ver
d
oolaege
configure
.
in: us
e
A
X
_SUBMODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equaliti
e
s: use Polyhedron_Preimage inste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
V
erdoo
l
aeg
e
barvi
n
ok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
do
c
: add exp
e
rimental co
m
parison b
e
tw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
l
exmin
.
c
c:
remov
e
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdool
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: add some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
add "clever" Laurent expan
s
i
on based summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n V
e
rdoolaege
m
o
ve Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
g
e
e
xtract out
param_polynomial from lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
extr
a
ct vert
e
x_cone from l
a
urent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdoolaege
N
T
L_QQ
.
cc:
a
dd
s
tdi
o
includ
e
for EOF hidde
n
in NTL_io_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
p
date polylib f
o
r speed improv
e
men
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolaeg
e
update piplib
fo
r
dist
r
ibution issue
commit
|
commitdiff
|
tree
2009-05-26
S
ve
n
Verdoolaege
P
o
lyhed
r
on_Factor: fix merging of groups
o
f co
l
um
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaege
barvi
n
o
k_enumerate_series: don't check for revlex po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t)cou
n
ter: move counter:
:
r
eset() up to counte
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Mak
e
file
.
am: keep better tra
c
k of fail
e
d tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
add
semigroup_holes applic
a
t
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
o
la
e
g
e
Lin
e
_L
e
ngth: handle 0D
p
o
lytope
i
n 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
r
do
o
laege
ge
n
_fun: a
d
d is_zero met
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
b
a
r
v
inok_enumerat
e
_e_se
r
ies: remov
e
equal
i
t
ies in
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
doc: fix typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aeg
e
barvinok_enumer
a
te_e
_
series
:
handle all
e
xistential
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
series
.
cc: make pr
o
j
ect
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdoolae
g
e
barvin
o
k
_enumerate_e_s
e
ries
:
h
a
ndle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
add
t
e
st set from
t
he ot
h
e
r
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
ge
.
gitig
n
o
re: ignore ob
j
ect f
i
les
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoo
l
aege
genfunc
.
cc: p
a
r
a
lle
l
_poly
t
op
e
s:
d
etect 0D po
l
y
tope
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
r
dool
a
e
ge
configure
.
in: s
e
t AC
_
CONFIG_M
A
CR
O
_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdoo
l
aege
ad
d
pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoolaege
Polyhedron_Factor
:
handle po
l
y
hed
r
a with
a
non-t
r
iv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
ae
g
e
upda
t
e piplib for cha
n
ge in configure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Ve
r
d
o
olaege
test_approx
.
c: ad
d
dummy fie
l
d in dummy tm
s
structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en V
e
rdoolae
g
e
c
on
f
igure
.
in: avo
i
d
introducing empt
y
elemen
t
s in PKG_CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: d
e
fine OMIT_GETRU
S
AGE if s
y
s
/resource
.
h ca
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
omega_
i
nterface/Makefil
e
.
am
:
put d
e
pending libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
c
onfigure
.
in: ad
d
$(EXE
E
XT)
t
o optional oc
c
fo
r
c
ygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
u
pdate
o
m
ega for MinG
W
compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
bernste
i
n/configure
.
i
n
: add missing
AC_PRO
G
_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
Sven
V
erdoolaege
genfun
.
cc: add
braces
r
o
u
nd extern "C" typed
e
f
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verd
o
olaeg
e
vec
t
or_partition_
c
hambers: computes ch
a
mbers
of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erd
o
olae
g
e
bar
v
inok
.
cc: remove unused
n
onorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
u
pdate piplib
f
o
r MinGW
c
o
mpatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolaege
up
d
a
t
e p
o
lylib for Min
G
W c
o
mp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdst
r
ea
m
.
cc:
d
on't (re)declare fil
e
no if it's a
macr
o
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
evalue
.
c
: in_domain:
s
p
ecial
-
case
0D
dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Verdoolaege
Avoid use
o
f sys/times
.
h header when
n
ot available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
a
dd
g
nulib getsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven
Verd
o
olae
g
e
README:
me
n
t
i
on that GiNaC
i
s
a
l
so needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
ven
V
erdoo
l
aege
Allow build
o
f oc
c
when using bundled o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdo
o
laege
d
o
c
:
add
a r
e
fer
e
n
ce to a mas
t
er thesi
s
actu
a
l
ly using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoo
l
aege
b
arvin
o
k 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
R
E
AD
M
E:
fix up
i
nstallatio
n
instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
A
d
d files g
e
nerated by bison
a
nd flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
ven
V
erd
o
o
l
aege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Ver
d
oolaege
update
piplib
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n
Verd
o
olaege
evalue
.
c:
a
ffine2evalu
e
:
r
e
d
uce coefficien
t
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
e
value
.
c: evalue_level_cmp: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Ve
r
doolaeg
e
doc: add another paper referr
i
ng to the library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Verdoolae
g
e
piecewise_lst
.
h:
avoid duplicate paramet
e
r name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdool
a
eg
e
eva
l
ue_read
.
c:
f
ix min
o
r
b
ugs
i
n tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
upda
t
e
o
m
e
ga for mi
s
sing file
s
i
n distrib
u
tion
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
barvinok_enumerate_e: avoi
d
infinite loop when presented
.
.
.
commit
|
commitdiff
|
tree
next