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 rename of isl_map_move
2010-04-11
Sve
n
V
e
rd
o
olaege
update
isl
fo
r
ren
a
m
e of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sve
n
Ver
d
oolaege
c
onfi
g
ure
.
in: add isl f
l
ags and lib
s
to
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isc
c
: tes
t
isl_s
t
rea
m
f
or eo
f
rather th
a
n the u
n
der
l
yi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
is
c
c: add
delta
s
operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl fo
r
f
i
x in isl_map_d
e
l
t
as
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
drop barvinok_enum
e
ra
t
e_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdool
a
ege
iscc
:
ad
d
cros
s
produc
t
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-31
S
ven Verdoolaege
iscc: add
c
o
a
lesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update isl
for is
l
_p
w
_q
p
olynomial
_
coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
rop "O
m
eg
a
co
u
n
t
ing ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_
b
ound
.
cc: fix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
ernstein
.
cc: f
i
x printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
eva
l
u
e_range_prop
a
gation: fix
s
u
bstitution for nega
t
ive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
bernst
e
in/confi
g
ure
.
in:
u
se absolut
e
srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
o
n
ly di
s
t
r
ibute bundle
d
sub
m
odules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
update omega
for configurat
i
o
n
i
s
sue
commit
|
commitdiff
|
tree
2010-03-25
S
ven V
e
rd
o
olaege
c
onfigure
.
in:
a
l
low "build" Pol
y
Lib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
ol
a
ege
isl_qp
o
l
y
n
o
mial_fold_from_gin
a
c: handle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
V
erdo
o
la
e
ge
i
s
l
_qpolynomial_from
_
gi
n
a
c
: expand ex before inspe
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
ae
g
e
isl_
o
bj_list
.
c: u
p
da
t
e to us
e
of
i
s
l_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
iscc:
a
dd gist
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
d
o
olaege
update isl f
o
r introduction of
i
sl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
i
s
l_pw_qpolynomial_upper_bound:
s
et
u
p va
r
iable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doo
l
aege
iscc
:
add some comparison op
e
r
a
ti
o
n
s
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
d
oolaeg
e
iscc: add inver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
iscc
:
fix up type of find_matchin
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verd
o
o
laege
iscc: add aff
i
ne hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaeg
e
is
c
c: a
d
d
operat
i
on to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add "join" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
is
c
c: ad
d
intersect_doma
i
n oper
a
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
ge
iscc:
all
o
w overload
i
n
g
b
inary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verd
o
olaege
iscc: add
m
ore dom
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rd
o
ola
e
ge
do
c
: reor
g
anize table
of iscc
o
perati
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
eg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
ol
a
ege
barvinok
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
A
UTH
O
R
S: u
p
date support informatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
r
a
n
domv
e
ctor:
d
o
u
b
le size of coefficients on ea
c
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
iscc:
support
transitive cl
o
sure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
laeg
e
updat
e
isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
l
aege
barvinok_e
.
cc: enumerate_
v
d:
r
emove u
n
u
sed vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
ege
e
v
alue
.
c:
P
olyhe
d
ron_Insert: add missing retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
eval
u
e
.
c: r
e
du
c
e_e
v
alue: remove u
n
used
v
a
r
i
able
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
d
o
olaege
iscc:
a
d
d
@ ope
r
at
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc
:
a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdool
a
ege
add isl_p
w
_qpolynomial_up
p
er_boun
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
iscc:
add
s
um
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ver
d
oola
e
g
e
add i
s
l_p
w
_qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl
_
pw_qp
o
lynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
upd
a
te isl for
isl_pw
_
q
p
olynomial
_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
rena
m
e ev
a
lu
e
2i
s
l to isl_
p
w_qp
o
lynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kinds of er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ve
r
doolaege
barvinok_enum
e
r
ate: use
i
sl during the
v
erificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
ool
a
ege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doo
l
a
e
ge
add isl_set_
c
ard and isl_
m
ap
_
c
a
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
ad
d
evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
eval
u
e_conve
r
t: export as applica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdool
a
ege
bar
v
inok_enu
m
e
r
a
te_e: optio
n
ally use isl t
o
proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
e
r
doolae
g
e
add isl sub
m
odu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
AX_SUBMODULE:
a
c
c
ept
"-" in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
S
v
en Ve
r
do
o
laege
b
arvinok
_
e
numer
a
te: r
e
turn NaN for infinite probl
e
ms
commit
|
commitdiff
|
tree
2010-01-28
S
v
en Ver
d
o
ol
a
e
g
e
remove
_
all_equa
l
ities: han
d
l
e
integrally, but not rat
i
onall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvino
k
_enumerate_e: a
l
ways r
e
turn a partiti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoola
e
ge
bar
v
inok_enumerate: check that dimensi
o
n of i
n
p
u
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partition2enumeration: check
t
hat
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
updat
e
p
iplib for ch
a
nge i
n
confi
g
ur
e
opt
i
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doo
l
aege
update omega for configuration
/
compi
l
at
i
o
n
i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok
_
c
o
u
n
t
_
with_options: ch
e
ck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ve
r
doolaege
Polyhe
d
ron_
S
ample: plug memo
r
y leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rdoo
l
aege
summa
t
e
.
c: add
mis
s
in
g
inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolaege
topcom
.
c: suppor
t
newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoo
l
aege
top
c
o
m
.
c: co
m
pute_domain: skip vertices with
o
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoolaege
p
oly
t
ope_min
i
mize: take constant term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoola
e
ge
doc: reflect tha
t
--e
n
a
ble-fra
c
tional is now the
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk_polyhe
d
ron_affi
n
e_sign:
s
pecial case 0D po
l
yhedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
e
r
doolaeg
e
Poly
h
edron_Inse
r
t_Columns:
fix
t
y
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
erdoolaege
Polyh
e
d
r
on_Factor:
fix updatin
g
of group
s
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdoolaege
c
o
nfigure
.
in: us
e
AX_S
U
BMODULE instea
d
of BV_
S
UBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
r
d
oolaege
rem
o
ve
_
equalities
:
use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verd
o
o
laege
bar
v
inok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
doc: add
e
xperim
e
ntal comparison betw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
oolae
g
e
lexmin
.
cc:
r
emove "anac
h
ron
i
sm
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
doc: fi
x
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdool
a
ege
do
c
: a
d
d some l
e
ss common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdo
o
laege
add "
c
le
v
er" Lauren
t
expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
m
ov
e
La
s
t_N
o
n
_Ze
r
o to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verdoolaege
ext
r
act
o
ut pa
r
am
_
polynomial from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
Verdoolaege
e
x
tr
a
ct vertex_c
o
ne from la
u
r
e
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoo
l
a
ege
NTL_Q
Q
.
cc:
a
dd st
d
io include
f
or EOF hidden
i
n
N
TL_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Verdoolaege
u
pdate polylib for speed
impro
v
ement in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
p
date
p
i
plib
f
or dis
t
ribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Ver
d
oolaege
Polyh
e
dron_Facto
r
:
f
ix mer
g
i
ng of group
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoolaege
barvi
n
o
k_enumer
a
te_series: don't check for r
e
v
l
e
x
positi
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
(t)cou
n
ter
:
mo
v
e counter::re
s
et() up to
c
o
u
nter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
Mak
e
file
.
am: keep better
t
r
a
ck of fail
e
d tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoola
e
ge
add
semigroup_h
o
les a
p
p
l
ication
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
L
ine_Le
n
gth: handle 0D po
l
y
t
ope in
1
D space
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdool
a
ege
g
e
n_fun: ad
d
is
_
zer
o
me
t
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doola
e
g
e
bar
v
inok_enumerate_e_series: r
e
move equa
l
itie
s
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Ver
d
oo
l
a
e
ge
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
V
e
rdoolaege
b
arvinok_e
n
umerate_e_series: han
d
le all exis
t
enti
a
ls
.
.
.
commit
|
commitdiff
|
tree
next