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
Sv
e
n
V
erdo
o
laege
iscc: add application operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc
:
add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
iscc:
f
ree
o
ptions
commit
|
commitdiff
|
tree
2010-04-24
S
v
en Verdoolaege
update
i
sl for reading of stri
n
gs
commit
|
commitdiff
|
tree
2010-04-21
S
v
en
V
er
d
oolaeg
e
update isl for fix in isl_printer
_
pri
n
t_pw
_
qpo
l
yn
o
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verd
o
olaege
upda
t
e isl-poly
l
ib for change in pkg
-
config file
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ver
d
o
o
laege
isc
c
: allow s
p
ecification of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven V
e
r
d
oolaege
update
isl
f
o
r
c
hang
e
in
i
sl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
update isl for
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sv
e
n Verdoolaege
con
f
igure
.
in: add isl flags
a
nd libs to pkg-
c
onfig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isc
c
:
te
s
t
i
sl_str
e
am for eof rather than the un
d
erlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc: add delta
s
operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolae
g
e
update i
s
l for
fi
x
in isl_map_de
l
tas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ver
d
oolaege
drop ba
r
vinok
_
enumera
t
e
_
pip_wit
h
_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Verd
o
olaege
is
c
c
:
a
d
d
cross produ
c
t operations
commit
|
commitdiff
|
tree
2010-03-31
S
ven
V
erdoolaege
iscc: ad
d
c
oale
s
ce o
p
erations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdo
o
laege
u
p
dat
e
is
l
for isl_pw
_
qpolyn
o
mial_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdo
o
laege
drop "Omega count
i
ng ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
t
e
st_bound
.
cc: fix printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
o
l
aege
bernstein
.
cc:
fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
evalue
_
range_propagation:
f
ix substitution fo
r
negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstei
n
/configure
.
in: use
a
b
s
olute
s
r
cdir
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
only distribute bundled s
u
bmodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoola
e
ge
update ome
g
a
for con
f
igu
r
at
i
on iss
u
e
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolae
g
e
c
o
nfigure
.
in: a
l
low "build" Pol
y
Li
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_q
p
olynomial_fo
l
d
_from_gi
n
ac: ha
n
dle fail
nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl_qpolynomial_from_ginac:
e
x
p
a
nd ex befo
r
e
i
n
spe
c
ti
o
n
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdo
o
l
a
ege
is
l
_obj_list
.
c:
update to us
e
o
f
isl_prin
t
er
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
oola
e
ge
is
c
c: add gist oper
a
tions
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdo
o
lae
g
e
update
i
sl
f
o
r
introductio
n
o
f
is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdo
o
laege
isl_pw_qpol
y
n
omial_upper_bound: set
u
p varia
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
Verdoola
e
ge
iscc:
add som
e
comparison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add inverse operati
o
n
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolae
g
e
isc
c
: fix up t
y
p
e of f
i
nd_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
iscc: ad
d
affine hu
l
l op
e
rati
o
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
iscc:
a
dd operation t
o
co
n
struct
u
nive
r
sal ma
p
fr
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
g
e
iscc: add "join" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdo
o
l
ae
g
e
i
s
cc: add in
t
ers
e
c
t
_domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
d
o
ola
e
g
e
is
c
c:
all
o
w
o
verl
o
ading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolae
g
e
i
s
c
c: add mor
e
dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verd
o
olaege
do
c
:
reorganize
t
a
b
l
e
of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
V
e
r
d
oolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Ver
d
o
o
l
a
eg
e
A
U
T
HORS: update su
p
port in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erd
o
olaege
rando
m
ve
c
tor
:
d
o
uble size
of coeffi
c
ie
n
ts on
each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
o
l
a
ege
iscc:
s
upport transitive
c
losure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
u
p
d
ate isl
to ve
r
s
ion 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
Ve
r
doolaege
barvino
k
_e
.
c
c
: enumerat
e
_vd: re
m
ove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
e
v
alue
.
c: Polyhedron_I
n
sert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaege
evalue
.
c: reduce_e
v
alue
:
remove u
n
used vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolaege
iscc: add @ o
p
erator
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
iscc:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaeg
e
add is
l
_pw_
q
poly
n
om
i
a
l_uppe
r
_b
o
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: ad
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaeg
e
add isl_p
w
_qpolynomial
_
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
a
dd isl_pw_qpolynomial_t
o
_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
update isl
for
isl
_
pw_
q
p
olynom
i
al
_
foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doo
l
aege
re
n
a
m
e
e
v
alue2isl to isl
_
pw_qp
o
l
ynomial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc:
d
et
e
ct more kin
d
s
o
f er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_enumer
a
te:
u
se
i
sl during th
e
verif
i
cation
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Ve
r
doo
l
aege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verd
o
olaeg
e
ad
d
isl_se
t
_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add eva
l
ue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
evalue
_
con
v
er
t
: e
x
port as applicatio
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok
_
e
n
umerate
_
e:
o
p
tionally us
e
isl
to
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
dd isl
s
ubmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
l
aege
AX_SUBMODULE
:
a
ccept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
b
ar
v
inok
_
en
u
mer
a
t
e
:
return N
a
N for
infi
n
ite
p
r
o
blems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equ
a
litie
s
: handle integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate_e: al
w
ays return
a
pa
r
t
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n Verdoo
l
aege
barvinok_enume
r
ate: check th
a
t dimension o
f
i
n
p
u
t includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
partit
i
on2en
u
merat
i
on: check
that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
u
p
date
piplib for c
h
ange in configure o
p
tions
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdo
o
laege
update omega for
c
onf
i
guration/co
m
pilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verd
o
olaeg
e
barv
i
nok_co
u
nt_with
_
op
t
ions: check
r
eturn value o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdo
o
l
a
ege
Poly
h
edron_Sample: p
l
ug memory
le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
p
com
.
c: support newer
vers
i
ons o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topcom
.
c: comput
e
_do
m
ain:
s
k
i
p vertices
witho
u
t domain
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verd
o
olaege
p
olytope_minimize: take constant
t
e
r
m
t
o
b
e zero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolae
g
e
doc: r
e
fl
e
ct t
h
at --en
a
b
le-fractio
n
al
is no
w
the
d
e
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
glpk_polyhedron_af
f
i
n
e
_
sign: special ca
s
e
0
D po
l
y
hed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
d
oolaege
Polyhedron_In
s
e
r
t_Co
l
umns
:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdool
a
e
g
e
Polyhedron_Fac
t
or: fi
x
updatin
g
of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
rdoolaege
configu
r
e
.
i
n
: us
e
AX_SUBMODULE in
s
t
ead
of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
olaege
rem
o
ve_equalities: u
s
e P
o
l
yhed
r
on_Prei
m
age instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
barvino
k
0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolae
g
e
doc: add e
x
pe
r
ime
n
t
al c
o
mpa
r
ison bet
w
een old
and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
l
e
xmin
.
cc
:
remo
v
e "anachronism
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
o
olaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erdoolaege
d
oc: add so
m
e
less common
.
s
ty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdool
a
e
g
e
add "clever" Laurent e
x
pansion base
d
s
u
mmat
i
o
n
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
m
o
v
e Last_Non
_
Zero to
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven V
e
rdool
a
ege
extr
a
ct out p
a
r
a
m_poly
n
omial from l
a
uren
t
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
extract ver
t
e
x_cone from laure
n
t
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoola
e
g
e
NTL_QQ
.
cc
:
add s
t
di
o
include for EOF hid
d
en
i
n NTL_
i
o
_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Ve
r
d
o
o
lae
g
e
update poly
l
i
b for speed
i
mprov
e
ment
i
n in_dom
a
in
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoola
e
g
e
up
d
ate piplib fo
r
distribu
t
ion issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoolaege
Polyhedron_Factor: fix merging of gro
u
ps of colum
n
s
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaege
bar
v
in
o
k_enumerate_se
r
ies: don't check for revlex pos
i
tive
.
.
.
commit
|
commitdiff
|
tree
next