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
Verdo
o
lae
g
e
ba
r
vin
o
k 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sven Ve
r
doolaege
upda
t
e isl to vers
i
on 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Ver
d
oolaege
configure
.
in:
prop
e
r
l
y
add isl
f
lags and libs
to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Verdo
o
laege
configure
.
in: drop call to gl_EA
R
L
Y
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verdoolaege
g
enfun
.
cc
:
f
ix print
f
for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oo
l
aege
test_approx
.
c: fi
x
pri
n
t
f format
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
test_b
o
und
.
c:
fix printf
format
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ve
r
doola
e
ge
configu
r
e
.
in: stop
c
omp
i
l
ing Om
e
ga
b
y defaul
t
commit
|
commitdiff
|
tree
2010-06-28
Sven
Verdoolaege
verify_le
x
smaller
.
c:
fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-27
Sven V
e
rdoolae
g
e
evalue
.
c: a
v
oid
use
o
f
a
l
l
o
ca
commit
|
commitdiff
|
tree
2010-06-26
S
ven Verdoolaege
e
value_isl
.
c
:
fix typo
commit
|
commitdiff
|
tree
2010-06-20
S
v
en Verdoolaege
iscc: recover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
d
oolaeg
e
update is
l
for improved
e
rror handl
i
ng
commit
|
commitdiff
|
tree
2010-06-19
Sve
n
Ve
r
doolaege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
S
v
en Verdoolae
g
e
doc
:
iscc
:
updat
e
documenta
t
ion
of
"
u
b" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
test_approx: in
c
lu
d
e ctype
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Verdo
o
lae
g
e
test_appro
x
: in
c
lu
d
e config
.
h for HAVE_SYS_TI
M
ES
_
H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n
V
e
rdoolaege
t
e
st_bound: include conf
i
g
.
h
for HAV
E
_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdool
a
ege
isc
c
:
add vertices operat
i
o
ns
commit
|
commitdiff
|
tree
2010-06-12
S
ven Ve
r
doolaege
o
p
tionall
y
u
s
e isl to perform parametric vertex en
u
m
eration
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
V
erdoolaege
update isl-p
o
lylib for handli
n
g of rational s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
S
v
en V
e
rdo
o
laege
dr
o
p distinction between barvinok-core a
n
d barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven Verdoolae
g
e
remove berns
t
e
in
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
upd
a
te isl for generic isl_pw_qpolynomi
a
l_bo
u
nd
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoo
l
a
ege
config
u
re
.
in: drop
b
v_omega_pr
o
gram
s
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
add isl_ctx_peek_barvinok_options
commit
|
commitdiff
|
tree
2010-06-07
Sven Ve
r
doolaege
i
scc: parse barvinok
o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdool
a
e
g
e
ex
p
ort isl_qpolynomial_from_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdoolaege
Makefi
l
e
.
am: drop depen
d
ence on
d
o
c
/omega
.
t
ex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
rdoolaeg
e
updat
e
isl for rena
m
e o
f
i
s
l_pw_qpoly
n
omia
l
_move
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oolaeg
e
ver
i
f_e
h
r
h
a
rt
.
c: ad
d
missing
i
nclude
commit
|
commitdiff
|
tree
2010-06-01
S
v
en V
e
rdoola
e
g
e
configur
e
.
i
n:
f
ix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdo
o
laege
use isl for a
r
g
u
ment p
a
rsing
commit
|
commitdiff
|
tree
2010-06-01
Sv
e
n Verdoolaege
upda
t
e isl for keep
i
ng track of user option
s
commit
|
commitdiff
|
tree
2010-05-19
S
ven Verdoolaege
test_bound: rewr
i
te in C
commit
|
commitdiff
|
tree
2010-05-19
Sven Ver
d
o
olae
g
e
update is
l
for help message printing
commit
|
commitdiff
|
tree
2010-05-15
Sven V
e
rdoolaege
remove evalue_
o
ptimum
commit
|
commitdiff
|
tree
2010-05-15
Sven
Verdoo
l
aege
remove evalue_rang
e
_propagatio
n
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdo
o
laege
test_bound: use
isl interface fo
r
com
p
ut
i
ng
bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
ba
r
vino
k
_
b
ound: u
s
e isl interf
a
c
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
V
erdo
o
laege
i
s
cc:
s
u
p
po
r
t ub even if
GiNaC
s
upport was not compiled in
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
add
g
ener
i
c isl
_
pw_qpolynomia
l
_
b
oun
d
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
e
rdoolaege
upda
t
e isl for isl_
p
w
_q
p
o
l
yno
m
ial
_
bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
test_bound:
use isl during verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
e
n
Verdool
a
e
ge
barvinok_bound:
u
se isl durin
g
ver
i
fic
a
t
i
on
commit
|
commitdiff
|
tree
2010-05-14
S
ven
Verdoola
e
ge
verif
y
.
c:
extract some
h
elper functio
n
s for isl base
d
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven
Ve
r
doolaege
i
ntroduce "boun
d
"
o
ption
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaeg
e
op
t
io
n
s
.
c: fix printf form
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sv
e
n
Verdoolaege
iscc: add application oper
a
tion
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Ver
d
oolaege
i
scc: add read
opera
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
is
c
c: fr
e
e options
commit
|
commitdiff
|
tree
2010-04-24
Sven Ve
r
dool
a
ege
updat
e
isl for reading of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
updat
e
isl f
o
r fix in
isl_printer
_
pr
i
n
t_pw_qpol
y
n
omial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
V
e
rdoolaege
up
d
ate
i
sl-polylib fo
r
chan
g
e in
p
kg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
v
en Verdoolaege
iscc:
allow specificat
i
on
of output for
m
at
commit
|
commitdiff
|
tree
2010-04-13
Sven Verd
o
olaege
update
i
sl
for change in isl_
s
e
t
_
gist argument
commit
|
commitdiff
|
tree
2010-04-11
Sven Verdoolaege
update isl for rename of isl_ma
p
_
m
ove
commit
|
commitdiff
|
tree
2010-04-10
S
v
en Verdoolaege
c
o
n
fi
g
ure
.
in: add isl fla
g
s and li
b
s to pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoolaege
iscc: test isl_st
r
eam f
o
r eof rather than the und
e
rlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
i
s
cc: add
d
e
l
t
as operation
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verdoolaege
up
d
ate i
s
l for fix in
isl_map_del
t
as
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoola
e
ge
drop barvi
n
o
k
_e
n
um
e
rate_pip_wi
t
h_optio
n
s
commit
|
commitdiff
|
tree
2010-04-01
Sve
n
V
e
r
d
oo
l
aege
i
s
cc
:
add
c
ross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven
Verdoo
l
a
e
ge
iscc
:
add coalesce operati
o
ns
commit
|
commitdiff
|
tree
2010-03-30
Sven Verdoolaege
u
pdate
i
sl for i
s
l_pw_qpol
y
nomia
l
_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
ool
a
ege
drop "Omega
c
o
unting
c
alcul
a
tor"
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdo
o
laege
test_bound
.
cc: fi
x
print
f
for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sve
n
V
erdoola
e
ge
bernstein
.
cc: fix printf for
m
at
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdo
o
l
aege
evalue_r
a
nge_prop
a
g
a
tion: fi
x
substitution fo
r
n
e
ga
t
iv
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
S
v
e
n Verdoolae
g
e
berns
t
e
i
n/c
o
nfigure
.
in: use
a
bsolute sr
c
di
r
of
PolyLi
b
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aege
only
dist
r
ibut
e
bundl
e
d submo
d
u
l
es
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
update omega fo
r
configura
t
ion
issue
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Verdoolaege
co
n
figure
.
in:
allow
"
bui
l
d" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sven V
e
r
d
oolaege
isl_qpolynomial_fol
d
_from_ginac: handle fail
n
odes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
isl_qpolyno
m
ial
_
from_ginac
:
expan
d
ex before i
n
s
pection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdo
o
laege
isl_obj_list
.
c: upd
a
te to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
i
s
cc: add
g
ist operations
commit
|
commitdiff
|
tree
2010-03-18
Sven
V
erdoolaege
upd
a
te is
l
for introduction of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
e
n
Verdoo
l
aege
isl_pw_qpolynomi
a
l_
u
pper_bound: set u
p
variable
v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven
V
erdoolaege
iscc: add some co
m
p
arison operat
i
ons
commit
|
commitdiff
|
tree
2010-03-15
S
v
en Verdoolaege
i
scc:
add i
n
vers
e
operation
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
iscc
:
f
i
x up type of find
_
matc
h
ing_bin_o
p
commit
|
commitdiff
|
tree
2010-03-14
Sven Ve
r
doolae
g
e
iscc: add affine
hull ope
r
ation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
laege
isc
c
: add
operation to construct unive
r
sa
l
map fro
m
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoolaege
isc
c
:
add "join" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
aege
iscc: add intersect_
d
omain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
isc
c
:
al
l
ow ove
r
loading binary
ops
commit
|
commitdiff
|
tree
2010-03-14
S
ven Verdool
a
ege
i
s
cc: a
d
d
m
ore dom ope
r
ations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en V
e
rdool
a
ege
doc: reorganize table
of is
c
c operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
update
i
sl
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaeg
e
ba
r
v
i
n
o
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoo
l
aege
A
U
THORS: update suppo
r
t i
n
formation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvecto
r
: double size of coe
f
ficients on each attempt
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
e
rdoola
e
ge
iscc:
sup
p
ort transitive closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
S
ve
n
Ve
r
d
oolaege
u
p
date i
s
l to version 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
barvinok_e
.
cc: enume
r
a
te
_
vd: remove unused variab
l
es
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
evalue
.
c: Polyhedron_Inser
t
: add m
i
s
s
i
n
g return type
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdool
a
ege
evalue
.
c: reduce_eval
u
e: remove unused variable
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n
V
e
r
doolaege
iscc:
add @ oper
a
to
r
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaeg
e
iscc:
add "ub"
commit
|
commitdiff
|
tree
next