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 coalesce operations
2010-03-31
Sven
Verdool
a
ege
iscc: add coalesce
o
p
erations
commit
|
commitdiff
|
tree
2010-03-30
Sven
Ve
r
doolaege
update isl fo
r
isl_
p
w_qpolyn
o
mial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Ve
r
doolaege
drop "Om
e
ga counting
c
alc
u
l
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolae
g
e
tes
t
_
bo
u
n
d
.
cc: fix printf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdo
o
laege
bernstei
n
.
cc: fix p
r
i
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
a
e
g
e
evalue_range_propagation: fix sub
s
titution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
bernstein/
c
onfigure
.
in: use absolu
t
e s
r
c
dir of P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoo
l
aege
only
d
istr
i
b
ute bu
n
dled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
update
ome
g
a for c
o
nfiguration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ver
d
oolaege
c
o
nfigure
.
in: a
l
l
ow "buil
d
"
P
o
l
yLib
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolynomial_fold_from_ginac: handle fail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpolynomial_
f
rom_gin
a
c: expand ex b
e
for
e
in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olae
g
e
isl_obj_list
.
c: update
t
o
use of isl_p
r
inter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
a
e
ge
isc
c
: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
update isl for introd
u
ctio
n
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
is
l
_pw_qpolyno
m
ial_upper_bound: set
u
p variable vecto
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
er
d
oolaege
iscc: add some co
m
parison
o
p
e
ra
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc
:
add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c:
fix up type of f
i
nd_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affine hull ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
iscc:
a
dd operat
i
on
t
o construct
unive
r
s
al m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
isc
c
:
a
dd "join"
operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
la
e
g
e
is
c
c: add intersect_do
m
a
i
n
o
perat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: allow o
v
er
l
oading
b
inar
y
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaeg
e
isc
c
: add
more dom oper
a
t
i
on
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
aege
doc: reor
g
anize table of
i
scc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaeg
e
u
pdate i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
e
ge
barvin
o
k 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ve
r
d
oola
e
ge
AUTHORS: update support inform
a
t
ion
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verd
o
olaege
random
v
ec
t
or: double size of
c
oefficient
s
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
s
c
c: sup
p
ort transiti
v
e closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvi
n
ok_e
.
cc: enumerate
_
v
d
: remove unus
e
d vari
a
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
eva
l
ue
.
c:
P
olyhedron_Inser
t
: add
missing
r
eturn
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
evalue
.
c: reduce_ev
a
lue:
r
e
move unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oolaege
i
scc: ad
d
@
o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
o
laege
iscc
:
ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolaege
add isl_p
w
_qpolynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
isc
c
:
a
dd sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
add isl_pw_qp
o
lynomial
_
sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
lae
g
e
a
d
d isl_pw_qpolyno
m
ial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
update isl
f
or isl_pw
_
qpolynomia
l
_forea
c
h
_
pie
c
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
rename evalue2isl
t
o is
l
_pw_qpoly
n
omial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
S
ve
n
Verdoolaege
iscc: detect more k
i
nd
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
barvinok
_
enumera
t
e: u
s
e isl
during the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verdo
o
l
a
ege
ad
d
isl_set_card
and isl_m
a
p
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue
_
convert:
export
as application
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
e
rdoolaege
ba
r
vinok_enumera
t
e_e: option
a
l
l
y
use
isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven
Verdoolaege
add
i
sl submodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE
:
accept
"
-
" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
bar
v
inok_en
u
mera
t
e: ret
u
rn
NaN for
i
n
finite problems
commit
|
commitdiff
|
tree
2010-01-28
S
v
en Verdoolaege
remove
_
all
_
equalities: handle integrally, but not
r
at
i
onally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate_e: always r
e
tur
n
a part
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_enumerate: check
that dimension of
i
nput includ
e
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
part
i
tion2en
u
meration: check
t
hat
i
n
put is
r
eally
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
upd
a
te pipl
i
b for c
h
a
nge in configure
o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaege
u
p
date
o
mega for configuration/compil
a
ti
o
n
i
s
s
ues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
barvinok
_
count_
w
it
h
_options: check r
e
turn val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Samp
l
e: pl
u
g memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
en
V
e
rdoola
e
ge
summa
t
e
.
c: ad
d
m
issin
g
incl
u
de
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
topcom
.
c: suppo
r
t newe
r
vers
i
o
ns o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
t
o
p
com
.
c: compute_
d
omain
:
skip ve
r
tices w
i
t
ho
u
t d
o
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_mini
m
ize:
t
ake constant term to be z
e
ro when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect that --enable
-
fr
a
ctional i
s
now the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n
Verdoolaege
glpk_polyhedron
_
affin
e
_
s
i
g
n:
s
pecial case
0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verd
o
olae
g
e
Polyhedron_In
s
ert_
C
olumns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoo
l
aege
Pol
y
h
e
d
ron_Factor: fix u
p
d
ating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
conf
i
gu
r
e
.
in:
u
se
A
X_SUBMOD
U
L
E
in
s
t
e
a
d
of BV
_
SU
B
MODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven
Verdo
o
laege
r
emove_e
q
ualiti
e
s: use
Po
l
yhed
r
on_Preim
a
ge inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc: add experimenta
l
c
o
mparison between old an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
l
exmi
n
.
cc: remo
v
e
"
a
nachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verd
o
olae
g
e
doc: add some le
s
s common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Laurent expan
s
ion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoolae
g
e
m
ov
e
Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdool
a
eg
e
e
xtract ou
t
param_pol
y
n
omial f
r
om laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
ae
g
e
extr
a
c
t
vertex_c
o
ne from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Ver
d
o
olaege
update polyli
b
for
speed
i
mprovement i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
update
piplib f
o
r distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaege
Polyhedron_Fac
t
or: fix me
r
ging of gro
u
ps
o
f
col
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
la
e
ge
barvinok_enume
r
a
t
e_se
r
ies: don'
t
ch
e
ck
f
or r
e
vlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t
)
co
u
nt
e
r: move
counter::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aeg
e
Makefile
.
a
m:
k
eep bet
t
er track of
faile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
add semig
r
ou
p
_holes application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: handle 0D polytope in 1D
spac
e
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoola
e
g
e
ge
n
_
f
un: add is_zero metho
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
o
olaege
barvinok_enumerate_e_s
e
r
i
e
s
: remo
v
e equalities
in e
a
ch
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
b
a
rvinok_enumer
a
te_
e
_se
r
ie
s
: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verd
o
olaege
series
.
c
c
: make pr
o
je
c
t
s
tatic
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok
_
enumerate_e_s
e
ries: handle
a
ll
e
qualities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
ege
a
dd test s
e
t fro
m
the other
i
tsl2008 paper
commit
|
commitdiff
|
tree
2009-04-02
Sven Ver
d
o
ol
a
ege
P
o
lyhedro
n
_Factor: ha
n
dle polyhedra with a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoo
l
a
e
g
e
update pip
l
ib f
o
r chan
g
e in co
n
figure arguments
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
erdoolaege
t
e
s
t_appr
o
x
.
c: add dum
m
y field
i
n dummy tms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
configu
r
e
.
i
n
: avoi
d
introducing empty elements in PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
ven
V
erdoo
l
ae
g
e
occ: de
f
ine OM
I
T_GETRU
S
AGE
i
f sy
s
/
resource
.
h
cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdool
a
ege
omega_interface/Makefile
.
a
m: put
depending librar
i
es
.
.
.
commit
|
commitdiff
|
tree
next