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
barvinok 0.32
2010-04-24
Sven Verdoolaeg
e
iscc: add read
o
peration
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Verdoolaege
is
c
c: fre
e
o
p
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
dool
a
e
g
e
up
d
a
te i
s
l f
o
r r
e
ad
i
ng o
f
s
trin
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rdool
a
ege
upd
a
te isl for fix i
n
is
l
_p
r
inter_p
r
int_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdo
o
laege
upda
t
e isl-p
o
lylib for c
h
ange in pkg-config
f
ile
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
doolaege
i
s
cc:
all
o
w specificat
i
on of output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoola
e
ge
up
d
ate isl for ch
a
nge in isl_set_
g
ist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoolaege
upda
t
e isl
for ren
a
me
of isl_m
a
p
_
move
commit
|
commitdiff
|
tree
2010-04-10
Sven
Ver
d
oolaege
con
f
igure
.
i
n
: ad
d
isl f
l
ag
s
and
libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
laege
iscc: test isl
_
s
t
r
e
am for
eof ra
t
her than the u
n
d
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: ad
d
deltas
o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Ver
d
oolaege
u
pd
a
te
isl for fix in isl_map_del
t
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sv
e
n Verdoolaege
dro
p
barvinok_
e
numerate_pip_wit
h
_
optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
r
doolae
g
e
iscc: add cr
o
ss produ
c
t o
p
erati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
iscc: ad
d
coa
l
esc
e
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
o
olae
g
e
u
p
date isl for isl_pw_qpolyno
m
ial_coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
l
a
ege
drop "Om
e
ga
coun
t
ing calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
oolaeg
e
tes
t
_bound
.
cc: fix p
r
intf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoo
l
aege
bern
s
tein
.
cc: fix prin
t
f f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoola
e
ge
evalu
e
_range_propagation:
f
ix substitution
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
b
e
r
ns
t
ein
/
configure
.
i
n
: use absolute srcdir o
f
PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verd
o
olaege
onl
y
distribut
e
bundle
d
subm
o
dul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
dool
a
ege
u
pdat
e
omeg
a
for c
o
nfigur
a
tion iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
do
o
lae
g
e
configure
.
i
n: al
l
ow "build"
P
olyLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolyn
o
mial_fo
l
d_f
r
om_ginac: h
a
ndle fai
l
no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolyno
m
ial
_
from_gi
n
ac: e
x
pand ex before insp
e
c
t
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_obj_
l
i
st
.
c: updat
e
to use of isl
_
pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
iscc: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Ve
r
dool
a
ege
isl
_
pw_qpo
l
ynomial_
u
ppe
r
_bound: set up var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoolaege
iscc
:
add some comparis
o
n operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add in
v
ers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
f
i
x up
t
y
pe
o
f find_matching_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: ad
d
affine h
u
ll
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: a
d
d operat
i
on to construct universa
l
m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add
"
j
o
in" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
:
a
dd intersect_
d
omain operati
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdo
o
lae
g
e
iscc
:
all
o
w overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
i
s
c
c: add
more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
doc: reorganize
t
able of i
s
cc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en V
e
r
d
oolaeg
e
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
AUTHOR
S
:
updat
e
s
u
pport i
n
formatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: double size of coeffici
e
n
t
s
o
n
each att
e
mp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
e
g
e
is
c
c:
suppo
r
t transi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doola
e
ge
update isl
to vers
i
on 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
rvinok_e
.
cc: enu
m
e
rate
_
vd: remove unus
e
d vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
erdo
o
lae
g
e
eval
u
e
.
c: Pol
y
hedron
_
Insert:
a
d
d
missing return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
rdoolaege
e
v
alue
.
c: re
d
uce_evalue: re
m
ove
u
nused
va
r
i
a
ble
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoola
e
ge
iscc: add
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
olaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aege
add is
l
_
p
w_qpol
y
n
o
mial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc: add su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
a
dd
isl
_
p
w
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ver
d
oolae
g
e
add isl_pw_qpoly
n
o
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
updat
e
i
sl for i
s
l_pw_qpolynom
i
al_fo
r
each_pi
e
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
g
e
rename evalue2isl to i
s
l_pw_qpolynomial_from_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: d
e
tect mo
r
e k
i
nds
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
la
e
ge
b
arvinok
_
enumerate
:
u
se
is
l
durin
g
the verifi
c
atio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
do
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaeg
e
ad
d
i
s
l_set_
c
a
rd
a
n
d
isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
evalue_con
v
ert: export as applicat
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolae
g
e
barv
i
nok_e
n
u
m
erate_e:
optionall
y
use
i
sl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
Verdoolaege
ad
d
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rd
o
ola
e
g
e
AX_SUBMODULE
:
accept "-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
barvinok_
e
n
umerate: return NaN for infinite pr
o
bl
e
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
doolaege
rem
o
ve_all_equalities: handle inte
g
rally, b
u
t
not rationa
l
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate_e: a
l
wa
y
s
r
etur
n
a partit
i
o
n
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Ver
d
oo
l
aege
ba
r
vinok_enu
m
erate
:
check that d
i
mension of input in
c
l
udes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven
V
e
r
doolaege
partition2enumera
t
i
on: check t
h
at in
p
ut is reall
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upda
t
e
p
ip
l
ib fo
r
change in configure opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
upda
t
e omega
f
o
r confi
g
uration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
Ve
r
doolae
g
e
barvinok_coun
t
_with
_
o
ptions: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaeg
e
P
o
l
y
hedron_Sample: plug
mem
o
ry leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
summate
.
c: a
d
d mis
s
i
n
g include
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
topc
o
m
.
c: support newer version
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_domain: skip vertices without dom
a
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
l
a
ege
d
oc: refl
e
ct that --e
n
able-fractio
n
al is now t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
glpk_po
l
y
hedron_affine_sign: special ca
s
e
0
D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
P
o
lyhedron_
I
nsert_Columns: fix typ
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Ve
r
doolaege
Po
l
y
h
edr
o
n_Facto
r
: f
i
x updating of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n
V
erdoolaege
configur
e
.
in
:
u
s
e A
X
_SUBM
O
DULE i
n
stead of
B
V
_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Ver
d
oolaege
remove
_
equalit
i
es: use Polyhedron
_
Pre
i
mag
e
instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Ve
r
d
oolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
o
c: add ex
p
erimen
t
al compar
i
s
on between old
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en V
e
rd
o
o
laege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
doc: add some less
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add
"clever"
Laurent expansion ba
s
ed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
m
ov
e
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verdoolaege
extr
a
ct
out
param_p
o
lynomial
f
rom laur
e
nt
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
e
x
tract vertex_cone from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
up
d
ate polylib fo
r
speed i
m
provement in in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
S
v
e
n Verdool
a
ege
upd
a
te pi
p
lib for distribution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verd
o
olaege
Polyhedron_Fact
o
r:
f
ix mergin
g
of
groups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
(
t
)count
e
r: move count
e
r::reset()
up t
o
count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
Makefile
.
am: keep better track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: handle 0D polyt
o
pe in 1D
space
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n
V
er
d
oolaege
Polyh
e
d
r
on_Facto
r
: ha
n
dle p
o
lyhed
r
a with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven V
e
rdoola
e
ge
update pipli
b
for cha
n
ge in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdool
a
e
g
e
barvinok
.
cc
:
rem
o
ve unused nonorthog
commit
|
commitdiff
|
tree
next