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: drop call to gl_EARLY
2010-06-29
S
v
e
n Verd
o
o
la
e
ge
config
u
re
.
in: d
r
o
p
ca
l
l to gl_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verd
o
olaege
g
e
nfu
n
.
cc:
f
i
x
p
rintf
f
o
rmat
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdool
a
ege
test_appro
x
.
c: fi
x
p
r
i
ntf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
test
_
b
ound
.
c
:
f
ix printf
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
in: s
t
op compiling Omega b
y
default
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
verify_lexsmaller
.
c: fi
x
t
y
po
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use of
a
lloca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
eva
l
ue_isl
.
c
:
fi
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
iscc: recover from er
r
o
rs
commit
|
commitdiff
|
tree
2010-06-20
S
v
en
Ve
r
d
oolaege
update isl for
impr
o
ved e
r
r
o
r
h
andl
i
n
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Ve
r
dool
a
ege
i
s
cc
.
c:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
o
olaege
d
oc:
i
scc: updat
e
documentation of "ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
test_approx:
i
nclud
e
c
t
ype
.
h f
o
r
isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: inc
l
ud
e
config
.
h for HAV
E
_SYS_TIME
S
_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
t
e
st_bound: include config
.
h
f
or
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
i
s
cc: add vertices operat
i
on
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erd
o
o
laeg
e
op
t
ionally use isl
t
o
p
erfo
r
m p
a
rametr
i
c ver
t
ex
e
numeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
do
o
laege
update isl-polylib for handling of rational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
d
r
op disti
n
ctio
n
b
e
t
w
e
e
n barvinok-c
o
re and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
remo
v
e ber
n
stein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
upda
t
e isl
for
generi
c
isl_
p
w
_
q
p
olynomial_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaege
configure
.
in
:
dr
o
p bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
add isl_ct
x
_peek_bar
v
inok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoolaege
isc
c
: parse b
a
rvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
olaege
export
i
s
l
_
qpolynomial_fr
o
m
_
evalue
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
Makefile
.
am: drop depe
n
de
n
ce on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolaeg
e
u
p
date isl for rena
m
e of isl_pw_qpoly
n
o
m
i
al_move
commit
|
commitdiff
|
tree
2010-06-01
Sven V
e
r
doolaege
verif_ehrhart
.
c: add m
i
ss
i
ng include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
l
a
ege
configur
e
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
us
e
isl for argument p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
updat
e
isl for keeping track
o
f
user opti
o
ns
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laege
test_bound: rewrite i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verd
o
o
l
aege
update isl for help message print
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verd
o
olaege
remo
v
e e
v
alue_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdool
a
ege
re
m
ove evalue_
r
a
nge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n
V
e
r
doolaege
test_bound: use
i
sl inte
r
f
a
ce
f
or comput
i
ng
b
oun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdool
a
eg
e
ba
r
vino
k
_bound
:
use
i
sl interface
for comp
u
t
ing
b
ound
s
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doola
e
ge
iscc: suppo
r
t ub even if GiN
a
C support was no
t
co
m
piled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
a
dd gen
e
r
ic isl_pw_qp
o
lynomial_
b
ound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
update
is
l
f
or
isl_pw_
q
p
olynom
i
a
l
_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
test_bound:
use isl
durin
g
verifi
c
ation
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaeg
e
b
a
r
vinok_
b
ou
n
d: use
isl d
u
ring
v
e
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verd
o
ol
a
ege
v
erify
.
c:
e
xt
r
act some helper fu
n
c
tions for isl b
a
se
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
l
aege
introduce "bound" optio
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n Verdool
a
ege
o
p
tions
.
c: f
i
x printf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaege
i
scc: ad
d
a
p
p
l
ication operations
commit
|
commitdiff
|
tree
2010-04-24
S
ven
Verdoolaege
iscc: add read
operation
commit
|
commitdiff
|
tree
2010-04-24
Sve
n
Verdoolaege
iscc: free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
update
i
s
l
f
o
r reading of str
i
ng
s
commit
|
commitdiff
|
tree
2010-04-21
Sven
Verdo
o
l
a
ege
update
i
sl for fix in isl_p
r
inter_pri
n
t_p
w
_qpolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaeg
e
update isl-polylib for change
in pkg-co
n
fig
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolae
g
e
iscc
:
allow
specifica
t
ion of
outp
u
t format
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n
V
erdoola
e
ge
upda
t
e isl
for change
in isl_set_
g
ist argument
commit
|
commitdiff
|
tree
2010-04-11
Sve
n
Verdoo
l
aege
update isl for rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
e
ge
configure
.
i
n
: a
d
d isl f
l
ags and lib
s
to p
k
g
-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
i
scc: test isl_st
r
eam for eof rather than the
underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdoolaeg
e
i
scc:
add deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Verd
o
ol
a
e
ge
updat
e
i
sl f
o
r fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
S
ve
n
Verdoo
l
aege
drop b
a
rvinok_en
u
m
erate_pip_with_
o
pti
o
ns
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoolaege
iscc: add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
S
v
en Verd
o
o
l
aege
iscc:
a
dd coalesce
oper
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-30
Sven Ve
r
doolaege
update isl f
o
r isl
_
pw_q
p
olynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
drop "Omega counting ca
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test
_
boun
d
.
cc: f
i
x prin
t
f format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
laege
be
r
nstein
.
cc: fix printf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
e
v
alue_range_
p
ropagation: fix sub
s
t
i
t
u
t
ion
for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
rdoolaege
bernstein/configure
.
in: us
e
absolute
src
d
ir o
f
P
o
lyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdool
a
ege
only distribut
e
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoolaege
update omega for configu
r
ation issue
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
V
erdoolaege
configure
.
in:
al
l
ow "
b
uild" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
er
d
o
olaege
isl_
q
polynomial
_
fold_fr
o
m_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
ol
a
ege
isl_qpoly
n
omial_fr
o
m_
g
i
n
ac:
e
xp
a
nd ex be
f
o
r
e insp
e
ction
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
e
r
dool
a
ege
isl_obj_li
s
t
.
c:
up
d
ate to
u
se o
f
i
sl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven
Ver
d
oolaege
isc
c
: add gist operations
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ver
d
oolaeg
e
u
p
date isl for
i
n
trodu
c
tion of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
ven Ver
d
oolaege
isl_pw_qpolynom
i
al_upper_bound: set up
v
ariable vec
t
or
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ver
d
oolaege
iscc:
add some compari
s
on
o
perations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
a
ege
iscc: add inverse o
p
erati
o
n
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdoolaege
iscc
:
f
ix up type of find_matc
h
ing_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n Verdoolaege
iscc: add
affine hull opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ve
r
doolaege
i
s
c
c: add
o
peratio
n
to constr
u
ct univer
s
a
l ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
doolaege
isc
c
: add "join
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add
i
ntersect_domain
operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overload
i
ng b
i
n
a
ry o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: a
d
d mor
e
dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
doc: reorganize table o
f
i
scc operation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
ege
update i
s
l
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdool
a
ege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ve
r
doolaege
AUT
H
ORS: update support in
f
ormation
commit
|
commitdiff
|
tree
2010-03-10
S
v
e
n Ve
r
doo
l
ae
g
e
r
andomvector:
d
o
u
bl
e
size of coeffi
c
ien
t
s on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
iscc: support tr
a
nsitive clos
u
re
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdoolaege
u
pdate
isl t
o
version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
b
a
rvinok_e
.
cc: e
n
umerat
e
_vd: remo
v
e unuse
d
v
a
ri
a
b
les
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhe
d
ron_Insert: add mis
s
i
n
g
r
e
turn type
commit
|
commitdiff
|
tree
2010-03-09
S
v
en Verdoola
e
ge
evalue
.
c: reduce_evalue:
remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
iscc:
add @ oper
a
tor
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
i
scc: add "ub
"
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
add isl_
p
w_qpo
l
y
nomi
a
l_upper_bound
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdool
a
ege
i
s
cc
:
add sum
commit
|
commitdiff
|
tree
2010-03-09
S
ven Verdoolaege
add isl_pw_qpolynomi
a
l_sum
commit
|
commitdiff
|
tree
next