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
Sve
n
Verdoo
l
aege
isl_qpolynomial_from
_
ginac:
expand ex before inspecti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
doola
e
ge
isl_obj_list
.
c
:
up
d
ate to use of isl_pr
i
nt
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add
gi
s
t opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaeg
e
update isl
fo
r
intr
o
duc
t
ion of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpolynomial_u
p
p
e
r
_
boun
d
: set
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven
Verdoola
e
ge
iscc: add some compari
s
o
n ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
a
e
g
e
iscc: add in
v
erse opera
t
i
on
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdo
o
laege
iscc:
f
ix up type of
f
i
n
d_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oolaege
iscc:
a
dd affin
e
hull
o
peration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
la
e
ge
iscc:
add ope
r
ati
o
n to
c
ons
t
ruc
t
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add "joi
n
" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
e
rdoolaege
iscc: add i
n
terse
c
t_do
m
ain op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
g
e
i
s
cc: allow overl
o
ading binary ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Ver
d
oolaege
i
scc: add mor
e
dom op
e
rati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aeg
e
doc: reorganize table of is
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
eg
e
u
p
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
e
rdo
o
l
a
ege
AUTHORS: update support
i
nform
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
V
erdoolae
g
e
r
a
ndomv
e
ctor:
doub
l
e
size o
f
coe
f
ficie
n
ts
o
n
e
ach
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc
:
su
p
port transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
update isl to v
e
rs
i
on
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
o
laege
barvinok_e
.
cc: enumerate_vd: r
e
move unused variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
eva
l
ue
.
c: P
o
lyhedron_Insert: add mi
s
sing re
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalu
e
.
c
:
red
u
ce_eval
u
e: remove u
n
us
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
i
s
cc: a
d
d
@
o
pera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: add "
u
b"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaeg
e
a
d
d isl_
p
w_qpolynomial_up
p
e
r
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc: a
d
d sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add
i
s
l_pw_
q
polyno
m
ial_
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
add isl
_
p
w
_qpo
l
yn
o
m
i
al_t
o
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdoolaege
upda
t
e is
l
for isl_pw_qpolynomi
a
l_foreach_pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
renam
e
evalue2is
l
to
i
s
l_pw
_
q
p
oly
n
o
m
i
al_from_evalu
e
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaege
i
s
cc:
dete
c
t m
o
re ki
n
ds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
rdoola
e
ge
barvinok_enumer
a
t
e
: use isl during t
h
e verif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolaege
a
d
d
isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
e
rdoo
l
a
e
ge
add
isl_set_
c
ard and
i
sl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaeg
e
eval
u
e_convert
:
exp
o
rt as
a
pplicat
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
S
ven
V
erdoola
e
ge
ba
r
vinok
_
enumerate_e: optionally use
i
sl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Ver
d
oolaeg
e
AX_SUBMODULE:
a
ccept "
-
" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
rdo
o
l
a
eg
e
barvinok_enumerate: return NaN for infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
S
v
en
Verdoolaege
remove_a
l
l_equalities: handle integral
l
y,
but
n
ot
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barv
i
nok_enumerate_e:
always r
e
turn a parti
t
io
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
bar
v
inok_
e
nume
r
at
e
: check
that
d
ime
n
sion of in
p
ut i
n
cludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
partition2enumerat
i
on: chec
k
that in
p
ut is
re
a
lly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven
Verd
o
olaege
update p
i
p
l
ib for
cha
n
ge
i
n configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
r
doolaege
up
d
ate omega f
o
r
conf
i
gurati
o
n/compi
l
ation
issue
s
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n
Verdoolaege
barvi
n
ok_
c
ount_with_options
:
check return valu
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
Verdo
o
lae
g
e
Polyhedron_Sampl
e
: plug
m
emory
le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summat
e
.
c: ad
d
missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: su
p
port
newer versio
n
s of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute
_
dom
a
in: ski
p
vert
i
ces with
o
ut
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
polytope_m
i
n
imi
z
e: take cons
t
ant t
e
rm to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc:
r
eflec
t
that --e
n
a
ble-
f
ractional is now the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
gl
p
k_poly
h
ed
r
o
n_affi
n
e_sign: special c
a
se
0
D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doola
e
ge
Polyhedron_Insert_Colum
n
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
e
r
doolaege
Polyhedron_Fact
o
r:
f
ix updating
o
f groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verd
o
olaege
configure
.
in: use AX_SUBMODU
L
E instead of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
o
olaege
remo
v
e
_equalities: use Polyh
e
d
r
on_
P
rei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add experimen
t
a
l
co
m
paris
o
n betwe
e
n old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmi
n
.
cc:
remove "
a
n
a
chronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaeg
e
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc
:
add som
e
l
ess common
.
sty file
s
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Ve
r
d
o
olae
g
e
add "clever" Laurent
expansion b
a
se
d
su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
rdoolae
g
e
m
ove Last_Non_Zero to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
d
oola
e
g
e
extract ou
t
param_
p
olyno
m
i
al
f
rom la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
o
l
aege
extr
a
ct
v
erte
x
_cone from lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven V
e
rdo
o
laeg
e
NTL_Q
Q
.
cc:
a
dd s
t
d
i
o i
n
clude for
E
OF
h
i
dden in NTL_io_vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
doolaege
update polylib for spe
e
d
improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
g
e
u
p
date
p
i
pl
i
b
f
or distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoo
l
aege
Polyhedron_Factor: fix merging of gro
u
ps
of
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
oolaege
barvinok_enum
e
rate_series: don't check f
o
r revlex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
(t
)
counter: move counter::
r
eset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Makefile
.
am: keep
b
etter track of failed te
s
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
ad
d
semigroup_hole
s
a
pplication
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Li
n
e_L
e
ng
t
h
:
h
a
ndle 0
D
poly
t
ope in
1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
gen_fun: add is_
z
ero method
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
barvinok_enumerate_e_series: remove
equalit
i
es in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
ola
e
g
e
doc: f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
aege
barvinok_enumerate_e_s
e
ries: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make p
r
oj
e
c
t stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
barvinok_
e
numerate_e_ser
i
es: hand
l
e
a
ll equalit
i
es
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ve
r
doola
e
ge
a
dd te
s
t set
f
r
om the other it
s
l2008 p
a
p
er
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
.
gitignore: ignore ob
j
e
c
t
files
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verdoola
e
g
e
genfunc
.
cc: paralle
l
_po
l
ytope
s
:
d
e
tect 0D
pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven V
e
rdoola
e
ge
con
f
igure
.
in:
s
et AC_CONFIG_MACRO_D
I
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Ver
d
oolaege
add pkg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
S
ven Ver
d
oolaege
Po
l
yhedr
o
n_F
a
ctor: hand
l
e
polyhedra with
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erdoo
l
aege
upd
a
te pipli
b
for change in configure argume
n
ts
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaeg
e
test_approx
.
c: add dumm
y
field in dummy tms st
r
ucture
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
l
a
ege
c
o
nfigure
.
in: avoid introdu
c
ing empty e
l
emen
t
s in PKG_
C
ONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoola
e
ge
o
c
c
:
d
efi
n
e
O
MIT_GETR
U
SAGE
if sys/resource
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
omeg
a
_i
n
terface/Makefile
.
am: p
u
t depending li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ve
n
Verdoola
e
ge
configure
.
i
n
:
add $(EXEEXT) to opti
o
nal occ
for c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
update om
e
ga
for MinGW compa
t
ibi
l
ity
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n Ver
d
oolae
g
e
bernstein/conf
i
g
u
re
.
in: add
missing AC_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
S
v
en Verdoolaege
genfun
.
cc: add br
a
ces rou
n
d extern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
Verdoolaege
vector_partitio
n
_cha
m
b
e
rs: com
p
utes chamber
s
of vector
.
.
.
commit
|
commitdiff
|
tree
next