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
configure.in: add isl flags and libs to pkg-config file
2010-04-10
Sven Verdoolaege
configure
.
i
n
: add i
s
l fla
g
s and
l
i
bs to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdool
a
ege
iscc: test isl_stream for eo
f
r
a
ther than the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ver
d
ool
a
ege
iscc
:
add del
t
as op
e
ration
commit
|
commitdiff
|
tree
2010-04-07
S
v
en Verdoolae
g
e
up
d
ate
i
s
l for fix
in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
ve
n
V
e
rdoolaege
d
r
op barvinok_enumer
a
t
e_
p
ip_with_options
commit
|
commitdiff
|
tree
2010-04-01
Sven Ver
d
oolaege
iscc
:
a
d
d
cross
prod
u
ct
o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
S
ve
n
V
erdoolaege
i
s
cc: add coalesce op
e
rations
commit
|
commitdiff
|
tree
2010-03-30
Sve
n
Verdoolae
g
e
u
p
d
a
te isl for isl_pw_qpo
l
ynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaeg
e
drop "Ome
g
a
c
ounting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdoolaege
tes
t
_b
o
und
.
cc: f
i
x pri
n
tf format
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
e
r
d
oolaege
bernste
i
n
.
cc
:
fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
S
ve
n
Verdoolaeg
e
eva
l
ue_range_propagation: fix substitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n
Verdoolaege
b
e
r
n
stein/c
o
n
f
igure
.
in
:
use
abso
l
u
t
e sr
c
dir of Po
l
y
Lib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
en
V
e
rdool
a
ege
onl
y
distri
b
ut
e
b
u
ndled
submodule
s
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
update om
e
ga
f
o
r
c
onfi
g
urat
i
on issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oolaege
config
u
re
.
in: allow
"
build" P
o
ly
L
ib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
i
sl_qp
o
lynomial_fold_
f
rom_ginac:
h
andle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdo
o
laege
isl_q
p
olynomial_from_ginac: expand ex bef
o
r
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdoolaege
isl_obj
_
list
.
c: update to use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verd
o
o
laege
iscc: add
gist opera
t
ions
commit
|
commitdiff
|
tree
2010-03-18
S
ven Verdo
o
l
aege
up
d
ate isl for introduction of
is
l
_printer
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Ver
d
oolae
g
e
i
s
l_
p
w_qp
o
lynomial_upper_bound:
s
et up v
a
riable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc: add some
c
o
m
p
a
r
ison op
e
rations
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
scc: add inverse
o
peratio
n
commit
|
commitdiff
|
tree
2010-03-15
S
ven Ve
r
doolaege
iscc: fix up type of fi
n
d_m
a
tching
_
bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaeg
e
iscc:
ad
d
a
ffi
n
e h
u
ll ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verd
o
olaege
i
scc: add operation to construct universal map
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaeg
e
isc
c
: add
"join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdool
a
eg
e
i
scc: add intersect_dom
a
in operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolaege
iscc: all
o
w overloading binary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoo
l
aege
iscc:
a
d
d more dom operati
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoola
e
ge
d
oc:
r
eorganize table of
iscc op
e
rat
i
ons
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doolaege
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
r
d
oola
e
ge
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoola
e
g
e
AU
T
HORS: update s
u
pport inf
o
rmati
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
randomvect
o
r
:
double size of co
e
ff
i
cients on each
a
ttempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
oola
e
ge
isc
c
: support transit
i
ve clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update
i
s
l
t
o
versi
o
n 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
bar
v
inok_e
.
cc: enumerate_vd: remove unused variabl
e
s
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Ver
d
oolaege
e
v
a
lue
.
c: Pol
y
hedron
_
I
n
sert: add mis
s
ing return
t
y
pe
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verd
o
olaege
evalue
.
c
:
reduce_evalue: remove
u
nused v
a
riable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
i
s
cc: add
@
operat
o
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoola
e
ge
i
s
cc: add "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdool
a
ege
ad
d
isl_pw_qpolyn
o
mial_uppe
r
_bound
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
lae
g
e
iscc: add sum
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
erdoolae
g
e
add isl_pw_q
p
olynomial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
oolaege
a
d
d isl
_
pw
_
qpolynomial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
S
ven
Verd
o
o
la
e
ge
updat
e
isl
for
i
s
l
_pw_qpolynomial_foreach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolae
g
e
rena
m
e
evalue2isl to
i
s
l_pw_qpolynomial_from_eval
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven Ver
d
o
olaege
iscc: detect more kinds o
f
er
r
ors
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
lae
g
e
ba
r
vinok_enu
m
erate: use isl du
r
ing the
v
e
rification
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
laege
add i
s
cc
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolae
g
e
add i
s
l_set_card
a
nd isl_ma
p
_ca
r
d
commit
|
commitdiff
|
tree
2010-03-05
Sven V
e
r
d
oolaege
add
e
val
u
e2isl
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdoolaege
evalu
e
_con
v
er
t
: export as app
l
icati
o
n
commit
|
commitdiff
|
tree
2010-03-05
Sven Verdo
o
l
a
ege
b
a
rvinok_enumer
a
te_e: opti
o
nal
l
y use isl
t
o project
.
.
.
commit
|
commitdiff
|
tree
2010-03-05
Sv
e
n
V
erdool
a
ege
a
dd isl submodule
commit
|
commitdiff
|
tree
2010-03-04
Sven Ve
r
doolaege
AX_SU
B
MOD
U
LE:
a
c
cep
t
"-" in modulename
commit
|
commitdiff
|
tree
2010-03-04
Sven
V
erdoolaege
barvinok_e
n
umerate: return NaN for infinite proble
m
s
commit
|
commitdiff
|
tree
2010-01-28
Sv
e
n Verdoolaege
remove_all_eq
u
aliti
e
s:
h
and
l
e integrally, but not rationally
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdoolaege
barvinok_enumerat
e
_
e: always retur
n
a p
a
r
t
ition
for
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sven Verdool
a
ege
barvinok_enumerate: check that dimen
s
ion of input inc
l
udes
.
.
.
commit
|
commitdiff
|
tree
2010-01-02
Sve
n
Ve
r
d
o
olaege
par
t
iti
o
n2enumerati
o
n:
c
heck that input is
r
eally a
.
.
.
commit
|
commitdiff
|
tree
2010-01-01
Sv
e
n Verdoo
l
a
e
ge
u
p
date pi
p
li
b
for change in conf
i
gure option
s
commit
|
commitdiff
|
tree
2009-11-30
Sven V
e
rdoolaege
updat
e
omega for co
n
f
igurati
o
n
/c
o
mpilation issues
commit
|
commitdiff
|
tree
2009-11-30
Sv
e
n Verdoolaege
barvinok_coun
t
_with
_
option
s
: ch
e
ck re
t
urn va
l
ue
of
.
.
.
commit
|
commitdiff
|
tree
2009-11-30
S
ven Verdoo
l
aege
Polyhedron_Sa
m
ple
:
pl
u
g
m
e
m
ory leak
commit
|
commitdiff
|
tree
2009-11-12
Sve
n
V
erdoolaege
summ
a
te
.
c: add miss
i
ng inclu
d
e
commit
|
commitdiff
|
tree
2009-11-12
Sven
Verdoolaege
topco
m
.
c
: support new
e
r versions
of TOPCO
M
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
topcom
.
c: compute_
d
omain: skip ve
r
tic
e
s without doma
i
n
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoolaege
polytope_min
i
mize: tak
e
constant
term to be zero when
.
.
.
commit
|
commitdiff
|
tree
2009-11-12
Sven Ve
r
do
o
laege
doc: reflect tha
t
--enable-fra
c
tio
n
al
i
s no
w
the defaul
t
commit
|
commitdiff
|
tree
2009-11-12
S
v
en Verdoo
l
aege
glpk_polyhedron_
a
ffine_
s
ign: sp
e
cial case 0D pol
y
hedra
commit
|
commitdiff
|
tree
2009-11-12
Sven Verdoola
e
ge
Polyhedron_Insert_Columns: fix
typo
commit
|
commitdiff
|
tree
2009-11-11
Sven Verdoolaege
P
olyh
e
dron_Factor: fix updating of groups
commit
|
commitdiff
|
tree
2009-10-06
Sv
e
n Ver
d
o
o
la
e
ge
c
onfigur
e
.
i
n: use AX_SUBMO
D
U
L
E
inste
a
d of
BV_SUBMODULE
commit
|
commitdiff
|
tree
2009-08-21
Sv
e
n Verdoolaege
remo
v
e_equalities: use P
o
lyhedron_
P
reimage ins
t
ead
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
S
ven Verdoolaege
barvinok 0
.
29
commit
|
commitdiff
|
tree
2009-07-22
Sve
n
Verdool
a
e
g
e
d
oc
:
add experimental co
m
pari
s
on betwee
n
old and new
.
.
.
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdool
a
ege
lexmin
.
cc: rem
o
ve
"
anach
r
onis
m
"
commit
|
commitdiff
|
tree
2009-07-22
Sv
e
n V
e
rd
o
olaege
doc:
fix typo
commit
|
commitdiff
|
tree
2009-07-22
Sven Verdoolaege
doc:
add some less
c
ommon
.
sty files
commit
|
commitdiff
|
tree
2009-07-21
S
ven
Verd
o
o
l
a
eg
e
ad
d
"clever"
L
aurent
expans
i
o
n
based
summatio
n
commit
|
commitdiff
|
tree
2009-07-20
Sven V
e
rdoolaege
move Last_Non_Zero
t
o util
.
c
commit
|
commitdiff
|
tree
2009-07-20
Sv
e
n
Verd
o
olaege
extract out param_polynomial f
r
om l
a
urent
.
cc
commit
|
commitdiff
|
tree
2009-07-20
S
v
en Ver
d
oolaege
ex
t
ract vert
e
x_cone from la
u
rent
.
cc
commit
|
commitdiff
|
tree
2009-07-13
Sv
e
n Verdoolaege
NT
L
_QQ
.
cc: add stdio inc
l
ude for EOF hi
d
den in
N
T
L_io_vecto
r
.
.
.
commit
|
commitdiff
|
tree
2009-07-11
Sven Verdoolaege
update polylib for speed improvement i
n
i
n
_
d
omai
n
commit
|
commitdiff
|
tree
2009-06-12
Sven Ve
r
d
o
olaeg
e
updat
e
p
iplib
f
or dist
r
ibution issu
e
commit
|
commitdiff
|
tree
2009-05-26
S
ven Verdoola
e
ge
P
olyh
e
dro
n
_
F
a
cto
r
: fix merging of
groups of
c
o
lum
n
s
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n
Verdoolaege
barvinok_enum
e
rate_
s
er
i
es
:
don't
c
h
eck f
o
r revlex pos
i
tive
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
S
ven
V
e
rd
o
olaeg
e
(
t
)counte
r
: m
o
ve
counter::r
e
set(
)
u
p
to counter_b
a
se
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sv
e
n Verd
o
ola
e
ge
Makefile
.
a
m
: ke
e
p better trac
k
of failed test
s
commit
|
commitdiff
|
tree
2009-05-07
Sven V
e
r
doolaege
add semigr
o
up_h
o
les application
commit
|
commitdiff
|
tree
2009-05-07
Sven Verdoolae
g
e
Li
n
e
_Length: handle 0D polyt
o
pe
in 1D space
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
e
r
doola
e
ge
gen_fun: add i
s
_zero method
commit
|
commitdiff
|
tree
2009-05-07
S
v
en
Verdoolaeg
e
b
arvinok_enumerate_e_series:
r
e
m
ove equal
i
ties
i
n each
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdool
a
ege
doc: fix typo
commit
|
commitdiff
|
tree
2009-05-07
Sven
V
erdoolaege
barvinok_enumerate_e_serie
s
: handle al
l
existenti
a
ls
.
.
.
commit
|
commitdiff
|
tree
2009-05-07
Sven
Verdoolae
g
e
s
eries
.
cc:
m
a
ke project s
t
a
t
i
c
commit
|
commitdiff
|
tree
next