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
drop barvinok_enumerate_pip_with_options
2010-04-04
S
ven
Verdool
a
ege
d
rop
b
arvinok_enumerate
_
pip_with_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdool
a
ege
is
c
c: ad
d
cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
scc: ad
d
coalesce
o
perations
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Verdoolaege
update isl for isl_pw_qpolyn
o
mial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
o
l
aege
drop "Omega counting calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
test_bound
.
cc
:
fix
printf form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix
printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
evalue_r
a
ng
e
_pro
p
a
gatio
n
:
fix substitution
f
or negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
bernstein
/
configure
.
in: use ab
s
o
lute
src
d
ir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
only dis
t
r
i
b
u
te bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega for config
u
r
a
tion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
la
e
ge
configure
.
i
n: allow "build"
PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdo
o
laege
isl_qpoly
n
o
m
ial_fold_fro
m
_
gin
a
c: hand
l
e
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_qpolynomial_from_ginac:
e
x
pand ex
b
e
fore
i
nspectio
n
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
erdoola
e
ge
isl_obj_list
.
c
:
update to u
s
e
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Ver
d
oo
l
aege
iscc: add gist o
p
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
update
i
sl for introdu
c
tion of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
V
erdoolaege
isl_
p
w_q
p
olyno
m
ial_u
p
p
e
r
_
bound
:
set
u
p variable
vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
r
doolaeg
e
i
scc: add s
o
me comparis
o
n opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-15
S
ven Ver
d
oolaege
is
c
c:
a
dd
inver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: fix up type of find_m
a
t
c
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add affine hul
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
er
d
o
o
laege
iscc: add opera
t
io
n
to construct
u
n
i
versal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add "join" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add inte
r
sect_domain ope
r
ati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
isc
c
:
a
l
low overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdoolaege
iscc: add
m
o
re dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
doc:
reo
r
ganize table of is
c
c
operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verd
o
ola
e
ge
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
ege
ba
r
vino
k
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update support inf
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomv
e
ctor: dou
b
le siz
e
o
f coefficients on e
a
ch attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
iscc: supp
o
rt transitive clo
s
ure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
u
pdate
i
sl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oolae
g
e
barvinok_e
.
c
c:
enumer
a
te_v
d
: remo
v
e unuse
d
variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ve
r
d
oolaege
evalue
.
c
:
Po
l
yhedron_Insert: add
m
issin
g
retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolae
g
e
evalue
.
c
:
r
e
duce_ev
a
lue: r
e
move u
n
used v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add @ oper
a
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
i
s
c
c: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
add is
l
_pw
_
qpol
y
n
o
mial_uppe
r
_
b
o
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
a
dd
s
um
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
add isl_pw_qpolynomial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
s
l
_p
w
_qpoly
n
omial_t
o
_
e
valu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
doo
l
aege
upda
t
e isl f
o
r i
s
l_pw_qpo
l
ynom
i
a
l
_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
d
o
ola
e
ge
rename
e
v
a
lue2i
s
l to i
s
l_pw_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
S
ven Verd
o
ola
e
ge
i
scc: dete
c
t more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
e
g
e
barvi
n
ok_enume
r
a
te:
u
se isl
dur
i
ng the ve
r
ifi
c
ation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaeg
e
add isl_set_ca
r
d
and i
s
l_
m
ap_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
a
dd eval
u
e
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_
c
onvert: export as
a
pplicat
i
on
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoola
e
ge
barvinok_enumer
a
te_e
:
optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoo
l
aege
add isl sub
m
odule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoola
e
ge
AX
_
SUBMODULE: accept "-" in modul
e
name
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
barvinok_enumerate: return NaN for infinite p
r
oble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
erdoola
e
ge
rem
o
v
e
_all_equalities: ha
n
dle int
e
grally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoola
e
g
e
barvinok_enumerate_e: always
r
eturn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
o
o
l
aege
barvinok_enu
m
erate: che
c
k that dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
pa
r
tition2enumera
t
i
on: check that input is rea
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
updat
e
pi
p
lib for c
h
ange in co
n
f
i
gu
r
e op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
S
ve
n
Verdoolaege
u
pd
a
te omega for co
n
f
iguration
/
compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
b
a
r
v
ino
k
_count_
w
ith_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
Polyhedron_Sample: plug m
e
mory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
summate
.
c
:
add missi
n
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
t
opco
m
.
c: s
u
pport ne
w
er versions of
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
topc
o
m
.
c: c
o
m
p
ute_doma
i
n: skip verti
c
es without domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
polytope_min
i
mize: take
cons
t
ant te
r
m to be zero whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdo
o
l
a
ege
do
c
:
r
eflect
t
hat -
-
enable-fr
a
cti
o
nal
is now
t
he defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
glpk_po
l
yhedron_a
f
fine_sign:
special
case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
Po
l
yhedron_Inse
r
t_Columns
:
fix
t
ypo
commit
|
commitdiff
|
tree
2009-11-11
S
ven
Verdoolaeg
e
Polyhe
d
ron_Factor: fix updating of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoo
l
aeg
e
configure
.
in: use AX_SUBMODULE inst
e
ad of BV_SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
remove_equa
l
ities: u
s
e Polyhedron_P
r
eima
g
e
i
ns
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
oolae
g
e
doc:
add ex
p
erimental
c
omp
a
rison
b
etween old
a
nd n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
ven Ve
r
doola
e
ge
doc:
a
dd some less common
.
sty
f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n
V
erdoolae
g
e
a
d
d "
c
le
v
er
"
La
u
rent
expansion base
d
sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdo
o
l
aege
move Last_N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolaege
extract out p
a
ram_
p
olynomial from laure
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
extract vertex_co
n
e from
l
au
r
e
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdo
o
laege
NT
L
_QQ
.
cc: add stdio include
f
or EOF hi
d
den in NTL_io_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven V
e
rd
o
ol
a
ege
u
pdate p
o
ly
l
ib fo
r
speed improvement in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verdoolae
g
e
updat
e
piplib for distribution is
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaeg
e
Polyh
e
dron
_
F
a
ctor: f
i
x merging of group
s
of co
l
umns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arv
i
n
o
k_enume
r
ate_series: don't che
c
k for revlex pos
i
tiv
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(t
)
c
o
un
t
er: mov
e
counter::reset
(
) up to counter_bas
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Makefile
.
am: keep
better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoola
e
ge
add s
e
migr
o
up_ho
l
es
a
pplication
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erd
o
olaege
L
i
ne_
L
ength: handle 0D polyto
p
e in 1D spac
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
gen_fun: a
d
d
is_zero me
t
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
b
arv
i
nok_e
n
umerate
_
e_ser
i
es: remove equalities in ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix
t
ypo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
do
o
lae
g
e
barvinok_enume
r
a
te_e_serie
s
:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdoola
e
ge
s
e
ries
.
cc: make projec
t
static
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvin
o
k_enumer
a
te_e_series: handle all e
q
ualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
olaege
ad
d
test set from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
gi
t
igno
r
e: ignore o
b
j
ect files
commit
|
commitdiff
|
tree
2009-04-28
Sven V
e
rdoolaeg
e
genfunc
.
c
c: parallel_polytope
s
:
d
e
t
ect 0D pol
y
top
e
s
.
.
.
commit
|
commitdiff
|
tree
next