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
barvinok 0.31
2010-06-29
Sven
Ver
d
oolaege
b
arvi
n
o
k
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
update is
l
to ver
s
ion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en
V
erd
o
olaege
c
o
nfigure
.
in: pr
o
p
e
r
ly add isl flags and l
i
bs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ve
r
doolaege
configure
.
i
n
: drop
call t
o
gl_E
A
RLY
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolae
g
e
genf
u
n
.
cc: fix printf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
t
est_approx
.
c
:
fix printf
f
orma
t
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
test_bound
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
o
n
figure
.
in: stop compili
n
g
O
meg
a
by d
e
fau
l
t
commit
|
commitdiff
|
tree
2010-06-28
Sv
e
n V
e
rd
o
ol
a
ege
ver
i
fy_lexsmaller
.
c: fix
ty
p
o
commit
|
commitdiff
|
tree
2010-06-27
Sve
n
Ver
d
oolae
g
e
evalue
.
c:
avo
i
d
us
e
of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven Verdoolaege
evalue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoo
l
aege
iscc: reco
v
er from error
s
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
e
rdoolaege
up
d
ate isl for improv
e
d
erro
r
h
a
ndlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdoolaege
iscc
.
c
:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdo
o
laege
doc: iscc:
u
pdate do
c
umen
t
ation of "ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_approx:
i
nclude c
t
y
pe
.
h f
o
r isspac
e
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
ae
g
e
test_appr
o
x
:
in
c
lude
c
onfig
.
h for H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaeg
e
test_boun
d
:
include config
.
h for
H
AVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
iscc
:
ad
d
v
e
r
t
i
ces
o
p
e
rations
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaege
optionally use isl
to perfo
r
m
param
e
tric
v
ertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
g
e
update isl-poly
l
ib for handl
i
ng of rat
i
onal sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
d
rop distinct
i
on
betw
e
en barvi
n
ok-cor
e
an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
r
doolaege
remove b
e
rnstein
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verd
o
olaege
update
i
sl fo
r
generic isl_pw_qpolynom
i
al_bound
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
confi
g
ure
.
in:
d
rop bv_omega_progr
a
ms
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add i
s
l_c
t
x
_peek_bar
v
inok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven
V
erdool
a
ege
iscc: parse barvinok optio
n
s
commit
|
commitdiff
|
tree
2010-06-01
S
v
e
n Verd
o
olaege
exp
o
rt isl_
q
polynomial_f
r
om_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: dro
p
dependence on
doc/omega
.
te
x
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
updat
e
i
sl
for rena
m
e
of isl_pw_qpoly
n
omial_
m
ove
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oola
e
ge
verif_ehrhart
.
c: add missing include
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
c
onfigure
.
i
n
: f
i
x
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
use isl for arg
u
men
t
pars
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
update isl
f
or keepin
g
track
of u
s
er options
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
erdoolaege
test_b
o
und: rewrite i
n
C
commit
|
commitdiff
|
tree
2010-05-19
Sv
e
n Verdoolaege
u
pdate isl f
o
r help
message
print
i
n
g
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
rem
o
ve evalue_opt
i
mum
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verd
o
olaege
remov
e
evalue
_
r
ange_propagat
i
on
commit
|
commitdiff
|
tree
2010-05-15
Sven Ver
d
oola
e
ge
t
e
st_bound: use isl in
t
erfa
c
e fo
r
c
o
m
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
barvinok_bound: use isl interface for
c
omputing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
oolaege
isc
c
:
suppor
t
ub even if GiNaC sup
p
ort
was n
o
t comp
i
led in
commit
|
commitdiff
|
tree
2010-05-14
S
ven V
e
rdoolaege
add
g
eneric
isl_pw_qpolyn
o
mial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdoola
e
ge
update isl
f
or isl_
p
w_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
t
est_bound: use isl during ve
r
ification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_b
o
und: use isl during
v
erification
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
v
erify
.
c: extract
s
ome helper
f
uncti
o
n
s
for
is
l
based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bound"
opt
i
on
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
o
ptio
n
s
.
c: fix p
r
intf fo
r
mat
commit
|
commitdiff
|
tree
2010-05-10
S
ven
V
erdo
o
laege
isc
c
: add appli
c
ation operations
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n Ve
r
doolaege
i
s
cc:
a
dd r
e
ad operation
commit
|
commitdiff
|
tree
2010-04-24
Sv
e
n V
e
rdoolaege
i
scc:
f
ree optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
u
p
date i
s
l for r
e
ading
of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update isl
f
or fix in isl_printer_prin
t
_pw_qp
o
l
y
nomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sv
e
n Verd
o
olaege
update isl-polylib for change in
pkg-co
n
f
i
g
file
commit
|
commitdiff
|
tree
2010-04-21
Sven V
e
rd
o
olaeg
e
iscc:
a
llow sp
e
cifica
t
ion of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n Verdoolaege
u
p
date isl for
ch
a
ng
e
in isl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven V
e
rdoola
e
ge
u
pda
t
e isl fo
r
r
e
nam
e
of
i
sl_
m
ap_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verdool
a
ege
configure
.
i
n
:
a
dd i
s
l flags and l
i
bs
to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test
isl_stream for
e
of
rather
than the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n Ver
d
o
o
laeg
e
iscc: a
d
d deltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
dool
a
ege
u
pdate isl
for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Ve
r
do
o
laege
d
r
o
p
barvinok_enumerate_pip_w
i
th_options
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
Verdo
o
laege
iscc: add
c
r
oss p
r
oduct o
p
erations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoolaege
i
scc: add coalesc
e
operations
commit
|
commitdiff
|
tree
2010-03-30
S
ven Verdoolaege
up
d
ate
i
sl
for
isl_p
w
_qpolyno
m
i
al_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
drop "Omega counting c
a
lculato
r
"
commit
|
commitdiff
|
tree
2010-03-27
Sv
e
n Verdo
o
lae
g
e
test_bound
.
c
c: f
i
x prin
t
f f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix printf
f
orm
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propag
a
tio
n
: fix sub
s
titution for
n
egat
i
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoola
e
g
e
berns
t
ein
/
configure
.
in: u
s
e
a
bso
l
ute
srcdir of Po
l
yLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only di
s
tr
i
but
e
bundled submodu
l
e
s
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
update o
m
ega f
o
r c
o
nf
i
g
u
ration is
s
ue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
a
e
ge
confi
g
ure
.
in: allow
"
build" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaege
isl
_
q
pol
y
n
o
m
i
al_f
o
ld
_
from_
g
inac: han
d
le
f
ail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rdoolaege
isl_qpolynomial_fro
m
_ginac: expand
ex before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven
Verdoo
l
a
e
ge
isl_ob
j
_list
.
c
: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
laege
i
scc: add g
i
s
t
opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolaege
update isl
for introd
u
ction
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpolynomial_upper_bound:
set up variable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
iscc: add
some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
i
scc: ad
d
inverse operation
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verdo
o
laege
is
c
c: fix up type
o
f
f
ind_matchi
n
g
_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
isc
c
: add affin
e
hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doola
e
ge
i
scc: add operation to
c
o
nstruct universal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc
:
add
"
joi
n
" opera
t
ion
commit
|
commitdiff
|
tree
2010-03-14
S
ven
Verdoolaege
iscc:
add intersect_
d
om
a
i
n
o
perations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: allow overloading binar
y
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc:
add more do
m
opera
t
ions
commit
|
commitdiff
|
tree
2010-03-14
S
ve
n
Ve
r
doolaege
doc
:
reorganize t
a
ble of iscc operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
b
a
rvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
AUTHORS: upda
t
e
support information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
r
andomvect
o
r
:
double
s
ize of coefficie
n
ts
o
n
each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Ver
d
oolaege
iscc: su
p
p
o
rt tr
a
nsitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ver
d
o
o
laege
update isl to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
barvino
k
_e
.
cc: e
n
umerate_vd: remove unuse
d
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Ver
d
o
olaege
evalu
e
.
c: Polyhedron_I
n
sert:
add missing re
t
urn type
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
evalue
.
c: red
u
c
e
_evalue:
r
emo
v
e unus
e
d variabl
e
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoo
l
aeg
e
i
scc: add
@
operator
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Ve
r
doolaege
iscc:
a
dd "u
b
"
commit
|
commitdiff
|
tree
next