repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
iscc: support transitive closure
2010-03-10
Sven Ver
d
ool
a
e
ge
iscc:
suppor
t
transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
update is
l
to ver
s
ion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
barvinok
_
e
.
c
c: e
n
um
e
rate_vd
:
rem
o
ve unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
e
va
l
u
e
.
c: Polyhedron_Insert: ad
d
missi
n
g return
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdo
o
l
a
ege
evalue
.
c
:
re
d
uce_evalu
e
: remove unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
is
c
c: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoola
e
ge
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
aege
add isl_p
w
_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
lae
g
e
i
scc:
add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
add isl_pw_qpolyn
o
mial
_
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
laeg
e
add isl_pw_q
p
olynomial_to_
e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
dool
a
e
g
e
update isl f
o
r isl_pw_qp
o
ly
n
omial_for
e
ach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
doolaege
re
n
ame eva
l
ue
2
isl to isl_pw_qpo
l
ynomia
l
_from_
e
value
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verdoolaege
is
c
c
:
d
etect
m
ore ki
n
ds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n V
e
rdoolaeg
e
bar
v
inok_e
n
umerate:
use isl du
r
ing
t
he v
e
rifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoo
l
aege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oolaege
add isl_set_card and isl_m
a
p_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
d
oolae
g
e
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ver
d
oolaege
eval
u
e_conv
e
r
t
:
ex
p
o
r
t a
s
a
p
p
l
i
c
ation
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
bar
v
i
nok_e
n
u
m
erate_
e
: optionally
u
s
e isl to proj
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
ad
d
isl s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Ver
d
o
o
laege
AX_SUBM
O
DUL
E
:
accept "-" i
n
modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
e
rdoolae
g
e
ba
r
vin
o
k_enumerate: return NaN for
i
nfinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n
V
erdoolaege
remove_all_equalities: handle integra
l
l
y
, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok
_
e
n
umerate_e: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
barvinok_enumerate: check
tha
t
dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdool
a
ege
pa
r
tition2enumeratio
n
: ch
e
ck
t
h
at input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olae
g
e
update
pip
l
ib for change in configure options
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n V
e
rdoolaege
update omega
f
or con
f
iguration/compil
a
tion issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolae
g
e
barvinok
_
count_
w
ith_options: check r
e
turn
value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
V
e
rdoolaege
Polyhedr
o
n_Sample: plug mem
o
ry
l
eak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ve
r
doo
l
aege
su
m
mate
.
c
: a
d
d missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
top
c
o
m
.
c: support newe
r
v
e
rsions of
TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdo
o
laege
topco
m
.
c: c
o
mpute_domain:
skip ve
r
tices withou
t
do
m
ai
n
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
V
e
r
doolaege
polytope_mi
n
i
mize: take c
o
n
s
ta
n
t term to be ze
r
o wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
oc: reflect that --enabl
e
-fractional is
now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
g
lpk_polyhe
d
ron_affine_sign:
s
p
ecial case 0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdool
a
ege
Polyhedron_I
n
sert_Co
l
um
n
s: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
aege
Polyhedron_Fac
t
o
r: fix updating of gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n
Verdoolaege
configure
.
in: use AX_S
U
B
MODULE instead
of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
Verdo
o
laege
r
emove_equal
i
ti
e
s
: use Pol
y
hedron_Preimage
in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
la
e
ge
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
olaege
doc:
add
e
xperimental compari
s
on between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
le
x
mi
n
.
cc: remov
e
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolae
g
e
doc: a
d
d some less co
m
mon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
Verdoo
l
a
ege
a
dd "clever" Laurent e
x
pansion based summatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
d
o
o
laege
m
o
ve
L
ast_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oolaege
e
xtract ou
t
para
m
_
p
o
lynomi
a
l from la
u
rent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdo
o
laege
extract vertex_cone fro
m
lauren
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven
Verdoolae
g
e
u
p
d
ate
polylib
for sp
e
e
d impr
o
vemen
t
in in_do
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
update
p
ipl
i
b for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolae
g
e
P
o
l
yhedr
o
n_Factor: fix merg
i
ng o
f
grou
p
s of c
o
l
u
mn
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
barvin
o
k_enumerate_se
r
ie
s
: d
o
n't check for
revl
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
(
t
)
c
ounter: move cou
n
ter::reset() up to counter_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaeg
e
Makefile
.
am
:
keep
b
e
tter track
of
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
er
d
oo
l
aege
a
d
d
s
e
migroup_holes app
l
i
cation
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Li
n
e_Length: handle
0
D polyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aeg
e
gen_fun: add is_zero
m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumerate_
e
_serie
s
:
r
emov
e
equal
i
ties in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
d
o
c: fix typ
o
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
ba
r
vino
k
_enu
m
erate
_
e
_
series: handle all e
x
isten
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
ser
i
es
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enumerate
_
e_series: handle
all equal
i
ties
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
add test se
t
from
the other
itsl20
0
8 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
Polyhedron_Factor: handle polyh
e
dra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Ve
r
do
o
l
aege
updat
e
pip
l
ib for change in configure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_a
p
p
r
o
x
.
c
:
a
dd dum
m
y
f
i
e
ld in dummy tms st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
c
o
nfigure
.
in: avoid introducing e
m
pty eleme
n
ts in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdo
o
laege
occ
:
define OMIT_GETRUSAGE if sys/resource
.
h ca
n
not
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
r
d
oolaege
omega_interface/Makefile
.
am: put dep
e
n
din
g
libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
c
o
n
f
i
gu
r
e
.
i
n: add $(EXEEXT)
to opti
o
nal occ for cygwin
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Ver
d
oolaege
upd
a
te om
e
ga fo
r
M
i
nGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
S
ven V
e
rdoolaege
bernstei
n
/con
f
igur
e
.
in: add
missing
A
C_PROG_CXX
commit
|
commitdiff
|
tree
2008-12-30
Sven
V
erdo
o
laege
vector_part
i
tion
_
c
hambers: computes chamb
e
r
s
of vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
barv
i
nok
.
cc
:
rem
o
v
e unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Verdo
o
l
aege
update piplib for
MinGW compatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
doolaege
update polylib
for
M
in
G
W
c
o
m
p
a
ti
b
ili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sve
n
V
erdoolaeg
e
fdstream
.
c
c
:
don't (re)
d
e
cl
a
r
e
fil
e
no if it's
a
m
a
cro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: i
n
_domain: specia
l
-case
0D do
m
ain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
Avoid use of
sy
s
/times
.
h header when no
t
a
v
ailable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
add gn
u
lib getsubopt module for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
R
E
A
DME: mention that
G
i
NaC
i
s
also need
e
d
for
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Ve
r
doolaege
Allow build of occ wh
e
n u
s
ing bundled om
e
g
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verd
o
o
l
aege
doc
:
add
a
re
f
er
e
nc
e
t
o a mast
e
r thesi
s
actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoo
l
ae
g
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
README: fix up
i
nstallation instructions
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
Add files generated by
b
ison
a
nd flex
t
o
the distribution
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdoolae
g
e
up
d
a
t
e
polyli
b
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoola
e
ge
u
pdate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verd
o
olaege
ev
a
lue
.
c:
a
f
f
i
n
e
2evalue: reduce co
e
ffi
c
ie
n
t
s
commit
|
commitdiff
|
tree
2008-10-10
S
ven Verdoo
l
aege
ev
a
lue
.
c: eval
u
e_lev
e
l_cmp: produce m
o
r
e
consiste
n
t
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en
Ver
d
oolae
g
e
doc: add another paper re
f
erring to the librar
y
commit
|
commitdiff
|
tree
2008-09-16
Sven Ver
d
oola
e
ge
piecewise_lst
.
h: avoid duplicate
p
aram
e
ter name
commit
|
commitdiff
|
tree
2008-09-02
S
v
en Verdoolaege
evalue_read
.
c:
f
ix minor bugs in tokeniz
e
r
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
u
p
date omeg
a
fo
r
missing files in dist
r
ibutio
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoo
l
aege
b
a
r
vino
k
_enumerate_e: avoid
infi
n
ite
l
oo
p
when presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaeg
e
i
n
clude omega submodule
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
move
om
e
ga s
u
b
dir to
omega_int
e
rface
commit
|
commitdiff
|
tree
2008-08-28
S
ven Verdoolaege
NTL_Q
Q
.
cc: add
s
tdlib
i
n
c
l
u
de for abort
h
idden in
N
TL_v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoolaege
remo
v
e
g
nulib
l
i
nk-warning module comple
t
ely
commit
|
commitdiff
|
tree
next