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
configure.in: add isl flags and libs to pkg-config file
2010-04-10
S
v
e
n
Verdoolae
g
e
configure
.
i
n: add isl flags and libs t
o
p
k
g-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
e
r
doolaege
iscc:
t
est isl_st
r
eam for eof
r
ather than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ve
n
Verdoolaege
i
s
c
c: add delt
a
s op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
u
pdat
e
i
sl for fix in isl_map_
d
eltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
arvino
k
_
e
numer
a
te_pip_w
i
th_opt
i
ons
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoo
l
aege
iscc: add cross product o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaeg
e
iscc: ad
d
coalesce operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
u
pdate isl for isl
_
pw_qp
o
l
y
nomial_coalesc
e
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdo
o
l
aege
drop "Ome
g
a counting cal
c
u
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verd
o
ola
e
g
e
test_
b
ound
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix pri
n
t
f
fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
laege
evalue_range_pro
p
ag
a
tion:
fix substitutio
n
for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
bernstein
/
configure
.
in:
use abs
o
l
u
te sr
c
d
ir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
only distrib
u
te bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laeg
e
u
p
date omega f
o
r c
o
nfigurat
i
on
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoolaege
con
f
igure
.
in:
a
l
l
o
w
"
buil
d
" Po
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoola
e
g
e
isl_qp
o
lynomial_fold_from_gi
n
ac: handle fa
i
l nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpolynom
i
al_from_
g
inac: expand e
x
b
efo
r
e
i
nspect
i
on
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
i
s
l_obj_lis
t
.
c: upda
t
e to use o
f
isl_pr
i
nt
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n V
e
rdoolaege
iscc: add gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
isl_pw_qpol
y
nomial_u
p
per_bound: set up var
i
able v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
V
erdoolaeg
e
iscc:
a
d
d
some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
i
scc
:
add inverse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
S
ven
V
erdoolaege
iscc: fix up type of fi
n
d_matching_
b
in_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oo
l
aege
iscc: add
affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add
o
pe
r
ation to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: add "j
o
in" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
i
scc: add interse
c
t_domain
o
pe
r
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overlo
a
ding binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add
m
o
r
e d
o
m
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc: re
o
rganize table of iscc operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdo
o
laege
upd
a
te
isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: update
s
upport information
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdo
o
l
aege
r
a
n
d
omvector: double size of co
e
fficie
n
ts on
e
a
ch attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdool
a
e
g
e
iscc
:
support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
l
a
ege
update is
l
to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verd
o
o
laege
barvinok_e
.
cc: enume
r
ate_vd: r
e
move
u
nused
v
ariables
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
evalue
.
c:
Po
l
yhedron_Insert: add missing
r
e
turn
type
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
e
value
.
c: reduce_e
v
alue: remov
e
unus
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
dool
a
ege
iscc: a
d
d @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_
q
polynom
i
al_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ve
r
doolaege
add i
s
l_p
w
_qpolyn
o
mi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
add isl_
p
w_qpolynomial_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
update isl for isl_pw_qpolynomial_forea
c
h_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdool
a
eg
e
rename evalue2isl to isl_
p
w_qpolynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolae
g
e
iscc:
d
etect more kin
d
s
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
b
ar
v
inok_enu
m
e
r
a
te: u
s
e isl during the verifi
c
at
i
on
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
do
o
l
a
ege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdo
o
laege
a
d
d isl
_
set_card
a
n
d i
s
l_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verd
o
olae
g
e
a
d
d evalue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
val
u
e_convert: export
as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvino
k
_
enumera
t
e
_e
:
optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdool
a
ege
A
X_SUBMODULE:
a
c
c
ept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en
V
er
d
oolaege
barvinok_enumerate: return NaN for
i
nfinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
rem
o
ve_all_equalities: handle i
n
tegrally,
but no
t
ratio
n
a
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
Verdoolaeg
e
b
arvinok
_
enu
m
erate_e: always return
a
partit
i
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
barvinok_enumerate: check t
h
at
d
im
e
nsion
o
f inpu
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
Verdoolaege
p
art
i
tion2enum
e
rat
i
on: chec
k
t
h
at input is
r
e
a
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
g
e
updat
e
piplib for change i
n
configure
op
t
ion
s
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaeg
e
u
p
da
t
e
o
m
e
g
a
for confi
g
uration/
c
ompi
l
ation
iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
vinok_c
o
unt_with_options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoola
e
ge
Polyhed
r
on_Sample: plug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summate
.
c
:
ad
d
m
i
ssing i
n
clu
d
e
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topcom
.
c:
s
upport newer versions
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
top
c
om
.
c:
compute_
d
omai
n
: skip vertices w
i
thout doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
o
o
laege
doc:
r
eflect
that --enable-fractional is now the defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
glpk_polyhedron_aff
i
ne_sign: spec
i
al case
0
D polyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
o
olaege
P
o
lyhedron_
I
nsert_Co
l
u
mns: fix ty
p
o
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron_Facto
r
: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
con
f
igu
r
e
.
in: u
s
e AX_
S
U
BMO
D
ULE instead of BV
_
SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolae
g
e
remove_equalities: use Polyhedr
o
n_Preimage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
barv
i
nok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
S
ve
n
Verdool
a
ege
d
o
c
: a
d
d experimental comparison
b
etwe
e
n old an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
lexmi
n
.
cc: re
m
ove "a
n
achronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add
s
ome less
common
.
s
ty fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdoolaege
add
"cleve
r
" Laurent e
x
pansion based
s
um
m
a
tion
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaeg
e
m
o
ve Las
t
_Non_Ze
r
o to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verd
o
ola
e
ge
extract o
u
t pa
r
am_polynomi
a
l f
r
om laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex_cone fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sv
e
n
Verd
o
olae
g
e
u
p
date
polylib for spe
e
d impr
o
v
e
ment in in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
ven Ver
d
oolaege
up
d
ate piplib for distribution
issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdoola
e
g
e
Polyhedron_Fac
t
or: fix
merging of
groups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
laege
(t)counter: move cou
n
ter::reset() up
t
o c
o
unte
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
rdoola
e
ge
Makefile
.
am: keep
b
e
t
ter t
r
ack of faile
d
test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoola
e
ge
L
ine_Length:
h
andle 0
D
polytope i
n
1D space
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdoolaege
Polyhedron_Factor: handle polyhedra w
i
th
a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
v
e
n
Verdoolaeg
e
upda
t
e piplib for
c
h
a
nge in configure a
r
guments
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
oolae
g
e
barv
i
nok
.
cc: remove
unus
e
d nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoo
l
a
ege
upd
a
t
e
piplib for MinGW
c
ompatibi
l
ity
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
update polyli
b
f
or MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
S
ven V
e
r
d
o
olaege
evalu
e
.
c:
in_domain: special-case
0
D
domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolae
g
e
Avoid
u
s
e
o
f sys/
t
i
mes
.
h h
e
a
der when no
t
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verd
o
olaege
add gnu
l
ib getsubopt mo
d
ul
e
fo
r
Min
G
W
commit
|
commitdiff
|
tree
2008-12-01
S
ve
n
V
e
r
doolaege
README:
m
ention that GiNaC
is al
s
o needed for the
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
S
v
en Ve
r
d
o
ol
a
ege
A
l
low b
u
ild of
occ
w
hen usi
n
g bun
d
led
o
mega
commit
|
commitdiff
|
tree
2008-10-28
Sven Ve
r
doola
e
ge
doc: add
a
r
ef
e
rence to a maste
r
the
s
is actually
u
si
n
g
.
.
.
commit
|
commitdiff
|
tree
next