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 affine hull operation
2010-03-14
Sven Ver
d
oolae
g
e
i
s
c
c: ad
d
a
ffin
e
hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oo
l
aege
iscc: a
d
d
operat
i
on to c
o
nstruct universal ma
p
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
e
ge
is
c
c
:
add "
j
oin
"
opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
iscc:
add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: al
l
o
w
overloadin
g
binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc: ad
d
more dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
a
e
ge
doc: reorgan
i
ze table of iscc ope
r
a
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdo
o
laege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolae
g
e
AUTHORS: update
support
information
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdo
o
laege
randomvec
t
or: doubl
e
size of coeffic
i
en
t
s on each at
t
emp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdo
o
laege
iscc: suppor
t
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
update isl
to v
e
r
sion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
barvinok_
e
.
cc: enumera
t
e_vd
:
re
m
ove
un
u
sed
v
aria
b
le
s
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oo
l
aege
ev
a
lue
.
c:
Po
l
yhedron_Insert: add missi
n
g
r
e
turn
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdool
a
ege
evalue
.
c:
reduce_evalue:
r
emove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
i
s
cc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc: add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
sl_pw_qp
o
ly
n
om
i
al_
u
ppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erd
o
olaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpol
y
nomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
a
dd isl_
p
w_q
p
ol
y
nomial
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
u
p
d
a
t
e isl for isl_pw_q
p
ol
y
nomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdo
o
laege
rena
m
e evalue2isl to
isl_pw_qp
o
lynomial
_
from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolae
g
e
is
c
c: detect more kind
s
of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolaeg
e
barvino
k
_
enum
e
rate: use
isl during the ve
r
ification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
ege
a
d
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add
isl_set_ca
r
d and i
s
l_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
ev
a
lue
2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoolaege
ev
a
lue_con
v
ert: export
a
s appl
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
barvi
n
o
k_en
u
mer
a
te_e: o
p
tionally use isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
do
o
laeg
e
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
A
X
_SUBMODULE:
ac
c
ep
t
"-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ver
d
oolaege
barvinok_enumerate: r
e
t
urn
N
aN
for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdool
a
e
ge
remove
_
al
l
_
equa
l
ities: handle integral
l
y,
bu
t
not r
a
tionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Ver
d
oolaege
barv
i
n
ok_enumerate_e: always r
e
turn a
part
i
ti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
barvinok
_
enu
m
e
r
ate:
c
heck that dime
n
si
o
n of
in
p
ut includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaege
par
t
ition2enumerat
i
on
:
ch
e
ck that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verd
o
o
l
aege
u
p
d
a
te piplib for chan
g
e in config
u
re options
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdool
a
ege
update omega for confi
g
urat
i
on/compilat
i
on issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
barvinok_co
u
nt
_
with_o
p
t
i
ons: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
P
o
lyhedron_Sample: plug m
e
m
o
ry
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
l
aeg
e
summate
.
c
: a
d
d m
i
ssi
n
g
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
la
e
ge
to
p
c
om
.
c: supp
o
rt newer ve
r
sions
o
f T
O
PC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdo
o
laege
topcom
.
c: c
o
mput
e
_
domain: skip vertices
without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polyt
o
pe_
m
inimize:
t
ake constant ter
m
to be z
e
ro when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdo
o
laege
d
o
c: reflect that
--enable-f
r
a
c
tional is now the
d
efaul
t
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
glpk_
p
olyhedron_a
f
fine_sign: s
p
ecial case 0D p
o
l
y
h
edra
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
Polyhedron_In
s
ert_C
o
lumn
s
: fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhe
d
ron
_
F
actor
:
fix updating
of groups
commit
|
commitdiff
|
tree
2009-10-06
S
ven Verdoolaege
co
n
fi
g
u
re
.
in: use
A
X
_
SUBMODULE instead
o
f BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
aege
remo
v
e_equalities: use
P
olyhedr
o
n_Preima
g
e
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ver
d
oola
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
doo
l
aege
doc: add experim
e
nt
a
l compari
s
on betw
e
en o
l
d and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Ver
d
oolaege
lex
m
in
.
cc: remove "anachro
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add so
m
e less common
.
st
y
f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Laurent expansion based s
u
mmati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move
Las
t
_Non_Zero
to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
Verdoolaege
e
x
tract
o
ut p
a
ram_p
o
lynomial from lauren
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdo
o
l
aege
ext
r
act vertex_cone fr
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
u
pd
a
te polylib for speed impr
o
v
e
ment
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
update piplib
f
or distribution iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven
Verd
o
ola
e
ge
Polyhedron_Factor: fix mergin
g
o
f
gro
u
ps of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
o
laege
barvinok_en
u
mer
a
t
e
_series: don'
t
chec
k
for r
e
vle
x
p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
(t)counter:
mo
v
e counter::reset()
up
to
counter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
olaege
Makefile
.
a
m: keep better track of
f
ailed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
g
e
ad
d
semig
r
oup_holes
application
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
e
r
doolaege
L
ine_L
e
ng
t
h:
h
andle 0D polytope i
n
1
D
space
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoola
e
g
e
gen_fun
:
a
d
d is_zer
o
method
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
ol
a
e
g
e
b
arvinok_en
u
merate_e_series: remov
e
equalities in eac
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barvinok_enumera
t
e_e_s
e
ri
e
s
: hand
l
e a
l
l existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
barvi
n
ok_enumerate_e_
s
e
r
i
es: ha
n
dle al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
a
ege
add test
set from th
e
other i
t
sl2
0
08 paper
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
P
o
l
yhedron_Factor: ha
n
dle
polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoo
l
ae
g
e
update piplib for
ch
a
nge in conf
i
gure arguments
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Verdo
o
la
e
ge
test_approx
.
c
:
add dummy field i
n
dummy tms st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
g
e
con
f
ig
u
re
.
in:
a
vo
i
d
introdu
c
ing empty elements
i
n PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
rdoolaege
occ: define
O
MIT_GET
R
USAGE if sys/resource
.
h c
a
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rdoolaege
omega_i
n
terface/Ma
k
efi
l
e
.
a
m
:
p
ut depending
lib
r
ar
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
c
onfi
g
ure
.
in: add $(EXEEXT) t
o
optional oc
c
fo
r
cygwi
n
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
update omega
f
o
r
Mi
n
G
W compa
t
ibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
b
e
r
n
s
tei
n
/
c
onfig
u
re
.
i
n
:
add missing AC_P
R
OG_CXX
commit
|
commitdiff
|
tree
2008-12-30
S
ven Ve
r
doolae
g
e
v
e
ctor_part
i
tion_c
h
ambers: comput
e
s cham
b
e
rs of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven
Ver
d
o
o
laege
barvin
o
k
.
cc
:
remove unu
s
ed nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven
Ver
d
oolaege
upda
t
e
pipli
b
for
MinGW c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verd
o
olaege
updat
e
p
o
l
ylib for M
i
n
GW co
m
patibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aege
fdstream
.
cc
:
don
'
t (re)declare f
i
len
o
if it's a macr
o
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
aeg
e
evalue
.
c: in_domain: spe
c
ial-c
a
se 0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
Sven
Ve
r
doolaege
Avoid use of s
y
s/times
.
h
header w
h
en not available
commit
|
commitdiff
|
tree
2008-12-25
S
v
e
n
Verdoolaege
add g
n
ul
i
b
g
e
tsubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
S
ven Ver
d
oolaege
README: me
n
tion
that G
i
NaC is also needed for t
h
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
Allow
b
uild of occ when
u
s
i
ng b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
d
oc
:
add a reference to a
master thesis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven V
e
rdoolaege
b
a
rvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
R
E
ADME: fix
up installation in
s
tru
c
tion
s
commit
|
commitdiff
|
tree
2008-10-16
S
ven Ve
r
doolae
g
e
Add files g
e
nera
t
ed by bison and
f
lex
to the di
s
t
r
ibutio
n
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoolaege
up
d
ate po
l
ylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
aege
up
d
ate p
i
p
l
ib
commit
|
commitdiff
|
tree
next