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 cross product operations
2010-04-01
Sven Verdoolae
g
e
iscc
:
ad
d
c
r
oss product operati
o
ns
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoolaege
i
s
cc: add coal
e
sce operations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolaege
upda
t
e isl fo
r
i
s
l
_
p
w
_qpolyn
o
mial_
c
oalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega
c
ounti
n
g c
a
lc
u
lato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
aege
test_bound
.
cc: fix
p
r
intf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
berns
t
ein
.
cc: fix
p
rin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propagation: fix
s
ubsti
t
u
tion for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdool
a
ege
bernstein/con
f
igure
.
in: use absolute srcdir of Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
ae
g
e
o
n
ly dis
t
ribute bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
u
pdate om
e
ga
f
or
configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oo
l
aege
configu
r
e
.
in:
allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdo
o
la
e
ge
isl_qpolynomial_fold_f
r
om_ginac: handl
e
fail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qpo
l
ynomial_f
r
om_gina
c
:
expand
e
x
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_obj_list
.
c: update to
us
e
of i
s
l_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
iscc:
a
d
d
gist operat
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolaeg
e
isl
_
pw_q
p
ol
y
nomial_upp
e
r_bound: set up variable vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: ad
d
some
comparison op
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc:
a
dd
i
nverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
fix up typ
e
of find_matching
_
b
i
n_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoolaege
iscc: add affine hul
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: add oper
a
tion t
o
con
s
truct univ
e
rsal
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc
:
add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add intersect_domain ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
d
o
o
l
aeg
e
iscc: allow overlo
a
ding bi
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc: a
d
d more do
m
operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdo
o
laege
doc: reor
g
anize t
a
ble of iscc opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
barvinok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
o
laege
AUTHORS: update su
p
port information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
rand
o
mv
e
ctor:
d
o
u
ble
s
ize of coefficie
n
ts on
each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
iscc: su
p
port tr
a
nsitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
up
d
ate
i
sl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
barvino
k
_e
.
cc: enumerat
e
_
vd: rem
o
ve unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
eval
u
e
.
c: Polyh
e
dron_Inser
t
: add m
i
ssing retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
e
r
d
o
olaege
evalue
.
c:
reduce_ev
a
lue:
r
emove unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oo
l
aege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
er
d
o
o
laeg
e
i
sc
c
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdool
a
ege
a
dd
isl_pw_q
p
olynomial_upper_bo
u
n
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc:
a
dd
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
g
e
ad
d
isl_pw_qpolyno
m
ial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl
_
pw_qpolynomial_to
_
evalue
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolaege
update is
l
for isl_pw_q
p
olynom
i
a
l
_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rename eva
l
ue2i
s
l to isl_pw_qp
o
lyn
o
mia
l
_fro
m
_e
v
alue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: de
t
ec
t
more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_en
u
merate: use isl dur
i
ng
t
he verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven
Ve
r
dool
a
eg
e
add isl_set_ca
r
d and isl_map_
c
a
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
r
d
oolaege
evalue_convert: export as
a
ppli
c
ation
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
barvinok_enumera
t
e_e
:
o
p
t
ionally use
isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
add isl
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX
_
SUBMODULE:
accept "-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
S
ven Ver
d
o
o
l
a
ege
barvinok_en
u
m
e
rate: re
t
urn NaN for
i
nfinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdo
o
laege
remove_all_eq
u
alit
i
e
s: h
a
ndle
i
n
tegrally, but not ra
t
iona
l
ly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
d
o
olaege
ba
r
vinok
_
enumerate_e: always retur
n
a
p
artition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
barvi
n
ok_enum
e
r
a
te: c
h
eck that dime
n
sion of input includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
parti
t
ion2en
u
meration:
c
heck that input i
s
rea
l
ly a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolae
g
e
updat
e
piplib
for cha
n
ge i
n
c
onfigure opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
upda
t
e
o
mega for configu
r
at
i
on/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven
V
erdoolaeg
e
ba
r
v
i
nok_co
u
nt_with_op
t
ions: c
h
eck return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_
S
ampl
e
:
p
lug m
e
mory l
e
ak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
summat
e
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
ol
a
ege
topcom
.
c: support newer
ver
s
ions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: com
p
u
t
e_do
m
a
i
n: skip vertices with
o
ut domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven V
e
rdoolaege
d
oc:
reflect that -
-
enable-fractional i
s
n
ow the
d
efault
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
laege
glpk_pol
y
hed
r
o
n
_affine_
s
ig
n
: special case
0D pol
y
hed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoola
e
g
e
Polyhedron_Insert_Col
u
mns: fix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdoolae
g
e
P
olyhedron_Factor: fix upda
t
i
n
g
of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX
_
SUBMODULE ins
t
ead of BV
_
SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Ve
r
doolaege
r
e
move_e
q
ualities: us
e
P
o
l
yhe
d
ron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
barvin
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
d
oolaege
doc: add e
x
perimental co
m
parison bet
w
een
o
ld an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven
Verdoolae
g
e
le
x
min
.
cc:
r
e
m
o
ve "anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdoolaege
doc: add some less commo
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Laurent expansion based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
S
ven Ve
r
doola
e
g
e
move Las
t
_
N
on_Z
e
ro to
u
t
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
extra
c
t out pa
r
am_polynomial fr
o
m laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oolaege
ext
r
act vertex_cone
f
r
o
m laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update
p
oly
l
i
b for speed improvement in
i
n_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
V
erdoolaege
upda
t
e
piplib for distribut
i
on issue
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verd
o
ola
e
g
e
P
olyhe
d
ron
_
Factor: fix merg
i
ng
of gr
o
u
ps o
f
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoo
l
aege
(
t
)counter: move co
u
nter::
r
eset
(
) up t
o
c
o
u
nter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
ge
M
ake
f
ile
.
am:
k
eep b
e
tter track of faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
L
ine_Length: handle 0D polytope in 1D
s
p
a
ce
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolaege
Polyhedron
_
F
actor: ha
n
dle polyhedra with a n
o
n-
t
r
ivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verd
o
o
l
aege
u
p
date piplib for c
h
ange in co
n
figure argu
m
en
t
s
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaege
b
arvino
k
.
cc: rem
o
ve unused
n
onort
h
og
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolaege
update pip
l
ib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
erdoolaege
u
pda
t
e po
l
y
lib for Min
G
W
c
o
mpatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven V
e
rdoolaege
evalue
.
c: in_do
m
ain: spe
c
ial-case 0D domains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdo
o
l
ae
g
e
Avoid use of sys/ti
m
es
.
h header w
h
en not av
a
ilable
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add g
n
u
l
ib getsub
o
pt module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven V
e
rdoolaege
READ
M
E: mention tha
t
GiN
a
C
is als
o
needed for the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoo
l
a
ege
A
l
l
o
w build
o
f occ when using bundled
omeg
a
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoola
e
ge
doc: add a reference to a ma
s
ter t
h
esis actuall
y
using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolaege
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
Verdoolaege
README: f
i
x up inst
a
llation instruc
t
ions
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ve
r
doolaege
Add fil
e
s generated by b
i
son and flex to the distribu
t
i
o
n
commit
|
commitdiff
|
tree
2008-10-16
S
v
e
n Verdoolaege
update polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdool
a
e
ge
u
p
d
ate
p
i
plib
commit
|
commitdiff
|
tree
next