repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
configure.in: add isl flags and libs to pkg-config file
2010-04-10
Sve
n
Verdo
o
laege
c
onfigure
.
i
n
:
add
i
s
l flag
s
a
nd libs to pkg-c
o
nfi
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
iscc: test isl_
s
tream for eof rather tha
n
th
e
underlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven
V
erdoolaege
iscc:
a
dd deltas opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven
Verdoolae
g
e
up
d
ate isl for fix in isl
_
map_del
t
as
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Verdoolaege
drop ba
r
vinok_enumer
a
t
e
_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
en
Ver
d
oolaege
isc
c
:
add c
r
o
ss prod
u
ct o
p
e
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-31
Sven Verd
o
olaege
iscc:
a
d
d
coalesce op
e
rations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoola
e
ge
upd
a
te isl for isl_pw_qpolynom
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
o
p
"
Omega countin
g
calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
laege
test_bound
.
cc: fix p
r
i
n
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernst
e
in
.
cc: f
i
x printf f
o
rmat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
ev
a
lue_ran
g
e_propagation: f
i
x substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
bernstein/confi
g
ure
.
in: use abs
o
lute s
r
cdir of
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
only d
i
st
r
ibut
e
bundled submo
d
ules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoola
e
ge
update om
e
ga for configurati
o
n issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven
V
e
rdoolaege
configure
.
in:
a
llow "build" PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Verdoolae
g
e
isl_qp
o
ly
n
omial_
f
old_from_ginac: h
a
ndl
e
fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_qpo
l
ynomial_from_gi
n
ac: expand ex be
f
ore i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
i
sl_obj_
l
ist
.
c
: update to
use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sve
n
Verdoolaege
iscc: add gist operati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
updat
e
isl for i
n
t
r
o
d
u
ctio
n
of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpoly
n
omial_upper
_
bound: set
u
p variable vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verd
o
olaeg
e
iscc: add some
c
om
p
ari
s
o
n
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdo
o
l
a
ege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
Verdo
o
laege
iscc:
f
ix up type of find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
:
add aff
i
ne
h
ull
operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaeg
e
iscc: add operation to construct universal
map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
i
s
c
c
: ad
d
"join" oper
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
i
s
cc: ad
d
inte
r
sect
_
domain o
p
eration
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
isc
c
: allow overl
o
a
ding bina
r
y ops
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoola
e
ge
iscc: add
more dom operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
doc: reor
g
anize table of i
s
c
c
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
laege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
erdoolaege
barvin
o
k
0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Verdool
a
ege
AUTH
O
RS: update s
u
pport inf
o
rm
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
andomvect
o
r: double size of
c
oeff
i
cients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
erdoolaege
iscc:
s
u
p
port transitive closure
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
Verdo
o
laege
update is
l
to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
S
v
en
Ver
d
ool
a
ege
barvinok
_
e
.
c
c
: enumerate_vd
:
remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
e
v
alue
.
c:
P
o
lyhedron_Insert
:
ad
d
missi
n
g return
type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oola
e
ge
evalue
.
c: re
d
uce_evalue
:
r
e
m
o
ve unus
e
d variable
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
iscc: add
@
o
pera
t
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oolaege
add isl_pw_qpol
y
nom
i
al_uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
scc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
e
g
e
add
isl_pw_qpo
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
add isl_pw_qpolynomial_to_
e
v
alu
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
update
i
s
l
f
or
i
sl_pw_qpolynomial_for
e
ach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
ren
a
me evalue2isl
to i
s
l_pw_qpoly
n
omi
a
l_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect more kin
d
s of
e
rr
o
r
s
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdool
a
ege
ba
r
v
inok_
e
numerate: use isl dur
i
ng t
h
e
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add i
s
l_set_card and isl_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add evalue2
i
sl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
lae
g
e
eva
l
ue_convert: export as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_e
n
um
e
rate_e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODU
L
E
: acce
p
t "-" in m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enume
r
ate: retu
r
n NaN for infin
i
te problem
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoola
e
ge
remove
_
all_equalities: handle int
e
gr
a
lly
,
but not
r
at
i
onally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
doolaeg
e
ba
r
vi
n
ok
_
enum
e
rate
_
e: al
w
ays
r
eturn a par
t
iti
o
n for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
barvinok_enumerate:
check that dimensi
o
n of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ve
r
d
o
o
l
aege
partition2enumeration: check that input is rea
l
ly
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoo
l
ae
g
e
up
d
a
t
e
p
ipl
i
b for
c
ha
n
ge in configu
r
e opti
o
ns
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
upd
a
te
o
mega
f
or configuration/com
p
ilat
i
on issue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Ver
d
oolaege
barvinok_coun
t
_with_
o
ptions: ch
e
c
k return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolaege
Polyh
e
dron_Sam
p
l
e
: plug memory
lea
k
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoola
e
ge
summ
a
te
.
c: ad
d
mis
s
ing
include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topc
o
m
.
c
: support n
e
wer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
topcom
.
c:
co
m
pute_domain: skip vert
i
ces wit
h
out domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verd
o
olaege
po
l
ytope_minim
i
ze: take constant
term to
be z
e
ro
w
hen
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verd
o
olaege
doc:
r
e
f
lect that
-
-enable-fractional is now the default
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verd
o
olaege
glpk_p
o
lyhedron_aff
i
ne_sig
n
: sp
e
cial case 0D polyh
e
dra
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
Verdoolae
g
e
Polyh
e
dro
n
_Insert_Columns: fix t
y
po
commit
|
commitdiff
|
tree
2009-11-11
Sv
e
n Verdool
a
ege
P
o
lyhedron_Factor: fix updati
n
g
o
f
grou
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoolaege
configure
.
in: use
A
X
_SU
B
MODULE in
s
tead o
f
B
V
_
SUBMOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
r
d
ool
a
e
ge
re
m
ove
_
e
q
uali
t
ie
s
:
u
se Pol
y
hedron_Preimage
i
n
stead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
ba
r
vi
n
ok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdo
o
laege
doc:
a
dd
experimental comparison
b
etween
o
ld
a
nd n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
l
exmin
.
cc
:
re
m
o
v
e "anachron
i
sm"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
o
laeg
e
doc: fix ty
p
o
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
doc: add some le
s
s
c
o
mmon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever
"
Laurent expansion based su
m
mation
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
m
ove Last_Non_Ze
r
o to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoola
e
ge
ext
r
act ou
t
pa
r
am
_
p
oly
n
omial from laur
e
nt
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
laege
extr
a
ct verte
x
_cone
from
la
u
re
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en Verdoolaege
NTL_
Q
Q
.
cc:
a
dd stdio include
for EOF hidden in
N
TL_io
_
vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
e
n
Verdoola
e
ge
up
d
ate polylib for speed
i
m
pr
o
vement in in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
S
v
en Verdool
a
e
g
e
update piplib for distribution
i
s
s
ue
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n Verdo
o
laege
Polyhedron_Factor: fix
merging of groups of
c
ol
u
mns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
barvinok_
e
numerate_series:
don'
t
check for revlex
posi
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Ve
r
doolaege
(t)counter: move counter::rese
t
() up
t
o
c
ounte
r
_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
e
ge
Makefile
.
am:
k
e
e
p b
e
tter track
o
f failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ad
d
s
e
mi
g
roup_holes applic
a
t
i
on
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
L
i
ne_Length: handle 0D
p
olyt
o
pe in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
ge
n
_fun: add is_
z
e
ro m
e
t
h
o
d
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
b
arvinok_en
u
mer
a
te_e_series: rem
o
ve
equalities in
e
ach
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
rdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oo
l
a
e
ge
barvin
o
k_enumerate_e_series: handle all existential
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdool
a
ege
serie
s
.
cc: make project static
commit
|
commitdiff
|
tree
next