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 fix in isl_printer_print_pw_qpolynomial C format printing
2010-04-21
S
ven Verdo
o
l
aeg
e
updat
e
is
l
f
o
r fix in isl_printer_print_pw_
q
poly
n
omi
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl-polyl
i
b for change in pkg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
i
s
cc: allow spe
c
ification of
output
format
commit
|
commitdiff
|
tree
2010-04-13
S
v
en Verdoolaege
update is
l
for
c
hange in is
l
_se
t
_
g
is
t
a
rgu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoola
e
ge
update
isl fo
r
rename of isl_map
_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
configu
r
e
.
in
:
add isl
f
l
ags and libs to
pk
g
-
con
f
ig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
iscc: test isl
_
stream
for eof rather than the un
d
erly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdool
a
ege
iscc
:
add del
t
a
s
op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdo
o
l
a
ege
update isl fo
r
fix i
n
isl_map
_
de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
dr
o
p bar
v
ino
k
_enumer
a
te_pip_
w
i
t
h_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
iscc: add cross pr
o
d
uct operations
commit
|
commitdiff
|
tree
2010-03-31
Sv
e
n Verdoolaege
iscc: add co
a
lesce
o
p
erations
commit
|
commitdiff
|
tree
2010-03-30
Sven
V
e
rdoolaege
up
d
ate isl for
i
sl_pw
_
qpo
l
yno
m
ial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaeg
e
drop "
O
m
e
ga counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
c
c:
f
ix pri
n
tf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
bernstein
.
cc:
f
i
x
p
rint
f
format
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolaege
e
value_range_pro
p
agation: fix substitution for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rd
o
olaege
b
ernstein/configure
.
in: u
s
e absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
only distrib
u
te bundle
d
s
u
bmodules
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdoolaege
upda
t
e omega f
o
r configuration issue
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
Verdoolae
g
e
c
o
nfig
u
re
.
i
n
:
allow "buil
d
" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
doolaege
isl_qpolynomial_fold_
f
rom_ginac: h
a
n
d
le f
a
il nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
V
erdoolaege
isl
_
qp
o
ly
n
omial_
f
rom_ginac: expand ex befor
e
inspec
t
ion
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
doolaege
isl_obj
_
list
.
c: update to
use
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
iscc:
a
dd gist operation
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
u
p
date isl for introd
u
ction of isl_
p
r
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
i
sl_
p
w
_qp
o
lynomial_upp
e
r_bound: set up variable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoola
e
ge
iscc: add som
e
comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoola
e
ge
iscc: a
d
d
i
n
verse
o
peration
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoo
l
aege
iscc: fix up t
y
pe of
f
ind_matching_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
ae
g
e
iscc: add a
f
fi
n
e
hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
i
scc: add operat
i
o
n to construct un
i
versa
l
map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc
:
add
"joi
n
"
opera
t
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc:
a
d
d
intersect_domain operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
iscc
:
a
l
low
o
verl
o
a
d
ing binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc:
a
dd more d
o
m operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ver
d
oolaege
doc: reor
g
ani
z
e tab
l
e of is
c
c
operations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oo
l
aege
AUTHORS: update support
i
nformation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
ran
d
omvect
o
r: dou
b
le size of coefficients on each attemp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
iscc: support tr
a
nsitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaeg
e
update isl to
v
ersion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
ae
g
e
barv
i
no
k
_e
.
cc: enumerate_vd
:
remove
unu
s
ed v
a
riable
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
eva
l
ue
.
c: Polyhedron_
I
nsert: add missing return typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
e
v
alu
e
.
c:
reduce_evalue:
r
e
m
o
ve unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: a
d
d @
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
add i
s
l_pw_
q
poly
n
omial_uppe
r
_
bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc: add
sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolae
g
e
add
isl_
p
w_qpolyno
m
ial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add isl_p
w
_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
ge
update isl for isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
r
e
na
m
e eval
u
e2isl
t
o is
l
_
p
w
_
q
p
olynomial_from_e
v
al
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n V
e
rdoolaege
iscc:
detect more ki
n
ds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
oolaege
b
arvinok_enumerate: use
i
sl
d
uring
t
he veri
f
ic
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaeg
e
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rd
o
olaege
add isl_set_card an
d
isl_map
_
c
a
r
d
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdoolaege
add
evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
evalue_c
o
nvert: export a
s
applicati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
b
a
rvino
k
_
e
numerate_
e
:
o
ptionally use isl to
p
r
oject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolaege
add
isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
AX_SUBMOD
U
LE: acc
e
pt "-
"
in modu
l
ename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
barvinok_enumerate:
r
etu
r
n NaN
f
or i
n
f
inite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ver
d
oolaege
remove
_
all_equalities
:
handle integrally, but
n
ot rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
r
doolaege
barvinok
_
enumerate_e:
alway
s
retur
n
a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verdoolaeg
e
b
arvinok_enum
e
rat
e
: check t
h
at
d
imension of input in
c
ludes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
e
rdoolaege
partition2enumeration
:
check that input i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doolaege
update pipl
i
b for change in configure
opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
u
pda
t
e omega for confi
g
uration/compilat
i
on i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdo
o
laege
ba
r
vino
k
_cou
n
t_with_options: check
r
eturn value
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyh
e
dro
n
_Sample: plug
m
emory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoo
l
a
e
ge
summate
.
c: add mi
s
s
i
n
g i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topc
o
m
.
c: sup
p
ort
n
e
wer
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdo
o
laeg
e
topcom
.
c: co
m
pu
t
e_domain: skip
v
ertices
w
ithout dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
S
ve
n
Verdoo
l
aege
poly
t
ope_minim
i
ze:
tak
e
constant term to be zero wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
doc:
reflect that --e
n
a
ble-fra
c
t
ional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_
p
olyhed
r
on_affine_sign:
s
pecial cas
e
0D p
o
ly
h
edra
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ver
d
oolaege
Polyhedron_Insert_Colum
n
s: f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
Ve
r
doola
e
ge
Polyhedron_Factor: fix up
d
at
i
n
g of
g
ro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdoolaege
configure
.
in: use AX_SUBMODU
L
E ins
t
ead of
B
V
_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
r
emove_equ
a
l
i
ties: use Polyhed
r
on_Preima
g
e i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaeg
e
barvin
o
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
o
laege
doc: add expe
r
imen
t
al comparis
o
n between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoo
l
aege
lexmin
.
cc:
remove "anachro
n
ism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laeg
e
doc: add
some less c
o
m
mon
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
add "clever" Laurent ex
p
an
s
ion b
a
sed summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
move Last_No
n
_Zero
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out param_po
l
yn
o
mia
l
from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoola
e
ge
extract vertex
_
co
n
e fr
o
m laur
e
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
d
o
olaege
update polyl
i
b for speed improvement in in_d
o
m
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoola
e
ge
update piplib for
distr
i
buti
o
n issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaeg
e
Polyh
e
dron_Factor: f
i
x merging of group
s
o
f columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_e
n
umerate_series: don't chec
k
for
r
e
v
lex p
o
sitive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
la
e
ge
(t)counte
r
: m
o
ve counter
:
:
reset
(
)
u
p t
o
c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ver
d
oolaege
Makefile
.
am: kee
p
b
et
t
e
r trac
k
of
f
a
iled tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
add semigroup
_
holes
application
commit
|
commitdiff
|
tree
2009-05-07
Sven
Ve
r
doolae
g
e
L
i
ne_Length
:
handle 0D
p
olytope
i
n 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
erdoo
l
aege
g
e
n_fun: add is_zero met
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barvi
n
ok_enume
r
ate_e_series: remove equalitie
s
in each
.
.
.
commit
|
commitdiff
|
tree
next