repo.or.cz
/
barvinok
/
uuh.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
configure.in: add isl flags and libs to pkg-config file
2010-04-10
Sven Verd
o
olaege
confi
g
u
r
e
.
in
:
add isl fl
a
gs
and libs to
p
kg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
iscc: test is
l
_stream
f
o
r eof rather than
t
he under
l
yi
n
g
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoola
e
ge
is
c
c
:
add deltas opera
t
ion
commit
|
commitdiff
|
tree
2010-04-07
Sven
Ver
d
oolaege
update isl
f
or
f
i
x
in i
s
l_map_delta
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop ba
r
v
i
no
k
_enumerate_pip_
w
ith_options
commit
|
commitdiff
|
tree
2010-04-01
Sv
e
n V
e
rdoolaege
isc
c
:
a
dd cross product o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sve
n
Verdoolae
g
e
iscc: ad
d
c
oalesce operations
commit
|
commitdiff
|
tree
2010-03-30
Sven V
e
r
d
oolaege
up
d
ate isl for isl_pw_qpo
l
ynom
i
al_c
o
alesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Om
e
ga counting calc
u
lator"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
V
erdoolaege
test_bound
.
cc: fix
p
rintf fo
r
mat
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdoo
l
aeg
e
bern
s
tein
.
cc: fix
p
rintf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
ev
a
lue_range_propa
g
ation
:
fix subs
t
itution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
ven Verdoolaege
bernstein/con
f
igure
.
i
n
:
use
ab
s
olute srcdir of PolyL
i
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
Verdoolaege
o
n
ly distribute bun
d
led submodu
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
o
o
la
e
ge
u
p
d
a
te omega
f
or configuration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
lae
g
e
c
o
nfigure
.
in
:
allow "b
u
il
d
" PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ver
d
oolaege
isl_qpolynomial_f
o
ld_fro
m
_ginac: h
a
ndl
e
fa
i
l
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
isl_qpolynomial_fr
o
m_ginac: expand ex before i
n
spection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl_o
b
j_
l
i
s
t
.
c: u
p
date to use
o
f
isl_
p
rin
t
er
commit
|
commitdiff
|
tree
2010-03-18
S
v
en Verdoolae
g
e
i
scc: a
d
d
g
ist op
e
rations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
aege
update isl for introductio
n
of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven V
e
rdo
o
laeg
e
isl_pw_qpolyno
m
ial_upp
e
r_bound: se
t
up va
r
i
able
v
ector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Ve
r
d
ool
a
e
g
e
isc
c
: a
d
d some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n
V
erdoolaeg
e
iscc
:
add inverse
o
peration
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
scc: fix up typ
e
of find
_
matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolae
g
e
iscc: a
d
d
affi
n
e
hull
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
ge
is
c
c: add operation to cons
t
r
u
ct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoola
e
ge
iscc: add
"join" operatio
n
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
i
scc: add intersect
_
domain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
iscc: allo
w
over
l
o
ading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
iscc:
a
d
d
m
or
e
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdo
o
l
ae
g
e
doc: reorganize
t
able o
f
i
s
cc operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
S
v
en
V
erdoola
e
g
e
barv
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n
V
e
rdoolaege
AUTHORS: update support in
f
o
r
m
a
ti
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomve
c
to
r
: double
s
ize of coeff
i
cients on each
a
tt
e
mp
t
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdo
o
l
a
ege
isc
c
:
s
up
p
ort
transi
t
ive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oolaeg
e
upd
a
te isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
oolaege
barv
i
nok_e
.
cc:
e
nume
r
ate_
v
d: remove unus
e
d vari
a
bles
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
evalu
e
.
c: Polyhedro
n
_I
n
sert: ad
d
m
issing return
type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
evalue
.
c
:
reduce_eva
l
ue: remove
unused
v
ariable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
i
s
c
c: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdo
o
laege
iscc: a
d
d
"ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
a
dd isl_pw_qpoly
n
o
mial_u
p
per_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoola
e
ge
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
a
dd isl_pw_qpoly
n
om
i
al_s
u
m
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdoolaeg
e
add isl_
p
w_qpolynomia
l
_to_eval
u
e
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
V
erdoolaege
upda
t
e
i
sl for isl_pw_q
p
olynomial_fo
r
each_pi
e
ce
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
rename e
v
alue2i
s
l to
isl_p
w
_qpolynomial_from_
e
va
l
ue
commit
|
commitdiff
|
tree
2010-03-06
Sven Verdoola
e
ge
iscc: detect more kinds of errors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
b
arvinok_enumera
t
e: use
i
sl during
t
he veri
f
icati
o
n
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
add isc
c
commit
|
commitdiff
|
tree
2010-03-05
S
ven Verdo
o
laege
add isl_set
_
ca
r
d and isl_map_card
commit
|
commitdiff
|
tree
2010-03-05
Sve
n
Verdoolaege
add
evalue2
i
s
l
commit
|
commitdiff
|
tree
2010-03-05
Sven
V
erdoolaege
e
v
alue
_
co
n
vert: exp
o
rt
as application
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Ve
r
doolaege
b
a
rvinok_enumera
t
e_
e
:
optionally use isl
to projec
t
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n Verdoolaege
add isl submodul
e
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdo
o
laege
AX_SUBMODULE: accept "
-
" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven Verdoolaege
barvinok_enumera
t
e: return NaN for
i
nfinit
e
problems
commit
|
commitdiff
|
tree
2010-01-28
Sven Ve
r
doo
l
aege
r
e
m
o
ve_all
_
equalities:
h
andle integra
l
l
y, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
V
erdoolaege
barvino
k
_enumerate_e: always r
e
tu
r
n a partition fo
r
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
b
a
r
vinok_enumerat
e
: check
t
hat d
i
mensi
o
n
of input includes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven
V
erdoola
e
g
e
partition2en
u
mera
t
ion: check that input is really a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sven Verdoola
e
ge
update pip
l
ib for chang
e
in configure optio
n
s
commit
|
commitdiff
|
tree
2009-11-30
Sven Verdoolaege
u
pda
t
e
omega for
c
onfi
g
u
r
a
tion/compilation issues
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoolaege
barvinok_count_wi
t
h_options: c
h
eck return value of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
Sven
V
erdool
a
ege
P
olyhedron_Sa
m
ple: plug memo
r
y
leak
commit
|
commitdiff
|
tree
2009-11-12
Sven
V
erdoolaege
summat
e
.
c: add
mi
s
sing
i
nclude
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verd
o
ola
e
ge
topcom
.
c: sup
p
ort n
e
wer vers
i
ons
o
f TOP
C
O
M
commit
|
commitdiff
|
tree
2009-11-12
Sv
e
n Verd
o
olae
g
e
t
opcom
.
c
:
compute_domain: s
k
ip vertices without
domain
commit
|
commitdiff
|
tree
2009-11-12
Sven Ver
d
oolae
g
e
po
l
y
t
ope_
m
inimize: t
a
ke const
a
nt term t
o
be
z
ero
when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
do
c
: reflect that
-
-enable-fractio
n
al is
n
ow
t
he de
f
ault
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
g
lpk_polyhedr
o
n_affine_sign: special case 0D polyhed
r
a
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoo
l
aege
Polyhedron_Insert_Col
u
mns:
f
i
x typo
commit
|
commitdiff
|
tree
2009-11-11
S
ven Ve
r
doolae
g
e
Polyhedron_Facto
r
:
fix
u
p
d
ati
n
g o
f
groups
commit
|
commitdiff
|
tree
2009-10-06
Sven Verd
o
olaege
c
onfigure
.
in: use A
X
_SUBMODUL
E
instea
d
of BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sven Verdoolaeg
e
remove
_
equalities: use Polyhedron_P
r
eimage instead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
barv
i
nok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdoola
e
ge
doc
:
a
dd e
x
periment
a
l
compa
r
ison
between old
a
n
d new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
v
e
n Verdoolaege
lexmin
.
cc: rem
o
ve "an
a
chronism"
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc: fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven
Verdoolaege
doc:
add so
m
e less com
m
on
.
st
y
files
commit
|
commitdiff
|
tree
2009-07-21
Sven V
e
rdoolaege
a
dd "clever" Laurent expansion based
s
um
m
ation
commit
|
commitdiff
|
tree
2009-07-20
S
v
e
n Verdo
o
laege
move Last_Non_Ze
r
o
t
o uti
l
.
c
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ve
r
doo
l
aege
extract out
par
a
m_polynomial from laurent
.
c
c
commit
|
commitdiff
|
tree
2009-07-20
Sve
n
Verdoolaeg
e
extract vertex_cone from laurent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sven Verdoolae
g
e
N
TL
_
QQ
.
cc: add std
i
o inc
l
ude for EOF h
i
dden in NTL_io_ve
c
t
or
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
S
v
en
V
erdo
o
laege
u
pdate
p
o
l
ylib for speed improv
e
ment in in_domain
commit
|
commitdiff
|
tree
2009-06-12
Sven Verdoolaege
up
d
ate p
i
plib
f
or
d
istribution issue
commit
|
commitdiff
|
tree
2009-05-26
Sve
n
Verdoo
l
aeg
e
P
olyhed
r
on_Fa
c
t
o
r: fix
m
er
g
ing of gr
o
ups of columns
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ver
d
oolaege
b
a
r
vinok_enu
m
era
t
e_series: don'
t
check
f
or revlex po
s
itive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdo
o
laeg
e
(
t)coun
t
er: move counter::res
e
t() up to cou
n
ter_base
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdoola
e
ge
M
akefile
.
am: keep better track o
f
f
a
iled
t
ests
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaeg
e
add semigro
u
p_h
o
les
a
pplication
commit
|
commitdiff
|
tree
2009-05-07
S
ven Ver
d
oolaege
Line_L
e
ng
t
h
:
handle 0D polyto
p
e in 1D
s
pace
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
g
en_
f
un:
a
dd is_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en Verdo
o
laege
b
a
rvin
o
k_enumer
a
t
e
_e
_
se
r
ies: remove equalit
i
es i
n
each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sve
n
Ver
d
o
olaege
d
o
c
:
fix
typo
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoo
l
a
e
ge
barvinok_
e
numerate_e_series: handle all existentials
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolaege
series
.
cc: make project static
commit
|
commitdiff
|
tree
next