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
iscc: free options
2010-04-24
Sven Ve
r
doolaege
is
c
c
: free options
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoo
l
a
e
ge
u
pdate i
s
l fo
r
r
e
ad
i
ng of strings
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Ver
d
oolaege
u
pdat
e
isl fo
r
fix in i
s
l_printer_print_
p
w
_
q
p
olyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
en V
e
rdoolaege
upd
a
t
e
isl
-
pol
y
lib for change in pkg
-
config fil
e
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
e
rdoolaege
iscc: a
l
l
o
w
s
pec
i
f
i
c
ati
o
n
of output form
a
t
commit
|
commitdiff
|
tree
2010-04-13
Sven
Ve
r
doolaege
upd
a
te isl f
o
r ch
a
nge in isl_s
e
t
_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sv
e
n Verd
o
ola
e
ge
u
pdate
i
sl for
r
e
name of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
o
l
aege
c
o
nfigure
.
in: add isl flags and libs to
p
k
g-confi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc
:
test isl_
s
trea
m
for eof rather t
h
an the und
e
r
l
ying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc
:
add deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
update isl for fix in isl_
m
ap_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvinok_e
n
umerate_pip_with_o
p
t
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven V
e
rdo
o
laege
iscc
:
add cros
s
product
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
rdoola
e
ge
iscc: add coalesce op
e
ration
s
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolaege
u
p
date isl
for
i
s
l_
p
w_qpolynomial_
c
oales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
dro
p
"Omega counting calcula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erdoolaege
test_bound
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
rdoolaege
bernstein
.
cc: f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoola
e
ge
evalu
e
_
r
ange_propagation:
fix
substitutio
n
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configure
.
in: us
e
ab
s
olute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdool
a
e
ge
onl
y
d
ist
r
ibute
b
undled submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
update omega for co
n
figurat
i
on issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolae
g
e
confi
g
u
r
e
.
in:
a
llow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erd
o
o
l
aege
is
l
_qpolyn
o
mial_fol
d
_from_ginac:
handle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
e
rdoolaege
is
l
_qpolynomial_f
r
om_g
i
nac: expand
e
x be
f
ore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_
o
bj_list
.
c: upd
a
te to us
e
o
f
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
isc
c
: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaeg
e
i
s
l_pw_qpolynom
i
a
l_upper_
b
ound: set
u
p va
r
iable v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
i
scc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: add inverse ope
r
ation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
V
erdoolaege
iscc
:
f
i
x
u
p type of
f
ind_matching_bin
_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add affin
e
h
u
ll operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc: add operation to cons
t
ruct universal
map fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
ae
g
e
iscc:
a
d
d "j
o
in"
o
pera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
eg
e
iscc: add interse
c
t
_
domain
operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
eg
e
iscc
:
allow
o
verloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
aeg
e
iscc:
a
dd
m
ore
dom opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verd
o
olaege
doc:
reorganize table of iscc
o
peration
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
pd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven
V
erdoola
e
ge
AUTHORS: update
support inf
o
rmation
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n V
e
rdoolaege
randomvect
o
r: double s
i
ze of coefficients on
each atte
m
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verd
o
olaege
iscc: su
p
port transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
upda
t
e
i
sl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
ba
r
vinok_e
.
c
c: enumerate_vd: rem
o
v
e unused va
r
ia
b
le
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
value
.
c: Polyhedron_Insert: add missing
r
etur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: r
e
duce_evalue: remove unused va
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
g
e
isc
c
:
a
dd @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc: add "
u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
add isl_pw_
q
polynomial_upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
add isl_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaeg
e
add
isl_pw_qp
o
lyno
m
ial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
update isl
f
or is
l
_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
renam
e
evalue2is
l
t
o
is
l
_pw_qp
o
lyn
o
mial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kinds
o
f erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
b
a
rvinok_enum
e
r
a
t
e: use isl
d
uring the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
a
d
d isl_set_ca
r
d and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
laege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ol
a
e
g
e
e
value_convert: expor
t
as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumerate_e: op
t
ion
a
lly use is
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdo
o
laege
ad
d
isl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erd
o
o
l
aege
AX_SUBMODULE: accept "-" in module
n
a
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
V
e
rdoolaege
barvinok_enume
r
ate: return NaN
for infinite proble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n
V
e
rdoolaeg
e
remove_all_
e
q
ualities:
handl
e
integrall
y
, but not rational
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
d
o
olaege
barvinok_enu
m
erat
e
_e: a
l
w
a
ys retur
n
a
p
artition f
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
e
r
d
o
olaege
ba
r
vi
n
ok_enumerat
e
: check that dime
n
si
o
n of i
n
put includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
o
o
la
e
ge
partition2enu
m
er
a
tion: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
olaege
update
p
ipl
i
b for change in
c
onfigure
o
ption
s
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erd
o
olaege
update omega for configurat
i
on/compi
l
ation
issu
e
s
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Ve
r
doolaege
barvi
n
ok
_
count_with_
o
pt
i
ons: che
c
k retur
n
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
Pol
y
hedron
_
Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
s
ummate
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
ool
a
eg
e
topcom
.
c: suppor
t
newer
v
ersions of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
t
o
pco
m
.
c: compute_domai
n
:
skip vertices with
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erdoolaege
d
oc: reflect
that --enable-fr
a
c
t
ional is now th
e
d
e
fault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
glpk_p
o
lyhe
d
ron_af
f
ine_sign: special case 0D p
o
l
y
h
e
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
ae
g
e
Polyhedron_
I
n
sert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sve
n
V
e
r
doolaege
Polyhe
d
ron_Factor
:
fix
updating of group
s
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdool
a
ege
configure
.
i
n: u
s
e AX_SUBMODULE instead
of BV_SUB
M
ODUL
E
commit
|
commitdiff
|
tree
2009-08-21
S
ven Ver
d
oolaege
remove_equalities:
u
s
e
Poly
h
ed
r
on
_
Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
olaege
b
arvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaeg
e
doc: a
d
d exper
i
menta
l
comparis
o
n between old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verdoolaege
l
ex
m
in
.
cc: remove "anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoola
e
ge
doc: add some less common
.
st
y
files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verd
o
ola
e
ge
add
"
c
lever" Lau
r
e
nt exp
a
nsion
b
a
sed summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolaege
move Last_Non_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
e
rdoolaege
extract out pa
r
am_
p
ol
y
n
o
mial
f
rom la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erd
o
olaege
extract vertex_
c
one from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdo
o
laege
update polylib for
s
peed improv
e
m
ent in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
update p
i
plib for
d
i
stribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
laeg
e
Pol
y
hedron_Fac
t
or: fix m
e
rging
of g
r
oups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
(t)
c
ounter: move counte
r
::
r
eset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
Mak
e
file
.
am:
keep b
e
tter track o
f
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdo
o
la
e
ge
Line_Lengt
h
: hand
l
e 0D
polytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoolaege
Polyhedron_Fact
o
r: handle pol
y
hedr
a
with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
g
e
update p
i
plib for
change
i
n
configure argument
s
commit
|
commitdiff
|
tree
2008-12-27
Sve
n
Verdo
o
laege
ba
r
vinok
.
cc: re
m
ove unused no
n
or
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update piplib fo
r
MinGW compa
t
i
bility
commit
|
commitdiff
|
tree
next