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_qpolynomial_from_ginac: expand ex before inspection
2010-03-25
Sven V
e
r
d
oolaege
isl_qpolynom
i
al
_
f
rom_ginac:
e
xp
a
nd
e
x
before ins
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdo
o
laege
i
s
l_obj_lis
t
.
c:
u
pdate
t
o use o
f
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ve
r
doolaeg
e
iscc
:
a
d
d
g
ist operations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoolae
g
e
update isl for in
t
r
oduction
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoola
e
ge
isl_pw
_
qpolynomial_upp
e
r
_bound: set
up
variab
l
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
i
s
cc
:
add
s
ome comparison
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Ver
d
oolaege
iscc: ad
d
inv
e
r
s
e operat
i
on
commit
|
commitdiff
|
tree
2010-03-15
S
v
en V
e
rdoola
e
ge
iscc
:
fix up type of f
i
n
d
_matc
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolae
g
e
iscc
:
ad
d
a
ffine hu
l
l o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add operatio
n
to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
eg
e
i
scc: a
d
d
"
j
oin" o
p
er
a
t
io
n
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
ol
a
eg
e
iscc: add intersect_domain operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
allo
w
ov
e
rloading binary
o
p
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdo
o
laege
iscc: add mo
r
e
dom operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
doc:
reorg
a
n
i
ze table of i
s
cc ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
o
olaege
updat
e
i
s
l
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
e
rd
o
olae
g
e
ba
r
vinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
AUTHORS:
update support i
n
formatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolaege
random
v
ector: doub
l
e si
z
e of co
e
fficients
o
n each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support
t
r
ansitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
ool
a
e
ge
upda
t
e
isl
t
o
v
e
r
s
ion
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ba
r
vin
o
k_e
.
c
c
: enume
r
ate_vd: remove u
n
us
e
d
va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolaege
evalue
.
c: Polyhedron_Insert:
a
dd missin
g
r
e
t
u
rn typ
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
eva
l
ue
.
c:
r
e
d
uce_eva
l
ue: remo
v
e unused variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoola
e
ge
iscc: add @
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
is
c
c:
a
dd
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
rdo
o
la
e
ge
add
i
sl_pw_qpolynomial_
u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc:
add sum
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
d
d
isl
_
pw_qpolyn
o
m
i
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynom
i
al
_
to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
up
d
a
t
e isl for isl_
p
w_qpolynomial_
f
or
e
ach
_
piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
rename evalue2
i
sl to isl_pw_qp
o
lynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kinds of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
oolaege
barvinok_enumerate: use isl during t
h
e verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add
i
sl_set_card and isl_m
a
p_
c
ar
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
dool
a
e
g
e
add
e
value
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
do
o
laege
evalu
e
_convert: export as
a
p
plic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
g
e
barv
i
nok_enume
r
ate_e: opt
i
o
nall
y
u
se isl to p
r
o
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoola
e
ge
A
X
_SUBMODUL
E
: accept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n
Verd
o
olaege
ba
r
vinok_enumerate: return NaN
for infinite
p
rob
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolae
g
e
remove_all_equalities: hand
l
e integrally, bu
t
n
ot ra
t
ionally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doolaege
barvinok_enum
e
rate_e:
a
lway
s
return a
partit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
barvinok_enu
m
e
rate
:
check t
h
at di
m
ension of in
p
ut includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Ve
r
doolaeg
e
part
i
tion
2
enumerat
i
on: check that input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upda
t
e
p
i
pl
i
b for change in con
f
i
g
u
re optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdool
a
ege
upd
a
te omega
f
or
con
f
ig
u
ratio
n
/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
V
erdoolaege
barv
i
nok_count_with_optio
n
s: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
Polyhedro
n
_Samp
l
e: plug m
e
m
o
ry
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summate
.
c:
a
dd missi
n
g incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topco
m
.
c
:
support newer versions of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdool
a
e
ge
topcom
.
c
:
compute_domain:
skip ve
r
tice
s
without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
po
l
yto
p
e_mini
m
ize: ta
k
e constant term to be ze
r
o when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: re
f
lect that
--e
n
abl
e
-fraction
a
l is now
the
d
e
fa
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
glpk_
p
o
lyhedron_affine_sign: special cas
e
0D polyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_
I
nsert_
C
olumns:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n
V
erdoolaege
Polyhedr
o
n_F
a
c
t
o
r: fix
updating
of
g
roup
s
commit
|
commitdiff
|
tree
2009-10-06
S
v
e
n
V
erdoolaege
c
onfigure
.
in: us
e
A
X
_SU
B
MODUL
E
in
s
tead o
f
BV_SUBMODUL
E
commit
|
commitdiff
|
tree
2009-08-21
S
v
e
n
Verdo
o
la
e
ge
r
emove_equa
l
ities
:
use P
o
lyhedron_Preimage
instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oola
e
ge
barv
i
n
ok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
doc:
add experimental
c
omparis
o
n betw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
lexmin
.
cc: remove "an
a
chronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc
:
fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some less common
.
st
y
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
olaege
add "c
l
ever" Lau
r
ent expansion
b
as
e
d
s
ummation
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
move Last_N
o
n_
Z
ero
to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaeg
e
extract out
p
aram_polynomial
f
ro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verd
o
olaege
ex
t
ract vert
e
x_cone fro
m
la
u
rent
.
c
c
commit
|
commitdiff
|
tree
2009-07-13
Sven Ve
r
doolae
g
e
N
T
L_QQ
.
c
c
: add stdio
includ
e
fo
r
EOF
h
idden i
n
NTL_io_
v
ect
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erdoola
e
ge
update polylib
for speed improvem
e
n
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Ver
d
oolaege
u
pdate piplib for distr
i
bution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
r
d
oo
l
a
e
ge
Polyhed
r
on_Fa
c
tor:
f
ix
merg
i
n
g of groups o
f
colu
m
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdo
o
laege
barvinok_enume
r
ate_series: d
o
n't check for
r
e
vlex positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rd
o
olaeg
e
(t)c
o
unter: m
o
ve
c
ounter::reset()
u
p to
counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
Makefile
.
am: ke
e
p better track of
f
ailed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
add se
m
i
group_holes applicati
o
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: han
d
le 0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_
f
un: add is_
z
ero met
h
od
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enu
m
erate_
e
_s
e
r
ies: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
bar
v
ino
k
_enumerate_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
series
.
cc: make
proj
e
ct static
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Ver
d
oolaege
b
arvi
n
ok_enumerate_e_series: handle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
add test set fro
m
the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoola
e
ge
.
gitignore
:
ign
o
r
e
o
bje
c
t f
i
les
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdool
a
ege
g
e
nf
u
n
c
.
cc
:
pa
r
allel_polytopes: detect 0D poly
t
op
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoolaege
configure
.
i
n: set AC_CONFI
G
_MACRO
_
D
I
R
commit
|
commitdiff
|
tree
2009-04-27
S
ven
Verdoo
l
aege
add pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolaege
P
olyhedr
o
n_
F
actor: handle polyhedra w
i
t
h
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven
V
e
rdoolaege
u
p
date pi
p
lib f
o
r
ch
a
nge in configur
e
arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
test_
a
ppro
x
.
c: add du
m
m
y
field in dummy tms s
t
ructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erd
o
olaege
configure
.
in:
a
void introduc
i
n
g emp
t
y elem
e
n
t
s in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
V
e
rd
o
olaege
o
c
c
:
define O
M
IT_GETR
U
S
AGE if s
y
s/resource
.
h canno
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
o
m
ega_interfa
c
e/M
a
ke
f
ile
.
am: put
depen
d
ing libraries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Verdoolaeg
e
configure
.
in: add $(EXEEXT) to opt
i
onal occ for cygw
i
n
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
update omega for
M
inGW compati
b
ility
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laege
b
er
n
stein
/
c
onfigure
.
in: add
m
i
ssing A
C
_PROG_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdool
a
ege
g
enfun
.
cc:
a
dd braces round extern
"C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven V
e
rdoolaege
v
e
c
t
or_parti
t
ion_chambers: c
o
mputes
c
hambers of vecto
r
.
.
.
commit
|
commitdiff
|
tree
next