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 more dom operations
2010-03-14
Sven Verdoola
e
ge
i
scc: add
more
dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
doc:
reorganize table of
iscc oper
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
aege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
eg
e
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ve
r
do
o
laege
AUTHORS:
u
pdate support
informat
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Ver
d
oolae
g
e
randomvecto
r
: d
o
u
b
le size of
c
oef
f
icient
s
on
e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdo
o
l
a
e
ge
iscc: su
p
p
o
rt transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
updat
e
i
sl to versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
barvino
k
_e
.
c
c: enum
e
rate_vd: remove
u
nused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eval
u
e
.
c: Pol
y
hedron_Inser
t
:
add mi
s
sing r
e
turn type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ve
r
dool
a
ege
evalue
.
c: reduce_
e
v
a
lue: remove unused
v
ar
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdool
a
eg
e
iscc:
add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
iscc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
l
a
ege
ad
d
isl_pw_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add
isl_pw_qpolyno
m
ial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add
i
sl
_
pw
_
qpo
l
ynomial_
t
o_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
updat
e
i
sl
f
or isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename ev
a
l
u
e2isl t
o
i
s
l_pw
_
qpol
y
nomial
_
from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect
m
ore kin
d
s
of err
o
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
r
vi
n
ok
_
enumerate
:
use is
l
during the
v
e
r
i
ficatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
ge
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ad
d
isl_set_card and
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add eval
u
e
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
evalue_convert:
export as a
p
plication
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
barvinok_enume
r
ate_e: option
a
l
ly us
e
isl to proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl subm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: accept "-" in modul
e
n
ame
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Verdoolaege
b
arvi
n
ok_enu
m
e
r
a
te
:
return
Na
N
for infinit
e
probl
e
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
V
e
rdoola
e
ge
remove_al
l
_equalities:
h
a
ndle integrally,
but
not ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdo
o
laege
barvino
k
_en
u
merate
_
e: always
return a partiti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
erdo
o
l
a
eg
e
barvinok
_
enumer
a
te: check tha
t
d
i
mension of input in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoola
e
ge
partit
i
on
2
enumeration: check that i
n
put
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
erdoolaege
update piplib for chan
g
e
in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
update omega fo
r
configura
t
i
o
n/compilation
i
ss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
bar
v
inok_
c
o
unt_with_opti
o
ns: check ret
u
rn
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sa
m
ple: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
summate
.
c: add missing inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support
n
ewer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ve
r
doolaege
topcom
.
c: c
o
mpute_domain
:
skip v
e
rtices wi
t
h
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
po
l
y
tope_minimize: take constant term t
o
be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
eg
e
do
c
: reflect that
-
-enable-fractiona
l
is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
g
l
pk_polyhe
d
ron
_
affin
e
_s
i
g
n
:
s
p
e
cial case 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdoolaege
Polyhedron_In
s
ert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedr
o
n
_
F
actor:
fix updat
i
ng of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Ve
r
doolaege
configure
.
in: use AX_SUBMODULE in
s
tead of BV
_
SU
B
MODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdoolaege
remove_equalities:
us
e
Polyh
e
d
ron_Prei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
doc: add experim
e
ntal com
p
arison betw
e
en ol
d
an
d
ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolae
g
e
l
exmin
.
cc: remove
"
anach
r
onism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
d
o
c
:
add some less com
m
o
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdo
o
la
e
ge
add
"
c
lever"
L
a
urent expansion based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
move
Last
_
Non_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolaege
extract
o
ut par
a
m_polynomial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extra
c
t
vertex_
c
one from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
doolaeg
e
updat
e
polylib for speed improve
m
e
nt i
n
in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sve
n
Verdoo
l
aege
u
p
date
pipli
b
f
or distributio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdoolaege
Polyhedro
n
_Factor:
fix
m
erging
o
f
g
r
oups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enu
m
erate_series: don't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(
t
)co
u
nte
r
:
move counter
:
:res
e
t() up t
o
counte
r
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
aeg
e
Makefile
.
am: keep
bet
t
er track of f
a
i
led t
e
sts
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
add
s
emigroup_hole
s
application
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
rdo
o
laege
Line_Length: han
d
le 0D p
o
lyto
p
e in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ver
d
oolaege
g
en_
f
un: add i
s
_ze
r
o
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoolaege
barvinok_enumerate_e_series: r
e
m
ove equal
i
ties in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdo
o
laege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
a
rvinok
_
enumer
a
t
e_e_series: handle all
exis
t
e
n
t
ial
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oo
l
a
ege
series
.
cc:
make project
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
barvinok_enumerate_e_series: handle
al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
aege
add test set from the o
t
her itsl
2
008
paper
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdool
a
e
g
e
Polyhedron_Factor:
h
a
nd
l
e p
o
lyhedra
with a n
o
n-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
p
date
p
iplib for change in
config
u
r
e
arg
u
ments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
test
_
a
p
prox
.
c:
a
d
d
dummy field in dummy tms structu
r
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verd
o
olaege
conf
i
gu
r
e
.
in: avoid introducing empty ele
m
ents in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
occ: de
f
ine
OMIT_GET
R
USA
G
E
if
s
ys/r
e
so
u
rce
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaege
omega_i
n
te
r
face/
M
akefile
.
am: put dependin
g
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven
Verd
o
o
l
aege
configure
.
in: ad
d
$(EXEEXT) t
o
optional occ fo
r
cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
ola
e
ge
u
p
da
t
e om
e
ga f
o
r MinGW c
o
m
patibility
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoola
e
ge
be
r
nstein/con
f
igure
.
in: add missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
o
o
l
aege
vector_partition_
c
hambers:
c
o
m
putes
c
h
a
mbers of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sv
e
n
Verdool
a
ege
barvinok
.
c
c
: remove unuse
d
nonortho
g
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
update piplib for Mi
n
GW c
o
m
p
atibility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rd
o
o
laege
update
p
ol
y
lib for Mi
n
GW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoolae
g
e
fdstream
.
cc:
don't
(re)
d
ec
l
are fileno
i
f it's a
m
acro
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
Verdoolaege
eva
l
ue
.
c: in_domain: special-cas
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaeg
e
Avoid u
s
e of sys/times
.
h heade
r
wh
e
n
not
a
vai
l
ab
l
e
commit
|
commitdiff
|
tree
2008-12-25
Sven V
e
r
doolaege
add g
n
u
l
ib getsu
b
opt
module
for
M
inGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven Verdoolaege
README: mention that Gi
N
aC is also needed fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verd
o
olaege
Allow build of
occ when usi
n
g
bundled om
e
ga
commit
|
commitdiff
|
tree
2008-10-28
Sve
n
Verdoolaege
doc: add a reference to a mas
t
er t
h
esis
a
ctua
l
ly
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoolaege
ba
r
vinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
e
rdo
o
laeg
e
READM
E
: fix up installa
t
ion instructio
n
s
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verd
o
olae
g
e
Add files ge
n
erate
d
by b
i
son
a
nd flex to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolae
g
e
up
d
ate polyl
i
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
evalue
.
c: af
f
i
ne
2
evalue: reduce
c
oefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Ver
d
oolaege
ev
a
lue
.
c: evalue_level_c
m
p
: produce mo
r
e
consist
e
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add an
o
ther pa
p
e
r
referring to the
l
i
b
rar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oola
e
ge
p
i
e
ce
w
ise_lst
.
h
:
a
void
d
upli
c
at
e
par
a
meter name
commit
|
commitdiff
|
tree
2008-09-02
Sve
n
Verdoolaeg
e
e
v
alue_r
e
ad
.
c
: fix minor bugs
i
n tokenize
r
commit
|
commitdiff
|
tree
next