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
S
v
en Verd
o
o
laege
barv
i
nok 0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sve
n
Ver
d
o
o
laege
update isl to
ve
r
sion 0
.
03
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
configure
.
i
n
:
p
r
operly add i
s
l
f
lags
a
n
d libs to pkg
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
S
ven Verd
o
olaege
c
o
nfig
u
re
.
in:
drop c
a
ll to gl
_
EARL
Y
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
genfu
n
.
cc:
f
ix
prin
t
f fo
r
mat
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdo
o
laege
tes
t
_
approx
.
c:
f
ix
pr
i
n
t
f forma
t
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
t
e
st_b
o
und
.
c:
f
ix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
c
o
nfig
u
re
.
i
n
: sto
p
compiling O
m
ega by def
a
ult
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolaeg
e
v
e
rify_lexsmalle
r
.
c: fix typ
o
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdo
o
l
a
ege
evalue
.
c:
a
v
oid use of
alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven V
e
r
d
o
olaege
e
value_isl
.
c: f
i
x
typo
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdo
o
la
e
ge
iscc: recover fro
m
errors
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdoolaege
update isl for improved er
r
or h
a
ndling
commit
|
commitdiff
|
tree
2010-06-19
S
v
e
n Verdool
a
ege
iscc
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sven Verdoolaege
doc: iscc: update d
o
cumen
t
ation of
"
ub" operator
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
tes
t
_
appr
o
x: include ctyp
e
.
h for isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
tes
t
_appro
x
: include config
.
h for HAVE_SYS_TIM
E
S_H
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rd
o
ol
a
ege
test_bound: inclu
d
e confi
g
.
h for
H
AVE_SYS_TIMES_
H
commit
|
commitdiff
|
tree
2010-06-12
Sven Ver
d
oolaege
i
s
cc: add
v
e
r
t
i
ces ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoola
e
ge
optionall
y
use is
l
to perform parametric vertex en
u
meration
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
d
o
olaege
update is
l
-polylib for hand
l
ing of ration
a
l
s
ets
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n Verdoolaege
d
r
op di
s
tinction betw
e
en barvinok-core and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven Ve
r
doolaege
remove
b
ernstein
commit
|
commitdiff
|
tree
2010-06-12
Sven Verd
o
olaege
up
d
ate isl
f
or
g
ene
r
ic isl_pw_qpolynomial_b
o
und
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
c
o
nf
i
g
ure
.
in: drop
bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoola
e
ge
add
i
sl_ctx_peek_
b
ar
v
inok_opti
o
ns
commit
|
commitdiff
|
tree
2010-06-07
Sve
n
Verdoolaege
iscc
:
p
ars
e
b
a
rvinok options
commit
|
commitdiff
|
tree
2010-06-01
S
ven Verdoolae
g
e
export isl
_
qpolynomial
_
fr
o
m_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoo
l
a
e
g
e
M
a
kefile
.
am: drop dependence
on d
o
c/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
S
ve
n
Verdoo
l
aege
update isl for
rename of
i
sl_p
w
_qpolynom
i
a
l_m
o
ve
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
veri
f
_e
h
rhart
.
c:
a
d
d missing incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
Sve
n
Verdool
a
ege
configure
.
in: fix
t
ypo
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
er
d
oolaege
u
s
e isl
f
o
r
argument parsing
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verd
o
olaege
update
i
sl for k
e
eping track of
u
ser options
commit
|
commitdiff
|
tree
2010-05-19
Sven Ve
r
doo
l
aege
test_bound: rewrite
i
n C
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdoo
l
aege
update isl for
he
l
p message print
i
ng
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolaege
remove evalue_optimum
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdool
a
ege
remove
eva
l
ue_ra
n
ge_propagation
commit
|
commitdiff
|
tree
2010-05-15
Sve
n
Verdo
o
laege
te
s
t_bound: use
isl
int
e
rface for com
p
uting bounds
commit
|
commitdiff
|
tree
2010-05-15
S
ven Ve
r
doolaege
barvinok_boun
d
:
u
se isl interface for
comput
i
n
g
bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verd
o
ola
e
ge
iscc: supp
o
rt ub
e
ven if GiNaC su
p
port
w
as not compiled
i
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
doolaege
add generic
is
l
_pw
_
qpolyno
m
ial_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
a
e
ge
update isl f
o
r isl_pw_qpolyn
o
m
ial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Verd
o
olaege
test_bound:
us
e
i
s
l during veri
f
ication
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
barvinok_bound: use isl during ve
r
if
i
cation
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
Verdoolaege
verify
.
c: extract some h
e
lper function
s
f
o
r isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Ve
r
doolaege
intro
d
uc
e
"boun
d
"
option
commit
|
commitdiff
|
tree
2010-05-14
Sven V
e
rdoolaege
option
s
.
c: fix
p
rintf for
m
a
t
commit
|
commitdiff
|
tree
2010-05-10
Sven Verd
o
olaege
iscc: add ap
p
lication operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolae
g
e
iscc: a
d
d read o
p
eration
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoola
e
ge
i
scc: free optio
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
update isl for rea
d
ing
of strings
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
d
o
olae
g
e
u
pdate isl for fix
i
n is
l
_printer_print_pw_qpolynomial
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
update i
s
l-polylib f
o
r chang
e
in pkg-config file
commit
|
commitdiff
|
tree
2010-04-21
S
ven Verdo
o
laege
iscc: allow speci
f
ication of
output format
commit
|
commitdiff
|
tree
2010-04-13
S
v
e
n Ver
d
oolaeg
e
up
d
at
e
isl
for ch
a
n
g
e in is
l
_set_gist
a
rgument
commit
|
commitdiff
|
tree
2010-04-11
S
ven
V
erdoo
l
aege
update isl f
o
r rename of isl_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven
V
erd
o
ol
a
ege
configure
.
in: ad
d
isl fl
a
gs
a
n
d
l
i
b
s
t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sv
e
n Verd
o
o
l
a
ege
i
s
cc: te
s
t isl
_
stream for eof rather than the under
l
y
i
ng
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: add deltas operati
o
n
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdo
o
l
aege
update isl for
f
ix in is
l
_
map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoolaege
drop
b
ar
v
inok
_
enumerate_pip_
w
ith_o
p
t
ions
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
isc
c
: add cross product operations
commit
|
commitdiff
|
tree
2010-03-31
Sven
Verdoo
l
aege
iscc: add coalesce o
p
erations
commit
|
commitdiff
|
tree
2010-03-30
S
ven Ve
r
doolaege
upda
t
e i
s
l
for isl_
p
w_
q
po
l
ynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
Verdool
a
ege
drop "Omega coun
t
ing calculator
"
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
test_bound
.
cc:
f
i
x
p
rint
f
format
commit
|
commitdiff
|
tree
2010-03-27
S
v
en Verdoolae
g
e
bernstei
n
.
cc: fix p
r
intf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
evalu
e
_
range_propagation: fix s
u
bstitution for negative
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
bernstein/configure
.
in: use absol
u
te
s
r
cdir of Poly
L
ib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
dool
a
ege
only distrib
u
te bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Ver
d
oola
e
g
e
update omega for c
o
n
figura
t
ion issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laeg
e
configure
.
in: all
o
w "build" Poly
L
i
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoo
l
aege
isl_qpolynomial_fo
l
d
_
fr
o
m_ginac: hand
l
e fail
nodes
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ver
d
ool
a
ege
isl_qpolynomial_from_ginac: ex
p
and ex before
i
ns
p
ection
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Verdoolaege
isl_o
b
j_list
.
c: update to use of isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoola
e
ge
iscc: a
d
d gist oper
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doolae
g
e
update isl
f
or introduction
o
f isl_printer
commit
|
commitdiff
|
tree
2010-03-18
S
v
en
V
erdool
a
ege
isl_pw
_
qpo
l
ynomial_upper_bound: set up vari
a
b
l
e vector
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
la
e
ge
iscc: add some c
o
mp
a
rison ope
r
at
i
on
s
commit
|
commitdiff
|
tree
2010-03-15
Sv
e
n
Ver
d
oolaege
i
scc: add inverse opera
t
ion
commit
|
commitdiff
|
tree
2010-03-15
S
ven Verd
o
olaege
iscc: fix up type
of
find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven V
e
rdoola
e
ge
iscc: ad
d
affine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc: add o
p
er
a
tion
to const
r
uct universal ma
p
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
i
s
cc: add "join
"
oper
a
tion
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdo
o
l
a
ege
iscc
:
ad
d
intersect_
d
om
a
in ope
r
at
i
o
n
s
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoola
e
ge
iscc: allow overloading binary o
p
s
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc:
a
dd mo
r
e
d
om operations
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Verdoola
e
ge
do
c
:
r
e
o
rganize tabl
e
of is
c
c oper
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sve
n
Ve
r
d
o
olae
g
e
u
p
date isl
commit
|
commitdiff
|
tree
2010-03-10
Sv
e
n Verdoo
l
a
ege
barvino
k
0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
A
U
THORS: update s
u
p
p
ort inf
o
r
m
ation
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolae
g
e
randomvector: d
o
u
b
l
e size of coeffic
i
e
nts
o
n each att
e
mpt
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
isc
c
:
s
up
p
ort transitive
c
l
osure
commit
|
commitdiff
|
tree
2010-03-10
Sven
Verdool
a
eg
e
u
p
date isl to
v
ersi
o
n 0
.
0
2
commit
|
commitdiff
|
tree
2010-03-09
Sven Verd
o
olaege
barvino
k
_
e
.
cc: enu
m
era
t
e_vd: remo
v
e u
n
used variable
s
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
evalue
.
c: Polyhe
d
r
on_In
s
ert:
a
d
d missi
n
g ret
u
rn type
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolaege
e
v
alue
.
c:
reduce_evalu
e
: rem
o
ve unused variab
l
e
commit
|
commitdiff
|
tree
2010-03-09
Sv
e
n Verdoolae
g
e
is
c
c: add @
ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoo
l
aege
iscc: ad
d
"ub"
commit
|
commitdiff
|
tree
next