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 gist operations
2010-03-18
Sve
n
Verdoolaege
iscc: add gist
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
e
r
doolaege
upd
a
te is
l
f
o
r intro
d
uction of
i
s
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdo
o
laege
is
l
_pw_qpolyn
o
mial_u
p
per_bound: set up v
a
ri
a
ble
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verd
o
olaeg
e
iscc: add some comparison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
iscc: add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verd
o
olaege
iscc
:
fix up t
y
pe of fi
n
d_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven V
e
rdoolaege
iscc:
a
d
d
af
f
ine hull
operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoolaege
iscc: add operation to co
n
str
u
ct
unive
r
sal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc:
add "joi
n
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: ad
d
int
e
rsect_domain oper
a
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Ver
d
oolaege
i
s
cc: all
o
w
o
verloading
bin
a
ry ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add more dom ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc
:
reor
g
a
n
ize table of
iscc operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoo
l
aege
update
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
AU
T
HORS: update
s
upp
o
rt in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
S
ven Ve
r
d
o
ol
a
ege
r
a
ndomvector: d
o
u
b
l
e
s
i
ze of
c
oefficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
iscc: s
u
ppo
r
t t
r
an
s
itive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
barvinok_e
.
cc: enume
r
ate_vd: remove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
e
value
.
c
: Polyhe
d
ron_I
n
sert: add
missing return type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
evalue
.
c:
re
d
u
c
e_eva
l
ue:
r
emove
u
nused
v
ar
i
ab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc
:
ad
d
@ operator
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdo
o
laege
iscc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdoolae
g
e
add isl_pw_
q
po
l
ynomial_upper_b
o
un
d
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc
:
add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
add isl
_
pw_qpol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add
i
sl_pw_qpolynomial_to_e
v
alue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
update is
l
f
or isl_pw_qp
o
lynom
i
al_foreach_piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
rename evalue2isl to i
s
l_pw_qpolyno
m
ial_from
_
evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detec
t
more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barv
i
nok_
e
numerate: use i
s
l during
th
e
veri
f
ica
t
ion
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
ae
g
e
add is
c
c
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add is
l
_set_card and isl_map_c
a
rd
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
Verdoolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalue_convert: export as application
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
lae
g
e
barvin
o
k
_
e
numerate
_
e: opt
i
o
nally
u
se i
s
l to
p
roj
e
c
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaege
a
d
d
isl
s
u
bmodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolae
g
e
AX_SU
B
MODUL
E
: acce
p
t "-"
in modulena
m
e
commit
|
commitdiff
|
tree
2010-03-04
Sven V
e
r
doolaege
ba
r
vinok_enumera
t
e: return NaN for
infini
t
e
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ver
d
oolaege
remov
e
_
a
ll_equ
a
lities: handle integ
r
al
l
y, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Ve
r
do
o
laege
barvinok
_
en
u
mer
a
te_e: alway
s
retur
n
a
p
artition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate:
c
heck that
dimension of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
partition2enumeration: check that i
n
put is
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
ven
V
e
r
d
o
o
laege
update pip
l
ib for
change i
n
c
o
nfigure options
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoo
l
aege
upd
a
te
o
m
ega for
configuration/compilation
issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n
V
erdoolaege
barvinok_count
_
with_
o
ptions: check retu
r
n
value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ve
n
Verdoolaege
Polyhed
r
o
n
_Sample: plug memory le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
e
r
d
oolaege
summate
.
c: add missin
g
inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
r
doolaege
topcom
.
c: sup
p
or
t
newer
v
ersions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
ege
topco
m
.
c:
c
ompute_domain:
s
k
i
p vertices
w
i
t
ho
u
t d
o
main
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytop
e
_m
i
ni
m
iz
e
: ta
k
e constant term to b
e
ze
r
o whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rd
o
olaege
doc: reflect
t
hat -
-
enable-fractional is now
t
h
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
glpk_polyhedron
_
aff
i
ne_sign:
s
pec
i
al ca
s
e 0D po
l
yhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
e
rdoo
l
aege
Polyhedron_I
n
s
ert_Columns: f
i
x t
y
p
o
commit
|
commitdiff
|
tree
2009-11-11
S
v
e
n
Verdoola
e
g
e
P
olyhe
d
ron_
F
actor: fix updating of
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verdoolaege
configure
.
in: use AX_SUBMODU
L
E ins
t
ead of
B
V
_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
v
en Verdoolaege
r
e
m
ove_equalities: use P
o
lyh
e
dron
_
Preimage inst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdo
o
laege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add experimental compa
r
iso
n
between
o
ld
a
n
d
new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Ve
r
doola
e
ge
l
exmin
.
cc: remo
v
e "anac
h
ronis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
V
erdo
o
laege
do
c
: f
i
x typo
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
doc: add so
m
e less c
o
m
m
on
.
s
ty fil
e
s
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoolaege
a
d
d "c
l
ever"
Laur
e
nt ex
p
ansion based
summation
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdo
o
laege
move Last_N
o
n_Zero
t
o uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven
Verdoo
l
aege
extract ou
t
param_po
l
y
n
omial from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
V
e
rdoolaege
ex
t
ract vertex_cone fr
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolaege
NT
L
_
Q
Q
.
cc
:
ad
d
s
tdio include for
EO
F
hid
d
en in NTL_
i
o
_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
ve
n
Verdoolaeg
e
update polylib for sp
e
ed impro
v
em
e
nt in in_d
o
main
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdool
a
ege
update piplib for distribu
t
i
on i
s
sue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
P
olyhedron_Factor
:
fix mergi
n
g
of groups
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
b
arvinok_enumerate_se
r
ies
:
don't chec
k
for revle
x
po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
oola
e
g
e
(t)co
u
n
t
er: move cou
n
ter::reset(
)
up to c
o
unter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
Ma
k
ef
i
le
.
am: keep
b
etter track
o
f
fa
i
led
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigroup
_
h
o
les application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: ha
n
dle 0D poly
t
ope in 1D
spa
c
e
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
gen_fun: add is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
S
ven V
e
r
doo
l
aege
barvi
n
ok
_
enumer
a
te_e_series: remove equalit
i
es in e
a
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
dool
a
ege
b
a
rvinok
_
e
numerate_e_s
e
ries: hand
l
e all
e
x
ist
e
ntials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ver
d
oolaege
series
.
cc
:
make pr
o
ject sta
t
ic
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdo
o
l
aeg
e
b
a
rvinok_enumera
t
e_e_series: handle
a
l
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
e
g
e
ad
d
test s
e
t from the other itsl
2
00
8
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdo
o
l
a
e
g
e
.
giti
g
nore: ig
n
ore object files
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
o
o
laege
genfunc
.
cc: pa
r
allel_polytopes: detec
t
0
D pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdoolaege
configure
.
in: set AC_C
O
N
FIG_MACRO_DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sve
n
Verdoolaege
add pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
Polyhedron
_
F
actor: handle polyhedra with a no
n
-tr
i
v
ial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdoolaege
updat
e
p
iplib fo
r
change
in configure argument
s
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdool
a
ege
tes
t
_approx
.
c: add dummy field
in dummy tms s
t
ructure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
o
o
laeg
e
configur
e
.
in:
a
void
i
ntroducing em
p
t
y
elem
e
n
t
s
i
n PKG_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdo
o
l
a
eg
e
occ: defin
e
OMIT_GETRUSAGE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Ver
d
oola
e
g
e
o
m
ega_interfac
e
/Makefile
.
am: put
dependin
g
libr
a
ries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
c
onfigure
.
in
:
add $(EXEEXT) to optio
n
al o
c
c
for cygwin
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n
V
erdoolae
g
e
u
pdate omega f
o
r MinGW compa
t
i
b
ility
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdo
o
l
ae
g
e
b
e
rnstein/conf
i
g
u
re
.
in: add m
i
ssing AC_PRO
G
_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolaege
genfun
.
c
c
: add braces round ex
t
ern "
C
" typedef
commit
|
commitdiff
|
tree
2008-12-30
S
v
en Verdoolaege
vector_part
i
tion_ch
a
mbers: c
o
m
p
utes ch
a
mbers of vecto
r
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdool
a
ege
b
arvinok
.
cc: remove u
n
u
sed nonortho
g
commit
|
commitdiff
|
tree
2008-12-26
S
v
e
n Verdoolaege
update pi
p
l
i
b for MinGW compa
t
ibility
commit
|
commitdiff
|
tree
next