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 Verdoolaege
barvinok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
update isl to version 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven V
e
rdoolaege
configure
.
i
n: properly add
isl
fl
a
g
s
a
nd libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
configure
.
in: drop call
to
g
l
_EARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verd
o
ol
a
e
g
e
genfun
.
c
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
olaege
test_approx
.
c: fix print
f
f
o
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rd
o
olae
g
e
t
e
s
t_bound
.
c: fix
p
r
intf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
V
e
rdoolaege
configure
.
i
n: stop compiling Om
e
ga by default
commit
|
commitdiff
|
tree
2010-06-28
S
ven
V
erdoolaeg
e
veri
f
y_lexsma
l
ler
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sv
e
n Verdoolaege
evalue
.
c: avoid u
s
e
of allo
c
a
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
rdoolaeg
e
ev
a
lue_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven
Verdoo
l
aege
i
s
cc: r
e
cover
f
ro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaege
update isl fo
r
i
m
p
r
o
v
ed er
r
or handlin
g
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
laege
iscc
.
c:
fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven
Verd
o
ola
e
ge
doc: iscc:
u
pdate
d
ocumentation of
"ub" op
e
rator
commit
|
commitdiff
|
tree
2010-06-12
S
ven V
e
r
d
oolaege
test_app
r
o
x
:
i
nclu
d
e
c
t
y
p
e
.
h for i
s
space
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
e
r
doolaege
test_
a
p
p
rox: include config
.
h fo
r
HAVE
_
SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdool
a
eg
e
test_bound: inclu
d
e config
.
h for H
A
VE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oolaege
iscc: add ver
t
i
ces o
p
eratio
n
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
o
laeg
e
optionally use isl to perform paramet
r
ic v
e
rtex en
u
mer
a
tion
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoola
e
g
e
u
p
dat
e
isl-po
l
ylib for handli
n
g
of ra
t
ional sets
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
dro
p
distinc
t
i
on between
b
arvinok-
c
ore an
d
barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolaeg
e
rem
o
v
e
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoo
l
aege
update isl for generic isl_pw_qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
V
erdoolaege
c
o
nfigur
e
.
in: drop
b
v_om
e
ga_prog
r
ams
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
add isl_ct
x
_
p
e
ek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
S
ven
V
erdool
a
e
g
e
iscc: pars
e
ba
r
vinok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoola
e
g
e
ex
p
ort
i
sl_
q
poly
n
omial_f
r
o
m_
e
v
alu
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
o
laege
Makef
i
le
.
am:
d
rop dependenc
e
on
d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdo
o
laege
update isl f
o
r rename of
i
sl_pw_q
p
olynomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaege
v
er
i
f_
e
hrhart
.
c: add
m
issing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
olaege
conf
i
gure
.
in:
f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
u
se
isl fo
r
arg
u
ment p
a
rsin
g
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
ege
update isl
f
or keep
i
ng trac
k
of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
laege
test_bound:
r
ewrite
in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Verd
o
ol
a
ege
update isl for help
m
e
s
s
age pr
i
n
t
ing
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove
e
va
l
ue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
S
ve
n
Verdoolaege
remove
e
value_ra
n
ge_prop
a
gati
o
n
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
V
er
d
oolaeg
e
t
e
s
t_b
o
un
d
: use isl interface for co
m
puting boun
d
s
commit
|
commitdiff
|
tree
2010-05-15
Sven Ve
r
doo
l
aege
barvinok_bou
n
d:
u
se isl interface
f
or
c
om
p
uti
n
g
bou
n
ds
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
is
c
c:
s
upport ub even i
f
G
i
NaC support was
n
ot compiled i
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
V
erdoolaege
add
generic is
l
_p
w
_qpol
y
nomial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
er
d
oolaege
update isl for
isl_pw_qpolynomial_bound_r
a
nge
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolae
g
e
te
s
t
_boun
d
: u
s
e isl
d
uring veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
b
arvinok_bound: use isl duri
n
g ver
i
ficati
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n Verdoolaege
verify
.
c: extr
a
c
t some helper fun
c
t
ions for isl
b
as
e
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "bound" option
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
la
e
ge
opt
i
ons
.
c
: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Verdoolaeg
e
iscc: add application o
p
erations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add read operatio
n
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
iscc: fre
e
options
commit
|
commitdiff
|
tree
2010-04-24
S
ven Ver
d
oolaeg
e
u
pd
a
te isl for reading of strin
g
s
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdoolaege
updat
e
is
l
fo
r
fix in isl_
p
rinter
_
print_pw_qpolyno
m
ial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
S
v
e
n
Verdoolaege
u
p
dat
e
isl-po
l
y
l
ib for ch
a
nge in pkg-config
file
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
isc
c
: allow
s
pecifi
c
ati
o
n
o
f output f
o
rmat
commit
|
commitdiff
|
tree
2010-04-13
Sven Verdoolae
g
e
update
i
sl for change
i
n
i
sl_set_gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven
Verdoolaege
u
pda
t
e
is
l
for rename
of isl_map_m
o
ve
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
ola
e
ge
configure
.
in:
a
dd
i
sl fla
g
s and l
i
bs t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n
V
erdoolaege
is
c
c: te
s
t isl_stream
f
or eof r
a
t
h
er
than t
h
e
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
iscc:
add d
e
ltas operation
commit
|
commitdiff
|
tree
2010-04-07
Sven
V
erdoolaege
update is
l
for fix in isl_map_del
t
a
s
commit
|
commitdiff
|
tree
2010-04-04
Sven V
e
r
d
o
o
laege
drop barvinok
_
e
numer
a
te_pi
p
_
with_options
commit
|
commitdiff
|
tree
2010-04-01
S
ven Verdoolaege
i
s
c
c
: add cr
o
ss pro
d
uct operations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verdoo
l
aege
iscc: a
d
d coalesce
operations
commit
|
commitdiff
|
tree
2010-03-30
Sven Verd
o
olaege
update isl for isl_pw_qpol
y
nomial_coale
s
ce
commit
|
commitdiff
|
tree
2010-03-27
S
ven
Verdool
a
ege
dro
p
"Omega co
u
nting c
a
l
cula
t
or"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verd
o
olaege
tes
t
_
bound
.
cc
:
fix
p
rintf format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bern
s
t
e
in
.
cc:
f
ix print
f
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
evalue_range_propagat
i
on: fix s
u
bstitution for ne
g
ative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaeg
e
b
erns
t
ein/configure
.
in: use absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
e
r
d
o
olaege
o
n
ly dist
r
ibu
t
e bundled
subm
o
d
ules
commit
|
commitdiff
|
tree
2010-03-25
S
v
en Verdoolaege
update ome
g
a for
configuration issue
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
rd
o
olaege
configure
.
in: allow "build"
PolyLi
b
commit
|
commitdiff
|
tree
2010-03-25
S
ven
Verd
o
olaege
i
s
l_qpolyno
m
ial_fold_from_ginac
:
handl
e
fail
n
ode
s
commit
|
commitdiff
|
tree
2010-03-25
Sven Ve
r
do
o
lae
g
e
isl_qpolynomial_from
_
g
inac: expand ex befor
e
inspection
commit
|
commitdiff
|
tree
2010-03-25
Sven
V
erdoolaege
isl_obj_list
.
c: updat
e
to use of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n
Ver
d
ool
a
ege
iscc: add gist ope
r
ations
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
update is
l
for in
t
r
o
d
uctio
n
o
f
isl
_
printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdool
a
eg
e
isl_
p
w
_
qpoly
n
omial_up
p
e
r_bound: set up v
a
riable vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven V
e
rdoo
l
aege
i
s
cc: add some comparis
o
n
operations
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n Verdoolaege
is
c
c: add inverse
o
peration
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoo
l
aege
i
s
cc: f
i
x
up
t
yp
e
o
f
find_matchi
n
g_bin_op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
is
c
c:
a
dd affine
h
ull
o
p
eration
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
: add oper
a
tion to construct un
i
v
e
rsal map from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
"
join" oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
rdoo
l
aege
i
scc:
a
dd inters
e
ct_do
m
ain operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Verdoolaege
iscc: allow overloading b
i
nary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven Verd
o
olaege
iscc
:
a
d
d
more
d
o
m oper
a
ti
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoola
e
ge
d
oc:
reorganize table of is
c
c
operations
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
V
erdoolaege
updat
e
isl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
barvinok
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n V
e
rdoolaege
AUTHO
R
S:
update support inf
o
r
m
a
t
i
o
n
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoo
l
aeg
e
ran
d
omvector:
double size of
coefficients on each
atte
m
pt
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n
Verdoolaege
iscc: s
u
pp
o
r
t tr
a
n
sitiv
e
closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
update is
l
to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
rdool
a
ege
barvinok_e
.
cc: enumerate_vd:
r
emove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven V
e
r
do
o
laege
evalue
.
c: P
o
lyhedron_Insert: add
m
issing return
type
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c: r
e
duce_evalu
e
:
r
emove un
u
sed variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
iscc: add @ operator
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoola
e
ge
i
scc:
add "u
b
"
commit
|
commitdiff
|
tree
next