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
iscc: add application operations
2010-05-10
S
v
en Verdoo
l
aeg
e
iscc: add
a
pplicati
o
n
o
peration
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verd
o
o
laege
iscc: add read operation
commit
|
commitdiff
|
tree
2010-04-24
Sven V
e
rdo
o
l
aege
iscc:
f
ree op
t
i
on
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoo
l
aege
update isl for r
e
a
ding o
f
stri
n
g
s
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
u
p
dat
e
isl
for f
i
x in isl_p
r
in
t
er_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
ge
u
pdate is
l
-poly
l
ib for change i
n
pkg-c
o
nfig f
i
le
commit
|
commitdiff
|
tree
2010-04-21
Sven
V
e
r
do
o
laege
iscc
:
a
l
lo
w
specification of out
p
ut
f
ormat
commit
|
commitdiff
|
tree
2010-04-13
Sven Ver
d
oolaege
update isl for
c
hange in
i
sl_s
e
t_g
i
st argument
commit
|
commitdiff
|
tree
2010-04-11
S
v
en Ve
r
doolaege
u
p
date isl for
rename of isl_map_m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolae
g
e
con
f
ig
u
re
.
in
:
add i
s
l fla
g
s
and libs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc:
t
est isl_stream for eof rather tha
n
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaege
iscc: add del
t
as
operation
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
Verdoolaege
update isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop barvinok_enumerate_
p
i
p
_
w
i
t
h_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sven Verdoolaege
i
s
cc: add cross produ
c
t ope
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erdoolaege
iscc
:
ad
d
c
o
a
l
esce operatio
n
s
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoo
l
aege
update isl
for i
s
l
_
pw
_
qpolynomial_coa
l
e
s
ce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
dro
p
"Omega
c
ounting ca
l
culat
o
r"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolaege
t
est_boun
d
.
cc: fi
x
printf for
m
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
b
ernstein
.
cc: fix pr
i
nt
f
form
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_r
a
nge_propagation: f
i
x subs
t
i
t
ution
f
or negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernstei
n
/
configure
.
i
n
: use
a
bsolute srcdir of Pol
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven V
e
rdoola
e
g
e
onl
y
dis
t
ribut
e
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
u
p
date
o
mega
f
or configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
config
u
re
.
in
:
a
l
l
o
w "build"
PolyL
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
ae
g
e
isl_qpolynomial_f
o
l
d_from_
g
ina
c
:
handl
e
f
ail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoo
l
aege
isl_qpolynomi
a
l_from_
g
inac: expand ex before ins
p
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erd
o
olae
g
e
isl_
o
bj
_
list
.
c: update to use of
i
sl_prin
t
e
r
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdo
o
la
e
ge
i
s
cc: ad
d
g
i
s
t
operation
s
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
rdoola
e
ge
update i
s
l for intr
o
duction of isl_printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Ver
d
o
o
laege
isl_
p
w_qpolynomial_up
p
er_boun
d
: set
up v
a
r
iable
v
e
c
tor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some comparison operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
r
doolaege
iscc: add inverse op
e
rati
o
n
commit
|
commitdiff
|
tree
2010-03-15
S
v
en
Verdoolae
g
e
is
c
c: fix up type of f
i
nd_matching_b
i
n_o
p
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
isc
c
:
a
dd a
f
fine h
u
l
l
op
e
ration
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoo
l
aege
iscc: add ope
r
ation to
c
onstruct univers
a
l ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
eg
e
iscc: add "join"
o
per
a
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaeg
e
iscc:
a
dd intersect_domain o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oo
l
aege
iscc: allow overloadin
g
binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
a
d
d more dom o
p
er
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c
:
reorganize tabl
e
o
f
iscc operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rdoolaege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
barvi
n
ok 0
.
3
0
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
AU
T
HORS: upda
t
e sup
p
ort information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: d
o
uble s
i
ze of coe
f
ficients on e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
iscc:
s
u
ppo
r
t t
r
ansi
t
ive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
d
oolaege
u
pd
a
te isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaeg
e
barvinok_e
.
c
c:
e
n
umerate_vd: rem
o
ve unu
s
e
d
va
r
iables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
o
ola
e
ge
e
value
.
c: Polyhedr
o
n_Inse
r
t: a
d
d miss
i
ng return t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolaeg
e
e
v
alue
.
c: r
e
duce_evalue:
r
emove
unuse
d
vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
add
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
e
g
e
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven V
e
rdoolaeg
e
add isl_pw_qpolynom
i
al_upp
e
r_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
is
c
c: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolae
g
e
a
dd isl_pw_q
p
olynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdool
a
ege
add isl_
p
w_qpolynomia
l
_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
u
pdate isl for isl_pw_qpol
y
nomial_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
rename eva
l
ue2isl to isl_pw_qpolynomia
l
_f
r
o
m
_ev
a
l
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verdoolaege
iscc: d
e
tec
t
more ki
n
ds of err
o
rs
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
ar
v
i
nok_enumerat
e
: use isl during the v
e
rific
a
tion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
a
e
ge
add
iscc
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
add isl_se
t
_card a
n
d i
s
l_map_
c
ard
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Verd
o
olaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
eg
e
evalue_
c
onvert: expo
r
t as appl
i
cation
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verd
o
olaege
barvinok_enumerate_
e
:
o
ptiona
l
ly us
e
i
s
l to pro
j
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verd
o
olaege
AX_SUBMODULE: a
c
cept
"-"
i
n
mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_e
n
umerate: return NaN for infini
t
e p
r
oblems
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
re
m
ove
_
all_equa
l
it
i
e
s: handl
e
integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
barvinok_enumerate_
e
: always return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en V
e
rdoolaeg
e
ba
r
vinok_enumerat
e
: check that dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
partiti
o
n
2
enumeration
:
c
heck
t
hat i
n
p
u
t
i
s
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven Verdoolaege
upd
a
t
e piplib
f
or
c
hange in configure
options
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
e
rdoolaege
update ome
g
a for configuration/compi
l
ation
i
ssues
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolae
g
e
barvinok_count_
w
ith
_
options: check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Ve
r
d
oolaeg
e
Po
l
yhedron_Sample: plug
m
e
mory leak
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Ver
d
o
olaege
s
u
m
m
a
te
.
c: add mis
s
i
n
g include
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topcom
.
c
: support newer v
e
rsions
of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
t
op
c
om
.
c: compute_domain: sk
i
p
v
ertices without domai
n
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
pol
y
to
p
e_minimize: take co
n
sta
n
t
term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc:
r
eflect that --enabl
e
-fra
c
tional is now the defau
l
t
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
glpk
_
p
olyhedron_affine_sign
:
special case 0D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
S
ven
V
erd
o
olaege
Po
l
yhedron_In
s
ert_Columns:
f
ix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Pol
y
h
edron_Factor:
f
ix
u
pdati
n
g of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Ve
r
d
o
olaege
confi
g
ure
.
in:
us
e
A
X
_
SUBM
O
DULE instead
o
f BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sve
n
V
erdoolaege
remove_equalities
:
use Polyhedron_Prei
m
age
i
nstead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdo
o
laege
barvinok 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sven Ver
d
o
o
laege
do
c
: add
experi
m
ental comparison between
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
e
r
doolaege
l
exmin
.
cc
:
r
e
m
ove "anachronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some less co
m
mon
.
sty f
i
les
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolae
g
e
add "cle
v
er" Laure
n
t
e
xpansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
aege
move Last_No
n
_Zer
o
t
o
util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
e
xtract out param_
p
oly
n
omia
l
from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoola
e
ge
extrac
t
ver
t
ex_cone from
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaeg
e
NTL_QQ
.
cc: add stdio
include for EOF hidd
e
n in NTL_io_v
e
ct
o
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verd
o
olaege
upda
t
e
p
olylib fo
r
speed im
p
rovement in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
d
oo
l
aeg
e
update
piplib for d
i
stribution iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven V
e
rdo
o
lae
g
e
Polyhe
d
r
o
n_Fact
o
r: fix merging of
gr
o
ups of
c
olumns
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
barv
i
nok_enu
m
erate_series:
d
o
n
't c
h
e
c
k for revlex
p
ositive
.
.
.
commit
|
commitdiff
|
tree
next