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
isl_pw_qpolynomial_sum: handle isl_pw_qpolynomials with wrapped domains
2010-03-14
S
v
e
n Verdoolaege
i
sc
c
: add "join
"
opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: a
d
d
i
nterse
c
t
_
d
o
main operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: a
l
low ov
e
rloading binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Ve
r
d
oolaege
i
scc: add
more
dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc: reor
g
anize tabl
e
of
iscc operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update is
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
ola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaeg
e
AUTHOR
S
: update s
u
ppor
t
infor
m
a
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdool
a
ege
rand
o
mvecto
r
:
d
o
uble size of co
e
ff
i
cients on each at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support trans
i
ti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
dool
a
ege
upd
a
te isl
t
o version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
b
arvinok_e
.
c
c
: enu
m
era
t
e_vd: rem
o
ve unu
s
ed
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
evalue
.
c:
P
olyhe
d
ron
_
I
nsert: add miss
i
n
g return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
ool
a
ege
evalue
.
c
:
reduce
_
evalue: remove unused
v
ar
i
abl
e
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
iscc: add
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaeg
e
iscc: a
d
d "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
add isl_pw_
q
polyn
o
mial_
u
pper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolae
g
e
iscc:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
a
dd isl_pw_qpol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
a
d
d
i
s
l_pw_qpolynomia
l
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
u
p
d
a
t
e
isl for isl_pw_qp
o
lynomial_f
o
reach_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
rename eva
l
ue2isl to isl
_
p
w
_qpo
l
ynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
s
cc: detect more
kinds of
e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_
e
nume
r
ate: use isl during the ver
i
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
ol
a
ege
a
d
d
is
c
c
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add isl_set_ca
r
d
a
n
d isl_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdool
a
ege
a
d
d eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
eval
u
e_convert: export
a
s appl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
o
o
la
e
ge
barv
i
nok_enu
m
erate_e: optionally us
e
isl to
p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
a
e
ge
add
i
s
l
submod
u
le
commit
|
commitdiff
|
tree
2010-03-04
Sven
Verdoolaege
AX_SUBMOD
U
LE: accept "-"
i
n
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
d
oo
l
a
ege
barvino
k
_enumerate: return NaN for in
f
in
i
te pr
o
bl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
e
r
doola
e
ge
re
m
ove_all_equaliti
e
s: handle integr
a
lly, but
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
o
o
laeg
e
barvinok_enumerate_e: al
w
ays re
t
urn a
p
artiti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
e
ge
barvi
n
ok_enumerate: check that dimension
of i
n
put incl
u
des
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
o
l
aege
part
i
t
i
on2
e
numeration: ch
e
c
k
that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
update pipl
i
b
for
c
ha
n
ge in configure
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
pd
a
t
e
o
mega for co
n
figuration/
c
ompilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
Verdoolaege
barvinok_c
o
unt_wit
h
_options: check ret
u
rn val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erd
o
o
l
aege
Polyhed
r
on_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
doola
e
g
e
summ
a
t
e
.
c: add
missing i
n
clud
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
topcom
.
c: support newer v
e
rsio
n
s of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoo
l
aege
topcom
.
c
:
compute_d
o
main: skip vert
i
ces without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_min
i
mize: take constant term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc:
r
e
flect that --e
n
abl
e
-fractional is now
t
he default
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
erdoolaege
glpk_po
l
yhedron_affine_sign: spe
c
ial c
a
se
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
Polyhe
d
ron_Insert_Columns: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
aege
P
o
lyhedron_Factor: fix
u
pdati
n
g of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Verdoolae
g
e
configure
.
i
n
: use A
X
_SUBMODULE instead of BV_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalitie
s
: us
e
Polyh
e
dron
_
Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doolaege
doc: add e
x
perimental comparison b
e
t
wee
n
o
ld and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
lexmin
.
cc: remov
e
"a
n
a
ch
r
oni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
g
e
doc: add
some less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
Verdoolaege
add "cle
v
er" L
a
u
r
ent
e
x
pansion b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
move Las
t
_Non
_
Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
ola
e
ge
extr
a
ct out pa
r
am_polyn
o
mia
l
fr
o
m
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolaege
extra
c
t vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
Verdool
a
ege
up
d
at
e
p
olyli
b
for s
p
eed i
m
provement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven V
e
rdoolaege
update pipl
i
b
f
or d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaege
P
olyhe
d
ron_
F
ac
t
or: fix merging
o
f groups o
f
column
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolae
g
e
ba
r
vinok_enumerate_seri
e
s: don't
c
heck for
r
e
v
lex po
s
i
ti
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
(t)counter: move coun
t
e
r
::res
e
t
(
) up to
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rd
o
olaeg
e
Mak
e
file
.
am: keep b
e
tter tr
a
ck o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
add semi
g
roup_holes applic
a
tion
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verd
o
olaege
Line_Length: ha
n
dl
e
0D polyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun:
add is_zero metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvi
n
ok_en
u
m
e
rate_e_
s
eri
e
s: remove equalities i
n
ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
doc
:
fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
barvin
o
k_
e
numer
a
t
e
_
e_ser
i
es: ha
n
dle all ex
i
stentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc:
m
ake project static
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
b
a
rvinok_enumerate
_
e_ser
i
es: ha
n
dle
a
l
l equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
ege
add tes
t
set f
r
om the
o
the
r
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolae
g
e
Polyhedron_Factor: h
a
ndle polyhedra
w
it
h
a non-t
r
ivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaeg
e
update piplib for change
i
n
c
o
nfigure argumen
t
s
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdool
a
e
g
e
test_approx
.
c
:
ad
d
dummy
f
ield in
d
u
m
my tms s
t
r
u
cture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
configu
r
e
.
in:
a
v
o
id i
n
trodu
c
ing empty elements
in PKG_C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
o
l
aege
occ: define OM
I
T_GETRUSAGE if
s
y
s/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
aege
omega_interface
/
Makefile
.
am: put d
e
pending
l
ibraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
configure
.
in: a
d
d $(EXEEX
T
) t
o
optio
n
al occ
f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verd
o
olae
g
e
upd
a
t
e omega
for MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
bernstein/confi
g
ure
.
in
:
add mi
s
sing
A
C_PROG
_
CXX
commit
|
commitdiff
|
tree
2008-12-30
S
ven
V
erd
o
olaege
v
e
ctor_p
a
rti
t
i
o
n_ch
a
m
b
ers: computes ch
a
mbers of vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barv
i
nok
.
cc: remove unused nono
r
thog
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdool
a
ege
u
p
d
a
te
pip
l
ib f
o
r MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
update po
l
ylib f
o
r MinGW com
p
atib
i
lity
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Verdoolaege
fds
t
r
e
am
.
cc: don't
(re)dec
l
are fileno
if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
evalue
.
c
: in_do
m
a
in: special-c
a
se 0D dom
a
ins
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
laege
Avoid
u
se o
f
s
y
s/times
.
h
header when not availab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sve
n
Ver
d
o
o
laege
add gnulib gets
u
b
o
p
t mo
d
ule for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
r
do
o
laege
README:
mention t
h
at
GiNaC i
s
also needed for the
O
mega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verd
o
ol
a
ege
Allow
b
uild o
f
oc
c
when usi
n
g bundled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
do
c
:
a
d
d
a reference
to a maste
r
thesis actual
l
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdoolaeg
e
bar
v
inok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
README: fi
x
up inst
a
l
lation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
Add fil
e
s
generated by
b
i
son a
n
d
f
l
ex to the distribut
i
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doola
e
ge
update po
l
y
l
ib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
a
ege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoolaege
evalu
e
.
c: affine
2
ev
a
l
ue:
red
u
ce
coeffic
i
e
nts
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c:
e
value_level_cmp:
p
roduce more
c
o
n
sistent
.
.
.
commit
|
commitdiff
|
tree
next