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 some comparison operations
2010-03-15
Sven Verdoolaeg
e
is
c
c: add some comp
a
ri
s
on operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
is
c
c: add
inver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type of f
i
nd_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdool
a
ege
iscc: add affi
n
e h
u
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: add op
e
ration to
c
o
nstruct universa
l
ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
a
e
ge
iscc: ad
d
"j
o
i
n" operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add intersect_domain operations
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Verdoolaege
is
c
c: allow overloa
d
ing binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
V
erdoolaege
i
s
c
c: add mo
r
e dom oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
doc
:
reorgani
z
e tab
l
e
of
i
scc operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdoolaege
b
arvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
AUTHORS: u
p
date support informat
i
on
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Verdoolaege
randomvector: do
u
ble s
i
ze o
f
coefficients
o
n each a
t
temp
t
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Ver
d
oo
l
aege
iscc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
u
p
date isl to ver
s
io
n
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
barvinok_e
.
c
c: enum
e
rat
e
_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
e
v
a
lue
.
c: Polyh
e
dron_Insert: add
missin
g
retu
r
n type
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdoolaege
eval
u
e
.
c:
r
edu
c
e
_evalue: remove un
u
sed v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaege
iscc: add @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olae
g
e
iscc:
a
dd "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
ol
a
ege
ad
d
isl_pw_qp
o
l
y
nom
i
al_
u
pper_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_pw_q
p
ol
y
nomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doo
l
aege
add isl_pw_qpo
l
ynomial
_
to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
u
p
date i
s
l f
o
r isl_pw
_
qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
eg
e
re
n
am
e
eval
u
e2
i
s
l
to isl_pw_qpolyn
o
mial_fr
o
m
_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven
V
erd
o
olaege
iscc: dete
c
t more
kin
d
s
of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok_en
u
mera
t
e: u
s
e i
s
l
d
uri
n
g the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
v
e
n Ve
r
doolaege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add is
l
_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
V
erdoolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
e
v
alue_conv
e
rt: export as
a
pplica
t
ion
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
erdo
o
laege
barvin
o
k
_enumerate_e: optionally
u
se isl to
project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven V
e
r
doo
l
a
ege
a
dd isl
submodule
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoolaege
AX_SUBMODULE: accept "-" i
n
m
odulename
commit
|
commitdiff
|
tree
2010-03-04
S
ven V
e
rdoo
l
aege
barvi
n
ok_en
u
merate: return Na
N
for infinit
e
pr
o
blem
s
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdool
a
e
g
e
remo
v
e_a
l
l_equalities: handle integrally, but not rat
i
onal
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdool
a
ege
b
ar
v
inok_enumerate_e: always ret
u
rn a
p
artit
i
on for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Verdoolaege
b
a
rvinok
_
enu
m
erat
e
: che
c
k that dimen
s
ion of
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolae
g
e
partition2e
n
umeration: check that input is r
e
all
y
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n V
e
rdo
o
laege
u
pdate
p
i
p
lib for change in configure op
t
ions
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolae
g
e
update omeg
a
for config
u
ratio
n
/
com
p
ilat
i
o
n
issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
barvinok_count_with_options:
c
h
eck r
e
tur
n
va
l
u
e
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
v
en
V
erdoolaege
Polyhedron_Sample: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verd
o
olaege
su
m
mate
.
c
: add
m
issing
include
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolae
g
e
topcom
.
c: support newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
la
e
g
e
topcom
.
c: com
p
ute_domain: skip vertices witho
u
t
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolaege
polytope_m
i
ni
m
ize: take cons
t
ant term to
b
e zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
doc
:
reflect
t
hat -
-
en
a
ble-fractio
n
al i
s
now
t
he default
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
g
l
pk_polyhed
r
o
n
_affine_sign: special case
0
D polyhedra
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
Polyhedron_Insert_Col
u
mns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
Verdo
o
laege
P
o
ly
h
e
d
ron_
F
acto
r
: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verdoolae
g
e
configure
.
in: use AX_SUBMODULE instead of
BV_SUB
M
OD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaege
re
m
ove_e
q
uali
t
i
e
s: use Polyhedr
o
n
_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
o
olaege
barvinok
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
doc:
ad
d
e
x
pe
r
im
e
ntal comparison bet
w
een old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven V
e
r
doolaege
lexmi
n
.
cc: rem
o
v
e
"
anachroni
s
m"
commit
|
commitdiff
|
tree
2009-07-22
Sven
Ve
r
doo
l
ae
g
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
doolaege
doc: add some
l
ess common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sv
e
n Verdoolaege
a
d
d "clever
"
Laurent e
x
pansion based summ
a
tion
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n Verdoolaege
move Last_
N
on_Zero to u
t
il
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oolaege
extrac
t
out p
a
ra
m
_polynomial
f
r
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
extr
a
ct
ve
r
t
e
x_co
n
e fro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
ven Verdoolae
g
e
N
T
L
_
QQ
.
cc:
add stdio
i
nclude for EOF
h
i
dden in NTL_io_v
e
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven
V
erdoolaege
upda
t
e
polylib
f
or sp
e
ed improvement
in i
n
_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
u
p
date
pip
l
ib for dist
r
ibution issu
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdoolaege
Polyh
e
dron
_
F
a
c
t
o
r: fix merging
of groups of colu
m
ns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
lae
g
e
barvinok_
e
numerate_serie
s
: don't check for revlex
positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
(t)c
o
unter: move counter::reset() up t
o
c
o
unte
r
_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Makefi
l
e
.
am: keep better track of fail
e
d test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
add semig
r
oup_holes appli
c
a
t
ion
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
Line_Length: handle
0D polytope in 1D space
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
V
erdoo
l
aege
gen_fun: add is_zero
m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdo
o
lae
g
e
barvinok_enum
e
ra
t
e
_
e_s
e
ries: remove equalities in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
do
c
: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolaege
barvinok_enumerate_e_series:
handle all existen
t
ials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
e
ge
series
.
cc: make project static
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaeg
e
barvinok_enume
r
a
t
e_e_series: ha
n
dle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
d
o
o
l
aege
add
test set from the
o
the
r
itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
.
gitignore: ign
o
re obj
e
c
t
file
s
commit
|
commitdiff
|
tree
2009-04-28
Sven Ve
r
do
o
laege
genfunc
.
cc: parallel_p
o
lytope
s
: detect 0D pol
y
top
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n Verdool
a
ege
configure
.
i
n: set AC_CONFIG
_
MACRO_
D
IR
commit
|
commitdiff
|
tree
2009-04-27
S
ven Verdoola
e
ge
add
p
kg
.
m
4
commit
|
commitdiff
|
tree
2009-04-02
Sve
n
Verdoolaege
Polyhed
r
on_Factor: handl
e
polyh
e
dra w
i
th a non-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven
V
er
d
oolaege
update pipl
i
b for ch
a
n
ge in
c
on
f
igure
a
rgu
m
ents
commit
|
commitdiff
|
tree
2009-02-09
Sv
e
n V
e
r
do
o
laege
test_a
p
prox
.
c:
ad
d
dummy f
i
eld in
d
ummy
t
ms structure
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
config
u
re
.
in:
a
v
o
id i
n
troduci
n
g
empty
e
lements in PKG_CONFI
G
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
occ: def
i
ne O
M
IT_GETRUSAGE if sy
s
/resourc
e
.
h cann
o
t
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoo
l
aege
omeg
a
_interface/Makef
i
le
.
am: put depending li
b
r
ari
e
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verd
o
olaege
co
n
figure
.
in
:
add $(EXEEXT)
t
o optional occ for
c
y
g
w
in
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdo
o
laeg
e
update om
e
ga for MinGW
c
ompatib
i
l
i
ty
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
be
r
nstein/configure
.
in: a
d
d missing AC_PROG_
C
XX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verdoolae
g
e
genf
u
n
.
cc
:
a
dd b
r
aces round ext
e
r
n
"
C
" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Verdoola
e
ge
vector_
p
artit
i
on_
c
hambers: computes
cham
b
ers of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ver
d
o
o
l
aege
b
arvinok
.
cc: remov
e
unused nonortho
g
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
up
d
ate pip
l
i
b for
M
inGW c
o
mpati
b
ility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update
polylib for MinGW compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
fdstream
.
cc
:
don
'
t (re
)
decla
r
e f
i
leno if it's a
macro
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaeg
e
e
v
alue
.
c: in_doma
i
n
:
spec
i
al-ca
s
e 0D domains
commit
|
commitdiff
|
tree
next