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 some comparison operations
2010-03-15
Sven Verdoolae
g
e
iscc: add some compa
r
ison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
r
dool
a
ege
iscc: add inverse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc:
f
ix up
type of find_
m
atching_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
aege
i
s
cc: a
d
d affine hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
laege
iscc: add
operation
t
o c
o
nstr
u
c
t
universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
iscc: add "join" opera
t
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: add intersect_domain opera
t
ion
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
ae
g
e
iscc: al
l
ow ov
e
rlo
a
d
i
ng binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c: a
d
d mo
r
e dom ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoo
l
aege
do
c
:
reorganize table of iscc
o
peratio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rdoolaege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
AUTHORS: update sup
p
ort information
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
rand
o
mv
e
ctor: doub
l
e
s
ize of
c
oefficie
n
ts on each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
iscc: su
p
port transitive closure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoolaege
upd
a
te is
l
t
o
version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
bar
v
inok
_
e
.
cc:
e
n
umerate_vd: remove u
n
us
e
d
v
aria
b
les
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
ool
a
e
ge
evalue
.
c: Polyhedro
n
_
I
nsert: add
missing
r
e
t
ur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
evalue
.
c
: reduce_evalue: remove un
u
sed variable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
is
c
c: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
add isl_pw_qpolyno
m
ial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
i
s
cc
:
add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
ad
d
isl_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
doolae
g
e
add isl_pw_q
p
olynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
up
d
ate isl for isl_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
r
e
name ev
a
lue2isl to isl_pw
_
q
polynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
S
v
en Verdoolaege
iscc: detect more kinds o
f
errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaeg
e
ba
r
vi
n
ok_enumerate: us
e
isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoolaege
a
dd is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd isl_set_ca
r
d and isl_map
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
olaege
add
e
valu
e
2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
evalue
_
convert: expo
r
t as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
barvi
n
ok
_
en
u
merate_e: o
p
tionally use isl
to pr
o
jec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
AX
_
SUB
M
ODULE:
a
cc
e
pt
"
-" in
m
od
u
len
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
barvi
n
ok_enumerate:
return NaN for
i
nf
i
n
ite pr
o
b
l
ems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_e
q
ualiti
e
s: handle integrally, but not
ratio
n
ally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en
V
erdoo
l
aege
barv
i
nok_en
u
merate_e: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoolaege
barvinok_enume
r
a
t
e:
c
heck that dime
n
sion o
f
inpu
t
includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdool
a
ege
parti
t
i
o
n2e
n
u
m
eration: chec
k
t
hat inp
u
t
is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
updat
e
piplib
f
o
r
cha
n
ge in
configu
r
e options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
ool
a
ege
update omeg
a
f
o
r configuration/c
o
mpilat
i
on iss
u
es
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
barvinok_count_with_options: check r
e
t
u
rn v
a
l
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
dool
a
eg
e
Polyhed
r
on_Samp
l
e: p
l
ug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
olaege
summate
.
c
: add missing i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c
: support ne
w
e
r versions of TO
P
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
opcom
.
c: compute_d
o
main:
skip vertice
s
w
ithou
t
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
doc: ref
l
ect that
--en
a
b
le-fractiona
l
is now the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
g
l
pk_polyhedron_affin
e
_
s
ign: special
c
ase 0D
p
o
l
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdo
o
laeg
e
Po
l
yhedro
n
_
I
nsert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
ae
g
e
Po
l
yhedro
n
_Factor: fix updating o
f
gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
S
v
en Verdo
o
laege
configure
.
in: use AX_SUBMODULE inste
a
d
of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoo
l
aege
remove
_
equalities:
use Po
l
yhedron_Prei
m
age ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
barvi
n
o
k 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental
comparison between
old a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
e
rdoolaege
lexmin
.
cc:
rem
o
v
e
"anac
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
oc: add some less
c
om
m
on
.
s
ty
f
iles
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add
"clever"
L
aurent expansion based sum
m
ation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Ve
r
doolaege
move
Last_Non_Zer
o
to ut
i
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
a
ege
extract out param_po
l
ynomia
l
f
rom laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract vertex
_
cone from l
a
ure
n
t
.
c
c
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erdoolaeg
e
up
d
a
t
e
p
o
l
ylib for spe
e
d improv
e
men
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sv
e
n Verd
o
olaege
update
piplib for distribution
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
r
doolaege
Pol
y
hed
r
o
n
_
Factor: fi
x
m
erg
i
ng of
g
roup
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
S
v
en V
e
rdoolaege
(t)coun
t
e
r:
m
ov
e
counter::r
e
se
t
() up to
coun
t
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
M
a
kefile
.
a
m
: keep b
e
tte
r
track of faile
d
te
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
a
eg
e
Line_Lengt
h
:
h
a
ndle 0D p
o
lytope in 1D s
p
ace
commit
|
commitdiff
|
tree
2009-04-02
Sv
e
n Verdo
o
l
aege
Polyhedron_Factor: handle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoola
e
ge
upda
t
e piplib for change
i
n configur
e
argume
n
ts
commit
|
commitdiff
|
tree
2008-12-27
S
v
en Ver
d
oolaege
b
a
rvinok
.
c
c
:
remove unused nonorthog
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolae
g
e
u
pd
a
te p
i
plib
f
or MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolae
g
e
up
d
a
te po
l
yli
b
fo
r
Min
G
W co
m
pa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
evalue
.
c: in_domain: special
-
case 0D
d
o
m
ains
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
A
v
o
id use
of sys
/
ti
m
e
s
.
h h
e
ader when not
a
vaila
b
le
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoolaege
add gnu
l
ib getsubopt
module for M
i
nGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
READ
M
E:
m
enti
o
n that G
i
NaC is
a
l
s
o
n
eeded fo
r
the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven
Verdoolaege
All
o
w build of
o
cc wh
e
n u
s
ing b
u
ndled omega
commit
|
commitdiff
|
tree
2008-10-28
Sven
Verdoolaege
doc: add a refe
r
ence to
a master thesis actually
usi
n
g
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
barvinok
0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven
V
erdo
o
laege
RE
A
DME: fix up installation i
n
structions
commit
|
commitdiff
|
tree
2008-10-16
S
v
en V
e
r
d
oolaege
Add files generate
d
by bison a
n
d flex
to t
h
e dist
r
i
butio
n
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdo
o
laege
u
p
date polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
u
p
date pi
p
lib
commit
|
commitdiff
|
tree
2008-10-10
Sven
Verdoolaege
evalue
.
c: affin
e
2evalue: reduce coefficient
s
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaeg
e
e
v
alue
.
c
: eva
l
u
e
_
level_cmp: pr
o
duce
more cons
i
stent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verdoolaege
doc: add anothe
r
paper referring to
the
library
commit
|
commitdiff
|
tree
2008-09-16
Sven
V
erdoo
l
ae
g
e
p
i
ecew
i
s
e
_lst
.
h: avoid
duplicate pa
r
ameter nam
e
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolaege
eval
u
e_read
.
c:
f
ix
m
inor bug
s
in tok
e
nizer
commit
|
commitdiff
|
tree
2008-09-02
Sven V
e
rdool
a
e
g
e
upda
t
e omega for missing files
in
distributio
n
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
b
a
rvi
n
ok_en
u
merat
e
_e: avoid infin
i
t
e loop whe
n
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sve
n
V
er
d
oolaeg
e
mov
e
omega
subdir to
omega_inter
f
ace
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n V
e
rdo
o
l
aege
NTL_QQ
.
c
c
: add s
t
dlib includ
e
for abort hidden in N
T
L_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven
V
er
d
oolaege
remove
g
nuli
b
link-warning
m
o
du
l
e com
p
letely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verd
o
olaege
updat
e
poly
l
i
b
with extra field
i
n Pa
r
a
m_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sv
e
n Verdoolaege
doc: fix typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoolaege
update gnulib function to
l
as
t
pr
e
-GP
L
v3 version
commit
|
commitdiff
|
tree
2008-07-02
Sven V
e
rdoolaege
enumerato
r
::handle: replace in
c
orrect
d
elete b
y
free
commit
|
commitdiff
|
tree
2008-06-17
Sven Verdo
o
laege
u
pda
t
e p
i
p
l
ib for corrected Urs_p
a
r
m
s handling
commit
|
commitdiff
|
tree
2008-06-12
Sven Ver
d
oolae
g
e
confi
g
ure
:
u
s
e correct hea
d
er files
i
n
case of bun
d
led
.
.
.
commit
|
commitdiff
|
tree
next