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
isl_pw_qpolynomial_upper_bound: set up variable vector after lifting
2010-03-18
Sve
n
Verdoo
l
a
e
ge
isl_
p
w_qpo
l
y
n
omial_upper_boun
d
:
set up va
r
iab
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add s
o
me
c
omparison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: ad
d
inverse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdo
o
l
aege
iscc:
fix up
t
ype
o
f
find_
m
atchin
g
_b
i
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc
:
add affine
hull op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc:
a
d
d
operation to co
n
struct univers
a
l
m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
aege
i
scc: add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
laege
is
c
c: a
d
d inter
s
ect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
i
s
cc: all
o
w overloa
d
i
ng bina
r
y ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaeg
e
doc: reorganize table
o
f
iscc op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolae
g
e
AUTHORS: update suppor
t
informa
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolaege
randomvector: double size of
c
oeffi
c
ient
s
on each
attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
e
r
doolaege
i
s
cc: supp
o
rt t
r
ansi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update
i
sl to ve
r
sion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Verdoo
l
aege
barvinok
_
e
.
cc: enumerate_vd: remove
u
nused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdo
o
laege
evalue
.
c: Polyhedron_I
n
sert: add missing re
t
urn ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
evalue
.
c
:
r
educe_evalue: remove
u
nused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
add i
s
l_p
w
_qpolyn
o
mial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
isc
c
:
a
d
d
sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdool
a
eg
e
add isl_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add
i
sl_pw_qpo
l
ynom
i
al_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdool
a
eg
e
update isl for isl_pw_qpolynomial_foreach_
p
iec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ren
a
me ev
a
lue2isl to isl_pw_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
S
ven
V
erdoolaege
iscc: detect more k
i
n
d
s of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoola
e
ge
bar
v
inok_enumerate: use isl durin
g
the verificatio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
d
o
olaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doolaege
add isl_set_car
d
a
n
d isl_ma
p
_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
eva
l
ue_convert: expo
r
t
as applic
a
tio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enu
m
era
t
e_e: opt
i
onal
l
y u
s
e
i
sl t
o
pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
laege
ad
d
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
AX_SUBMODULE
:
accept "-" in module
n
am
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enumerate: ret
u
r
n
Na
N
for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Ve
r
d
o
o
laege
remove_all_e
q
ualitie
s
:
h
a
ndl
e
integra
l
l
y
, but n
o
t rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
r
d
o
olaege
barvinok_e
n
umerate_e: a
l
wa
y
s
re
t
urn a par
t
it
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate: che
c
k t
h
at
dimensi
o
n
o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
p
artition2
e
numeration: check that input is
real
l
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sve
n
V
er
d
oola
e
ge
update piplib for c
h
a
nge in conf
i
g
ure option
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoo
l
aege
update omeg
a
for confi
g
uration/compilation
issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
V
erdoolaege
b
a
r
vi
n
ok_cou
n
t_with_optio
n
s: check
r
e
turn v
a
lue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdool
a
e
ge
P
o
l
yhedro
n
_
S
a
m
ple: plug me
m
ory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verd
o
ola
e
ge
su
m
mate
.
c
:
a
d
d m
i
ssi
n
g inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdo
o
l
aege
topcom
.
c: supp
o
rt newer
v
ersi
o
ns of TOP
C
OM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
topcom
.
c
:
comp
u
te_do
m
ain: skip vertic
e
s wi
t
hout domain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Ve
r
doolaege
p
olyt
o
pe_minimize: tak
e
c
o
nstant ter
m
to be zero
whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoola
e
ge
doc: refl
e
ct tha
t
-
-
e
nable-fractional is now the de
f
aul
t
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verd
o
ola
e
ge
glpk_polyhedron_a
f
fine_sign:
s
pecial ca
s
e 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
g
e
Polyhedron_
I
n
s
e
rt_
C
olumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolae
g
e
Polyhedron_Factor: f
i
x
updating
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
e
rdoolaege
configure
.
in: use
A
X_
S
UB
M
O
DULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remove_equalities
:
use Polyh
e
dron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolae
g
e
barv
i
no
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
d
oc: add experi
m
ental
comparis
o
n
betwee
n
old a
n
d ne
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
le
x
min
.
cc: remove "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
d
oc
:
ad
d
some less
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
r
doolaege
add "clever"
L
aure
n
t expansion b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoola
e
ge
mo
v
e Last_N
o
n_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
doolaege
ext
r
act out param_pol
y
nomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaeg
e
extract
v
ertex_cone f
r
om lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
Ver
d
o
olae
g
e
NTL_QQ
.
c
c: add st
d
io inclu
d
e for EOF h
i
dden in NTL
_
i
o
_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdool
a
ege
update polylib for speed impr
o
vemen
t
in in_
d
omain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
o
olaege
update p
i
plib fo
r
dis
t
ribu
t
ion is
s
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erd
o
olaege
Polyhed
r
on_Factor: fix mergi
n
g of
groups o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
b
a
rvinok_enumer
a
te_series: don't check f
o
r
revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ve
r
doolaege
(t)counter: move counter::reset() up to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
M
akefil
e
.
am: keep
b
e
tter t
r
a
c
k of
failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigroup
_
holes application
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdoola
e
ge
Line
_
Length
:
handle
0
D
p
o
lytope in 1D spa
c
e
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
gen_fun: a
d
d is_zero
method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
lae
g
e
bar
v
inok_enumera
t
e
_e_seri
e
s
: remove
equalities i
n
e
ac
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdool
a
e
g
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
b
arvinok
_
enu
m
erate
_
e_serie
s
:
h
andle all exi
s
te
n
tials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doo
l
a
e
g
e
series
.
cc: mak
e
project static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
bar
v
inok_enu
m
erate_e_series: h
a
ndle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdool
a
ege
add
t
est set
f
r
om the other it
s
l2008 p
a
p
e
r
commit
|
commitdiff
|
tree
2009-04-28
Sven Ve
r
doolaeg
e
.
g
i
tign
o
re
:
ign
o
r
e
object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
oolaeg
e
genfu
n
c
.
cc: parall
e
l_po
l
ytopes: detect 0D poly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
ven
V
erdoolae
g
e
configure
.
in: set AC_CONFIG
_
MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
V
erdoola
e
g
e
add p
k
g
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdoo
l
aege
Polyhedron_Factor: h
a
nd
l
e pol
y
hed
r
a with a non-t
r
ivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
upd
a
te pipli
b
for change in configure
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoola
e
ge
test_approx
.
c: a
d
d
dummy fie
l
d in d
u
mmy tms str
u
cture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven Ve
r
d
oolaege
configure
.
in: a
v
oid
i
ntroducing
e
mpty eleme
n
ts in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdo
o
laeg
e
o
cc
:
d
e
fine OMIT_
G
E
T
RUSAGE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoo
l
aege
omega_interface/
M
akefile
.
am:
put depending libra
r
ies
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
Verdoolaege
configure
.
in: ad
d
$(EXEEXT
)
to optio
n
al occ f
o
r cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sven
Verdoolaege
upda
t
e omega for MinGW com
p
atibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
ber
n
stein/conf
i
gure
.
in: add m
i
ssing AC
_
PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolae
g
e
genfu
n
.
cc: add
b
rac
e
s rou
n
d extern "C"
t
y
p
edef
commit
|
commitdiff
|
tree
2008-12-30
S
ven Verd
o
olaege
vector_partiti
o
n_
c
hambers:
compute
s
c
h
am
b
ers o
f
vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
V
e
rdoolaeg
e
b
ar
v
inok
.
c
c
: remove unu
s
ed
n
on
o
r
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoo
l
aege
update piplib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oola
e
ge
update polyli
b
for
M
inGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Ve
r
dool
a
ege
fdstream
.
cc: don
'
t
(
re)declare fileno if it'
s
a
m
a
cro
commit
|
commitdiff
|
tree
next