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
Sve
n
Verdoolaege
iscc: a
d
d coalesce opera
t
ions
commit
|
commitdiff
|
tree
2010-03-30
S
v
en Verdoolaeg
e
upd
a
te isl f
o
r
isl_pw_qp
o
lynom
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
d
r
o
p
"Om
e
ga counting cal
c
ulator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
t
est_bound
.
cc: fix
prin
t
f fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n
Verdoolaege
berns
t
ein
.
cc
:
fix printf format
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Verdoo
l
aege
evalue_
r
ange_pro
p
agation:
fi
x
substitution for
n
e
g
ativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoola
e
ge
bernst
e
in
/
configure
.
in: u
s
e
absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
o
nly
d
istribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
update
o
m
e
ga for config
u
r
ation
issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
c
onfigure
.
in: allow "bu
i
ld" Poly
L
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpol
y
nomi
a
l_fold_from_gina
c
: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Ve
r
d
oolaege
i
s
l_qpolynomial_from_ginac: exp
a
nd
e
x
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_ob
j
_lis
t
.
c: upda
t
e to use of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
S
v
en V
e
rdoolaege
is
c
c:
a
d
d gist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update isl
f
or introd
u
ctio
n
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n V
e
rdoolae
g
e
isl_p
w
_qpolynom
i
a
l_upper_bound: set up va
r
iabl
e
vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaeg
e
iscc: add s
o
me compar
i
son operati
o
ns
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
e
r
d
oolaege
i
s
cc:
add inverse oper
a
tion
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
er
d
oolaege
i
scc: fi
x
u
p typ
e
of find_matc
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
i
s
cc: add affine hull
ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc: add operati
o
n to constru
c
t univer
s
al map
f
r
o
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdoola
e
ge
iscc: add
"
joi
n
"
o
p
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
iscc: add intersect_domain ope
r
at
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdool
a
ege
iscc: allow o
v
erloading
b
inary
o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc: add m
o
r
e
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c: reorganize
t
a
ble of isc
c
o
p
e
r
a
t
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdool
a
ege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
AU
T
HORS:
upda
t
e s
u
pport in
f
or
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
laeg
e
r
a
n
domve
c
tor: do
u
ble size of coefficien
t
s
o
n e
a
ch attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
iscc: support transitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
ge
u
p
dat
e
isl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verd
o
olaege
barvinok_e
.
c
c
:
en
u
merate_vd: remove unused vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoola
e
ge
evalue
.
c: Polyhedron_Inser
t
: add missi
n
g retur
n
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
evalue
.
c: reduce
_
evalu
e
: rem
o
ve unused
v
ari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc: add @ operato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
i
scc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
doolaege
add
isl_
p
w_qpolynomial_up
p
er_bo
u
nd
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
is
c
c: add s
u
m
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oo
l
aege
add i
s
l_pw_qpolynomial_sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
ad
d
i
sl_p
w
_
qpolynomial_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
update isl for isl_pw_qpolynomial_foreach_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
do
o
l
a
ege
r
ename evalue2isl to is
l
_pw_qpolynomial_
f
rom_evalue
commit
|
commitdiff
|
tree
2010-03-06
Sve
n
V
e
rdoolaege
isc
c
: detect more k
i
nds of errors
commit
|
commitdiff
|
tree
2010-03-05
S
v
en Ver
d
oolaege
b
a
rvinok_
e
numera
t
e:
u
se isl during
the ver
i
fication
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ver
d
o
ol
a
e
ge
add iscc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verd
o
olaege
add isl_set_card and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdoo
l
aege
add evalue2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
rdool
a
ege
evalue_conve
r
t
:
export as applica
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Ve
r
doolaege
barvi
n
ok_
e
n
umerate_e: optionally
u
se isl to
p
roject
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add
i
sl subm
o
du
l
e
commit
|
commitdiff
|
tree
2010-03-04
Sv
e
n Verdool
a
ege
AX_SUBMODULE: acc
e
pt "-" in mod
u
lename
commit
|
commitdiff
|
tree
2010-03-04
Sve
n
Verdoolaege
barvinok_en
u
merate: return NaN for inf
i
nite p
r
o
b
lems
commit
|
commitdiff
|
tree
2010-01-28
Sven
V
erdoolaege
remove_all_equalities: handle integrally, but not rat
i
o
n
al
l
y
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoo
l
aege
barvinok_enu
m
erat
e
_
e
: al
w
a
ys retu
r
n a partition fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
ba
r
vinok_enu
m
erate: che
c
k
t
hat
d
im
e
n
sion of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sv
e
n Verdoolaege
partition2enumeration
:
check th
a
t input is
r
e
ally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n
V
e
rdoolaege
u
pdate piplib for cha
n
ge in c
o
nfigure options
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
p
date omega
for c
o
nfi
g
urati
o
n
/
compilat
i
o
n issues
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdoolaege
barvinok_count_with_options: check return va
l
ue of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
Po
l
yhedron_Sa
m
ple: plug memory leak
commit
|
commitdiff
|
tree
2009-11-12
S
v
e
n Verdool
a
ege
summate
.
c: ad
d
missing
i
nclud
e
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: support n
e
w
e
r versions of
T
OP
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoolae
g
e
topcom
.
c: com
p
u
te_domain: skip verti
c
es without do
m
ain
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
Verd
o
olaege
polytope_m
i
n
i
mize: take constant te
r
m to
b
e
z
ero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
S
v
en V
e
rdo
o
laege
doc:
ref
l
ect
t
h
a
t --en
a
ble-fractiona
l
i
s
now th
e
default
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n
V
erdoo
l
aege
glpk_polyhe
d
ron_affine_
s
ign: special case 0D pol
y
h
edra
commit
|
commitdiff
|
tree
2009-11-12
S
ven Verdoolaege
Pol
y
hedron_Inser
t
_Co
l
umns: fix typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Ver
d
o
olaege
Polyhedron
_
Facto
r
:
f
i
x
u
p
dat
i
ng
of g
r
oups
commit
|
commitdiff
|
tree
2009-10-06
Sven
V
e
r
doolaege
con
f
igure
.
in:
u
se
A
X_SUBMODULE instead of BV_SUBM
O
DULE
commit
|
commitdiff
|
tree
2009-08-21
S
ven Verdoola
e
ge
remo
v
e_eq
u
a
l
i
t
ies: use Polyhedron_Preimage
i
nst
e
ad
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoo
l
aeg
e
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
S
v
en Verdoolaege
doc: add expe
r
i
m
ental compar
i
son betwe
e
n o
l
d and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
lexmin
.
cc
:
remove
"
anachronism"
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdool
a
eg
e
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n
Verdoolaege
doc: add som
e
l
ess common
.
s
t
y files
commit
|
commitdiff
|
tree
2009-07-21
Sve
n
Verdoo
l
aege
add "c
l
ever" Lauren
t
e
x
pansion based s
u
mmation
commit
|
commitdiff
|
tree
2009-07-20
Sven
Verdoolaege
move Last
_
Non_Zer
o
to util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sven Verdo
o
l
aeg
e
e
x
t
ract
o
ut param_
p
ol
y
n
o
mial
f
rom
l
aurent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdo
o
laeg
e
extract ve
r
tex_cone fr
o
m l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven
V
erdoolaege
NTL_QQ
.
cc: ad
d
s
tdio
i
nclude for
E
OF
hidden
in NTL_io_v
e
cto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven V
e
rdoolaege
update pol
y
lib for speed i
m
p
r
ov
e
ment in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven
Verdoo
l
aege
u
p
date piplib for distributio
n
is
s
u
e
commit
|
commitdiff
|
tree
2009-05-26
Sven Verdo
o
laege
Polyhedron
_
Fa
c
t
o
r
:
fi
x
mergin
g
o
f
gr
o
ups
o
f column
s
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
ba
r
v
i
nok_enumerate_se
r
i
es: don't check for r
e
vlex po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Verdoolaege
(t)co
u
nter: move c
o
unter::reset()
u
p to counter
_
b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
Makefile
.
am: kee
p
better tra
c
k
of
f
aile
d
tests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
aege
add
semigroup_holes application
commit
|
commitdiff
|
tree
2009-05-07
S
ven
Verdo
o
laeg
e
L
in
e
_Length: h
a
ndl
e
0D
p
olytope in 1D s
p
ace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
gen_fun: ad
d
is_zero
m
ethod
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
rdoolaege
barv
i
nok_enume
r
ate_e_ser
i
e
s
:
remove equa
l
ities
i
n ea
c
h
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
l
aege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
b
a
rvinok_enume
r
ate_e_series: han
d
l
e all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdool
a
ege
ser
i
es
.
c
c: m
a
ke pr
o
ject static
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
barvinok_enumerate_e_series: ha
n
dle all equalities
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
add test set from the other
i
tsl2008 pap
e
r
commit
|
commitdiff
|
tree
2009-04-28
Sven
Verdoola
e
ge
.
gitignor
e
:
ignore
o
bj
e
ct files
commit
|
commitdiff
|
tree
2009-04-28
Sven Verdoolaege
genf
u
nc
.
cc: p
a
rallel_pol
y
to
p
es: detect 0D
p
o
ly
t
opes
.
.
.
commit
|
commitdiff
|
tree
2009-04-27
Sven Verdoolaeg
e
configure
.
in: se
t
AC_CONFIG_MACRO_DIR
commit
|
commitdiff
|
tree
2009-04-27
Sven
V
erdoolaege
add
p
k
g
.
m4
commit
|
commitdiff
|
tree
next