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: add deltas operation
2010-04-07
Sven V
e
rdo
o
la
e
ge
iscc: add de
l
tas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
update isl for fi
x
in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
V
erdo
o
laege
drop barvin
o
k_enumer
a
t
e
_
p
i
p_
w
i
t
h_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n
Verdoolaege
i
scc: add
c
ross produc
t
operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
e
n
V
e
rdoolaege
iscc: add coal
e
sce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
u
p
d
ate isl
for isl_pw
_
q
pol
y
nomial
_
coales
c
e
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdo
o
lae
g
e
drop
"
Omega counting
c
alcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoo
l
aege
t
e
s
t_bound
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
ber
n
s
t
ein
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
evalue
_
ra
n
ge_pr
o
pagati
o
n: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernst
e
in/configure
.
in:
u
se absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
ola
e
g
e
o
nly distribute bundled
s
ubmodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
u
pdate omega fo
r
configur
a
t
ion issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
conf
i
gu
r
e
.
in: allo
w
"b
u
i
ld
"
P
olyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolae
g
e
isl_qpolynomi
a
l
_fold_from_g
i
nac: handle fail node
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
i
s
l
_q
p
olynomial_from
_
g
in
a
c
: expand
e
x
before inspection
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n Verdoolaege
isl_obj_list
.
c: u
p
date
t
o
use of isl_
p
rinter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
iscc: add gist operation
s
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Ver
d
oolaege
is
l
_pw_q
p
o
lynomial_upp
e
r_bou
n
d: set up v
a
ria
b
l
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc: a
d
d some
c
omparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
i
s
cc: a
d
d inverse opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix
u
p
type
of find_matching_bi
n
_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add affi
n
e hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc
:
add operation to construct
u
nive
r
sal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Ver
d
oo
l
aege
isc
c
: add "join" o
p
er
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc
:
a
d
d intersect
_
domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: allow
overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
scc
:
add mo
r
e
dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
do
o
laege
doc
:
reorganize tab
l
e of iscc
o
p
era
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
V
e
rdool
a
eg
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
barvi
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: u
p
date sup
p
ort informa
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
randomvector: double s
i
ze of co
e
fficients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdo
o
laege
iscc
:
support transit
i
v
e clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdo
o
la
e
ge
update isl
t
o v
e
rsion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
bar
v
i
n
ok_e
.
cc: enumerate_
v
d
:
remove unused
v
aria
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalue
.
c: Polyhe
d
ron_Insert: add
mi
s
sing return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
ev
a
lue
.
c: reduce_e
v
alu
e
: rem
o
ve
un
u
sed v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: ad
d
@ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
a
dd isl_pw_qpoly
n
om
i
al
_
u
pper_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
is
c
c:
add
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rd
o
ol
a
ege
add isl_pw_qp
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdool
a
ege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
V
e
r
doolaege
upd
a
te isl for
isl_pw_qpolyno
m
i
al
_
fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
rename evalue2isl to isl
_
pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ve
r
doolaege
iscc: detect more k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Verdo
o
lae
g
e
barvin
o
k
_enu
m
erate: u
s
e is
l
during the veri
f
ication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
a
d
d isl_set_card and i
s
l_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
e
value
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
eva
l
u
e_conve
r
t: expor
t
as appl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n
Verdool
a
ege
barvin
o
k_enumerate_e: opti
o
nally use is
l
to
proje
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add i
s
l submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
ola
e
ge
A
X
_SUBMO
D
ULE: acce
p
t "-" in
m
odulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
do
o
laege
barvinok_enumerate: return NaN for inf
i
n
ite
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_al
l
_equalities:
handle integra
l
ly, b
u
t not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barv
i
n
ok_e
n
um
e
r
a
te_e:
a
l
w
ays r
e
t
u
rn a p
a
rtition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ven Verd
o
o
l
aege
barvinok_enumerate: check that dim
e
nsion of input i
n
clude
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoo
l
aege
p
a
rti
t
ion2enume
r
ation
:
check that input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
doolae
g
e
update
p
iplib for c
h
ange
i
n config
u
re options
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
V
erdoolaege
up
d
ate
omega for
c
onfi
g
uration/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
v
en Verdoolaege
ba
r
vi
n
ok_count_with_o
p
tions: check r
e
t
u
r
n
v
a
lue
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
Polyhedron_Sample: plu
g
memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
rdoolaege
summat
e
.
c: add
m
i
s
sing include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topcom
.
c: support
newe
r
versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdool
a
ege
topcom
.
c: compute_do
m
ain: skip
v
e
rtices wi
t
h
ou
t
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc
:
reflect that --enable-
f
ractional
is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
glpk_poly
h
edron_affine_sign: special case 0D pol
y
h
edra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoo
l
aege
P
o
lyh
e
d
ron_Insert_Column
s
: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
ae
g
e
Polyhedron_Facto
r
: fix updatin
g
of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Verdoolaege
con
f
ig
u
re
.
in
:
use A
X
_SU
B
MODULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
remove_equalities: use Polyhed
r
on_Preimage
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoo
l
ae
g
e
barvinok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
do
c
:
a
dd experimental comparison b
e
tween
o
ld
and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olae
g
e
l
e
x
min
.
cc:
remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n
Ver
d
oola
e
ge
doc:
add s
o
me less common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
add "cle
v
er" Laure
n
t expan
s
ion b
a
sed summati
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
olaege
m
o
ve Last_Non_Zero t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
extra
c
t
out
para
m
_p
o
lynomial
f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoola
e
ge
e
x
trac
t
v
e
rtex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaeg
e
u
p
date polyli
b
for speed improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdool
a
ege
update piplib fo
r
distrib
u
ti
o
n
i
ss
u
e
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verdoolaege
Po
l
y
hed
r
on_Fact
o
r:
f
ix merging of g
r
oups of
column
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
(t)counter: mo
v
e c
o
unt
e
r:
:
re
s
e
t() up to counter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
Ma
k
efile
.
a
m: k
e
e
p better track of
f
ailed tests
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdool
a
ege
Line_Length: h
a
n
d
l
e 0D poly
t
o
p
e in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Poly
h
e
dron_Factor: han
d
le po
l
yhe
d
ra with a non
-
trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
erd
o
o
laege
u
p
date pip
l
ib for change in configure arguments
commit
|
commitdiff
|
tree
2008-12-27
S
ve
n
Verdoolaege
ba
r
vinok
.
cc: remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdool
a
ege
u
pdate pipli
b
for MinGW compatib
i
l
ity
commit
|
commitdiff
|
tree
2008-12-26
S
ven Verdoolaege
upd
a
te polylib for MinGW compatibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
laege
e
v
alue
.
c: in_domain: special-case 0D doma
i
n
s
commit
|
commitdiff
|
tree
2008-12-25
Sv
e
n Verdoola
e
ge
Avoid use of sys/t
i
m
e
s
.
h header
w
hen
no
t
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doola
e
g
e
add gnulib get
s
ubopt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven
V
er
d
oolaege
README: mention th
a
t G
i
NaC is a
l
so needed for the
O
m
e
ga
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en V
e
rdoolaege
Allow build
of o
c
c when using
b
un
d
led omega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoola
e
ge
doc: add
a reference
to a master thesis
a
ctually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvi
n
ok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdool
a
ege
README: fix up installation i
n
structions
commit
|
commitdiff
|
tree
next