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
V
e
rdool
a
e
ge
is
c
c:
a
dd some compari
s
o
n
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-15
Sve
n
V
e
rdoolaege
iscc
:
ad
d
inverse o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc:
f
ix
u
p type of find
_
matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
ge
iscc: add aff
i
ne hull
oper
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
i
s
cc: add operation to const
r
uct unive
r
s
a
l
m
ap
f
r
om
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Ve
r
doolaege
iscc:
add
"join
"
operati
o
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
add interse
c
t_domain
o
perations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoolaege
iscc:
al
l
ow overlo
a
d
ing b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add mor
e
d
om op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c:
r
eorganize table
o
f i
s
cc
op
e
rations
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoo
l
aege
update
isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoola
e
ge
barv
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
r
doolaege
AUTHORS: upd
a
te support
i
nformatio
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
ool
a
eg
e
randomv
e
ctor
:
do
u
b
l
e
s
ize
of coeff
i
cient
s
on
eac
h
att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
i
scc: sup
p
ort transit
i
ve closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verd
o
ola
e
ge
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
rvinok_e
.
cc: enume
r
ate_v
d
: remove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verdo
o
laege
eva
l
ue
.
c: Poly
h
edron_I
n
sert
:
add missing return ty
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdo
o
laege
eval
u
e
.
c: reduce_e
v
alu
e
:
remo
v
e
unused
v
ariable
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaege
is
c
c: add @ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
i
scc
:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erd
o
olaeg
e
add
i
s
l
_
pw_qpolyno
m
ial_upper_
b
ound
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
isc
c
: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
dd isl_pw_qpol
y
nomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoo
l
aege
add isl
_
pw_q
p
oly
n
omial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
a
ege
update
isl for isl_pw
_
q
p
olynomi
a
l
_
fore
a
ch_piece
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
rename
e
value2i
s
l to isl
_
pw_qpoly
n
omial
_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
i
scc: detect
m
o
r
e kin
d
s of
errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdoolaege
ba
r
v
inok_
e
n
umerate: use isl d
u
ring
t
he verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
ad
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoo
l
ae
g
e
a
d
d isl
_
s
et_card and isl_map_car
d
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
a
dd e
v
alue2is
l
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdool
a
ege
e
value
_
convert: export as
a
pplic
a
tion
commit
|
commitdiff
|
tree
2010-03-05
S
v
en
V
e
rdoolae
g
e
barvinok_enumerate_e: optionally u
s
e isl to pr
o
ject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ola
e
ge
add isl submo
d
ule
commit
|
commitdiff
|
tree
2010-03-04
S
v
en V
e
rdoolae
g
e
AX
_
SUBMODUL
E
: a
c
cept "-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n V
e
rdool
a
ege
b
a
rvinok_enumerate: return N
a
N for infinit
e
problems
commit
|
commitdiff
|
tree
2010-01-28
S
ven Ve
r
do
o
laege
remove_all
_
equalit
i
es: handle integrally,
but n
o
t
ration
a
lly
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven V
e
rdoo
l
aege
b
a
rvinok_en
u
merate_e:
a
lways return a partition
f
or
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdo
o
laege
barvino
k
_enumera
t
e: check that dimension
o
f
input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
pa
r
t
ition
2
e
n
umeration: check that
i
nput is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Ve
r
do
o
l
aege
u
p
d
ate piplib
f
or change in configure options
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erd
o
olaege
update omega
fo
r
c
onfiguration/compilation issue
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoo
l
aege
b
a
r
v
inok_c
o
un
t
_with_opt
i
ons: c
h
eck return val
u
e of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaeg
e
Polyhedron_Sample: plug mem
o
ry
l
e
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summate
.
c:
add
m
i
s
sing in
c
lude
commit
|
commitdiff
|
tree
2009-11-12
S
ven Ve
r
doolaege
to
p
com
.
c:
support
n
ewer ver
s
i
o
ns
o
f TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
t
o
pcom
.
c: compute_d
o
m
a
in: skip
v
e
rtice
s
withou
t
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven
Ver
d
ool
a
eg
e
polytope_mi
n
i
mize: take consta
n
t term to be
z
ero
w
he
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven V
e
rdoolae
g
e
doc: reflect that --enable-fra
c
tional is now the default
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolae
g
e
g
lpk_polyhedr
o
n_affine_
s
i
g
n:
sp
e
cial case 0D p
o
lyhe
d
ra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verd
o
o
l
aege
Polyhedron
_
Insert_Colum
n
s: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoola
e
ge
Po
l
yhedron
_
Fa
c
t
o
r: fi
x
updating o
f
group
s
commit
|
commitdiff
|
tree
2009-10-06
Sven
Verd
o
olaeg
e
configur
e
.
in: use
A
X
_SUBMO
D
ULE instea
d
o
f
BV_SUBMO
D
U
LE
commit
|
commitdiff
|
tree
2009-08-21
Sven V
e
rdoolaeg
e
re
m
ov
e
_equalities: use Polyhedron_Preimage i
n
st
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
barvi
n
o
k
0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc: add experimental comparison betw
e
e
n
o
ld a
n
d n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verd
o
olaege
lexmin
.
cc: remove "anac
h
ronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
e
ge
d
o
c: fix
t
ypo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: add some less common
.
st
y
file
s
commit
|
commitdiff
|
tree
2009-07-21
Sven Verdoolaege
add "clever" Laurent
e
x
p
a
nsion based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoolaege
move
L
ast_Non_Zero
t
o uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
ven Verdoolaege
extrac
t
out param_polynomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaeg
e
extract
v
e
r
tex_cone f
r
o
m
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verd
o
olaege
NT
L
_QQ
.
c
c
: add stdio include f
o
r EOF hidden in NTL_
i
o_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolae
g
e
u
p
date polylib
f
or spe
e
d improvement in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verd
o
olaege
u
p
date piplib
for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
S
v
en Verd
o
olaege
Polyhedron_Factor: fix merging
o
f groups of
columns
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barv
i
nok_enume
r
ate_seri
e
s
: don't check for rev
l
e
x positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
(t)counter: m
o
ve counter::reset()
u
p to count
e
r_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoo
l
aege
Makefile
.
a
m
: ke
e
p better
track of
failed tests
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
V
erdoolae
g
e
add se
m
i
group_holes a
p
plicatio
n
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolae
g
e
Line_Length: h
a
ndle 0D pol
y
tope in 1
D
s
p
a
ce
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_f
u
n: add
is_
z
e
r
o me
t
hod
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdo
o
laege
barvinok_enu
m
erate_e
_
series: r
e
m
o
ve
e
qualitie
s
i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
ege
d
o
c: f
i
x typo
commit
|
commitdiff
|
tree
2009-05-07
S
ve
n
V
e
rdoolae
g
e
barv
i
nok_enumerate
_
e_series: h
a
n
d
l
e all exis
t
enti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
a
e
ge
series
.
cc:
m
ake
project stati
c
commit
|
commitdiff
|
tree
2009-05-07
S
v
e
n Verdoolaege
barvi
n
ok_enumerate_e_series: handl
e
a
ll
equ
a
litie
s
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test set
f
rom
t
he other
i
tsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
S
ven Verdo
o
laege
.
gitignore: ignore ob
j
e
ct files
commit
|
commitdiff
|
tree
2009-04-28
S
v
e
n Verdoolaege
genfunc
.
cc: par
a
lle
l
_polyt
o
pes: detect 0D pol
y
topes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
V
er
d
o
o
laege
c
o
nfi
g
ure
.
i
n: set AC_
C
ONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
S
v
en Verdo
o
laege
a
d
d pkg
.
m4
commit
|
commitdiff
|
tree
2009-04-02
S
ven Verdoolaege
Polyhedr
o
n_Factor:
han
d
le polyhedra with a
n
on-trivial
.
.
.
commit
|
commitdiff
|
tree
2009-04-02
Sven Verdoolaege
update
pip
l
ib
f
or chan
g
e in confi
g
ure
a
rguments
commit
|
commitdiff
|
tree
2009-02-09
S
ven Verdoolaeg
e
test_approx
.
c:
add dummy fie
l
d
in dummy tms structur
e
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaege
configure
.
in: av
o
id intr
o
ducing empty elem
e
nts in PKG_C
O
NFIG
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoolaeg
e
oc
c
:
define OMIT_GETR
U
S
A
GE
i
f
s
y
s
/resource
.
h cannot
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ver
d
oolaege
o
mega_int
e
rface/
M
a
k
e
f
ile
.
am: put depending
li
b
raries
.
.
.
commit
|
commitdiff
|
tree
2009-02-09
Sven Ve
r
doolaege
configure
.
i
n
: add $(EXEEXT) to optional
o
cc f
o
r
c
y
g
win
commit
|
commitdiff
|
tree
2009-02-09
Sven Verdoo
l
a
ege
updat
e
o
meg
a
fo
r
Min
G
W compatibility
commit
|
commitdiff
|
tree
2009-02-09
Sve
n
Verdoolaege
bernst
e
in/configu
r
e
.
in: add
m
issing AC_PR
O
G_CXX
commit
|
commitdiff
|
tree
2009-02-04
Sve
n
Verdoolaege
genf
u
n
.
cc:
add braces ro
u
nd extern
"
C
" typedef
commit
|
commitdiff
|
tree
2008-12-30
Sve
n
Verdool
a
ege
vector_part
i
ti
o
n_chambers: compu
t
es ch
a
mb
e
rs of vector
.
.
.
commit
|
commitdiff
|
tree
2008-12-27
Sven Verdoolaeg
e
barvinok
.
cc:
r
emov
e
un
u
s
e
d
nonor
t
hog
commit
|
commitdiff
|
tree
2008-12-26
Sven Verdo
o
l
aege
update pipl
i
b for M
i
nGW comp
a
tibility
commit
|
commitdiff
|
tree
2008-12-26
Sv
e
n Ver
d
oolaege
update
pol
y
l
ib f
o
r MinGW com
p
atibilit
y
commit
|
commitdiff
|
tree
2008-12-26
Sven Ver
d
oolaeg
e
fdstream
.
cc: don't (re)decl
a
re
fileno if
it's a
ma
c
ro
commit
|
commitdiff
|
tree
2008-12-26
Sven
Verd
o
olaege
evalue
.
c
: in_domain: special-case
0
D
domains
commit
|
commitdiff
|
tree
next