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
iscc: add "join" operation
2010-03-14
S
v
en
V
erdoo
l
aege
iscc: add "join" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add intersect_
d
oma
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow over
l
oading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
ege
is
c
c: add m
o
re dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
doc: r
e
organize
t
able of iscc op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ve
r
d
o
olaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AU
T
HOR
S
:
update
support inform
a
t
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoo
l
aege
random
v
ector:
d
ouble size of coefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdo
o
laege
iscc: support transit
i
v
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaeg
e
update isl to v
e
rsion
0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
bar
v
inok_
e
.
cc: enumerat
e
_
v
d: r
e
mov
e
u
nused vari
a
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalue
.
c: Po
l
yhedron_Insert: add missing re
t
u
r
n type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdo
o
laege
evalue
.
c: re
d
u
ce_eva
l
ue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdool
a
ege
i
s
c
c:
add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qp
o
lynomial
_
upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc
:
ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
olae
g
e
add isl_pw_qpolyn
o
mia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
isl_pw
_
qpolyn
o
mial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
u
p
dat
e
isl for is
l
_pw_
q
p
olynomial_foreach_p
i
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
r
ename eva
l
ue2isl to isl_pw_qpolynomial_from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n V
e
r
doolaege
iscc: det
e
c
t more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoolaeg
e
b
a
r
vinok_e
n
umer
a
te: use
i
sl d
u
ring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdo
o
laege
a
dd isl_set_
c
a
rd and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
evalue_convert: expor
t
as applica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolaege
barvinok
_
enume
r
ate_e: optionally
u
se i
s
l to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
s
l s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SU
B
MODULE
:
a
c
cept "-" i
n
modul
e
name
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdo
o
laege
barvinok_enumerate: return NaN
for i
n
fini
t
e problems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verdoolaege
remove_all_
e
q
u
a
lities: handle integr
a
lly
,
but n
o
t rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
barvino
k
_
enumerate_e: always return
a partitio
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
barvi
n
ok_enum
e
rat
e
:
check
t
hat d
i
men
s
ion of
i
np
u
t
i
ncl
u
d
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
partition2enu
m
eration: c
h
eck tha
t
input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoo
l
aege
update piplib for
change in config
u
re
options
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
u
p
d
a
t
e
o
mega fo
r
configuration/compila
t
io
n
iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
e
ge
ba
r
vinok_count_with_
o
p
t
io
n
s: check
re
t
urn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
P
ol
y
hedron_Sample
:
plug memory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoo
l
aege
summa
t
e
.
c: add
m
issing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c: support
n
ewer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
topcom
.
c: compute_domain: skip vertices without d
o
m
ain
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
polyto
p
e_minimize:
t
a
ke
c
onstant t
e
rm to be
zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdo
o
laege
doc: reflec
t
th
a
t
--enable-fractional is
now the default
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
glpk_polyhedron_affine_sign
:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
Verdoolaege
Polyhedron_Insert_Colum
n
s:
fi
x
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n
V
er
d
oolaege
P
o
l
y
h
e
d
r
on_Factor: fix up
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdo
o
l
a
ege
configure
.
in: us
e
AX_SUBMODULE instead of BV_SU
B
M
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_eq
u
alities: use Pol
y
hedron_
P
r
e
image
i
nste
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdool
a
ege
doc: add experim
e
ntal c
o
mparison between old and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexm
i
n
.
cc:
r
emove "an
a
chronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
doc: add some
l
e
ss
c
o
mmon
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Ve
r
d
o
olae
g
e
add "clever" Laurent expan
s
ion based s
u
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
mo
v
e
La
s
t_No
n
_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
e
x
tr
a
c
t
out p
a
r
am
_
p
o
lyn
o
mial from lau
r
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
extrac
t
verte
x
_cone from l
a
u
r
e
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolaege
NTL_QQ
.
cc: add stdio
i
n
c
l
ude
f
o
r
EOF hidden in N
T
L_i
o
_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
V
e
rdo
o
la
e
ge
up
d
a
te poly
l
i
b for speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
u
pdate pi
p
l
ib for dist
r
ibuti
o
n issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdool
a
ege
Polyhedron_Factor: fix merging of groups of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
barvinok_enumerate_series: don't che
c
k for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdo
o
l
a
ege
(t)counter: move counter::re
s
et() up to
c
ounter_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdool
a
ege
M
akefile
.
a
m
: ke
e
p better tr
a
ck of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
a
d
d semigr
o
up_holes
application
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
do
o
laege
L
i
ne
_
Length:
ha
n
dle 0D
p
olytope i
n
1D
s
p
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
gen_fun: add is_zero me
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
b
arv
i
n
o
k_enumerat
e
_e_serie
s
: rem
o
ve equalities
i
n each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
e
rdoolaege
doc: fix t
y
po
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
barvinok_enumerate_e_
s
eries: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
doolaege
ser
i
es
.
c
c
: make project sta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_e
n
umerate_e_ser
i
es: han
d
le all equa
l
ities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
add test
set from the other i
t
sl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdo
o
l
a
ege
.
gitignore: ignore ob
j
ec
t
files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdo
o
l
a
ege
genfunc
.
cc: para
l
lel_polytopes: d
e
tect 0D polytop
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoolaege
c
o
nfigu
r
e
.
in: set AC_CONFI
G
_MACR
O
_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven Ve
r
dool
a
ege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
V
e
rdoolaege
Polyhedron_F
a
ctor: handle polyh
e
dra
w
i
th
a non-triv
i
al
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doo
l
ae
g
e
u
pdate piplib f
o
r change i
n
configure a
r
gumen
t
s
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ve
r
doolaeg
e
t
e
s
t_approx
.
c: add dummy fie
l
d in dummy
t
m
s structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
o
ola
e
ge
configure
.
in: a
v
o
i
d introducing em
p
ty elem
e
n
ts
in PKG
_
CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoo
l
aege
occ
:
define OMIT_GETRUSAGE if sys/resourc
e
.
h
c
annot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omega_interface
/
Make
f
ile
.
am
:
put depe
n
di
n
g libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
r
doolaege
configure
.
i
n
:
a
d
d
$(EXEEXT) to optional o
c
c for cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erd
o
olaege
update omega fo
r
MinGW
c
o
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
bernstein/configure
.
in: add missing A
C
_PRO
G
_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en
V
er
d
o
o
laege
genfun
.
cc:
add
b
races round
e
x
tern "C" ty
p
edef
commit
|
commitdiff
|
tree
2008-12-30
S
v
en
V
er
d
oolaege
vec
t
o
r_partition_chamber
s
: computes cham
b
ers
of vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barvi
n
ok
.
cc: r
e
m
ove unu
s
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib
f
o
r
M
i
nGW compatibil
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update polylib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc:
d
on't
(re
)
declare fileno if it's a macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
evalue
.
c: in_domain: special-
c
a
se 0D do
m
a
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verdoolaege
A
void use of s
y
s/time
s
.
h header wh
e
n
not availa
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaege
a
dd gnulib ge
t
subopt mo
d
u
l
e for Mi
n
GW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdool
a
ege
README: mention
t
h
at GiNaC is also needed for th
e
O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sve
n
Verdoolaege
Allow build of occ when using bundled o
m
eg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoola
e
ge
d
oc
:
add a reference
to
a
master t
h
esis actually usi
n
g
.
.
.
commit
|
commitdiff
|
tree
next