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 coalesce operations
2010-03-31
S
v
en Ve
r
doolaege
is
c
c: add coalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
V
erdoo
l
aege
u
p
date isl for isl_pw_qpolyn
o
mial_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
lae
g
e
drop "Om
e
ga coun
t
i
n
g
ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
test
_
boun
d
.
cc: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
b
e
rnstein
.
c
c
: fix printf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ver
d
o
olaege
e
value_range_
p
r
o
pagation: fix s
u
bstitut
i
o
n
f
o
r neg
a
tive
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configure
.
in: use
absolute
s
rcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute
bundled sub
m
odules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
u
pdate omega for con
f
igu
r
ation
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolae
g
e
configure
.
in:
a
l
l
ow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_qpolynomial_fold_fr
o
m
_ginac: handle fail no
d
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
i
s
l_q
p
olynomia
l
_from_
g
inac:
ex
p
a
n
d ex before
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
la
e
g
e
isl_obj_list
.
c: u
p
date to u
s
e of isl
_
printe
r
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
olaeg
e
iscc: add gist
opera
t
i
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
update isl for introd
u
ction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdoolaege
isl_pw
_
qpolynomial
_
upper_bo
u
nd
:
set up varia
b
le vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
a
e
ge
iscc: add some compariso
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n V
e
rdoolae
g
e
i
s
c
c
:
add inverse operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdool
a
ege
isc
c
: fix up type of f
i
n
d
_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc:
a
dd aff
i
ne hull operation
commit
|
commitdiff
|
tree
2010-03-14
S
v
en
V
erdoolaege
iscc
:
add operation to co
n
struct uni
v
ersal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
g
e
iscc: add "jo
i
n
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoo
l
aege
i
s
cc
:
add in
t
ers
e
ct_domain
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
llow
o
v
erloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olae
g
e
isc
c
:
a
dd more
dom operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
g
e
doc: reorgan
i
ze
table of is
c
c operat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
e
rdoolaege
bar
v
i
n
ok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
AUTHORS: update su
p
port info
r
mation
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Ver
d
o
o
laege
randomvecto
r
: doubl
e
size
o
f
coefficien
t
s on eac
h
attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
d
o
o
la
e
ge
is
c
c: support t
r
ansi
t
ive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update is
l
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdool
a
e
g
e
bar
v
inok_e
.
cc: enume
r
a
t
e_vd: re
m
ov
e
unused var
i
a
b
le
s
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
e
v
alue
.
c: Poly
h
e
dron
_
I
n
sert: add missing return type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoo
l
aege
evalue
.
c: reduc
e
_evalue
:
rem
o
v
e
unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
doo
l
aege
i
scc:
a
dd
@ operator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
add isl_pw_qpolynomial_upp
e
r_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
o
lynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
add i
s
l_
p
w_qpo
l
ynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
up
d
ate i
s
l for isl_p
w
_qpolynomial_fo
r
each_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
rename evalue2isl to i
s
l_pw_qpolyn
o
m
i
a
l_
f
rom_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
iscc: detect m
o
re kinds
of erro
r
s
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aeg
e
barvinok_enumera
t
e: use
isl during
the verification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add
isc
c
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolae
g
e
add
isl_set_c
a
rd and isl
_
map_card
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
e
value_convert: ex
p
o
rt as
a
pplication
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oo
l
aege
barvinok_enumerate_
e
:
o
ptionally
u
se isl
to project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven
Verdoolaege
a
dd isl sub
m
o
dule
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
AX_SUBMODULE: acc
e
pt "-" i
n
m
o
dulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_
e
numerate: re
t
ur
n
NaN f
o
r
infi
n
ite problems
commit
|
commitdiff
|
tree
2010-01-28
Sven
Verdool
a
e
g
e
r
e
move_a
l
l_equ
a
lities: handle
integra
l
ly, but not ratio
n
al
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
en Verdoolaege
barvinok
_
enumerate_e: always return a part
i
tion for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaeg
e
barvinok_
e
num
e
rate: ch
e
c
k that
dimension
o
f
in
p
ut includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
e
rdoolaege
parti
t
ion2enum
e
ration:
chec
k
that input
is really
a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven V
e
rdo
o
laege
update piplib f
o
r
ch
a
nge in con
f
igure opt
i
ons
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaeg
e
update
o
me
g
a for configura
t
ion/co
m
p
ilation i
s
sue
s
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
barvin
o
k_c
o
unt
_
with_option
s
:
check return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
er
d
oolaege
Polyhedron_Sample:
p
lug m
e
mory leak
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
oolaege
summate
.
c: add missing include
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
t
o
pcom
.
c: s
u
p
port newer ver
s
ions
o
f
TOPCOM
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
t
opcom
.
c: compute_
d
oma
i
n
: skip
v
ertices
without dom
a
in
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_mi
n
imize: take constant term t
o
be zero whe
n
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
d
oolae
g
e
d
oc: reflect that
--enable
-
fraction
a
l is n
o
w
t
h
e default
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdoo
l
a
eg
e
gl
p
k_polyhedron_af
f
i
ne_sign: special
c
as
e
0D polyhedr
a
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Ver
d
oolaege
Polyhedr
o
n_Insert_Col
u
mns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
Polyhedron
_
Factor: fix updating of
g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven V
e
rdoola
e
ge
c
o
nfigure
.
in: use AX
_
SUBM
O
DULE instead of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdoolaege
remove
_
equalities: use Polyhedron_Preimage instea
d
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoola
e
ge
doc: add experimental comparison betw
e
en old and n
e
w
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaeg
e
lexmin
.
cc: remove "
a
nachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: f
i
x
ty
p
o
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
d
o
c: add s
o
m
e
less
common
.
sty fi
l
es
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoola
e
ge
add "clever" Laur
e
nt
e
xpansion based summ
a
tion
commit
|
commitdiff
|
tree
2009-07-20
S
ve
n
V
e
rdoolaege
move
Last_Non_Zero t
o
u
til
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
lae
g
e
ext
r
act out
p
aram_polynomial f
r
o
m
la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdoo
l
a
ege
extract ver
t
ex_c
o
ne from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdo
o
laege
NTL_QQ
.
cc: add stdio
inc
l
ud
e
for
E
OF hidden
i
n NTL_
i
o_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en Ve
r
doolaege
updat
e
polylib f
o
r spe
e
d
im
p
rove
m
ent in in_domai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoolaege
update
p
ipli
b
for distribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
laege
Polyhed
r
on_Factor: fix merging of groups
o
f c
o
lumn
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok_enumera
t
e_
s
e
r
i
e
s
:
d
on't check for revlex
posit
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
(t)counter: mo
v
e co
u
nter::reset() up to counter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolaege
Makefile
.
am: ke
e
p better track of
failed
t
es
t
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
d
oo
l
aege
ad
d
semigroup_hole
s
ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
V
e
rdoolaeg
e
L
i
ne_Lengt
h
: handle 0D
p
olytop
e
in 1D
space
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ge
n
_
f
u
n
: add i
s
_z
e
ro method
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
bar
v
inok_enumerate_e_
s
eries: remove
equali
t
ies in
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoo
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
barvino
k
_e
n
umerate_e_series
:
handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoola
e
ge
s
e
ries
.
cc
:
ma
k
e pr
o
ject static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
barvinok
_
enumerate_e_
s
eri
e
s
: handle al
l
equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Ve
r
doolaege
add test set from the other itsl2008 paper
commit
|
commitdiff
|
tree
2009-04-28
Sven Ver
d
oola
e
ge
.
giti
g
nore:
igno
r
e ob
j
ect file
s
commit
|
commitdiff
|
tree
2009-04-28
S
v
en Verd
o
olaege
g
e
n
f
unc
.
cc: paralle
l
_p
o
lytopes
:
d
e
te
c
t 0D polyto
p
es
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven
Verdoolaeg
e
configure
.
in: set
A
C_CONFIG_MAC
R
O
_
DI
R
commit
|
commitdiff
|
tree
2009-04-27
Sv
e
n
V
er
d
oola
e
ge
a
d
d pkg
.
m4
commit
|
commitdiff
|
tree
next