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 application operations
2010-05-10
Sven Verdoolae
g
e
i
scc: add
a
pplicat
i
on op
e
ration
s
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
iscc: add
read ope
r
atio
n
commit
|
commitdiff
|
tree
2010-04-24
S
v
en V
e
rdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdo
o
l
a
ege
update isl for
r
eading of string
s
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdool
a
ege
update isl
f
or fix
in isl_prin
t
er_prin
t
_pw_qpol
y
nomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update
isl-poly
l
i
b
for change i
n
pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n V
e
rdoolae
g
e
iscc: allow spe
c
ification o
f
output format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl for
ch
a
nge in
isl_set_gis
t
argumen
t
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoolae
g
e
update
i
sl for
r
ename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdool
a
eg
e
configure
.
in: add isl f
l
ags and libs to pk
g
-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
olaege
isc
c
: t
e
st isl_str
e
am
f
o
r
eo
f
rath
e
r than the
u
nderlyin
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoo
l
aege
i
s
c
c: add del
t
as opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
update i
s
l
f
o
r f
i
x in isl_map_delta
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaeg
e
d
rop barvinok_
e
numerate_pip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Ver
d
oolaege
iscc
:
add cross product ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-31
Sven V
e
rdoolaege
iscc: add co
a
lesc
e
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
update is
l
for
isl_
p
w_qpolyno
m
ia
l
_coa
l
esce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Ver
d
ool
a
ege
drop "Omega counting calcula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
test_bound
.
cc: fix
p
ri
n
tf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
bernstein
.
cc:
f
i
x printf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
Verdoolaege
evalue
_
ra
n
ge_propagation: fix substitution for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdoolaege
bernst
e
in/co
n
figure
.
in:
u
s
e
a
b
solute srcd
i
r
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute bund
l
ed submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
update omega for co
n
figuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
c
o
nfig
u
re
.
i
n: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdool
a
ege
isl_qpolynom
i
al_fol
d
_from_g
i
nac: handle
f
a
il nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
d
o
ol
a
ege
is
l
_q
p
olynomial_from_
g
in
a
c: exp
a
nd
e
x befo
r
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_obj_
l
ist
.
c:
u
p
da
t
e
to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoo
l
aege
isc
c
:
add gist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdoolaege
isl_pw_q
p
o
l
ynomial_upper_bound: set up va
r
i
a
ble vect
o
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
ad
d
some
co
m
pa
r
i
s
on opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rd
o
o
l
aege
iscc:
a
dd
i
nverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
i
s
c
c
: fix up
type of find_m
a
tch
i
ng_bi
n
_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
is
c
c: add
affine hull operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
iscc: add
o
pe
r
ation to construct u
n
iversal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add "j
o
in" op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc: add inte
r
s
e
ct_domain oper
a
tio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
e
r
d
oo
l
aege
iscc:
allow overlo
a
din
g
binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
o
l
aege
i
scc:
a
dd more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
doc: r
e
o
r
ganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
upd
a
te isl
commit
|
commitdiff
|
tree
2010-03-10
S
ve
n
Verdoo
l
aeg
e
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
AUTHO
R
S: up
d
ate support information
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoola
e
ge
r
a
ndomvector
:
double size of
c
oefficients o
n
each
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
er
d
ool
a
ege
iscc:
sup
p
o
rt trans
i
tive closur
e
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
update isl
to
ve
r
sio
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvinok_e
.
cc: enu
m
e
rate_vd: remove unused
variables
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolae
g
e
evalue
.
c
: Polyhedron_Insert: ad
d
missing return typ
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
a
l
ue
.
c: reduce_
e
value:
remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doola
e
ge
i
scc:
a
dd
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
iscc: a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd i
s
l
_pw
_
qpolynomi
a
l
_upper
_
bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
iscc: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
add isl_pw_
q
po
l
ynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
ae
g
e
a
dd isl_pw_qpoly
n
om
i
al_to
_
e
v
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ve
r
dool
a
ege
update isl for isl_
p
w_q
p
o
lynom
i
al_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
rena
m
e e
v
alue
2
isl to isl_pw_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sv
e
n
V
erdo
o
laege
i
s
cc: detect m
o
re kinds of
e
rrors
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
d
oolaege
barvinok_e
n
umerate: use
i
sl duri
n
g t
h
e
v
erificati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
ola
e
ge
add
i
scc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n V
e
rdoolaeg
e
a
d
d i
s
l_set_card
and is
l
_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdoolaeg
e
add
evalue2i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert:
expor
t
as
application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
ba
r
vinok_enumerate
_
e: optionally use isl to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add isl s
u
bmodu
l
e
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
AX_SUB
M
ODULE
:
accept "-" i
n
modulename
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rd
o
olaege
b
arvinok_en
u
m
e
r
ate: return NaN fo
r
infinite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdoolae
g
e
remove_all_equali
t
ies: h
a
ndle
i
n
t
egrally
,
but
not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Ver
d
oolaege
barvinok_en
u
mera
t
e
_
e
: alway
s
r
e
turn a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdo
o
laege
barvinok_
e
nume
r
a
t
e: ch
e
ck that di
m
e
nsi
o
n of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olae
g
e
partition2e
n
umeration: check tha
t
i
n
p
ut
i
s real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verd
o
ol
a
ege
update
p
ip
l
ib fo
r
change in conf
i
gure option
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
update om
e
ga for configu
r
ation/compil
a
tion i
s
sues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolae
g
e
barvinok_count_with_optio
n
s
:
check r
e
t
u
rn value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Polyhedron_Sampl
e
: plug
memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
sum
m
ate
.
c: add missing in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaeg
e
topcom
.
c: s
u
pp
o
r
t
n
e
wer versi
o
n
s
of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
topcom
.
c:
c
omput
e
_domai
n
: skip vert
i
ces without domain
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolaege
doc:
reflect t
h
at --
e
n
a
b
l
e
-
f
racti
o
nal is no
w
t
he default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
glpk_poly
h
edron_affi
n
e_sign
:
spe
c
ial case 0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
ege
Polyhedron_I
n
sert_Col
u
m
ns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdoolaege
Polyhedron_Factor: fix updating of
g
ro
u
p
s
commit
|
commitdiff
|
tree
2009-10-06
Sve
n
Verdool
a
ege
configur
e
.
in
:
use A
X
_SUBMODULE instead of
B
V_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
remo
v
e_equalities: use Polyh
e
dro
n
_Preimage in
s
t
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
rdool
a
e
ge
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add experimental com
p
arison between old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
lexmin
.
cc: remove "anac
h
ronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
a
e
g
e
do
c
: add
some less
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven Ve
r
do
o
laege
add "clever
"
Lauren
t
e
x
p
a
nsion base
d
summat
i
on
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
r
d
oolaege
move L
a
st
_
Non_Z
e
ro to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
extract out para
m
_polynomial from lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
extract vertex
_
cone
f
rom
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-11
Sven Ve
r
doolaege
update p
o
ly
l
ib for speed improvemen
t
in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdo
o
laege
up
d
ate
piplib
for distri
b
ution issue
commit
|
commitdiff
|
tree
2009-05-26
S
ven V
e
rdoolaege
Polyh
e
dron_Factor: fix merg
i
ng of gr
o
u
ps of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
(t
)
counter: move c
o
unter
:
:reset() up to cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
Make
f
ile
.
am:
k
eep better track of failed te
s
t
s
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
Verdoo
l
ae
g
e
Line
_
Length: handle
0D polytop
e
in 1D spa
c
e
commit
|
commitdiff
|
tree
2009-04-02
Sven Ve
r
d
o
o
l
aege
Pol
y
hedron_Facto
r
: h
a
ndle pol
y
hedra with a non-tri
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verd
o
olae
g
e
u
p
date piplib for change i
n
co
n
fi
g
ure ar
g
uments
commit
|
commitdiff
|
tree
next