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: support application of piecewise quasipolynomial (fold) on set
2010-03-10
Sven V
e
rdoolaege
update isl t
o
v
ersion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oo
l
aege
barvinok_e
.
c
c
:
enumera
t
e_vd:
r
emove
u
nused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhedron_Insert:
add mi
s
s
i
ng return typ
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
doolaege
evalue
.
c: red
u
ce_evalue:
r
e
m
ove u
n
u
s
e
d
variable
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
eg
e
isc
c
: add @ opera
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
is
c
c: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
ad
d
i
s
l
_
p
w_q
p
oly
n
omial_upper
_
b
ou
n
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaege
iscc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
eg
e
add
i
sl_p
w
_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolaege
a
d
d isl_p
w
_
qpolynomial_to_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaeg
e
u
p
date isl for isl_pw_qpolynomial_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
rename evalue
2
isl to i
s
l
_
pw_
q
polynomi
a
l_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: de
t
e
ct more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
b
arv
i
nok_enumerate: u
s
e isl during the ver
i
ficat
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoo
l
ae
g
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_set_ca
r
d
and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: export a
s
application
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doolaege
barvinok_enumerate_e
:
opti
o
nally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ver
d
oolaeg
e
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
AX_S
U
BMO
D
ULE: acc
e
pt "-" in modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
b
arvinok_enumerate:
r
etu
r
n NaN
f
or infin
i
te pr
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
S
v
en V
e
rdo
o
l
aege
remove_all_equaliti
e
s: handle integrall
y
, but not
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
barvinok_
e
numerate_e: always return a
p
artiti
o
n fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
barvi
n
ok_
e
numerate: c
h
e
c
k that dim
e
n
s
ion of
i
nput includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
Verdoolaege
partition2enumeratio
n
:
c
heck that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
V
e
rdo
o
laege
update p
i
plib f
o
r c
h
ange in c
o
nfigure options
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaeg
e
u
p
d
ate omega for co
n
figurat
i
o
n
/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
barvinok
_
c
ount
_
with_o
p
tio
n
s: check re
t
urn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
Polyhedron_Sample: plu
g
m
e
m
ory
leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
su
m
mate
.
c:
a
dd mi
s
sin
g
inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
la
e
ge
to
p
com
.
c: support newer versions of T
O
PCOM
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
topcom
.
c:
c
o
m
pute_d
o
main: skip
vertices without domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
polytope_minimize: t
a
k
e
constant term to be
z
e
r
o w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
d
oc: refl
e
ct t
h
at --enable-fractional is
now the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Verdoo
l
aege
g
l
p
k_polyhedron_affi
n
e
_s
i
gn:
spe
c
ial ca
s
e 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erdoolaege
Polyh
e
dron_
I
n
sert_C
o
lumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doolaege
Polyhedron_Fac
t
o
r
: fi
x
upda
t
i
n
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
c
o
nfigure
.
in: use AX_S
U
B
M
ODU
L
E instead of
B
V_SUBMO
D
ULE
commit
|
commitdiff
|
tree
2009-08-21
Sven
V
er
d
oolaege
remove
_
equalities
:
use Poly
h
edr
o
n_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
o
laege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaege
doc: add experimental com
p
arison between old and
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolae
g
e
lexmi
n
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
rdoolaege
doc: a
d
d some less common
.
sty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolae
g
e
a
dd "
c
lever" La
u
rent expa
n
sion based s
u
m
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract
out param_polynomi
a
l from
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven V
e
rdool
a
ege
e
x
tract vertex_cone from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven V
e
r
dool
a
eg
e
u
pdate polyl
i
b for sp
e
e
d improvem
e
nt i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
v
en
V
erdoola
e
ge
up
d
ate
piplib for
dist
r
ibut
i
o
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ve
r
do
o
la
e
ge
P
o
lyhedron
_
Factor: fix me
r
ging of g
r
oups of c
o
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barv
i
nok_enumerate_serie
s
: do
n
'
t chec
k
f
o
r
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
(t)
c
ounter:
m
ove counter::reset() up t
o
count
e
r_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
Makefile
.
am: keep bet
t
er track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
a
dd sem
i
gr
o
u
p
_
h
oles application
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oola
e
ge
Line_Length: handle
0
D po
l
ytop
e
in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
ae
g
e
ge
n
_
fun:
a
dd i
s
_
z
ero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n
Verdoolaege
barvinok_enumerate_e_series: remove e
q
u
a
lities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
lae
g
e
barvinok_enumerate_e_series: handle
all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
s
eries
.
cc: make project
static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
bar
v
i
n
ok_enumera
t
e_e_series:
h
andle all equali
t
ies
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
olaege
add test s
e
t
from the
o
ther itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
Polyh
e
dron_Fact
o
r: han
d
le polyhe
d
r
a
with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n Verd
o
olae
g
e
update piplib for c
h
ange i
n
configure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
ae
g
e
test_approx
.
c: add dummy field in dummy tm
s
structu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
conf
i
gure
.
in: avoid i
n
t
r
oducing
empty elements in PK
G
_
CON
F
IG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
occ: defi
n
e OMIT_G
E
TRUS
A
GE if sy
s
/re
s
ource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaeg
e
omega_
i
n
t
erf
a
ce/Makefile
.
am
:
put depe
n
d
ing li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in
:
add $(EXE
E
XT) to
o
p
tional
occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
update omega for M
i
n
G
W comp
a
tibil
i
t
y
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erd
o
olaege
bernstein/c
o
nfi
g
ure
.
in: add missing AC_PROG
_
CXX
commit
|
commitdiff
|
tree
2008-12-30
Sv
e
n
Verdoolaege
v
e
c
t
o
r_partit
i
on_ch
a
mber
s
: computes
cha
m
bers of v
e
cto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erdoolaege
barvinok
.
cc: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
upda
t
e piplib fo
r
MinG
W
com
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoo
l
a
ege
update polylib for
M
inGW comp
a
tibi
l
i
ty
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
f
dstrea
m
.
cc: don't (re)declare fileno if
it's a
m
ac
r
o
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
e
v
a
lue
.
c
:
in_do
m
a
i
n: special-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
v
en Verd
o
ol
a
ege
Avoid
u
se of sys/times
.
h he
a
der
w
hen not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
en
Verdoolaege
add gnulib
g
ets
u
bop
t
module for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoola
e
ge
README: menti
o
n that GiNaC is also nee
d
ed f
o
r th
e
O
m
ega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow build of
occ when
usin
g
bundled
omega
commit
|
commitdiff
|
tree
2008-10-28
Sv
e
n Verdoolaege
doc: add
a re
f
e
r
ence
to a mas
t
e
r
t
h
esis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok 0
.
2
8
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README:
fix up installatio
n
ins
t
ructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
do
o
lae
g
e
Add files gener
a
ted by bison and fle
x
to the distributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdo
o
laege
upda
t
e polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
er
d
oolaege
u
p
date p
i
plib
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalu
e
.
c:
a
ffine2ev
a
lue: reduce coeffici
e
n
ts
commit
|
commitdiff
|
tree
2008-10-10
Sv
e
n V
e
r
d
oolaege
eval
u
e
.
c: evalue_level_cmp: produce more consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdo
o
l
aege
doc: add another paper r
e
fe
r
ri
n
g to th
e
library
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoolaege
p
i
ecewise
_
lst
.
h: avoid
duplicate
parameter
n
ame
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
evalue_r
e
ad
.
c:
fix minor bugs
i
n
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
updat
e
o
m
ega f
o
r
miss
i
n
g files in dis
t
ribu
t
ion
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdo
o
la
e
g
e
barvinok_enumerate_e: a
v
oid infinite
l
oop whe
n
p
r
esented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Ver
d
oola
e
g
e
include
ome
g
a
su
b
module
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
erdoolaege
mov
e
om
e
ga subdi
r
to omega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sven
Verdoolaege
NTL_QQ
.
cc: add stdlib
include for
a
bort
h
id
d
en in NTL
_
vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remove
g
nulib lin
k
-war
n
ing module
c
o
mpletely
commit
|
commitdiff
|
tree
2008-08-28
Sven Verd
o
olaege
l
e
x
min
.
cc:
find and sort are in std:: namesp
a
ce
commit
|
commitdiff
|
tree
next