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
update isl for fix in isl_printer_print_pw_qpolynomial C format printing
2010-04-21
Sven Verdoolaege
update isl for fix in isl_printer
_
pr
i
nt_pw_q
p
olynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
ve
n
Verdoo
l
aege
update
i
sl-
p
olyl
i
b for
c
h
ange in p
k
g-con
f
ig file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
r
d
oolaege
i
s
cc: allow specif
i
cation o
f
outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolaege
update isl fo
r
change in isl_set
_
gi
s
t argumen
t
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdool
a
ege
upda
t
e
isl for
rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configure
.
in: add isl fla
g
s and libs to p
k
g-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
is
c
c: test i
s
l_stream for eof rather t
h
an the u
n
derlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
oolaeg
e
iscc
:
a
d
d deltas
o
peration
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
ge
u
pdate isl for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sve
n
Ver
d
oolaege
drop barvi
n
ok_enume
r
a
t
e_
p
ip
_
with_o
p
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n Verdoolaege
i
s
cc
:
add cross p
r
oduct operat
i
ons
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Ve
r
doolaege
iscc: add
c
oalesce operations
commit
|
commitdiff
|
tree
2010-03-30
S
ve
n
V
erdoolae
g
e
update isl for isl
_
pw
_
qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
d
rop
"Omega counting cal
c
ulator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
c
c
:
f
ix
p
r
i
n
t
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
bernstei
n
.
cc
:
fix pr
i
ntf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdool
a
ege
evalue_range
_
propagation: fix subs
t
itution f
o
r negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoo
l
ae
g
e
berns
t
ein/configure
.
in:
u
s
e a
b
solute
srcdi
r
o
f PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n V
e
rdoolaeg
e
only
d
istribute
b
u
n
dled submodul
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oo
l
aege
update
omega
for
c
onfigu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Ve
r
doo
l
aege
configure
.
in: al
l
o
w "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolae
g
e
isl_qpolynomial_fold_from_ginac: h
a
ndle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
ve
n
Verdoolaege
isl_qp
o
lynom
i
al
_
from_g
i
n
ac: expa
n
d ex before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
S
ven Verdoolaege
isl
_
obj_
l
ist
.
c: up
d
ate to use of
isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdoolaege
iscc
:
add gi
s
t
operatio
n
s
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
u
pdate isl f
o
r introdu
c
ti
o
n of isl_print
e
r
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolaege
i
s
l_pw_
q
po
l
ynomial_upper_bound: set up var
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
iscc:
a
d
d
s
o
m
e
comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: add
i
nv
e
r
se operation
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
rdo
o
l
aege
i
s
cc: fix up t
y
pe of find_m
a
t
chi
n
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
sc
c
:
a
dd
affine
h
ull
operat
i
on
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: add ope
r
ation to
construct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc:
a
dd "join" o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd intersect_domai
n
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doo
l
aege
i
scc: a
l
l
o
w overl
o
ading
b
inary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
r
d
oolaege
iscc: add mor
e
dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoo
l
ae
g
e
doc: reorganize table of iscc ope
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaege
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
UTHOR
S
: u
p
dat
e
s
upport
information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
ran
d
omve
c
tor:
d
ouble size of
coeff
i
c
i
ents
on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
i
s
cc: support tr
a
n
s
itive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
V
erdo
o
la
e
g
e
up
d
ate isl to
v
ersion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olae
g
e
barvinok_e
.
cc: enumera
t
e_vd: remove unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c
:
Poly
h
edron_I
n
sert: add missing ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoo
l
aege
evalue
.
c: r
e
d
uc
e
_e
v
alue: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n Verdoo
l
aege
i
s
c
c
: add @ opera
t
or
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
iscc: add "u
b
"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add
isl
_
pw_qpol
y
n
omial_upper_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: a
d
d
sum
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoola
e
ge
a
dd
i
sl_pw_qpolynomia
l
_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
a
d
d
i
sl_pw_qpolyno
m
i
al_to_ev
a
lue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
update is
l
for is
l
_pw_qpolynomial_
f
oreach_piece
commit
|
commitdiff
|
tree
2010-03-09
S
v
en V
e
rdo
o
l
a
ege
rename eval
u
e2isl to isl_pw
_
qpolynomia
l
_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoolaege
isc
c
: detect more kin
d
s of errors
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
barvi
n
ok_enumerate: u
s
e is
l
duri
n
g the
v
erification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Ver
d
oolaeg
e
a
d
d
iscc
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
oolae
g
e
add isl_set_
c
ard and isl_map_
c
a
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
add
e
value2isl
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
evalue_conv
e
rt: export
as applica
t
io
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
a
r
v
inok_enumera
t
e_e:
op
t
i
onally u
s
e
isl
t
o
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
ola
e
ge
a
d
d isl submodule
commit
|
commitdiff
|
tree
2010-03-04
S
ven Verdoolaege
AX_SU
B
M
ODULE: accept "-" in modul
e
name
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok
_
enumerate: return NaN
f
o
r i
n
finite problems
commit
|
commitdiff
|
tree
2010-01-28
S
v
en Verdoolaege
rem
o
ve
_
all_equali
t
ie
s
: han
d
l
e
integrally, b
u
t not rationall
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
b
a
r
v
ino
k
_en
u
mera
t
e_e: always retu
r
n a p
a
rtition for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
ve
n
Verdo
o
la
e
ge
barvinok_enu
m
erate: check that di
m
ension o
f
inpu
t
i
n
c
lude
s
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
S
v
e
n
Ve
r
do
o
laege
part
i
tion2enum
e
rat
i
on: check t
h
at input is
really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoolaege
update piplib
for
chan
g
e i
n
c
o
nfig
u
re options
commit
|
commitdiff
|
tree
2009-11-30
S
v
e
n Verdoolaege
update o
m
eg
a
for config
u
rat
i
o
n
/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
bar
v
i
nok_count_wi
t
h_o
p
tions: check return value
o
f
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
P
o
ly
h
edron_Sampl
e
:
plug memo
r
y le
a
k
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
a
ege
summ
a
te
.
c
:
add m
i
ssin
g
include
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
t
o
pcom
.
c: su
p
port
newer
versions o
f
T
OPCOM
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
topco
m
.
c: compute_domain: skip vertic
e
s without
d
omain
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_
m
in
i
mize: tak
e
constant term to be
z
ero w
h
en
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
d
o
c: refle
c
t that --enable-f
r
actional is now the def
a
ul
t
commit
|
commitdiff
|
tree
2009-11-12
S
ven
Ver
d
oolaege
glp
k
_po
l
yhedron
_
affine_sign: special case 0D
pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoolaege
Polyhe
d
r
o
n_Insert_Columns: fi
x
typo
commit
|
commitdiff
|
tree
2009-11-11
S
v
en Verd
o
olaege
Pol
y
hedron_Factor:
f
ix updating of gro
u
ps
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
erdoolaege
configure
.
in: use AX_SUBM
O
D
U
L
E
i
nstead o
f
BV
_
SU
B
MODU
L
E
commit
|
commitdiff
|
tree
2009-08-21
Sven Verd
o
olaege
r
e
m
ove_equal
i
ties: us
e
Polyhedro
n
_Preima
g
e instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n Ve
r
doolaege
barvi
n
o
k 0
.
2
9
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoolaege
d
o
c: a
d
d experi
m
ent
a
l compariso
n
between
old
a
nd new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven
V
e
r
doola
e
ge
lexmin
.
cc: remove "anachronism"
commit
|
commitdiff
|
tree
2009-07-22
S
v
en
Verdoo
l
aege
d
o
c: fix
typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
V
erd
o
olaege
doc: add s
o
me
l
e
s
s common
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
v
en Verdoo
l
aege
add "
c
lever" Laurent expansion based summat
i
on
commit
|
commitdiff
|
tree
2009-07-20
Sven Ver
d
oola
e
g
e
m
o
ve
L
a
st
_
Non_Zero
to uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven
V
erdoo
l
a
e
ge
ex
t
ract out param_p
o
lynomial from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en
Verdo
o
laege
e
xtract vertex
_
cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n
V
erd
o
ol
a
eg
e
N
T
L
_QQ
.
cc:
add
stdio include
f
o
r EOF hidden in
N
TL_io_vector
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven
Verdoola
e
ge
update p
o
l
y
lib f
o
r spe
e
d
i
mprovemen
t
in
i
n
_
d
o
main
commit
|
commitdiff
|
tree
2009-06-12
S
ven Verdoolae
g
e
upd
a
te pipl
i
b for d
i
st
r
ibution iss
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sv
e
n
Ve
r
doolaege
Polyh
e
dron_Factor
:
fix merging of group
s
of columns
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verdoo
l
ae
g
e
bar
v
inok_en
u
merat
e
_seri
e
s: d
o
n't check for revlex positive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verd
o
o
lae
g
e
(
t
)
c
ounter:
m
ove counter::reset()
up
to
c
ounter_
b
ase
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdool
a
eg
e
M
a
kef
i
le
.
am: keep bett
e
r track of failed
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add semigroup_holes ap
p
lication
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laege
L
ine
_
Length:
h
a
ndle 0D polytope in 1D space
commit
|
commitdiff
|
tree
next