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: stop compiling Omega by default
2010-06-29
S
ven Verdoola
e
ge
config
u
re
.
in: s
t
op compiling Omega
by default
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n Verdoolaege
ver
i
fy_
l
exsmal
l
e
r
.
c:
fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
e
value
.
c:
a
vo
i
d use
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolae
g
e
ev
a
lue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoo
l
aege
iscc: rec
o
ver from e
r
rors
commit
|
commitdiff
|
tree
2010-06-20
S
ven Verdoolaege
u
p
d
a
te i
s
l for improved err
o
r handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
S
ven Ver
d
oolaege
iscc
.
c: f
i
x typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc:
iscc: update do
c
umenta
t
ion of "
u
b" o
p
erat
o
r
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
te
s
t_approx: inc
l
ude ctype
.
h for is
s
pace
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
t
est_approx: inclu
d
e con
f
ig
.
h fo
r
H
A
V
E
_S
Y
S_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
test_bound: in
c
lude
conf
i
g
.
h for HAVE
_
SYS_TI
M
ES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
i
scc: add vertice
s
operations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optionally
u
se isl to perform parame
t
ric
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoo
l
a
e
ge
u
p
da
t
e isl-polylib for handling of
r
ational sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
drop d
i
stinction bet
w
een barvinok-
c
ore and
b
arvinok
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoola
e
ge
r
em
o
ve bernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
updat
e
isl f
o
r
ge
n
eric isl_pw
_
qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
aege
configur
e
.
in: dr
o
p bv_o
m
ega_
p
rogr
a
m
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Ver
d
oolae
g
e
iscc: parse barvinok options
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
ex
p
o
r
t isl_qpolyno
m
ial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n
V
e
r
d
ool
a
ege
Mak
e
file
.
am: drop de
p
endence on
d
o
c/omega
.
t
e
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
update isl
f
o
r ren
a
me of i
s
l_pw_qpoly
n
o
m
ia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
verif_e
h
rhart
.
c: add m
i
ssing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doolaege
configur
e
.
in:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use
isl for argument
p
arsi
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
upd
a
te i
s
l for keeping tr
a
ck of
us
e
r
o
p
tion
s
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
V
e
rdoolaeg
e
test_boun
d
:
r
ewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoolaege
update isl fo
r
h
e
lp message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdo
o
laege
remove eval
u
e_optimum
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdoolaege
remove evalue_
r
a
nge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaege
t
e
st_bound: use isl interface for computing bo
u
nds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoo
l
aege
barvinok_bo
u
nd: us
e
isl inter
f
ace fo
r
compu
t
ing bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
is
c
c: su
p
port
u
b
even if GiNaC support
was not compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
ad
d
gener
i
c isl_pw_qpo
l
ynomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
e
rdoolaege
update is
l
for
i
s
l
_p
w
_qpolynom
i
al_bound_ran
g
e
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
ege
test_b
o
und: use isl
d
uring ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdoolaege
barvinok_bound: use isl dur
i
ng v
e
rification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
veri
f
y
.
c:
extract s
o
m
e
helper functions for isl
b
ased
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
laege
int
r
o
d
uce "boun
d
" option
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Ver
d
ool
a
ege
options
.
c: fix
printf
f
ormat
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoolaege
iscc: a
d
d app
l
ic
a
ti
o
n operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
doolaege
i
s
cc: add read operati
o
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
iscc: free optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
update isl for reading of strings
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n
V
erdoolaege
u
p
date isl
for fix in isl_printer_prin
t
_pw_
q
po
l
y
nomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
upda
t
e
i
s
l
-polylib for change
in pkg-conf
i
g
f
ile
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n Ver
d
oolaege
iscc: allow s
p
ec
i
ficati
o
n of ou
t
put for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoo
l
aege
update isl f
o
r change in
isl_set_gi
s
t argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for rename
o
f is
l
_m
a
p_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdoolaege
configu
r
e
.
in: add isl
f
lags and l
i
b
s
to p
k
g-co
n
fig
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
Verdoolaege
iscc: test isl_stream for
e
o
f rather than the underly
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoola
e
g
e
iscc:
a
dd deltas o
p
era
t
ion
commit
|
commitdiff
|
tree
2010-04-07
S
ven Verdool
a
ege
update isl f
o
r fix
i
n i
s
l
_map_delta
s
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
d
rop b
a
rvinok
_
enumera
t
e_pip
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
S
v
e
n Verdoo
l
a
e
g
e
iscc:
a
d
d cross prod
u
ct ope
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sven Ve
r
doolaege
isc
c
: add coalesce oper
a
t
ions
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oola
e
ge
update isl
for isl_pw_q
p
olynomial_co
a
lesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega co
u
nting c
a
l
culator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolae
g
e
test_bo
u
n
d
.
cc:
fix
printf
f
ormat
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdoolaege
be
r
nstein
.
cc: fix
printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven V
e
r
d
oolaege
evalue_range_pro
p
a
g
ation: fi
x
sub
s
titution for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
berns
t
ein/configure
.
i
n: use absolute
srcdir
of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verd
o
olaege
only distribut
e
bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
S
v
en
Verdoolaege
up
d
at
e
omega f
o
r
configura
t
ion issu
e
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
configure
.
in: allow "build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
ool
a
eg
e
i
s
l_q
p
o
l
ynomial_f
o
ld_f
r
om_ginac
:
handle
f
a
i
l
n
o
des
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
olaege
isl_qpolynomial_from_ginac:
e
xpand ex
b
efore inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
is
l
_
obj_list
.
c: update
to
use of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
i
s
cc: add gist
o
perations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
updat
e
isl for introducti
o
n of isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpoly
n
o
mial_
u
pper_bound: set up va
r
i
able vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Ve
r
doola
e
ge
iscc: add som
e
comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc: add inver
s
e
operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
scc:
f
i
x
up type
o
f find_matching_bin
_
op
commit
|
commitdiff
|
tree
2010-03-14
S
v
e
n
Verdoolaege
iscc:
add
affine
hul
l
operation
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n V
e
rd
o
olaeg
e
iscc: add
o
peration to construct un
i
v
e
r
s
al m
a
p
f
rom
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolae
g
e
iscc: add "j
o
i
n
" o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add inte
r
sect_domain ope
r
ation
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
er
d
oola
e
ge
iscc: allow overloading binary
o
ps
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doo
l
a
ege
iscc: add
more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n Verdoolaege
d
oc: reorganize table of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doolaege
u
pdate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdo
o
laege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verd
o
olaege
AUTH
O
RS: u
p
date
s
upport infor
m
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
and
o
mvector: double size of coef
f
ic
i
e
nts on each at
t
empt
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolae
g
e
iscc: support tra
n
sit
i
ve
closure
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdo
o
l
a
ege
u
pda
t
e isl to
version
0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Ver
d
o
ol
a
e
g
e
ba
r
vinok_
e
.
cc
:
enum
e
rate_vd: remov
e
unused variables
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
evalue
.
c: Polyhedron_Insert:
ad
d
missin
g
r
e
turn type
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
d
oola
e
ge
e
v
alue
.
c: reduce_ev
a
lue: remove
unused vari
a
ble
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdool
a
ege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ver
d
oolae
g
e
iscc
:
a
d
d "ub"
commit
|
commitdiff
|
tree
2010-03-09
S
ven
V
erdoolaege
add
i
sl_pw_qpolynom
i
a
l_u
p
pe
r
_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdo
o
laege
isc
c
: add
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sven
Ve
r
dool
a
ege
add is
l
_pw_qpolynomial_su
m
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add isl_pw_qpoly
n
o
mial_to_evalue
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdo
o
laege
upd
a
te isl fo
r
isl
_
pw_qpolynomial_f
o
reach_piece
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
rename e
v
al
u
e2isl to
i
s
l_pw_qpo
l
yn
o
mi
a
l_
f
rom_ev
a
l
u
e
commit
|
commitdiff
|
tree
2010-03-06
Sven
Verdo
o
laege
iscc: det
e
ct
m
ore k
i
nds of
erro
r
s
commit
|
commitdiff
|
tree
next