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 affine hull operation
2010-03-14
Sv
e
n Verdool
a
ege
iscc
:
add affine hull o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add operation to construct
u
niversal
m
ap
fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
iscc: add "j
o
in" ope
r
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
o
o
laege
iscc: add intersect_doma
i
n operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
oola
e
ge
iscc: allow
o
verloadi
n
g binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
iscc: add more d
o
m
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
doc:
reorganize
table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verd
o
olaege
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoo
l
aege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
AUTHORS: upd
a
te
s
uppor
t
information
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoolaege
randomve
c
tor: double
s
iz
e
of coefficients on each at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
iscc: su
p
port tr
a
n
s
itive closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdo
o
laege
u
pdate isl
to versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
barvinok_e
.
cc: enumerate_v
d
:
r
e
m
o
v
e
unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
evalue
.
c: Poly
h
e
dron_Insert: a
d
d
missing
return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
e
val
u
e
.
c: reduce
_
evalue: remove unused variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add
i
s
l
_pw_qp
o
lynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
i
scc:
a
d
d su
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
a
dd isl_pw
_
qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
u
p
d
ate isl for isl_
p
w
_qpol
y
n
o
mi
a
l_fo
r
each_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
rename evalue2
i
sl
t
o
isl_pw_
q
polynom
i
al_from
_
eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven V
e
rdoolae
g
e
iscc: detect
more kin
d
s
of
e
r
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
ba
r
vinok_enumerate: use isl during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
r
doolaege
add
is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
add isl_set_card
and isl_
m
ap_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoola
e
ge
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdoolaege
evalue_convert: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oo
l
aege
barvinok_enu
m
erat
e
_
e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oola
e
ge
add isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
S
v
e
n Verdoolaege
A
X_SUBMODULE: ac
c
ep
t
"-" in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_
e
numerate
:
retur
n
NaN for infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equ
a
lities:
han
d
le integrally, but
not ratio
n
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaeg
e
b
arvinok_enumer
a
te_e: alw
a
ys return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
barvinok_enumerate: che
c
k that dimen
s
i
on of input
i
nclud
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
d
o
olaege
partiti
o
n
2enumeration: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoola
e
ge
u
p
da
t
e pipli
b
for
c
h
ange i
n
config
u
re options
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
update omega
f
or c
o
nfiguration/c
o
mpilation issue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
ba
r
v
inok_count_with_op
t
i
ons:
check return
val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoo
l
aege
P
olyhedron
_
Sa
m
ple: pl
u
g memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
s
u
m
mate
.
c
:
add missing
i
n
clude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
topco
m
.
c: support newer versions of TOPC
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdool
a
e
g
e
topcom
.
c:
c
ompute_dom
a
in: skip vertices withou
t
domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erdoolaege
doc:
r
e
flec
t
th
a
t --enable-
f
ractiona
l
is
now the def
a
ult
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
erdoolaeg
e
glpk
_
p
ol
y
hedro
n
_
a
f
fine_sign: specia
l
case
0
D polyh
e
d
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Pol
y
h
edron
_
I
n
sert_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
P
o
lyhedron
_
Factor
:
f
ix updating of grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Ver
d
oolaege
configure
.
in: us
e
AX_SUBMODULE
i
nstead of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Ve
r
doolae
g
e
rem
o
ve_equa
l
ities: use Polyhedron_Preimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Verd
o
olaege
barvi
n
ok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdool
a
ege
doc: add experimental compari
s
on betw
e
en old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
V
erdoolaege
lexmin
.
cc: remove "anachron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
doc: add
s
ome less com
m
o
n
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
Verdo
o
laege
a
d
d "clever" La
u
rent expansion based s
u
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verdoolae
g
e
extrac
t
out param_polynomi
a
l fro
m
laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
extract
vertex_co
n
e from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
updat
e
po
l
ylib for speed im
p
rovement
i
n in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdool
a
ege
updat
e
pipl
i
b for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
P
olyhedron_F
a
c
t
o
r: fix
m
e
r
ging of
g
roups of colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
oolaege
(t)counter
:
move counter::reset() up
t
o counter_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
Makefile
.
a
m
: keep better track
of failed
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
o
olaeg
e
Line_Length
:
handle 0D po
l
ytope in 1D space
commit
|
commitdiff
|
tree
2009-04-02
Sven
Verdoolaege
Polyh
e
dron_
F
actor: ha
n
dle polyhedra with
a
n
on-
t
rivia
l
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update pipl
i
b fo
r
change i
n
conf
i
g
ure arguments
commit
|
commitdiff
|
tree
2008-12-27
Sven
V
erdoolaege
ba
r
vin
o
k
.
cc: rem
o
ve unused
n
o
northog
commit
|
commitdiff
|
tree
2008-12-26
S
v
en Verdoo
l
aege
u
p
d
ate piplib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
l
aege
u
p
d
a
t
e polylib for MinGW compatibili
t
y
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n
Verdoolaege
e
valu
e
.
c: in_domain:
speci
a
l-
c
ase 0D
d
omain
s
commit
|
commitdiff
|
tree
2008-12-25
Sven Ve
r
doolaege
Avoid u
s
e of sys/
t
imes
.
h
header w
h
e
n not
available
commit
|
commitdiff
|
tree
2008-12-25
Sven Verdoola
e
ge
a
d
d gnulib getsubopt
module for MinGW
commit
|
commitdiff
|
tree
2008-12-01
Sv
e
n Verd
o
olaege
README: m
e
n
t
ion that GiNaC is also neede
d
f
or the Omega
.
.
.
commit
|
commitdiff
|
tree
2008-12-01
Sven Verdoolaege
A
llow build of occ wh
e
n using bundl
e
d omega
commit
|
commitdiff
|
tree
2008-10-28
S
v
en Verdoolaege
doc:
a
dd
a
r
eferenc
e
to
a m
a
ste
r
t
hesis actually using
.
.
.
commit
|
commitdiff
|
tree
2008-10-16
Sv
e
n V
e
rdoolae
g
e
barvinok 0
.
28
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
d
o
olaege
R
EADME: f
i
x up ins
t
allation instr
u
ctions
commit
|
commitdiff
|
tree
2008-10-16
Sven Ve
r
doolae
g
e
Add files generated by bison and fle
x
to the distribution
commit
|
commitdiff
|
tree
2008-10-16
Sven Verdoolaeg
e
update
p
ol
y
lib
commit
|
commitdiff
|
tree
2008-10-16
Sve
n
Verdoolaege
u
pdate piplib
commit
|
commitdiff
|
tree
2008-10-10
Sven
V
erdool
a
eg
e
eval
u
e
.
c: a
f
fine2evalue
:
reduce coefficients
commit
|
commitdiff
|
tree
2008-10-10
Sven Verdool
a
ege
evalue
.
c: evalue_level_cmp: produce m
o
re co
n
sistent
.
.
.
commit
|
commitdiff
|
tree
2008-10-07
S
v
en Verdoolaege
doc: add another p
a
per
ref
e
rring to th
e
library
commit
|
commitdiff
|
tree
2008-09-16
S
v
en Ve
r
doolae
g
e
piecewise_lst
.
h: avoid
duplicate parameter name
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoolae
g
e
evalue_
r
ead
.
c: fix minor bugs in tokenizer
commit
|
commitdiff
|
tree
2008-09-02
Sven Verdoo
l
aege
upda
t
e omega for missing f
i
les
i
n
d
istribution
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdoola
e
ge
barvi
n
ok_enumerate_e: avoid infinite
l
oop wh
e
n
presented
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
S
v
en Verdoolaege
mo
v
e
ome
g
a subdir
t
o omeg
a
_interface
commit
|
commitdiff
|
tree
2008-08-28
S
v
en V
e
rdoolaege
NTL_QQ
.
cc: add st
d
lib
i
nclude
f
or abort hid
d
en in NTL_vector
.
.
.
commit
|
commitdiff
|
tree
2008-08-28
Sven Verdo
o
laege
remov
e
gnulib lin
k
-warni
n
g
mod
u
le completely
commit
|
commitdiff
|
tree
2008-08-24
Sven Verdoolaege
upd
a
te
p
olylib with extra fie
l
d in Param_Polyh
e
dron
commit
|
commitdiff
|
tree
2008-07-30
S
v
e
n Ve
r
doolaeg
e
d
oc:
fix typ
o
s
commit
|
commitdiff
|
tree
2008-07-20
Sve
n
Verdoolaege
update gnulib
f
unction to last pre-
G
PLv
3
v
e
r
s
i
on
commit
|
commitdiff
|
tree
2008-07-02
S
v
en Ver
d
o
o
lae
g
e
enumerat
o
r::handle
:
replace in
c
orrect del
e
te b
y
f
ree
commit
|
commitdiff
|
tree
2008-06-17
S
v
en Verdoo
l
aege
updat
e
piplib for corrected Ur
s
_
p
arms handl
i
n
g
commit
|
commitdiff
|
tree
2008-06-12
Sven Verdoolaeg
e
c
on
f
i
gure: us
e
correct heade
r
f
i
les in
cas
e
of bundled
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
omega/
o
cc:
on
l
y open debug
o
u
t
p
ut fi
l
e if there is
.
.
.
commit
|
commitdiff
|
tree
2008-05-08
Sven Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2008-05-08
Sv
e
n Ver
d
oolaege
add edi
t
ors
t
o ITSL p
a
pers
commit
|
commitdiff
|
tree
next