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
update isl for isl_pw_qpolynomial_coalesce
2010-03-30
Sven Verdo
o
laege
u
pdate isl for
is
l
_pw_qpolyno
m
ial_coal
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
drop "Omega co
u
nting
c
alculat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoola
e
ge
t
est_bou
n
d
.
cc:
f
ix
p
r
i
n
t
f format
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
oolae
g
e
ber
n
s
t
e
i
n
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
evalue_range_p
r
opag
a
tion: fix sub
s
titution for neg
a
t
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
bernste
i
n/configure
.
in: u
s
e
a
b
solute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only
distribute bund
l
ed submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
rdoolaege
up
d
ate o
m
ega for
configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
confi
g
ure
.
in: allow
"
build"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoo
l
aege
isl_qpolynomia
l
_
fold_from_ginac: han
d
le fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_qpolyn
o
m
i
al_from_ginac:
expand ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
i
s
l_
o
b
j
_list
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
ool
a
e
ge
isc
c
: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoo
l
aege
update isl for introduction of isl_
p
r
i
nter
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isl_p
w
_qpolynomial_
u
p
per
_
bo
u
nd: set up vari
a
ble vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
eg
e
i
s
cc: a
d
d
s
ome
c
ompar
i
son ope
r
a
t
ion
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add i
n
verse opera
t
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Ver
d
ool
a
ege
iscc: fix up type of
f
ind_match
i
ng_b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
ad
d
affi
n
e
hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
d
oolae
g
e
iscc
:
add op
e
r
a
t
ion to construct univ
e
rsal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc
:
add "
j
oin"
oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
iscc: add intersect_doma
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
:
allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doolaege
i
s
cc:
ad
d
more d
o
m operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
ge
do
c
: reorgani
z
e table of iscc op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
l
aege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
AUTHORS: update support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
r
an
d
o
mve
c
tor: d
o
uble s
i
ze
of coefficients
o
n
e
ach attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolae
g
e
iscc:
s
u
pport transitive c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
upda
t
e isl to v
e
rsio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
barvinok_e
.
cc: enumerate
_
vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
value
.
c:
Polyhedron_Insert
:
add missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoo
l
a
e
ge
evalue
.
c: reduce_eva
l
ue:
r
e
move
unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
i
s
cc: a
d
d
@
o
p
er
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doolaege
isc
c
: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
add isl_pw_qpolynomial_up
p
er_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add i
s
l
_
pw_qpo
l
ynomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_pw
_
qpolyn
o
mial_to_
e
value
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
update isl for isl_pw_qpol
y
nomial_foreach_
p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
rename evalue2isl to
i
sl_p
w
_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoo
l
aege
iscc: dete
c
t more
k
inds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvi
n
o
k
_enumerat
e
: use
i
sl d
u
ring the v
e
r
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
ae
g
e
ad
d
i
s
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
e
g
e
a
dd is
l
_s
e
t
_ca
r
d
a
nd
i
s
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add evalue2
i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoo
l
a
ege
evalue_conv
e
rt: export
a
s applicat
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdoolaege
barvinok_enumer
a
te_e
:
op
t
ionally use i
s
l
t
o pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
ad
d
is
l
sub
m
odule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SU
B
MODULE:
accept "
-
" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
bar
v
in
o
k_
e
n
umerate: ret
u
rn NaN for inf
i
nite problems
commit
|
commitdiff
|
tree
2010-01-28
Sve
n
Verdoolae
g
e
remove_a
l
l
_
equalities: handle
i
n
tegra
l
ly, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
barvinok_enumerate_e:
a
lways return a partiti
o
n
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolae
g
e
b
a
rvin
o
k
_e
n
umera
t
e: ch
e
ck that d
i
m
ension of inpu
t
i
n
c
lude
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
p
artitio
n
2
e
nume
r
a
t
ion:
check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
V
er
d
oo
l
aege
upd
a
te pipli
b
for change
i
n confi
g
ure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doo
l
a
ege
upd
a
te omega for
c
onfiguration/compila
t
i
o
n issue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aeg
e
ba
r
vin
o
k_count_w
i
th_opt
i
o
n
s:
c
hec
k
return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
Poly
h
edron
_
Sampl
e
: plug memory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
s
u
mmate
.
c: a
d
d
m
i
ssing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
topcom
.
c
: s
u
p
port newer
v
ersions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
topcom
.
c: compute_d
o
m
ain: skip vertices wit
h
o
u
t do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verd
o
olaege
polytope_minimize: ta
k
e const
a
nt term to be ze
r
o whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Ver
d
oolaege
doc: reflect th
a
t --e
n
able-fractional is now the defa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhedron_affi
n
e_sign: sp
e
cial c
a
s
e
0D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
Polyhed
r
on_I
n
sert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoola
e
ge
Poly
h
edr
o
n_Factor:
f
ix u
p
dating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_SUBMODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
re
m
ove_equ
a
l
ities: use Po
l
yhedr
o
n_Pre
i
ma
g
e ins
t
e
a
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
ba
r
vin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
d
o
c: add experimental comparis
o
n between old
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
lex
m
in
.
c
c: r
e
move "anach
r
oni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolaeg
e
d
o
c:
add some
l
e
ss comm
o
n
.
sty f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
add "
c
lever" Laurent exp
a
ns
i
on b
a
sed summat
i
on
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdool
a
ege
move Last_
N
on_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verdoolaege
extract
out
pa
r
am_polynomial from l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verd
o
olae
g
e
extract vertex_cone fr
o
m la
u
r
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update pol
y
lib for
speed improvement in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdo
o
l
a
ege
update piplib for distribution i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdool
a
ege
Polyhed
r
on_Factor: fix merging of groups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
bar
v
i
n
ok_enumerate_
s
e
r
ies
:
d
on't check for revlex
p
o
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoo
l
a
e
g
e
(t
)
cou
n
ter: move counter::reset() up t
o
c
o
u
nter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
M
a
kefile
.
a
m: kee
p
better t
r
ack of faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
a
d
d sem
i
group_holes a
p
plication
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdo
o
laege
Lin
e
_Length: handle 0D polytop
e
in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ve
r
doolaege
gen_fun: add is_zero m
e
t
h
od
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
ba
r
vi
n
ok_enum
e
rate_e_
s
er
i
es
:
re
m
ove equal
i
t
i
e
s
i
n each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
r
d
oolaege
doc: fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Ver
d
oola
e
ge
bar
v
i
n
o
k_enumerat
e
_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
series
.
cc: make
proj
e
c
t
s
t
a
tic
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoo
l
aege
b
a
rvinok_enumerate_
e
_ser
i
es:
h
a
n
dle al
l
e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
do
o
laege
add test set f
r
o
m
t
h
e other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron
_
Factor: h
a
nd
l
e polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
u
p
d
a
t
e
piplib f
o
r
change in configure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven V
e
r
d
o
olaege
te
s
t_ap
p
rox
.
c: add dummy fiel
d
in
d
u
mmy
t
ms struc
t
ure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
configure
.
i
n
:
avoid
i
nt
r
oducing
e
mp
t
y elements in PKG_CO
N
FIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verd
o
olaege
o
c
c
:
define OMIT_GETRU
S
AGE
if
s
ys/re
s
o
urce
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ve
r
do
o
laege
omega
_
i
n
t
erface/M
a
kefile
.
am: put depen
d
ing libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaeg
e
conf
i
g
ure
.
in: add $(E
X
EEXT) to o
p
tional
occ for cy
g
win
commit
|
commitdiff
|
tree
next