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
Sve
n
Verdoolaege
iscc:
add some c
o
m
p
a
r
ison operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolae
g
e
iscc: add inverse opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: fix up type of find_matc
h
ing_bin_
o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add affi
n
e hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
e
rdoolaege
iscc: a
d
d operation to
c
onstruct
universal map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
scc: add "join"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
ad
d
intersect_domai
n
op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ver
d
oo
l
aeg
e
is
c
c: allow overlo
a
ding bi
n
ary ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven
V
erdoolaege
iscc:
add more
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
doc
:
reorganize
t
able of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
r
d
oolae
g
e
upda
t
e isl
commit
|
commitdiff
|
tree
2010-03-10
S
ve
n
V
e
rdoolae
g
e
ba
r
vi
n
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
AUT
H
OR
S
: update sup
p
ort information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
a
e
ge
rando
m
vector:
double
s
i
z
e
of coe
f
ficie
n
ts on
e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
laege
i
s
cc: suppor
t
tran
s
itive
cl
o
sure
commit
|
commitdiff
|
tree
2010-03-10
S
ven Verdoo
l
aege
update isl to version 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoolaege
barvi
n
ok_e
.
cc:
enumerate_vd:
r
emove unus
e
d
variable
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
evalue
.
c: Polyhedron_Inser
t
: a
d
d missin
g
ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
evalue
.
c:
reduce_evalue: remove
u
nused varia
b
le
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doolae
g
e
iscc: add @
o
perator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
iscc: ad
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
add
i
sl
_
pw_qpolynom
i
al_upp
e
r_bou
n
d
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verd
o
o
l
aege
iscc: ad
d
s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
add isl_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
Verdoolaege
add isl_pw_qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolae
g
e
update isl
fo
r
isl
_
pw_qpolynomial_foreac
h
_
piec
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aege
rename
e
v
alue2isl to isl_pw_qpolynomial
_
f
r
o
m
_
e
value
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
Verd
o
olaege
iscc: detect mor
e
kinds
o
f errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
barvinok
_
enume
r
ate: use
i
sl during the
verif
i
cat
i
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isl_set_card a
n
d isl_map
_
card
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
a
d
d e
v
alue
2
isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaeg
e
evalue_convert: expo
r
t as a
p
p
licat
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
o
o
l
aege
barvi
n
ok_enumerate_e: optionally
u
se is
l
t
o
p
r
oj
e
ct
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
S
ven Ver
d
o
olaeg
e
ad
d
isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE:
acc
e
p
t
"-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdoo
l
aege
barvinok_enumerate: return NaN
for infini
t
e
probl
e
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sven Verdoolaege
remove_all_equalities: handle inte
g
r
a
lly, but not
ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerate_e: al
w
ays return a partition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoolae
g
e
barvinok_en
u
mer
a
te: check th
a
t dimen
s
i
o
n of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verd
o
olaege
partitio
n
2enumeration: chec
k
that
i
n
put is real
l
y a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
S
v
en Verdoola
e
ge
update
piplib for change in configure optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
update
omega
f
or config
u
rati
o
n/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
bar
v
in
o
k_count_with_options: c
h
eck
return
v
alue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
Verdoolae
g
e
Polyh
e
dron_Sa
m
ple: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summ
a
te
.
c: add
m
issing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoolaege
topco
m
.
c
:
support
newer versions of TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
doolaege
topcom
.
c: compute_domai
n
: s
k
ip v
e
rti
c
es wi
t
hout
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verdoolaege
polytope_minimi
z
e: take cons
t
ant term to be zero
wh
e
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdo
o
laege
doc: reflect that --e
n
a
b
le-fr
a
c
t
io
n
al is now the de
f
a
u
lt
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verdoo
l
aege
glpk_p
o
lyhedron_affine_s
i
g
n
: sp
e
cial cas
e
0D
p
oly
h
e
dr
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
Polyhedron_
I
n
se
r
t_Columns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven
V
e
rdoo
l
aege
Polyhedron_Fac
t
or: fix up
d
a
t
ing of
g
roups
commit
|
commitdiff
|
tree
2009-10-06
S
v
en Verdo
o
laeg
e
configu
r
e
.
i
n: use AX_S
U
BMOD
U
LE
instead
o
f BV
_
SU
B
MOD
U
LE
commit
|
commitdiff
|
tree
2009-08-21
S
v
e
n
Ver
d
oola
e
ge
remove_equ
a
liti
e
s: use
P
olyhedron_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven V
e
r
d
oolaege
barvino
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add
experimental comparison betwe
e
n old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
le
x
min
.
c
c: remove
"anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Ve
r
d
o
o
laege
d
o
c: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
oc:
a
dd some less
common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
Sven
V
erdoola
e
g
e
add "clever" L
a
ur
e
n
t expansion based summation
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaege
move Last_Non_Z
e
ro to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
V
e
rdoolaege
ex
t
ract out param_polyn
o
mial
f
ro
m
laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
ext
r
a
ct vertex
_
cone from lau
r
ent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
S
v
en
V
erdoolae
g
e
NTL_QQ
.
cc: a
d
d stdi
o
i
n
clude for EOF hidden in NTL
_
io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sve
n
Verdoolaeg
e
upda
t
e p
o
lylib
f
or speed improvement in in_
d
o
m
ain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verd
o
olaege
u
p
date pip
l
ib fo
r
distri
b
ution
i
ssue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verd
o
olaege
P
o
lyhe
d
ron_Factor: fix merg
i
ng of g
r
oups of columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoolae
g
e
barvi
n
o
k_enume
r
ate_seri
e
s: don't check f
o
r
revl
e
x po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolae
g
e
(t)counter: m
o
ve cou
n
te
r
::reset()
u
p to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoolaeg
e
Makefile
.
am: keep bett
e
r track of failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Ve
r
d
o
o
laege
a
d
d
semigroup_holes appli
c
a
tio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
L
i
ne_Leng
t
h: handle 0D polytope in 1D s
p
a
c
e
commit
|
commitdiff
|
tree
2009-05-07
S
ven Verdoolaege
gen_fun: a
d
d is_zero m
e
thod
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
bar
v
inok_enume
r
ate_e_series: remove equa
l
itie
s
in each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
doc:
fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
barvinok_enumera
t
e_e_seri
e
s: han
d
le a
l
l existential
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
series
.
c
c
: make project stat
i
c
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdo
o
lae
g
e
bar
v
inok_enumerate_e_series
:
h
andle al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ad
d
tes
t
s
e
t
f
rom the other
itsl20
0
8
p
aper
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolae
g
e
.
gitignore: ignore object files
commit
|
commitdiff
|
tree
2009-04-28
S
ve
n
Verdoolaege
g
e
nfu
n
c
.
cc: p
a
ral
l
el_p
o
lytopes:
d
etect 0D pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoola
e
ge
config
u
re
.
i
n
:
set AC_CON
F
IG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
V
e
r
do
o
la
e
ge
a
dd pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdo
o
laege
Polyhed
r
o
n
_Factor: h
a
ndle pol
y
hedra with a
n
on-
t
rivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verd
o
o
l
aege
update piplib for
c
ha
n
ge in configur
e
arguments
commit
|
commitdiff
|
tree
2009-02-09
S
v
en Verdoolaege
test_
a
pprox
.
c: ad
d
d
u
m
my f
i
e
ld in dummy
t
ms struct
u
re
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
configure
.
in
:
avoid in
t
roducing
e
mp
t
y elem
e
nts in P
K
G_CONFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
Ve
r
d
o
o
lae
g
e
occ: define
O
MIT_GETRUSAGE if sys/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
S
v
en
Verdoolaege
o
mega_
i
n
t
e
r
fa
c
e/Ma
k
efile
.
am: put depe
n
ding librarie
s
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven
V
e
rdoolaege
conf
i
gure
.
i
n: add $(EXEEXT) to optional occ for
c
y
gwin
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oola
e
ge
update omeg
a
f
o
r
MinG
W
co
m
p
a
tibility
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolae
g
e
bernste
i
n/c
o
n
figure
.
in:
a
dd
m
i
s
sin
g
A
C_PROG_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sven Verd
o
ol
a
ege
genfun
.
c
c
: add br
a
ces r
o
un
d
e
x
tern "C" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sven Ver
d
oolaege
vector_partition_chambers:
computes cham
b
er
s
of vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Ve
r
doolae
g
e
b
a
rvinok
.
cc: remove
un
u
sed n
o
northog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdoolaege
update pi
p
l
i
b for MinGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
la
e
ge
update po
l
ylib fo
r
MinG
W
compatibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Ve
r
doolaege
fd
s
tream
.
cc: don't
(re)declare fileno
if
i
t
'
s a macro
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Verdoolaege
e
v
a
l
ue
.
c: in_d
o
main:
special-
c
ase 0D domains
commit
|
commitdiff
|
tree
next