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
oolae
g
e
b
arvinok
0
.
31
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n Verdoolaege
update is
l
to version
0
.
03
commit
|
commitdiff
|
tree
2010-06-29
S
v
en Verdoolaege
confi
g
ure
.
i
n
: pr
o
p
e
rly add isl flags and
libs to
p
k
g
.
.
.
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
confi
g
ure
.
in: dro
p
call
t
o
gl_
E
ARLY
commit
|
commitdiff
|
tree
2010-06-29
Sv
e
n V
e
rdoo
l
aege
gen
f
un
.
cc: fix
printf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
test_appro
x
.
c: fix pri
n
tf format
commit
|
commitdiff
|
tree
2010-06-29
Sven Ver
d
oolaege
test_bou
n
d
.
c:
fix
pri
n
tf fo
r
m
a
t
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
conf
i
g
ure
.
in
:
stop co
m
pili
n
g
O
meg
a
b
y
d
efa
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdoolae
g
e
verify
_
lexsmaller
.
c: fix
typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolae
g
e
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
S
ve
n
Ve
r
doolaege
e
v
alue_isl
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-20
Sven Verdool
a
eg
e
iscc:
r
ecover from errors
commit
|
commitdiff
|
tree
2010-06-20
Sven V
e
rdoolaege
u
p
date isl for impr
o
ved er
r
or
handling
commit
|
commitdiff
|
tree
2010-06-19
Sv
e
n Verdoo
l
aege
iscc
.
c
: fix typo
commit
|
commitdiff
|
tree
2010-06-13
Sve
n
Verdoolaege
doc
:
is
c
c:
u
p
d
ate
d
o
c
u
m
enta
t
ion of "ub"
o
perator
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
laege
test_approx: i
n
clude ctype
.
h for
i
sspace
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Verdoolaege
t
e
st_a
p
prox: include confi
g
.
h for
HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
V
e
r
doolaege
test_bound: include config
.
h
for
HAVE_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sv
e
n Ve
r
doolaege
iscc: add vertic
e
s o
p
erations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
o
ptionally u
s
e
isl to perform
param
e
tric vertex enumeration
commit
|
commitdiff
|
tree
2010-06-12
Sven
Ver
d
oola
e
ge
upda
t
e isl-polylib for handli
n
g of rati
o
nal s
e
ts
commit
|
commitdiff
|
tree
2010-06-12
S
v
e
n
Verdoolae
g
e
d
rop d
i
stinction between barvinok-
c
or
e
and barvinok
commit
|
commitdiff
|
tree
2010-06-12
S
ven
Verdool
a
e
g
e
r
e
mo
v
e be
r
nstein
commit
|
commitdiff
|
tree
2010-06-12
S
v
en
Ver
d
oolaege
update isl
for
g
eneric isl_pw
_
qpolynomia
l
_bound
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Verdoolaege
configur
e
.
in
:
d
rop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
erdoolaege
add
i
sl
_
c
t
x_peek_barvinok_o
p
ti
o
n
s
commit
|
commitdiff
|
tree
2010-06-07
S
ven
Verdoolaeg
e
i
s
c
c
:
parse bar
v
inok o
p
tions
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoo
l
aege
export isl_qpolyno
m
ial_fr
o
m
_evalue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
Makefile
.
am: drop dependence
o
n doc/o
m
ega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
e
r
doolaege
update isl for renam
e
of isl_pw_qpol
y
nomial_mo
v
e
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erd
o
olaege
verif_ehrh
a
rt
.
c: add missing incl
u
de
commit
|
commitdiff
|
tree
2010-06-01
S
v
en Verdoolaeg
e
con
f
igure
.
i
n: fix typ
o
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
oola
e
ge
use i
s
l for a
r
gument pars
i
n
g
commit
|
commitdiff
|
tree
2010-06-01
Sven
V
erdoolaege
u
pdate i
s
l for keeping track of user options
commit
|
commitdiff
|
tree
2010-05-19
Sven Verdo
o
l
a
ege
t
est_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sven
V
e
rdoolaege
update
i
sl
f
or
h
elp message printing
commit
|
commitdiff
|
tree
2010-05-15
Sv
e
n Verdoolaeg
e
remove
evalue_opti
m
um
commit
|
commitdiff
|
tree
2010-05-15
S
v
en Verdoo
l
aege
remove eva
l
u
e
_range_propagati
o
n
commit
|
commitdiff
|
tree
2010-05-15
S
ven V
e
rdoo
l
a
ege
test_b
o
und: u
s
e
isl interfac
e
for computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
b
a
rvin
o
k
_
bound: use isl interface for computing bounds
commit
|
commitdiff
|
tree
2010-05-14
S
v
en
Verdool
a
ege
iscc:
support ub even
i
f GiNaC suppo
r
t was not c
o
mpiled in
commit
|
commitdiff
|
tree
2010-05-14
Sven Ver
d
o
o
laege
a
d
d gen
e
ric isl_pw_qpoly
n
omial_
b
oun
d
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdo
o
laege
upda
t
e isl for isl_pw_qpolynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sven Ve
r
do
o
laeg
e
test_bo
u
nd: use isl during
ver
i
f
i
cat
i
o
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolae
g
e
b
arv
i
no
k
_bound: use isl during verificatio
n
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoola
e
ge
verif
y
.
c
: e
x
t
r
a
ct
some helper functions
for isl based
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
introduce "b
o
und" option
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaege
options
.
c:
fix printf format
commit
|
commitdiff
|
tree
2010-05-10
Sve
n
Ver
d
oolaeg
e
is
c
c: add application opera
t
io
n
s
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
iscc: add read op
e
ra
t
ion
commit
|
commitdiff
|
tree
2010-04-24
Sven
Verdool
a
ege
iscc:
free opti
o
ns
commit
|
commitdiff
|
tree
2010-04-24
Sven
V
erdoolaege
u
pdate i
s
l for rea
d
ing of
strings
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Ve
r
doolaege
update isl fo
r
fix in isl_
p
rinter_pr
i
nt_pw_qpo
l
yn
o
m
i
a
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
update is
l
-polylib for change in
pkg-
c
o
n
fig file
commit
|
commitdiff
|
tree
2010-04-21
Sven Ve
r
doolaege
iscc: allow specification
o
f
out
p
ut
f
orma
t
commit
|
commitdiff
|
tree
2010-04-13
Sven Ve
r
doola
e
ge
u
p
date isl for change i
n
isl_se
t
_gist argu
m
ent
commit
|
commitdiff
|
tree
2010-04-11
Sven
V
e
r
d
oolaege
u
p
d
ate isl for r
e
name of isl_ma
p
_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Ver
d
oolaege
configur
e
.
in: add isl flags and libs
t
o pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc: test
i
sl_stream for eof rat
h
e
r than the
u
nderlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
iscc
:
a
d
d delt
a
s o
p
eration
commit
|
commitdiff
|
tree
2010-04-07
Sven Ve
r
doolaege
up
d
ate i
s
l for fix in isl_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven
Verdoolaege
d
r
op b
a
r
v
inok_enumerate_pip_
w
ith_option
s
commit
|
commitdiff
|
tree
2010-04-01
Sven
Verdoolaege
iscc: ad
d
c
ross produc
t
ope
r
ations
commit
|
commitdiff
|
tree
2010-03-31
Sven
V
erdoolaege
i
scc: add
coa
l
esc
e
operations
commit
|
commitdiff
|
tree
2010-03-30
S
v
e
n
Verdoolaege
update is
l
for
isl_pw
_
qpolyn
o
mial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoo
l
aeg
e
drop
"
Omega co
u
nting calculator"
commit
|
commitdiff
|
tree
2010-03-27
Sven
Ve
r
d
o
olaege
te
s
t_bound
.
cc: fix pr
i
ntf forma
t
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaeg
e
bernstein
.
cc: f
i
x p
r
i
ntf f
o
rm
a
t
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
erdo
o
laege
evalue_range
_
propa
g
ation: fix subs
t
i
t
utio
n
for negativ
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdool
a
ege
b
er
n
st
e
in/configure
.
in: use
absolute srcdir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute bundled submodules
commit
|
commitdiff
|
tree
2010-03-25
S
ven V
e
rdo
o
laege
upd
a
t
e
omega for
c
o
nfiguratio
n
i
ssue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
laege
configu
r
e
.
in: allo
w
"
b
uild"
P
olyLi
b
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdoolaeg
e
isl_qpo
l
yno
m
ial_fold
_
f
r
om_ginac: handle fail nodes
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdo
o
lae
g
e
isl_
q
polynomial_from_ginac:
expa
n
d ex
b
efore inspe
c
tion
commit
|
commitdiff
|
tree
2010-03-25
Sve
n
Ve
r
doolaege
i
s
l_obj_list
.
c
: up
d
at
e
to use o
f
isl_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdo
o
l
a
e
ge
isc
c
: add g
i
st
o
perati
o
ns
commit
|
commitdiff
|
tree
2010-03-18
Sven
Verdoolae
g
e
update
isl fo
r
int
r
oduction of i
s
l_printer
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolae
g
e
isl_
p
w
_
q
polynomial_upp
e
r_bo
u
nd:
s
et
up variable v
e
ctor
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
olaege
iscc: add some comparison operations
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdo
o
laege
iscc: a
d
d inve
r
se
o
p
erat
i
o
n
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c:
f
ix up t
y
pe o
f
find_matching_bin_op
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add af
f
ine hu
l
l operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add
o
per
a
tion to c
o
nstr
u
ct univers
a
l
m
a
p from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
iscc: add "j
o
i
n" operation
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdool
a
e
g
e
iscc: add intersect_
d
omain operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
is
c
c
:
a
ll
o
w overloading b
i
nary
ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erd
o
olaege
i
s
c
c
:
ad
d
more dom op
e
r
a
tions
commit
|
commitdiff
|
tree
2010-03-14
Sv
e
n
Verdoolaege
doc: r
e
organize table of is
c
c o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
up
d
ate isl
commit
|
commitdiff
|
tree
2010-03-10
Sven V
e
rdoolaege
barvinok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdool
a
ege
AUTHORS:
u
pdate
support inform
a
tion
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
ra
n
domvect
o
r: doubl
e
size of coeff
i
cients
on each attempt
commit
|
commitdiff
|
tree
2010-03-10
S
ven
Ve
r
do
o
laege
i
scc: support transitive closure
commit
|
commitdiff
|
tree
2010-03-10
Sven Ve
r
doolaege
update isl to ve
r
sion 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
barv
i
nok_e
.
cc: enumer
a
te_vd:
r
emove unused
variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
eval
u
e
.
c: Poly
h
e
d
ron_Insert: add missi
n
g return
t
ype
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
erdoolaege
ev
a
lue
.
c: reduce_ev
a
lue: remove unuse
d
variable
commit
|
commitdiff
|
tree
2010-03-09
S
ve
n
V
e
rdoolaeg
e
iscc: add @
o
p
e
rato
r
commit
|
commitdiff
|
tree
2010-03-09
Sven
Verdoolaege
iscc: add "ub"
commit
|
commitdiff
|
tree
next