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
genfun.cc: fix printf format
2010-06-29
Sven Verdoola
e
ge
genfun
.
cc: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
S
ven Ver
d
o
o
laege
te
s
t_appr
o
x
.
c: fix printf format
commit
|
commitdiff
|
tree
2010-06-29
Sven
Verdoolaege
tes
t
_bou
n
d
.
c:
f
ix
p
rintf for
m
at
commit
|
commitdiff
|
tree
2010-06-29
Sven Verdoolaege
c
onfigure
.
in: stop c
o
mpiling Omega by de
f
a
u
lt
commit
|
commitdiff
|
tree
2010-06-28
Sven Verdo
o
laege
verify
_
lexsma
l
ler
.
c: fix typo
commit
|
commitdiff
|
tree
2010-06-27
Sven Verdoolaege
evalue
.
c: avoid use of alloca
commit
|
commitdiff
|
tree
2010-06-26
Sven
Verdoolae
g
e
ev
a
l
u
e_is
l
.
c
:
f
ix t
y
po
commit
|
commitdiff
|
tree
2010-06-20
Sven
V
erdoolaege
iscc: recov
e
r
from
er
r
ors
commit
|
commitdiff
|
tree
2010-06-20
Sven Ve
r
doolaege
u
p
date i
s
l
for impro
v
ed e
r
r
or handling
commit
|
commitdiff
|
tree
2010-06-19
Sven Verdo
o
l
aege
isc
c
.
c: fix
t
y
p
o
commit
|
commitdiff
|
tree
2010-06-13
Sven Ver
d
oolaege
doc
:
i
s
cc: up
d
ate docum
e
ntation of
"
ub"
operator
commit
|
commitdiff
|
tree
2010-06-12
Sven V
e
rdoolaege
test_
a
pprox: include ctype
.
h
f
or isspace
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdo
o
lae
g
e
t
es
t
_a
p
p
rox: i
n
clude config
.
h for HA
V
E_
S
YS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
test
_
bo
u
nd: include config
.
h f
o
r HAVE_SYS_TIMES_H
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
iscc: add
verti
c
e
s ope
r
ations
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
optio
n
a
lly use i
s
l t
o
perform p
a
rametric vertex enu
m
eration
commit
|
commitdiff
|
tree
2010-06-12
S
v
en Verdoolaeg
e
update
i
sl-polylib for handling of ratio
n
al
s
et
s
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdo
o
laege
d
rop distinction be
t
ween barvinok-co
r
e and barvinok
commit
|
commitdiff
|
tree
2010-06-12
Sven
V
er
d
oolaege
r
e
move bernst
e
in
commit
|
commitdiff
|
tree
2010-06-12
Sven Verdoolaege
update isl
f
or generic isl_pw_qpolynomia
l
_bou
n
d
commit
|
commitdiff
|
tree
2010-06-12
Sve
n
Ver
d
oo
l
aege
configure
.
i
n: drop bv_omega_programs
commit
|
commitdiff
|
tree
2010-06-12
Sven
Verdoolaege
a
d
d
i
sl_ctx_pee
k
_
b
arvinok_
o
ptions
commit
|
commitdiff
|
tree
2010-06-07
Sven Verdoo
l
aege
iscc: parse barvin
o
k
op
t
ions
commit
|
commitdiff
|
tree
2010-06-01
Sven Ve
r
doola
e
ge
export
i
s
l
_
qpo
l
yno
m
ial_from_e
v
alue
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolaege
M
akefile
.
am: drop
dependenc
e
on doc/omega
.
tex
commit
|
commitdiff
|
tree
2010-06-01
Sven Verd
o
ol
a
ege
u
p
date isl for rename of isl_pw_
q
po
l
ynomial_move
commit
|
commitdiff
|
tree
2010-06-01
S
v
en
Verdoolaege
verif_ehrhart
.
c
:
add miss
i
ng includ
e
commit
|
commitdiff
|
tree
2010-06-01
Sven Verdoolae
g
e
configure
.
in: fix typo
commit
|
commitdiff
|
tree
2010-06-01
Sven Ver
d
o
o
laege
use isl fo
r
a
r
g
umen
t
parsing
commit
|
commitdiff
|
tree
2010-06-01
Sven
Verdoolaege
update isl f
o
r keeping
trac
k
of u
s
er
options
commit
|
commitdiff
|
tree
2010-05-19
S
ven Ve
r
doolaege
test_bound: rewrite in C
commit
|
commitdiff
|
tree
2010-05-19
Sve
n
Ver
d
oolaege
upd
a
te isl for help message
printing
commit
|
commitdiff
|
tree
2010-05-15
S
ven V
e
rdo
o
laege
r
e
move evalue_o
p
t
im
u
m
commit
|
commitdiff
|
tree
2010-05-15
S
ven Verdoolaege
remove evalue_ra
n
g
e
_
propagation
commit
|
commitdiff
|
tree
2010-05-15
Sven Verdoolae
g
e
te
s
t_bound: us
e
is
l
interface
f
or computing bounds
commit
|
commitdiff
|
tree
2010-05-15
Sven
V
erdoolaege
barvino
k
_
b
ound: use
i
sl interfac
e
fo
r
c
omputing bounds
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdool
a
ege
iscc: support ub even if
G
iNaC support
was not
compil
e
d in
commit
|
commitdiff
|
tree
2010-05-14
Sven
Verdoolaege
ad
d
gener
i
c i
s
l
_pw_qpo
l
ynomi
a
l_bound
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoo
l
aege
update isl
f
or
i
s
l_pw_qpo
l
ynomial_bound_range
commit
|
commitdiff
|
tree
2010-05-14
Sve
n
V
erdoolaege
test_
b
ound: us
e
i
sl durin
g
verification
commit
|
commitdiff
|
tree
2010-05-14
S
ven Verdoola
e
g
e
barvinok_boun
d
: use isl d
u
ri
n
g
verificati
o
n
commit
|
commitdiff
|
tree
2010-05-14
S
v
en Verdoo
l
aege
v
e
rify
.
c: ext
r
act some help
e
r functions for
isl ba
s
ed
.
.
.
commit
|
commitdiff
|
tree
2010-05-14
Sven Verdoolaeg
e
in
t
roduc
e
"bound" optio
n
commit
|
commitdiff
|
tree
2010-05-14
Sv
e
n
Verdool
a
ege
o
ptions
.
c
:
fix
printf format
commit
|
commitdiff
|
tree
2010-05-10
Sven Verdoo
l
a
ege
iscc: ad
d
application
operations
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdoolaege
i
s
cc:
ad
d
read op
e
ration
commit
|
commitdiff
|
tree
2010-04-24
S
ven Verdoolaege
i
scc
:
free options
commit
|
commitdiff
|
tree
2010-04-24
Sven Verdool
a
eg
e
u
p
d
ate isl for
rea
d
ing of
s
trings
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoola
e
g
e
update isl for f
i
x
i
n
i
s
l_print
e
r_print_
p
w_qpolynomia
l
.
.
.
commit
|
commitdiff
|
tree
2010-04-21
Sven Verdoolaege
u
pdate isl-polylib for change in pkg-config f
i
l
e
commit
|
commitdiff
|
tree
2010-04-21
Sve
n
Verdoolaege
iscc: allow spe
c
ificati
o
n of outpu
t
format
commit
|
commitdiff
|
tree
2010-04-13
Sv
e
n
Verdo
o
laege
updat
e
i
s
l
for cha
n
g
e in
i
sl_set
_
gist
argument
commit
|
commitdiff
|
tree
2010-04-11
S
ven Verdoola
e
ge
update isl
f
o
r rename o
f
i
s
l_map_move
commit
|
commitdiff
|
tree
2010-04-10
Sven Verd
o
o
l
a
ege
configure
.
in: add
i
sl flags and libs t
o
pkg-config
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
S
v
e
n
V
e
rdoolaege
iscc: tes
t
isl_
s
t
r
eam
f
o
r
eof rather t
h
an
the underlying
.
.
.
commit
|
commitdiff
|
tree
2010-04-07
Sven Verdoolaege
isc
c
:
add deltas
o
perat
i
on
commit
|
commitdiff
|
tree
2010-04-07
Sven V
e
rdoola
e
ge
u
pdate
i
sl for f
i
x in
i
s
l
_map_deltas
commit
|
commitdiff
|
tree
2010-04-04
Sven Verdoola
e
ge
drop barvinok_enumerate_
p
ip_with
_
op
t
ions
commit
|
commitdiff
|
tree
2010-04-01
Sven
V
erdoolaege
iscc: ad
d
cross product
o
p
e
rations
commit
|
commitdiff
|
tree
2010-03-31
Sven Verd
o
olaege
iscc:
a
d
d coalesce
o
perations
commit
|
commitdiff
|
tree
2010-03-30
Sven Ver
d
oolaege
updat
e
isl for isl_pw_qpolynomial_coalesce
commit
|
commitdiff
|
tree
2010-03-27
Sven
V
er
d
oolaeg
e
drop "Omega c
o
un
t
ing calcu
l
ator"
commit
|
commitdiff
|
tree
2010-03-27
Sven Ve
r
doolaege
test_
b
ound
.
cc: fix p
r
intf
format
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein
.
cc: fix pri
n
tf
f
o
r
mat
commit
|
commitdiff
|
tree
2010-03-27
Sven Ver
d
oolaege
e
v
alue
_
rang
e
_propag
a
tion: fix substitution for negati
v
e
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
bernstein/configure
.
in: use absolute sr
c
dir of PolyLib
.
.
.
commit
|
commitdiff
|
tree
2010-03-27
Sven Verdoolaege
only distribute bundled s
u
bmodules
commit
|
commitdiff
|
tree
2010-03-25
Sven Verd
o
olaege
u
pdat
e
omeg
a
for con
f
iguration
issue
commit
|
commitdiff
|
tree
2010-03-25
Sven Verdool
a
ege
c
o
n
figure
.
i
n
: a
l
l
ow "buil
d
" PolyLib
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n
Verdo
o
laege
i
sl_qpoly
n
omial_fold_from_ginac: han
d
le fail nod
e
s
commit
|
commitdiff
|
tree
2010-03-25
S
v
e
n
Ve
r
doolaege
is
l
_q
p
olynomial_from_gin
a
c
: expand ex
before inspection
commit
|
commitdiff
|
tree
2010-03-25
Sv
e
n Ver
d
oolaege
isl
_
obj_list
.
c: up
d
a
t
e t
o
use of isl_pr
i
nter
commit
|
commitdiff
|
tree
2010-03-18
Sven Ve
r
doo
l
aege
iscc: ad
d
g
i
st opera
t
i
ons
commit
|
commitdiff
|
tree
2010-03-18
Sv
e
n Verdoo
l
ae
g
e
update isl for i
n
troduction of isl_pri
n
ter
commit
|
commitdiff
|
tree
2010-03-18
Sven Verdoolaege
isl_pw_qpoly
n
omial_up
p
e
r
_
bound: set up variable ve
c
to
r
.
.
.
commit
|
commitdiff
|
tree
2010-03-15
Sven Verdoolaege
is
c
c: add
s
ome compa
r
ison o
p
e
r
a
t
i
ons
commit
|
commitdiff
|
tree
2010-03-15
Sven Verd
o
ola
e
ge
i
s
cc: add i
n
ver
s
e operation
commit
|
commitdiff
|
tree
2010-03-15
S
v
e
n
Ver
d
oolaeg
e
iscc: fix up type of
find_ma
t
chin
g
_b
i
n
_
op
commit
|
commitdiff
|
tree
2010-03-14
S
v
en Ver
d
oola
e
ge
iscc: add af
f
ine hull operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
erdoolaege
iscc: ad
d
ope
r
ation to constr
u
ct universal
map
from
.
.
.
commit
|
commitdiff
|
tree
2010-03-14
Sven
V
e
r
doo
l
ae
g
e
iscc:
a
dd
"
join
"
operation
commit
|
commitdiff
|
tree
2010-03-14
Sven
Verdoolaege
i
scc: ad
d
interse
c
t_domai
n
o
p
erations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoo
l
aege
iscc
:
a
llow overloading binary ops
commit
|
commitdiff
|
tree
2010-03-14
Sven
Ve
r
do
o
laege
is
c
c: add more dom operations
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoolaege
d
o
c
:
reorganize table of isc
c
operat
i
o
ns
commit
|
commitdiff
|
tree
2010-03-14
Sven Verdoola
e
g
e
update isl
commit
|
commitdiff
|
tree
2010-03-10
Sven
V
erdoolaege
ba
r
v
i
nok 0
.
30
commit
|
commitdiff
|
tree
2010-03-10
Sve
n
Verdoolaege
AUTHORS: up
d
ate
s
up
p
ort information
commit
|
commitdiff
|
tree
2010-03-10
Sven Verdoolaege
randomvector: double
s
i
ze o
f
c
o
efficients on each attem
p
t
commit
|
commitdiff
|
tree
2010-03-10
S
v
en Verdoolaege
isc
c
:
support
tra
n
siti
v
e closu
r
e
commit
|
commitdiff
|
tree
2010-03-10
Sven
Ve
r
do
o
la
e
ge
upd
a
t
e
is
l
to vers
i
on 0
.
02
commit
|
commitdiff
|
tree
2010-03-09
Sven Ve
r
d
oolaege
barvinok
_
e
.
cc:
enumerate_vd:
r
e
m
ove un
u
sed variables
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c: Polyhedron_Insert: ad
d
mis
s
i
ng retu
r
n
t
y
p
e
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
evalue
.
c:
reduc
e
_e
v
alue: r
e
move
un
u
sed
v
a
r
iable
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaeg
e
iscc: a
d
d @ ope
r
ator
commit
|
commitdiff
|
tree
2010-03-09
Sven Verdoolaege
iscc:
add "ub"
commit
|
commitdiff
|
tree
2010-03-09
Sven
V
erdoolaege
add isl
_
p
w
_qpol
y
n
o
m
i
al_upp
e
r_b
o
und
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
V
e
rdoolae
g
e
iscc: a
d
d
s
um
commit
|
commitdiff
|
tree
2010-03-09
Sve
n
Verdoolaege
add is
l
_pw_qpol
y
n
o
mial_
s
um
commit
|
commitdiff
|
tree
2010-03-09
S
v
e
n
Verdoolaeg
e
add is
l
_pw_qpolynomial_to_eva
l
ue
commit
|
commitdiff
|
tree
next