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
barvinok 0.32.1
2010-05-14
Sven Ve
r
do
o
laeg
e
o
p
t
i
o
ns
.
c:
f
ix
p
rintf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
iscc: add application op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
o
o
laege
iscc: ad
d
r
e
a
d
operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
e
ge
i
scc: free
o
p
t
io
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
upda
t
e isl for reading
o
f strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl fo
r
f
ix in isl_printer_pr
i
nt_pw_qpolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoo
l
a
ege
update isl-polylib fo
r
chang
e
in pkg-c
o
nfig file
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaege
iscc: allow specification o
f
output
format
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
rdoolaege
u
p
d
ate
i
s
l
for cha
n
ge in i
s
l
_
s
e
t_gist a
r
g
u
ment
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolaege
update isl for
re
n
ame of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erdool
a
ege
config
u
re
.
in:
add isl
fla
g
s a
n
d libs to pkg-c
o
nfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
iscc: test isl_s
t
ream for eof rather th
a
n
t
h
e underlyi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
iscc: add delta
s
ope
r
ation
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rd
o
olaege
update isl for
f
ix in isl_map_delt
a
s
commit
|
commitdiff
|
tree
2010-04-04
S
v
en Ver
d
oolaege
drop
ba
r
vinok_enumer
a
t
e_p
i
p_with_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Ve
r
doo
l
aege
iscc: add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
is
c
c
:
add coal
e
s
ce op
e
rat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoola
e
g
e
u
p
dat
e
isl for isl_pw_qpolynomial_co
a
l
e
sce
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
dr
o
p "Omega
counting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
test_bound
.
cc: fix printf
f
o
r
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
bernst
e
in
.
cc: fix
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
evalue
_
range_pr
o
pa
g
ation
:
fix
substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Ver
d
o
o
l
a
e
ge
be
r
n
s
tein/con
f
i
g
u
re
.
in: use ab
s
o
lute srcdi
r
o
f
P
o
lyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaeg
e
onl
y
dis
t
ribute bun
d
l
e
d
sub
m
odules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
update om
e
g
a
for config
u
ration issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolae
g
e
configure
.
in: allow "buil
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
isl_qpo
l
ynomial_fold_f
r
om_ginac: handle
f
ail no
d
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
s
l_qpo
l
ynomial_from_ginac:
expand
e
x before in
s
pection
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdool
a
ege
isl_obj_list
.
c: up
d
at
e
t
o
use
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
ege
iscc
:
add gi
s
t operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ve
r
doo
l
aege
isl_pw_qpolynomial_upper_bound: s
e
t
up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoo
l
aege
i
s
cc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doolaege
iscc
:
a
dd
i
n
v
e
rse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoola
e
ge
i
s
cc: fix
u
p type of f
i
nd_match
i
ng_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdoolaege
i
s
cc: add affine hull opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verd
o
o
l
aege
i
s
cc: add operation to construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
g
e
iscc: add "join" operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
c
c:
add
i
n
t
ersect_domain operat
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow o
v
erloadin
g
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
e
rdoolaege
iscc
:
add more
dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoo
l
aege
doc:
reorg
a
nize table of iscc
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
up
d
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
bar
v
i
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdo
o
laege
AUTHORS:
u
pdate support informati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doola
e
ge
randomvector: double size of coefficien
t
s on each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
iscc: suppo
r
t
t
r
an
s
itive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update is
l
t
o
v
ersion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
bar
v
inok
_
e
.
cc:
enumerate_vd: remove un
u
sed var
i
ables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
a
l
u
e
.
c: Polyhedron
_
Inse
r
t: add missing return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
evalu
e
.
c: reduce_evalue: re
m
ove
u
nused va
r
iabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
iscc: add @ op
e
rator
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oola
e
ge
iscc
:
add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n V
e
rdoolae
g
e
a
d
d
i
sl_pw
_
qpo
l
ynomial_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaeg
e
i
s
c
c: a
d
d
sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
a
dd isl_pw_qpol
y
n
o
m
i
al_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oola
e
g
e
a
dd isl_pw_qpoly
n
omial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
u
p
date i
s
l for isl_p
w
_qpol
y
nomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verd
o
olaege
rename evalue2isl to i
s
l
_
pw_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
is
c
c: detect
more k
i
nds of error
s
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doo
l
aege
b
arvino
k
_enumerate: use isl during the
v
erifica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
aege
a
d
d iscc
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ver
d
o
o
laege
add
i
sl_
s
et_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add ev
a
lue2isl
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdoolae
g
e
eva
l
ue
_
convert
:
expor
t
as application
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolae
g
e
barvino
k
_en
u
merate_e: optionally use isl to pro
j
ect
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
add isl subm
o
dule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMOD
U
LE: ac
c
ept "-
"
in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verd
o
olaege
barvinok_e
n
umerate:
retu
r
n N
a
N
f
or infinite pro
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
e
r
d
oolae
g
e
r
e
mo
v
e_
a
ll_equalities: handl
e
integra
l
ly, but no
t
rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoola
e
ge
barvino
k
_
enum
e
rate_e: always return a pa
r
tit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolae
g
e
b
a
rvinok_enumerate: check that dimension of input in
c
lu
d
es
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
p
arti
t
i
o
n
2
enumer
a
t
ion: c
h
eck
t
hat
input is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en
V
erdoo
l
aege
u
p
date piplib for
c
h
ange in configur
e
options
commit
|
commitdiff
|
tree
2009-11-30
Sven Ve
r
doolae
g
e
update
o
m
e
g
a for co
n
fig
u
ration/co
m
pila
t
i
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
b
a
rvinok_cou
n
t_wit
h
_options: ch
e
ck re
t
urn value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sve
n
Ver
d
oolaege
Po
l
yhed
r
on_
S
am
p
le
:
plug memory
l
eak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
sum
m
ate
.
c: ad
d
mis
s
ing i
n
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c
: support
n
ewer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
erdoolaege
topcom
.
c:
c
ompute_dom
a
in:
s
kip
v
e
rtices without dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc: reflect that -
-
en
a
ble-fract
i
onal is now the de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
glpk_polyhedro
n
_
a
ffine_sign: special case 0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaeg
e
Polyhedron
_
Inser
t
_Columns:
fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdool
a
ege
Poly
h
ed
r
on_Factor: fix upd
a
ting
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
con
f
igure
.
in: use
AX_SUBMO
D
U
L
E
i
n
stead of B
V
_
SUBMODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Ver
d
o
olaege
remov
e
_equaliti
e
s: use Pol
y
h
e
dron_Preimage in
s
tead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaeg
e
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
doc:
add
e
xperime
n
tal comparison b
e
tween
old an
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: a
d
d some less common
.
sty
f
i
l
e
s
commit
|
commitdiff
|
tree
2009-07-21
S
ven Verdoolae
g
e
add "clever
"
Laurent expa
n
sion based s
u
mma
t
io
n
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolae
g
e
move Last_Non_Zero to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Verdoolae
g
e
extract out param
_
pol
y
nomia
l
fr
o
m laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolae
g
e
extract
vertex_cone
f
rom
lauren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoo
l
aege
upd
a
t
e
p
o
lylib f
o
r speed imp
r
ovem
e
nt i
n
in_domain
commit
|
commitdiff
|
tree
2009-06-12
S
ve
n
Verdoo
l
aege
update
p
iplib
f
or
d
ist
r
ibuti
o
n issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyhedro
n
_Factor: fix merging of groups of c
o
lumns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoo
l
aege
(t)counter: m
o
ve co
u
nter::
r
eset() up to count
e
r_ba
s
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
Makefile
.
am: keep better track
of failed
t
e
s
ts
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
Line_Length: h
a
ndle 0D
p
o
l
y
t
ope in 1
D
space
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron
_
Factor: ha
n
dl
e
polyhed
r
a with a n
o
n-trivial
.
.
.
commit
|
commitdiff
|
tree
next