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: use simplified CLooG interface
2010-03-25
Sv
e
n
Verdool
a
ege
isl_o
b
j_l
i
st
.
c
:
updat
e
to use of i
s
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
e
r
dool
a
e
g
e
iscc: add
gist op
e
ration
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
do
o
laege
isl_pw_qpolynomial_upper_bou
n
d
: s
e
t
u
p v
a
riabl
e
vec
t
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
Verdoolaege
iscc: add some compar
i
s
o
n operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoo
l
aege
iscc: add inv
e
rse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
Verdoolaege
iscc: fix up
t
ype of fin
d
_matc
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
o
olae
g
e
iscc: add affine h
u
ll operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add operation
to con
s
t
r
uct universal map f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoo
l
aeg
e
iscc: add "joi
n
"
o
p
erat
i
on
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoo
l
a
ege
iscc: add inte
r
sect_dom
a
in operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rd
o
olaege
iscc
:
allow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
iscc: ad
d
more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
doc: reor
g
a
nize table
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoo
l
a
e
ge
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oola
e
g
e
AUTHORS:
u
pdate support
infor
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdool
a
ege
rando
m
vecto
r
: double size of
c
o
e
fficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdool
a
ege
iscc:
s
uppor
t
transitiv
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
update isl to v
e
rs
i
o
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
barvinok_e
.
cc: enumerate_
v
d: remove un
u
sed variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdo
o
laege
e
v
alue
.
c
: P
o
lyhedron_Inser
t
: a
d
d missin
g
return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c: reduce_evalue: remove
unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaeg
e
iscc: ad
d
@
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oo
l
a
ege
iscc:
add
"
ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Ve
r
d
o
olaege
add isl_pw_q
p
oly
n
omial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaeg
e
add isl_pw_qp
o
lynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoolaege
add isl_p
w
_qpoly
n
omial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update isl for
i
sl_pw_qpolynomial_
f
oreach_p
i
ece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolae
g
e
rename evalue2isl to isl_
p
w_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
oo
l
aege
iscc: d
e
tect more kinds of e
r
rors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
barvinok_enumerat
e
:
us
e
isl durin
g
t
h
e verif
i
catio
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ve
r
doola
e
ge
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
olaege
evalue_conv
e
rt: ex
p
ort a
s
a
pplication
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
e
r
doolaege
barvi
n
ok_enume
r
ate_e: optionally use i
s
l
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
o
l
a
e
ge
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoola
e
ge
AX_SUBM
O
DULE:
a
ccept
"
-" in modulen
a
me
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoo
l
aege
barvin
o
k_enumerate: return NaN for infini
t
e
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
doolae
g
e
r
e
move_
a
ll_equalities: h
a
ndle
integrally, b
u
t no
t
r
ationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
barvinok_en
u
m
e
r
ate_e: always return a partiti
o
n
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvin
o
k_enumera
t
e
:
check
t
hat dimension of
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n V
e
rdoolaege
partitio
n
2enumer
a
t
io
n
: che
c
k that input is
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdoolaege
update piplib for
c
hange in co
n
figure optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
update
o
meg
a
fo
r
configuration/
c
ompilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolaege
b
arvi
n
ok
_
c
ount_with_o
p
tions: ch
e
ck
r
eturn
val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erd
o
olae
g
e
Poly
h
e
dr
o
n_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
oolaege
summate
.
c:
a
d
d
missing include
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Ve
r
d
ool
a
ege
topcom
.
c: su
p
p
ort
n
ewer versions of TO
P
COM
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
doo
l
aeg
e
top
c
o
m
.
c
:
compute_domain: skip
v
e
rtic
e
s w
i
t
h
o
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
doc
:
reflect that --e
n
able-fra
c
tional is now the d
e
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdool
a
ege
glp
k
_polyhedron_af
f
ine_sign: spec
i
al case 0
D
polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Pol
y
hedron_Inser
t
_Columns:
f
ix
t
y
po
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verdo
o
l
aeg
e
Po
l
yh
e
dron_Fact
o
r: fix updating of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configur
e
.
in: use AX_SUBMODULE
i
nstead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
olaege
re
m
o
ve_equalities: use Polyhe
d
ron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
do
c
:
add experiment
a
l compar
i
son between old and
n
ew
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexmin
.
cc: remov
e
"ana
c
hron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add s
o
me
less
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaeg
e
a
d
d
"clever" Laurent ex
p
a
ns
i
o
n
based
s
ummation
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdool
a
ege
mo
v
e Last_Non_Zero to
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
erdoolaege
extract out param_poly
n
omial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n
Verdoolaege
e
xtract
vertex_cone from
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaeg
e
u
pdate pol
y
lib for speed imp
r
o
vem
e
nt i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
upd
a
t
e
p
i
plib for dist
r
ibutio
n
issue
commit
|
commitdiff
|
tree
2009-05-26
Sven
V
erdoolaeg
e
P
o
l
y
hedron_
F
actor: fix m
e
rg
i
ng of groups of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
(t)counte
r
:
m
ove coun
t
er::rese
t
(
) up to
c
o
unter
_
base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n V
e
r
do
o
laege
Makef
i
le
.
am:
k
eep better track
of failed t
e
s
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
aege
L
ine_Length: handl
e
0D polytope in
1
D
space
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
doolae
g
e
Polyhedr
o
n_Factor: handle polyhedra with a
non-
t
rivi
a
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
update pip
l
ib for
change in co
n
figure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolae
g
e
ba
r
v
inok
.
cc: rem
o
v
e unused n
o
no
r
thog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verd
o
olaege
upda
t
e piplib for M
i
nG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
up
d
ate polylib for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
2008-12-26
Sven
V
e
r
doolaeg
e
evalue
.
c:
in_domain: special-ca
s
e
0D domains
commit
|
commitdiff
|
tree
2008-12-25
S
ven
V
e
r
doolaege
A
v
oid use of sys/times
.
h
h
eader when not available
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaege
a
dd gnulib
getsubopt mo
d
u
le
f
o
r MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
R
E
A
D
ME: mention
t
hat GiNaC
i
s also ne
e
ded for
t
h
e
Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaeg
e
Allow b
u
il
d
of
occ wh
e
n us
i
ng
bundled o
m
ega
commit
|
commitdiff
|
tree
2008-10-28
Sven Verdoolae
g
e
doc
:
add a referen
c
e t
o
a master
thesis
a
c
t
u
ally using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
ba
r
v
i
nok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
S
v
en Verdoola
e
g
e
READM
E
: fix up i
n
stallation i
n
structions
commit
|
commitdiff
|
tree
2008-10-16
Sven
Ve
r
dool
a
ege
Add files gener
a
ted by bison and flex to the distributi
o
n
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n Verdoo
l
aege
updat
e
polylib
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaege
update piplib
commit
|
commitdiff
|
tree
2008-10-10
Sve
n
Verdoolaege
evalue
.
c: affine2evalue
:
reduce
c
oefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdoolaege
evalue
.
c
:
evalu
e
_level_cmp
:
produce more
consistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
Sven Verd
o
ol
a
e
ge
doc: add anoth
e
r pa
p
er referring t
o
the
library
commit
|
commitdiff
|
tree
2008-09-16
Sven Verdo
o
la
e
ge
piecewise_lst
.
h: avoi
d
duplicate pa
r
ameter
name
commit
|
commitdiff
|
tree
2008-09-02
Sven Ver
d
oolaege
eval
u
e_read
.
c: f
i
x minor bugs in
tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdo
o
l
aege
u
pdate omega for m
i
ssing file
s
in distributi
o
n
commit
|
commitdiff
|
tree
2008-08-28
Sven Ve
r
doolaege
b
ar
v
inok_enumerate_e: a
v
o
i
d infinite l
o
o
p
when presen
t
ed
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdool
a
ege
move ome
g
a subdir to o
m
ega_interface
commit
|
commitdiff
|
tree
2008-08-28
Sv
e
n Verdoolaege
NTL_QQ
.
c
c:
a
dd std
l
ib include for abort
h
idden
i
n
NT
L
_vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoo
l
a
e
ge
rem
o
ve gnulib
link-
w
arni
n
g modul
e
completel
y
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaeg
e
u
p
date
polylib
wit
h
extr
a
fie
l
d in
P
a
r
am_Polyhedron
commit
|
commitdiff
|
tree
2008-07-30
Sven Ve
r
do
o
laege
d
o
c: fi
x
typos
commit
|
commitdiff
|
tree
2008-07-20
Sven Verdoola
e
ge
update gnulib function
t
o last pre-GPLv3 version
commit
|
commitdiff
|
tree
next